## ORIGINAL RESEARCH article

Front. Chem., 13 September 2022
Sec. Theoretical and Computational Chemistry
Volume 10 - 2022 | https://doi.org/10.3389/fchem.2022.985001

# The wiener index of the zero-divisor graph for a new class of residue class rings

Yinhu Wei Ricai Luo*
• School of Mathematics and Physics, Hechi University, Yizhou, China

The zero-divisor graph of a commutative ring R, denoted by Γ(R), is a graph whose two distinct vertices x and y are joined by an edge if and only if xy = 0 or yx = 0. The main problem of the study of graphs defined on algebraic structure is to recognize finite rings through the properties of various graphs defined on it. The main objective of this article is to study the Wiener index of zero-divisor graph and compressed zero-divisor graph of the ring of integer modulo psqt for all distinct primes p, q and $s,t∈N$. We study the structure of these graphs by dividing the vertex set. Furthermore, a formula for the Wiener index of zero-divisor graph of Γ(R), and a formula for the Wiener index of associated compressed zero-divisor graph ΓE(R) are derived for $R=Zpsqt$.

## Introduction

The study of graphs defined on algebraic structures has been an active topic of research in the last few decades. The main question in the area is to recognize finite rings through the properties of various graphs defined on it. The notion of the zero-divisor graph of a commutative ring was introduced by I. Beck in (Beck, 1988), where he considered the set of zero divisors including zero and introduced the concepts such as diameter, grith and clique number of a zero divisor graph. Then later on in (Anderson and Livingston, 1999), Anderson and Livingston changed the vertex set of the zero-divisor graph, they considered only the vertices of the non-zero zero-divisors. For more details, one may see the survey (Singh and Bhat, 2020) and the references therein for the vast literature on the study of zero-divisor graphs.

The Wiener index is one of the important graph indices, and has a variety of applications in pharmaceutical science and in the structure of nanotubes. For results and applications of Wiener index, see (Devillers and Balaban, 1999; Dobrynin et al., 2001; Dehmer and Emmert-Streib, 2014; Dobrynin and Iranmanesh, 2020). There are some works of the Wiener index were done for the ring of integers modulo n. Let us review some of the work done on the topological indices of the zero-divisor graphs. Let p, q be distinct prime numbers. Ahmadi et al. (Ahmadi and Nezhad, 2011) in 2011 has provided an algorithm to determining the Wiener index of $Zn$ for n = p2, pq. In 2018, Mohammad et al. (Mohammad and Authman, 2018) has extended the result by determining the Wiener index of a zero-divisor graph of $Γ(Zn)$ for n = pm and pmq, where $m∈Z$ and m ≥ 2 using the Hosoya polynomial. Pirzada et al. (Pirzada et al., 2020) in 2020 determined the Wiener index of a zero-divisor graph and a compressed zero-divisor of $Zpm$ for $m∈N$. In (Asir and Rabikka, 2021), recently a constructed method to calculate the Wiener index of zero-divisor graph of $Zn$ for any positive integer n is determined. The authors of (Asir and Rabikka, 2021) calculated the complete formula through restrict n as product of distinct primes and the remaining cases. In 2022, Selvakumar et al. (Selvakumar et al., 2022) visualized the zero-divisor graph Γ(R) as a generalized composition of suitable choices of graphs and derived a formula for the Wiener index of the graph $Γ(Zn)$.

In this paper, we are interested in the parameter Wiener index of graphs for the rings of integers modulo psqt. Although the formulas in the general case for the rings of $Zn$ have been obtained in literatures (Asir and Rabikka, 2021) and (Selvakumar et al., 2022), compared with their results, our formula is more direct and convenient for calculation the Wiener index $W(Γ(Zpsqt))$. We also get the formula for compressed zero-divisor graph.

## Preliminaries

Throughout this paper we assume that R denotes a commutative ring with identity, Z(R) be its set of zero-divisors, the (nonempty) set of nonzero zero-divisors and unit elements denoted by Z(R)* and U(R). We use $Z$ to note the ring of integers.

Definition 1. Let G be a graph and let u and v be two vertices of G. The distance between u and v, denoted by dG(u, v), is defined to be the length of the shortest path between u and v. The Wiener index of the graph G, denoted by W(G), is defined to be the sum of all distanced between any two vertices of G.Let dG(v) denote the sum of distances of the vertex v from all the vertices of G, then the Wiener index can be redefined as

