A new graph structure of commutative semigroups. (Q2505016)

Let \(S\) be a commutative semigroup with zero element \(0\), and let \(Z(S)^*\) be the set of nonzero zero-divisors of \(S\). The zero-divisor graph of \(S\), denoted by \(\Gamma(S)\), has vertices \(Z(S)^*\), and two distinct vertices \(x\) and \(y\) are adjacent if and only if \(xy=0\) [see the paper by \textit{F. R. DeMeyer}, \textit{T. McKenzie} and \textit{K. Schneider} in Semigroup Forum 65, No. 2, 206-214 (2002; Zbl 1011.20056)]. In this paper, the authors introduce a new zero-divisor graph, denoted by \(\overline\Gamma(S)\), with vertices \(Z(S)^*\), and two distinct vertices \(x\) and \(y\) are adjacent if and only if \(xSy=0\). Thus \(\Gamma(S)\) is a subgraph of \(\overline\Gamma(S)\). They investigate the basic properties of \(\overline\Gamma(S)\) and the relationship between \(\Gamma(S)\) and \(\overline\Gamma(S)\), and they also study the clique number and chromatic number of \(\Gamma(S)\).