Let $(A, \oplus, *, 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.

Categories: math.RA

Ideal-based zero-divisor graph of MV-algebras