$WG=12∑v∈VGdGv.$

Let R be an arbitrary finite commutative ring with unity. We define an equivalence relation ∼ on Z(R)* as follows. For x, yZ(R)*, define xy if and only if ann(x) = ann(y) where ann(x) = {rR|rx = 0}. We call these classes the equiv-annihilator classes of the zero-divisor graph Γ(R).We write d (x, y) to denote the distance between x and y in Z(R)*, and write xy to denote x and y are adjacent, otherwise xy. Let U, V be subsets of the vertex of Γ(R), the UV shall denote that each vertex of U is adjacent to every vertex of V, and UV denotes that no vertex of U is adjacent to every vertex of V.The so-called compressed zero-divisor graph of a ring was first defined by the Spiroff et al. in (Spiroff and Wickham, 2011).

Definition 2. For a commutative ring R with 1 ≠ 0, a compressed zero-divisor graph of a ring R is the undirected graph ΓE(R) with vertex set Z(RE) − [0] = RE − {[0], [1]} defined by RE = {[x]|xR}, where [x] = {yR|ann(x) = ann(y)} and two distinct vertices [x] and [y] are adjacent if and only if [x][y] = [0] = [xy], that is, if and only if xy = 0.In what follows, we use the graph-theoretic notions from (Douglas, 2001).

## Main results

In this section, we first give a structure of $R=Zpsqt$ using the method of equivalence classification.

Let p, q be distinct prime numbers and $s,t∈N$, the vertex set of $R=Zpsqt$ be divided into disjoint subsets V00, …, Vij, …, Vst, where

$Vij=kpiqj∈Zn|p∤kandq∤kifi

We noted that Vst =∅ and $V00⊈Z(Zpsqt)*$. For the convenience of presentation, we always assumes that V00 and Vst are empty sets in the following, unless otherwise specified. Therefore

$VΓZpsqt=⋃0≤i≤s⋃0≤j≤tVij.$

Example 1. Consider the ring $R=Z22×32$. The vertex set of $Γ(Z22×32)$ is

$VΓZ22×32=V01⋃V02⋃V10⋃V11⋃V12⋃V20⋃V21=3,15,21,33⋃9,27⋃2,10,14,22,26,34⋃6,30⋃18⋃4,8,16,20,28,32⋃12,24.$

It is not difficult to see that Vij be the equiv-annihilator classes of $Γ(Zpsqt)$, where 0 ≤ is and 0 ≤ jt. If i < s and j < t, for any x, yVij. Let zann(x), then z = kpsiqtj. So yz = (kpiqj) (kpsiqtj) = kkpsqt, that is, zann(y). If i < s and j = t, for any x, yVij. Let zann(x), then z = kpsi. So yz = (kpiqt) (kpsi) = kkpsqt, that is, zann(y). If i = s and j < t, for any x, yVij. Let zann(x), then z = kqtj. So yz = (kpsqj) (kqtj) = kkpsqt, that is, zann(y). Thus ann(x) = ann(y) for any x, yVij.Next, we prove some elementary properties of the vertex subsets Vij.

Lemma 1. For distinct prime numbers p, q, let n = psqt for some $s,t∈N$ and Vij be the equiv-annihilator classes of $Γ(Zn)$ where 0 ≤ is and 0 ≤ jt. Then

