Ideal-based zero-divisor graph of MV-algebras

Abstract

Let $(A,\oplus ,\ast ,0)$ be an MV-algebra, $(A,\odot ,0)$ be the associated commutative semigroup, and $I$ be an ideal of $A$. Define the ideal-based zero-divisor graph ${\Gamma }_I(A)$ of $A$ with respect to $I$ to be a simple graph with the set of vertices $V({\Gamma }_I(A))=\{x\in A\backslash I|(\exists y\in A\backslash I)x\odot y\in I\},$ and two distinct vertices $x$ and $y$ are joined by an edge if and only if $x\odot y\in I$. We prove that ${\Gamma }_I(A)$ is connected and its diameter is less than or equal to $3$. Also, some relationship between the diameter (the girth) of ${\Gamma }_I(A)$ and the diameter (the girth) of the zero-divisor graph of $A/I$ are investigated. And using the girth of zero-divisor graphs (resp. ideal-based zero-divisor graphs) of MV-algebras, we classify all MV-algebras into $2($resp. $3)$ types.