The 𝑛-total graph of a commutative ring

Let [Formula: see text] be a ring with unity. The cozero-divisor graph of a ring [Formula: see text] is an undirected simple graph whose vertices are the set of all nonzero and non-unit elements of [Formula: see text] and two distinct vertices [Formula: see text] and [Formula: see text] are adjacent if and only if [Formula: see text] and [Formula: see text]. The reduced cozero-divisor graph of a ring [Formula: see text] is an undirected simple graph whose vertex set is the set of all nontrivial principal ideals of [Formula: see text] and two distinct vertices [Formula: see text] and [Formula: see text] are adjacent if and only if [Formula: see text] and [Formula: see text]. Jesili et al. [On the genus of reduced cozero-divisor graph of commutative rings, Soft Comput. 27(2) (2023) 657–666] classified all non-local commutative rings whose reduced cozero-divisor graph is of genus one. In this paper, we characterize all classes of finite non-local commutative rings whose reduced cozero-divisor graph is of genus two. Moreover, we classify all the non-local commutative rings whose cozero-divisor graph is of genus two.

Let R be a commutative ring and Z(R) be its set of all zero-divisors. Anderson and Badawi [The total graph of a commutative ring, J. Algebra320 (2008) 2706–2719] introduced the total graph of R, denoted by TΓ(R), as the undirected graph with vertex set R, and two distinct vertices x and y are adjacent if and only if x + y ∈ Z(R). Tamizh Chelvam and Asir [Domination in the total graph of a commutative ring, to appear in J. Combin. Math. Combin. Comput.] obtained the domination number of the total graph and studied certain other domination parameters of TΓ(R) where R is a commutative Artin ring. The intersection graph of gamma sets in TΓ(R) is denoted by ITΓ(R). Tamizh Chelvam and Asir [Intersection graph of gamma sets in the total graph, Discuss. Math. Graph Theory32 (2012) 339–354, doi:10.7151/dmgt.1611] initiated a study about the intersection graph ITΓ (ℤn) of gamma sets in TΓ(ℤn). In this paper, we study about ITΓ(R), where R is a commutative Artin ring. Actually we investigate the interplay between graph-theoretic properties of ITΓ(R) and ring-theoretic properties of R. At the first instance, we prove that diam (ITΓ(R)) ≤ 2 and gr (ITΓ(R)) ≤ 4. Also some characterization results regarding completeness, bipartite, cycle and chordal nature of ITΓ(R) are given. Further, we discuss about the vertex-transitive property of ITΓ(R). At last, we obtain all commutative Artin rings R for which ITΓ(R) is either planar or toroidal or genus two.

Let [Formula: see text] be a commutative ring with identity and [Formula: see text] be the set of all nonzero zero-divisors of [Formula: see text]. The annihilator graph of commutative ring [Formula: see text] is the simple undirected graph AG([Formula: see text]) with vertices [Formula: see text] and two distinct vertices [Formula: see text] and [Formula: see text] are adjacent if and only if [Formula: see text] The essential graph of [Formula: see text] is defined as the graph [Formula: see text] with the vertex set [Formula: see text] and two distinct vertices [Formula: see text] and [Formula: see text] are adjacent if and only if [Formula: see text] is an essential ideal. In this paper, we classify all finite commutative rings with identity whose annihilator graph and essential graph have crosscap two.

Let R be a commutative ring with non-zero identity. In this paper, we introduce theweakly nilpotent graph of a commutative ring. The weakly nilpotent graph of R denoted by Γw(R) is a graph with the vertex set R* and two vertices x and y are adjacent if and only if x y ∊ N(R)*, where R* = R \ {0} and N(R)* is the set of all non-zero nilpotent elements of R. In this article, we determine the diameter of weakly nilpotent graph of an Artinian ring. We prove that if Γw(R) is a forest, then Γw(R) is a union of a star and some isolated vertices. We study the clique number, the chromatic number, and the independence number of Γw(R). Among other results, we show that for an Artinian ring R, Γw(R) is not a disjoint union of cycles or a unicyclic graph. For Artinan rings, we determine diam . Finally, we characterize all commutative rings R for which is a cycle, where is the complement of the weakly nilpotent graph of R.

Let [Formula: see text] be a finite commutative ring and [Formula: see text] is nilpotent for some [Formula: see text]. The nilpotent graph [Formula: see text] of [Formula: see text] is the simple undirected graph with vertex set [Formula: see text] in which two vertices [Formula: see text] and [Formula: see text] are adjacent if and only if [Formula: see text] is nilpotent. In this paper, we observe a relationship between zerodivisor graphs, essential graphs and nilpotent graphs of [Formula: see text]. In continuation of genus characterizations in [T. Asir K. Mano and T. Tamizh Chelvam, Correction to: Classification of non-local rings with genus two zerodivisor graphs, Soft Comput. 25 (2021) 3355–3356; K. Selvakumar and M. Subajini, Finite commutative ring with genus two essential 10 graph, J. Algebra Appl. 16(2) (2018) 1850121], we classify all finite commutative rings (up to isomorphism) whose nilpotent graphs are of genus two.