(1) $|{V}_{ij}|=\left\{\begin{array}{cc}\left(p-1\right){p}^{s-i-1}\left(q-1\right){q}^{t-j-1}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\hfill & if\phantom{\rule{0.3333em}{0ex}}i\ne s\phantom{\rule{0.3333em}{0ex}}and\phantom{\rule{0.3333em}{0ex}}j\ne t\hfill \\ \left(q-1\right){q}^{t-j-1}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\hfill & if\phantom{\rule{0.3333em}{0ex}}i=s\hfill \\ \left(p-1\right){p}^{s-i-1}\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\hfill & if\phantom{\rule{0.3333em}{0ex}}j=t.\hfill \end{array}\right\$

(2) VijVij if and only if i + i′ ≥ s and j + j′ ≥ t.

Proof. (1) we consider the following cases.Case 1: is and jt.Let Sij be the set of all the elements that can be divisible by piqj in $Zn$. By the inclusion-exclusion principle,

$|Vij|=|Sij|−|pSij|−|qSij|+|pqSij|.$

Note that |Sij| = |{kpiqj|0 ≤ k < psiqtj}| = psiqtj. Since

$|pSij|=|kpi+1qj|0≤k
$|qSij|=|kpiqj+1|0≤k

And

$|pqSsj|=|kpi+1qj+1|0≤k

Then

$|Vij|=ps−iqt−j−ps−i−1qt−j−ps−iqt−j−1+ps−i−1qt−j−1=p−1ps−i−1q−1qt−j−1.$

Case 2: i = s.Since

$|Ssj|=|kpsqj|0≤k

Then

$|Ssj|=qt−j−qt−j−1=q−1qt−j−1.$

Case 3: j = t.Since

$|Sit|=|kpiqt|0≤k

Then

$|Sit|=ps−i−ps−i−1=p−1ps−i−1.$

(2) Let x = kijpiqjVij, y = kijpiqj′ ∈ Vij. If i + i′ ≥ s and j + j′ ≥ t, then

$xy=kijki′j′pi+i′qj+j′=kijki′j′pi+i′−sqj+j′−tn≡0modn.$

So x is adjacent to y.Conversely, suppose VijVij. If i + i′ < s or j + j′ < t. We have xy = kijkijpi+iqj+j′ can’t be a multiple of n, a contradiction. The following result characterized the distance between the equiv-annihilator classes.

Proposition 1. For distinct prime numbers p, q, let $x,y∈V(Γ(Zpsqt))$ for some $s,t∈N$. Then d(x, y) = 1, 2 or 3.

Proof. Let. V01, V10, ⋯ , Vs,t−1, Vs−1,t be the equiv-annihilator classes of $Γ(Zpsqt)$, where Vij defined by (1). For $x∈Vi1j1$ and $y∈Vi2j2$, where 0 ≤ i1, i2s and 0 ≤ j1, j2t.If i1 + i2s and j1 + j2s, then xy and d (x, y) = 1 by lemma 1. So we only need to consider the cases of i1 + i2 < s or j1 + j2 < s in the following, that is, xy. Without loss of generality,we may assume that i1 + i2 < s. Consider the following cases.Case 1: 0 < i1, i2 < s.Let i = smin{i1, i2}, j = t. We have i1 + is and j1 + jt, also i + i2s and j + j2t. Then $Vi1j1↔Vij↔Vi2j2$. Hence, d (x, y) = 2.Case 2: i1 = 0 and i2 = 0.Let i = s, j = tmin{j1, j2}. We have i1 + is and j1 + jt, also i + i2s and j + j2t. Then $Vi1j1↔Vij↔Vi2j2$. Hence, d (x, y) = 2.Case 3: i1 = 0 and i2 ≠ 0. Consider the following subcases.Subcase3.1: If j2 = 0. Let i3 = s, i4 = si2, j3 = tj1, and j4 = t. We have

$i1+i3=s,i2+i4=s,i3+i4=s+s−i2>s$

And

$j1+j3=t,j2+j4=t,j3+j4=t−j1+t>t.$

Thus $Vi1j1↔Vi3j3↔Vi4j4↔Vi2j2$.Since

$i1+i4=0+s−i2

Then $Vi1j1↮Vi4j4$ and $Vi3j3↮Vi2j2$. Therefore, d (x, y) = 3.Subcase3.2: If j2 ≠ 0. Let i = s and j = tmin{j1, j2}. We have

$i1+i=s,j1+j≥t$

And

$i+i2>s,j+j2≥t.$

Thus $Vi1j1↔Vij↔Vi2j2$. Therefore, d (x, y) = 2.Case 4: i1 ≠ 0 and i2 = 0. A similar argument as in Case 3 shows that d (x, y) = 2 or 3.We have already shown that in any case, d (x, y) = 1, 2 or 3. Now, we can calculate the Wiener index of $Γ(Zpsqt)$.

Theorem 1. For distinct prime numbers p, q, and some $s,t∈N$. The Wiener index

$WΓZpsqt=∑i=0⌈s2⌉−1∑j=0t|Vij||Vij|−1+∑i=0s∑j=0⌈t2⌉−1|Vij||Vij|−1−∑i=0⌈s2⌉−1∑j=0⌈t2⌉−1|Vij|Vij|−1+∑i=⌈s2⌉s∑j=⌈t2⌉t|Vij||Vij|−12+2∑i=0s∑j=0t|Vij|∑j′=j+1t|Vij′|+∑i′=i+1s∑j′=0t|Vi′j′|−∑i=⌈s2⌉s∑j=0t|Vij|∑j′=maxt−j,j+1t|Vij′|−∑i=0s−1∑j=0t|Vij|∑i′=maxs−i,i+1s∑j′=t−jt|Vi′j′|+∑j=0t∑i′=0s|V0j‖Vi′0|−|Vs0‖V0t|$

where$|Vij|=(p−1)ps−i−1(q−1)qt−j−1ifi≠sandj≠t(q−1)qt−j−1ifi=s(p−1)ps−i−1ifj=t.$

Proof. Let. n = psqt, we have V01, V10, …, Vs−1,t, Vs,t−1 is the partition of $V(Γ(Zpsqt))$ ,where Vij defined by (1). For any two different elements x, y in Vij. By the proof of Proposition 1, there are the following cases.Case 1: $0≤i≤⌈s2⌉−1$ or $0≤j≤⌈t2⌉−1$.In this case, we have d (x, y) = 2. Then

$∑x,y∈Vijdx,y=∑k=2|Vij|dx1,xk+∑k=3|Vij|dx2,xk+⋯+dx|Vij|−1,x|Vij|=2|Vij|−1+2|Vij|−2+⋯+2=|Vij||Vij|−1.$

Case 2: $⌈s2⌉≤i≤s$ and $⌈t2⌉≤j≤t$.In this case, d (x, y) = 1. Then

$∑x,y∈Vijdx,y=∑k=2|Vij|dx1,xk+∑k=3|Vij|dx2,xk+⋯+dx|Vij|−1,x|Vij|=|Vij|−1+|Vij|−2+⋯+1=|Vij||Vij|−12.$

Let x and y be the elements in the two different equiv-annihilator classes, Vij and Vij, respectively. Consider the following cases.Case 3: i + i′ ≥ s and j + j′ ≥ t.By Lemma 1, d (x, y) = 1. Then

$∑x∈Vij∑y∈Vi′j′dx,y=|Vij‖Vi′j′|.$

Case 4: 0 < i + i′ < s or 0 < j + j′ < t.Subcase 4.1: i = 0 and j′ = 0.In this case, we have d (x, y) = 3. Hence

$∑x∈Vij∑y∈Vi′j′dx,y=3|Vij‖Vi′j′|.$

Subcase 4.2: i′ = 0 and j = 0.In this case, d (x, y) = 3. Hence

$∑x∈Vij∑y∈Vi′j′dx,y=3|Vij‖Vi′j′|.$

Subcase 4.3: If i, j′ are not both equal to 0, and i′, j are not both equal to 0.In this case, d (x, y) = 2. Hence

$∑x∈Vij∑y∈Vi′j′dx,y=2|Vij‖Vi′j′|.$

In conclusion, the Weiner index is

$WΓZpsqt=∑i=0s∑j=0t∑x,y∈Vijdx,y+∑i,i′=0s∑j,j′=0t∑x∈Vij∑y∈Vi′j′dx,y=∑i=0⌈s2⌉−1∑j=0t|Vij||Vij|−1+∑i=0s∑j=0⌈t2⌉−1|Vij||Vij|−1−∑i=0⌈s2⌉−1∑j=0⌈t2⌉−1|Vij||Vij|−1+∑i=⌈s2⌉s∑j=⌈t2⌉t|Vij||Vij|−12+2∑i=0s∑j=0t|Vij|∑j′=j+1t|Vij′|+∑i′=i+1s∑j′=0t|Vi′j′|−∑i=⌈s2⌉s∑j=0t|Vij|×∑j′=maxt−j,j+1t|Vij′|−∑i=0s∑j=0t|Vij|∑i′=maxs−i,i+1s∑j′=t−jt|Vi′j′|+∑j=0t∑i′=0s|V0j‖Vi′0|−|Vs0‖V0t|.$

Therefore the result holds, by Lemma 1. The following Table gives the exact value of $W(Γ(Zn))$ for n = 2s3t, where 1 ≤ s ≤ 3 and 1 ≤ t ≤ 3.The compressed zero-divisor graph of $Zpsqt$ can be obtained by treating the set Vij, 0 ≤ is, 0 ≤ jt, as a single vertex. To illustrate, let’s give an example in the following.

Example 2. Consider the ring $R=Z22×33$, the vertex set of $Γ(Z22×33)$ is divided into 10 sets V01, V02, V03, V10, V11, V12, V13, V20, V21, V22. Then the associated compressed zero-divisor graph $ΓE(Z22×33)$ is shown in Figure 1.Before proving the next result we need the following lemma.

FIGURE 1

FIGURE 1. the compressed zero-divisor graph $ΓE(Z22×33)$.

Lemma 2. For distinct prime numbers p, q, let n = psqt for some $s,t∈N$ and $G=ΓE(Zn)$ be the compressed zero-divisor graph of $Zn$. Then

(1) V(G) = {Vij|0 ≤ is, 0 ≤ jt} .

(2) ${d}_{G}\left({V}_{ij}\right)=\left\{\begin{array}{cc}2\left(s+1\right)\left(t+1\right)+s-j-6\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\hfill & if\phantom{\rule{0.3333em}{0ex}}i=0\phantom{\rule{0.3333em}{0ex}}and\phantom{\rule{0.3333em}{0ex}}0

Proof. (1) Note that

$ZZn∗=upiqj∈Zn|u∈UZnandi,j≠0,0,s,t,$

where $U(Zn)$ be the units set of $Zn$.Let $x=u1piqj,y=u2pi′qj′∈Z(Zn)∗$, such that ann(x) = ann(y). Assume that (i, j) ≠ (i′, j′). Without loss of generality, we may let i < i′. There are the following cases.Case 1: i < i′ < s.Since z = upsiqtann(y). But xz = u1upsi+iqt+j is not divisible by n, a contradiction. therefore, (i, j) = (i′, j′) and [x] = [y] = Vij.Case 2: i < s < i′.Since z = upsi−1qtann(y). But xz = u1ups−1qt+j is not divisible by n, a contradiction. therefore, (i, j) = (i′, j′) and [x] = [y] = Vij.Case 3: s < i < i′.In this case, we have j < t and j′ < t. If jj′, then z = uqmin{tj,tj}ann(x) or z = uqmin{tj,tj}ann(y) but not both. A contradiction. therefore, j = j′ and [x] = [y] = Vsj.Then the result is holds.

(2) Let ${d}_{G}^{k}\left({V}_{ij}\right)$ denote the sum of distances of the vertex Vij from the vertices of G with a distance of k, where k = 1, 2 or 3 by Proposition 1. Then

$dGVij=dG1Vij+dG2Vij+dG3Vij.$

There are the following cases.Case 1: i = 0 and 0 < j < t.By Lemma 1 there are VijVij if and only if i + i′ ≥ s and j + j′ ≥ t. So in this case $dG1(Vij)=j$ because i′ = s and j′ = t − 1, …, tj. By the proof of Proposition 1, d (Vij, Vij) = 3 if and only if i′ = 1, 2, …, s and j′ = 0. So $dG3(Vij)=3s$. therefore

$dG2Vij=2|VG|−dG1Vij−13dG3Vij−|V00,Vij,Vst|=2s+1t+1−j−s−3.$

Hence, dG (Vij) = 2 (s + 1) (t + 1) + sj − 6.Case 2: i = 0 and j = t.As case 1, $dG1(Vij)=t$ because i′ = s and j′ = t − 1, t − 2, …, 0. Since d (Vij, Vij) = 3 if and only if i′ = 1, 2, …, s − 1 and j′ = 0. Then $dG3(Vij)=3(s−1)$. Therefore

$dG2Vij=2|VG|−dG1Vij−13dG3Vij−|V00,Vij,Vst|=2s+1t+1−t−s−1−3.$

Hence, dG (Vij) = 2 (s + 1) (t + 1) + st − 7.Case 3: 0 < i < s and j = 0.A similar argument as in Case 1 shows that, dG (Vij) = 2 (s + 1) (t + 1) + ti − 6.Case 4: i = s and j = 0.A similar argument as in Case 2 shows that, dG (Vij) = 2 (s + 1) (t + 1) + ts − 7.Case 5: $0 and j ≠ 0, or $0 and i ≠ 0.Since d (Vij, Vij) = 1 if and only if i′ = s, s − 1, …, si and j′ = t, t − 1, …, tj except Vst. So $dG1(Vij)=(i+1)(j+1)−1$. In this case, $dG3(Vij)=0$. Therefore

$dG2Vij=2|VG|−dG1Vij−13dG3Vij−|V00,Vij,Vst|=2s+1t+1−i+1j+1−1−3$

Hence, dG (Vij) = 2 (s + 1) (t + 1) − (i + 1) (j + 1) − 5.Case 6: $i≥⌈s2⌉$ and $j≥⌈t2⌉$.Since d (Vij, Vij) = 1 if and only if i′ = s, s − 1, …, si and j′ = t, t − 1, …, tj except Vst, Vij. So $dG1(Vij)=(i+1)(j+1)−2$. In this case, $dG3(Vij)=0$. Therefore

$dG2Vij=2|VG|−dG1Vij−13dG3Vij−|V00,Vij,Vst|=2s+1t+1−i+1j+1−2−3$

Hence, dG (Vij) = 2 (s + 1) (t + 1) − (i + 1) (j + 1) − 4.This completes the proof of the lemma.

Remark 1. From the above lemma, it can be easily seen that the cardinalities of the vertex set of G, that is, |V(G)| = (s + 1) (t + 1) − 2. So $|V(Z22×33)|=10$ as shown in Example 1.The following theorem gives the Wiener index of $ΓE(Zpsqt)$.

Theorem 2. For distinct prime numbers p, q, and some $s,t∈N$. The Wiener index of the compressed zero-divisor graph $Γ(Zpsqt)$ is

$WΓEZpsqt=122s+1t+1s+t+st−12ss+1−12tt+1−ss+3tt+34−4st+s−⌈s2⌉+1t−⌈t2⌉+1−7s+t+1.$

Proof. Let . n = psqt, and $G=ΓE(Zn)$. we have V01, V10, …, Vs−1,t, Vs,t−1 are all the vertices of G by Lemma 2, where Vij defined by (1). Then

$WG=12∑j=1tdGV0j+∑i=1sdGVi0+∑i=1s∑j=1tdGVij−dGVst=12∑j=1t2s+1t+1+s−j−6+∑i=1s2s+1t+1+t−i−6−2+∑i=1s∑j=1t2s+1t+1−i+1j+1−5+∑i=⌈s2⌉s∑j=⌈t2⌉t1−i+1j+1−4=122s+1t+1s+t+st−12ss+1−12tt+1−ss+3tt+34−4st+s−⌈s2⌉+1t−⌈t2⌉+1−7s+t+1.$

Example 3. Consider the ring $R=Z22×33$. The Wiener index of the compressed zero-divisor graph $ΓE(Z22×33)$ is

$WΓEZ22×33=78$

By Theorem 2.

## Conclusion

In this paper, we have described the structure of the graph $Γ(Zps×qt)$ for all distinct primes p, q and $s,t∈N$ by partition of the vertex set. Consider the partition of the vertex set into the subsets V01, V10, …, Vij, ⋯ , Vs−1,t, Vs,t−1 as seen (1). Then VijVij if and only if i + i′ ≥ s and j + j′ ≥ t. Based on this structure, we proved that the distance of two vertices of $Γ(Zps×qt)$ are contained in the set {1, 2, 3}, and derived an explicit formula for Wiener index of the graph in Theorem 1 using the basic counting principles.

In addition, we run the formula obtained through MATLAB software and get the data in Table 1. Then, we studied the structure of the compressed zero-factor graph of $Zpsqt$ by treating the set Vij as a single vertex of the compressed zero-divisor graph $ΓE(Zpsqt)$. We showed that the degree of vertex Vij generally includes six cases, with the number of the vertices of the graph be (s + 1) (t + 1) − 2. Finally we derive the corresponding formula for Wiener index $W(ΓE(Zpsqt))$ in Theorem 2. Of course, we can also implement it in software if needed.

TABLE 1

TABLE 1. The Wiener index of $Γ(Zn)$ for n = 2s3t.

## Data availability statement

The original contributions presented in the study are included in the article/supplementary material, further inquiries can be directed to the corresponding author.

## Author contributions

RL conceived of the presented idea, and WY developed the theory and performed the computations, verified the analytical methods. RL investigated and supervised the findings of this work. All authors discussed the results and contributed to the final manuscript.

## Funding

The authors are very grateful to the referee for careful reading of the manuscript and helpful suggestions. This work was supported by the National Science Foundation of China (11961021 and 11561019), Guangxi Natural Science Foundation (2020GXNSFAA159084), Hechi University Research Fund for Advanced Talents (2019GCC005) and Hechi University Research Fund (2018XJQN007).

## Conflict of interest

The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

## Publisher’s note

All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.

## References

Ahmadi, M. R., and Nezhad, R. J. (2011). Energy and Wiener index of zero-divisor graphs. Iran. J. Math. Chem. 2 (1), 45–51. doi:10.22052/ijmc.2011.5166

Anderson, D. F., and Livingston, P. S. (1999). The zero-divisor graph of a commutative ring. J. Algebra 217 (2), 434–447. doi:10.1006/jabr.1998.7840

Asir, T., and Rabikka, V. (2021). The Wiener index of the zero-divisor graph of Zn. Discrete. Appl. Math. 319, 461–471. doi:10.1016/j.dam.2021.02.035,

Beck, I. (1988). Coloring of commutative rings. J. Algebra. 116, 116 208–226. doi:10.1016/0021-8693(88)90202-5

Dehmer M, and Emmert-Streib F (Editors) (2014). Quantitative graph theory: Mathematical foundations and applications (Florida, United States: CRC Press).

J. Devillers, and A. T. Balaban (Editors) (1999). Topological indices and related descriptors in QSAR and QSPR (Amsterdam: Gordon and Breach Science Publishers).

Dobrynin, A., Entringer, R., and Gutman, I. (2001). Wiener index of trees: Theory and applications. Acta Appl. Math. 66 (3), 211–249. doi:10.1023/a:1010767517079

Dobrynin, A., and Iranmanesh, A. (2020). Wiener index of edge thorny graphs of catacondensed benzenoids. Mathematics 8 (4), 467. doi:10.3390/math8040467

Douglas, B. (2001). West, introduction to graph theory. 2nd Ed. Singapore: Pearson Education.

Mohammad, H. Q., and Authman, M. N. (2018). Hosoya polynomial and wiener index of zero-divisor graph of Z_n. AL-Rafidain J. Comput. Sci. Math. 12 (1), 47–59. doi:10.33899/csmj.2018.163570$\mathbb{Z}_{n}$

Pirzada, S., Aijaz, M., and Imran Bhat, M. (2020). On the divisor graphs of the Rings Zn. Afr. Mat. 31, 31 727–737. doi:10.1007/s13370-019-00755-3

Selvakumar, K., Gangaeswari, P., and Arunkumar, G. (2022). The Wiener index of the zero-divisor graph of a finite commutative ring with unity. Discrete. Appl. Math., 311, 72–84. doi:10.1016/j.dam.2022.01.012

Singh, Pradeep, and Bhat, Vijay Kumar (2020). Zero-divisor graphs of finite commutative rings: A survey. Surv. Math. Appl., 15 371–397.

Spiroff, S., and Wickham, C. (2011). A zero-divisor graph determined by equivalence classes of zero-divisors. Commun. Algebra 39 (7), 2338–2348. doi:10.1080/00927872.2010.488675

Keywords: wiener index, zero-divisor graphs, compressed zero-divisor graph, residue class rings, equivalence classification

Citation: Wei Y and Luo R (2022) The wiener index of the zero-divisor graph for a new class of residue class rings. Front. Chem. 10:985001. doi: 10.3389/fchem.2022.985001

Received: 03 July 2022; Accepted: 04 August 2022;
Published: 13 September 2022.

Edited by:

Xiyun Zhang, Jinan University, China

Reviewed by:

Hongjie Bi, Okinawa Institute of Science and Technology Graduate University, Japan
Wei Wang, Chongqing Medical University, China

Copyright © 2022 Wei and Luo. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.

*Correspondence: Ricai Luo, hcxylor@126.com