Common zero-divisor graph over a commutative ring (Q6650982)

Assume that \(R\) is a finite commutative ring with non-zero identity, \(Z(R)\) denotes the set of all zero-divisors of \(R\), and \(Z(R)^*\) denotes the set of non-zero zero-divisor of \(R\). Recall that the zero-divisor graph of \(R\) is the undirected simple graph with vertex set \(Z(R)^*\), and two distinct vertices \(x\) and \(y\) are adjacent if and only if \(xy = 0\). Let \(S\) be a non-empty subset of \(Z(R)^*\). Then the \textit{common zero-divisor graph} \(R\) with respect to \(S\), denoted by \(\Gamma(R, S)\), is an undirected simple graph whose vertices are \(Z(R)^*\) and two distinct vertices \(x\) and \(y\) are adjacent if and only if there exists \(s\in S\) such that \(sx = 0 = sy\). The main aim of this work is to explore the properties of the graph \(\Gamma(R,S)\). The authors, in Section 2, argued on some general properties of the graph \(\Gamma(R,S)\) in Lemma 2.6 and Theorems 2.8, 2.10, and 2.12. After that, in Section 3, they focused on the connectivity of the graph \(\Gamma(R,S)\) in Theoerms 3.4 and 3.5. Next, in Section 4, the authors studied the regularity of the graph \(\Gamma(R,S)\) in Theorems 4.3 and 4.4. Finally, they closed this paper by investigating the graph \(\Gamma(\mathbb{Z}_n, S)\), where \(S\) is a non-empty subset of \(Z(\mathbb{Z}_n)^*\) in Theorem 5.4.