Let R be a commutative ring with Z*(R) as the set of non-zero zero divisors. The zero divisor graph of R, denoted by Γ(R), is the graph whose vertex set is Z*(R), where two distinct vertices x and y are adjacent if and only if xy = 0. In this paper, we investigate the metric dimension dim(Γ(R)) and upper dimension dim+(Γ(R)) of zero divisor graphs of commutative rings. For zero divisor graphs Γ(R) associated to finite commutative rings R with unity 1 ≠ 0, we conjecture that dim+(Γ(R)) = dim(Γ(R)), with one exception that R ≅ Π 𝕑 2 n {\rm{R}} \cong \Pi {\rm\mathbb{Z}}_2^{\rm{n}} , n ≥ 4. We prove that this conjecture is true for several classes of rings. We also provide combinatorial formulae for computing the metric and upper dimension of zero divisor graphs of certain classes of commutative rings besides giving bounds for the upper dimension of zero divisor graphs of rings.

Let R be a commutative ring with non-zero identity and I its proper ideal. The total graph of R with respect to I, denoted by T (ΓI (R)), is the undirected graph with all elements of R as vertices, and where distinct vertices x and y are adjacent if and only if [Formula: see text]. In this paper, some bounds for the genus of T(ΓI(R)) are obtained. We improve and generalize some results for the total graphs of commutative rings. In addition, we obtain an isomorphism relation between two ideal based total graphs.

On the coloring of the annihilating-ideal graph of a commutative ring

Chemical graph theory is a branch of mathematical chemistry which deals with the non-trivial applications of graph theory to solve molecular problems. Graphs containing finite commutative rings also have wide applications in robotics, information and communication theory, elliptic curve cryptography, physics, and statistics. In this paper we discuss eccentric topological indices of zero divisor graphs of commutative rings Z p 1 p 2 × Z q , where p 1 , p 2 , and q are primes. To enhance the importance of these indices a construction algorithm is also devised for zero divisor graphs of commutative rings Z p 1 p 2 × Z q .

For a graph G(V, E) with order n ≥ 2, the locating code of a vertex v is a finite vector representing distances of v with respect to vertices of some ordered subset W of V(G). The set W is a locating set of G(V, E) if distinct vertices have distinct codes. A locating set containing a minimum number of vertices is a minimum locating set for G(V, E). The locating number denoted by loc (G) is the number of vertices in the minimum locating set. Let R be a commutative ring with identity 1 ≠ 0, the zero-divisor graph denoted by Γ(R), is the (undirected) graph whose vertices are the nonzero zero-divisors of R with two distinct vertices joined by an edge when the product of vertices is zero. We introduce and investigate locating numbers in zero-divisor graphs of a commutative ring R. We then extend our definition to study and characterize the locating numbers of an ideal based zero-divisor graph of a commutative ring R.

On zero-divisor graphs of small finite commutative rings

ABSTRACTA graph Γ is said to be End-regular if its endomorphism monoid End(Γ) is regular. D. Lu and T. Wu [25] posed an open problem: Given a ring R, when does the zero-divisor graph Γ(R) have a regular endomorphism monoid? and they solved the problem for R a commutative ring with at least one nontrivial idempotent. In this paper, we solve this problem for zero-divisor graphs of group rings.

<span>The notion of the matrix Jacobson graph was introduced in 2019. Let </span><span class="math inline"><em>R</em></span><span> be a commutative ring and </span><span class="math inline"><em>J</em>(<em>R</em>)</span><span> be the Jacobson radical of ring </span><span class="math inline"><em>R</em></span><span>. The matrix Jacobson graph of ring </span><span class="math inline"><em>R</em></span><span> size </span><span class="math inline"><em>m</em> × <em>n</em></span><span>, denoted </span><span class="math inline">𝔍(<em>R</em>)^{<em>m</em> × <em>n</em>}</span><span>, is defined as a graph where the vertex set is </span><span class="math inline"><em>R</em>^{<em>m</em> × <em>n</em>} ∖ <em>J</em>(<em>R</em>)^{<em>m</em> × <em>n</em>}</span><span> such that two distinct vertices </span><span class="math inline"><em>A</em>, <em>B</em></span><span> are adjacent if and only if </span><span class="math inline">1 − det(<em>A</em>^<em>t</em><em>B</em>)</span><span> is not a unit in ring </span><span class="math inline"><em>R</em></span><span>. Here we obtain some graph theoretical properties of </span><span class="math inline">𝔍(<em>R</em>)^{<em>m</em> × <em>n</em>}</span><span> including its connectivity, planarity and perfectness.</span>

Let R be a commutative ring with identity and $$\mathbb {A}(R)$$ be the set of all annihilator ideals of R. The annihilator-ideal graph of R, denoted by $$A_I(R)$$ , is a simple graph with the vertex set $$\mathbb {A}^*(R) := \mathbb {A}(R)\setminus \{(0)\}$$ , and two distinct vertices I and J are adjacent if and only if $$ann(IJ)\ne ann(I) \cup ann(J)$$ . In this paper, we characterize all isomorphism classes of Artinian commutative rings whose $$A_I(R)$$ has genus one and crosscap one.

It was shown by C. Wickham [12] that “for a fixed positive integer g, there are finitely many isomorphism classes of finite commutative rings whose zero-divisor graph has genus g.” In this note, we give a short direct proof for this result. Moreover, we show that, if the zero-divisor graph of a commutative ring R has finite genus g, then either g = 0 or R is a finite ring. This immediately generalizes Wickham's theorem to arbitrary (not necessary finite) commutative rings.