The Wiener Index of an Undirected Power Graph

Volkan Aşkin, Şerife Büyükköse^*

Gazi University, Mathematics, Ankara, Turkey.

DOI: 10.4236/alamt.2021.111003                

Abstract

The undirected power graph P(Z_n) of a finite group Z_n is the graph with vertex set G and two distinct vertices u and v are adjacent if and only if u ≠ v and or . The Wiener index W(P(Z_n)) of an undirected power graph P(Z_n) is defined to be sum of distances between all unordered pair of vertices in P(Z_n). Similarly, the edge-Wiener index W_e(P(Z_n)) of P(Z_n) is defined to be the sum of distances between all unordered pairs of edges in P(Z_n). In this paper, we concentrate on the wiener index of a power graph , P(Z_pq) and P(Z_p). Firstly, we obtain new results on the wiener index and edge-wiener index of power graph P(Z_n), using m,n and Euler function. Also, we obtain an equivalence between the edge-wiener index and wiener index of a power graph of Z_n.

Keywords

Wiener Index, Edge-Wiener Index, An Undirected Power Graph, Line Graph

1. Introduction

We define an undirected power graph $P\left(G\right)$ for a group G as follows. Let us denote the cylic subgroup genarated by $u\in G$ by $\langle u\rangle$, that is, $\langle u\rangle =\left\{u^m|m\in \mathbb{N}\right\}$, where $\mathbb{N}$ denotes the set of naturel numbers. The graph $P\left(G\right)$ is an undirected graph where vertex set is G and two vertices $u,v\in G$ are adjacent if and only if $u\ne v$ and $\langle u\rangle \subseteq \langle v\rangle$ or $\langle v\rangle \subseteq \langle v\rangle$ (which is equivalent to say $u\ne v$ and $u^m=v$ or $v^m=u$ for some positive integer m.) [1] [2] [3] [4].

For a graph G, let $\mathrm{deg}\left(u\right)$ and $d\left(u,v\right)$ denote the degree of a vertex $u\in V\left(G\right)$ and the distance between vertices $u,v\in V\left(G\right)$, respectively. Let $L\left(G\right)$ denote the line graph of G, that is, the graph with vertex set $E\left(G\right)$ and two distinct edges $e,f\in E\left(G\right)$ adjacent in $L\left(G\right)$ whenever they share an end-vertex in G. Furthermore, for, $f\in E\left(G\right)$, we let $d\left(e,f\right)$ denote the distance between e and f in the line graph $L\left(G\right)$.

We consider the power graph $P\left(Z_n\right)$ for the additive group $Z_n$ of integers modulo n. The diameter of a graph G is the greatest distance between any pair of vertices, and denoted by $diam\left(G\right)$. In $P\left(Z_n\right)$, the distance is one if the vertices is adjacent and the distance is two if the vertices is non adjacent. Therefore, $diam\left(P\left(Z_n\right)\right)=2$. The order an element $\bar{g}$ in $Z_n$ is denoted by ( $\bar{g}$ ) or $\left|g\right|$. For a positive integer n, $\varphi \left(n\right)$ denotes the Euler’s totient function of n.

In this paper, the wiener index and the edge-wiener index, denoted by $W\left(G\right)$ and $W_e\left(G\right)$, respectively and they are defined as follows:

$W\left(G\right)=\frac{1}{2}\underset{\left\{u,v\right\}\subseteq V\left(G\right)}{{\displaystyle \sum }}d\left(u,v\right)$

$W_e\left(G\right)=\frac{1}{2}\underset{\left\{e,f\right\}\subseteq E\left(G\right)}{{\displaystyle \sum }}d\left(e,f\right)$

Now, we give some theorem and corollary in literature. Using our main theorems;

Theorem 1. ( [5] ) For each finite group, the number of edges of the undirected power graph $P\left(G\right)$ is given by the formula

$E\left(P\left(G\right)\right)=\frac{1}{2}\underset{g\in G}{{\displaystyle \sum }}\left\{2o\left(g\right)-\varphi \left(o\left(g\right)\right)-1\right\}$

Corollary 2. ( [6] ) The number of edges of the undirected power graph $P\left(Z_n\right)$ is given by $\frac{1}{2}{\displaystyle {\sum }_{d|n}\left\{2d-\varphi \left(d\right)-1\right\}\varphi \left(d\right)}$.

Theorem 3. ( [3] ) Let G be connected graph with n vertices and m edges. If $diam\left(G\right)\le 2$, Then $W\left(G\right)=n\left(n-1\right)-m$.

Theorem 4. ( [5] ) A finite group has a complete undirected power graph if and only if it is cyclic and has order equal to p^k, where p is a prime and k is a nonnegative integer.

2. Main Results

In this section, our aim is to give our main results on the Wiener index and the edge-Wiener index of an undirected power graph $P\left(Z_n\right)$ for $n=p^k$, or $n=pq$, where p and q are distinct prime numbers and k is a nonnegative integer.

Theorem 5. Let $P\left(Z_n\right)$ be an undirected power graph of with n vertices and m edges. Then

$W\left(P\left(Z_n\right)\right)=\frac{1}{2}\underset{\left\{u,v\right\}\subseteq V\left(P\left(Z_n\right)\right)}{{\displaystyle \sum }}\{\begin{array}{l}1,u\sim v\\ 2,u\nsim v\end{array}$

Proof. Let

$R=\left\{\left\{u,v\right\}\subseteq V\left(P\left(Z_n\right)\right)|u~v\text{if}\text{only}\text{if}u\ne v,\langle u\rangle \subseteq \langle v\rangle \text{or}\langle v\rangle \subseteq \langle u\rangle \right\}$ be a set. In $P\left(Z_n\right)$, for $\left\{u,v\right\}\subseteq V\left(P\left(Z_n\right)\right)$, there are two cases; If $u\nsim v$ then $d\left(u,v\right)=2$. Otherwise, i.e. $u\sim v$, then $d\left(u,v\right)=1$. Therefore

$\begin{array}{c}W\left(P\left(Z_n\right)\right)=\frac{1}{2}\underset{\left\{u,v\right\}\subseteq V\left(P\left(Z_n\right)\right)}{{\displaystyle \sum }}d\left(u,v\right)\\ =\frac{1}{2}\left({\displaystyle {\sum }_{\left\{u,v\right\}\subseteq R}d\left(u,v\right)}+{\displaystyle {\sum }_{\left\{u,v\right\}⊈R}}d\left(u,v\right)\right)\\ =\frac{1}{2}{\displaystyle {\sum }_{\left\{u,v\right\}\subseteq R}1}+\frac{1}{2}{\displaystyle {\sum }_{\left\{u,v\right\}⊈R}2}\\ =\frac{1}{2}{\displaystyle {\sum }_{\left\{u,v\right\}\subseteq V\left(P\left(Z_n\right)\right)}\{\begin{array}{l}1,\left\{u,v\right\}\subseteq R\\ 2,\left\{u,v\right\}⊈R\end{array}}\end{array}$

For definition of R, we obtain. Thus

$W\left(G\right)=\frac{1}{2}\underset{\left\{u,v\right\}\subseteq V\left(P\left(Z_n\right)\right)}{{\displaystyle \sum }}\{\begin{array}{l}1,u\sim v\\ 2,u\nsim v\end{array}$

the proof is complete.

Corollary 6. Let p and k is prime number and nonnegative integer, respectively. For $P\left(Z_{p^k}\right)$ power graph of order $p^k$ and m edges,

$W\left(P\left(Z_{p^k}\right)\right)=\left(\begin{array}{c}{p}^k\\ 2\end{array}\right)$.

Proof. In [2], If $n=p^k$ then $P\left(Z_n\right)=K_n$. For any $u\in V\left(Z_{p^k}\right)$, $d\left(u\right)=p^k-1$.

$R^c=\left\{\left\{u,v\right\}\subseteq V\left(P\left(Z_n\right)\right)|u\nsim v\right\}=\varnothing$

Thus

$\begin{array}{c}W\left(P\left(Z_{p^k}\right)\right)=\frac{1}{2}\underset{\left\{u,v\right\}\subseteq V\left(P\left(Z_n\right)\right)}{{\displaystyle \sum }}\{\begin{array}{l}1,u\sim v\\ 2,u\nsim v\end{array}\\ =\frac{1}{2}\left(\underset{\left\{u,v\right\}\subseteq R}{{\displaystyle \sum }}d\left(u,v\right)+\underset{\left\{u,v\right\}⊈\varnothing }{{\displaystyle \sum }}d\left(u,v\right)\right)\\ =\frac{1}{2}\left(\underset{\left\{u,v\right\}\subseteq R}{{\displaystyle \sum }}1+\underset{\left\{u,v\right\}\subseteq \varnothing }{{\displaystyle \sum }}d\left(u,v\right)\right)\\ =\frac{1}{2}\underset{\left\{u,v\right\}\subseteq R}{{\displaystyle \sum }}1=\frac{1}{2}{p}^k\left(p^k-1\right)=\left(\begin{array}{c}{p}^k\\ 2\end{array}\right)\end{array}$

Therefore the proof is proved.

Theorem 7. Let $P\left(Z_n\right)$ be a power graph of with n vertices and m edges. Then

$W\left(P\left(Z_n\right)\right)=\frac{1}{2}\left\{\left(\begin{array}{c}2n\\ 2\end{array}\right)+\underset{g=0}{\overset{n-1}{{\displaystyle \sum }}}\left(\varphi \left(\left|\bar{g}\right|\right)-2\left|\bar{g}\right|\right)\right\}$

Proof. If we consider Theorem 3. for $=P\left(Z_n\right)$, we write

$W\left(P\left(Z_n\right)\right)=n\left(n-1\right)-m$

$m=\frac{1}{2}{\displaystyle {\sum }_{g\in Z_n}\left\{2o\left(g\right)-\varphi \left(o\left(g\right)\right)-1\right\}}$.

If we put the value of m into the formula, we obtain

$\begin{array}{c}W\left(P\left(Z_n\right)\right)=n\left(n-1\right)-m\\ =n\left(n-1\right)-\frac{1}{2}\underset{g\in Z_n}{{\displaystyle \sum }}\left\{2o\left(g\right)-\varphi \left(o\left(g\right)\right)-1\right\}\\ =n^2-n+\frac{1}{2}\underset{g\in Z_n}{{\displaystyle \sum }}\left\{\varphi \left(o\left(g\right)\right)-2o\left(g\right)\right\}-\frac{1}{2}\underset{g\in Z_n}{{\displaystyle \sum }}1\\ =n^2-n+\frac{n}{2}+\frac{1}{2}\underset{g\in Z_n}{{\displaystyle \sum }}\left\{\varphi \left(o\left(g\right)\right)-2o\left(g\right)\right\}\\ =\left\{n^2-\frac{n}{2}+\frac{1}{2}\underset{g=0}{\overset{n-1}{{\displaystyle \sum }}}\left(\varphi \left(\left|\bar{g}\right|\right)-2\left|\bar{g}\right|\right)\right\}\end{array}$

$W\left(P\left(Z_n\right)\right)=\frac{1}{2}\left\{\left(\begin{array}{c}2n\\ 2\end{array}\right)+\underset{g=0}{\overset{n-1}{{\displaystyle \sum }}}\left(\varphi \left(\left|\bar{g}\right|\right)-2\left|\bar{g}\right|\right)\right\}$

Thus, the proof is complete.

Corollary 8. Let $P\left(Z_n\right)$ be a power graph of with $n=p$, where p is a prime number. Then

$W\left(P\left(Z_n\right)\right)=\left(\begin{array}{c}P\\ 2\end{array}\right)$.

Proof. Let $n=p$ be a prime number. Then

$\begin{array}{l}W\left(P\left(Z_p\right)\right)=\frac{1}{2}\left\{\left(\begin{array}{c}2p\\ 2\end{array}\right)+\underset{g=0}{\overset{p-1}{{\displaystyle \sum }}}\left(\varphi \left(\left|\bar{g}\right|\right)-2\left|\bar{g}\right|\right)\right\}\\ =\frac{1}{2}\left[\frac{2p\left(2p-1\right)}{2}+\varphi \left(\left|\bar{0}\right|\right)+\varphi \left(\left|\bar{1}\right|\right)+\cdots +\varphi \left(\left|\overline{p-1}\right|\right)-2\left(\left|\bar{0}\right|+\left|\bar{1}\right|+\cdots +\left|\overline{p-1}\right|\right)\right]\\ =\frac{1}{2}\left[2p^2-p-1+\left(\varphi \left(\left|\bar{1}\right|\right)+\cdots +\varphi \left(\left|\overline{p-1}\right|\right)\right)-2\left(\left|\bar{1}\right|+\cdots +\left|\overline{p-1}\right|\right)\right]\\ =\frac{1}{2}\left[2p^2-p-1+\left(p-1\right)\varphi \left(p\right)-2\left(p-1\right)p\right]\\ =\frac{1}{2}\left[2p^2-p-1+{\left(p-1\right)}^2-2p^2+2p\right]=(\; p\; 2\; )\end{array}$

Theorem 9. Let $P\left(Z_n\right)$ be a power graph of with n vertices and m edges. Then

$W\left(P\left(Z_n\right)\right)=\frac{1}{2}\left\{\left(\begin{array}{c}2n\\ 2\end{array}\right)+\underset{d|n}{{\displaystyle \sum }}\varphi \left(d\right)\left(\varphi \left(d\right)-2d\right)\right\}.$

Proof. Where $P\left(Z_n\right)$ is power graph $=P\left(Z_n\right)$, using theorem 3. And corollary 2, we obtain

$W\left(P\left(Z_n\right)\right)=n\left(n-1\right)-m$

$m=\frac{1}{2}\underset{d|n}{{\displaystyle \sum }}\left\{2d-\varphi \left(d\right)-1\right\}\varphi (\; d\; )$

If we write this m in formula for $W\left(P\left(Z_n\right)\right)$

$\begin{array}{c}W\left(P\left(Z_n\right)\right)=n\left(n-1\right)-m\\ =n\left(n-1\right)-\frac{1}{2}\underset{d|n}{{\displaystyle \sum }}\left\{2d-\varphi \left(d\right)-1\right\}\varphi \left(d\right)\\ =n^2-n+\frac{1}{2}\underset{d|n}{{\displaystyle \sum }}\varphi {\left(d\right)}^2+\frac{1}{2}\underset{d|n}{{\displaystyle \sum }}\varphi \left(d\right)-\underset{d|n}{{\displaystyle \sum }}d\varphi \left(d\right)\\ =n^2-\frac{n}{2}+\frac{1}{2}\underset{d|n}{{\displaystyle \sum }}\varphi \left(d\right)\left(\varphi \left(d\right)-2d\right)\end{array}$

$W\left(P\left(Z_n\right)\right)=\frac{1}{2}\left\{\left(\begin{array}{c}2n\\ 2\end{array}\right)+\underset{d|n}{{\displaystyle \sum }}\varphi \left(d\right)\left(\varphi \left(d\right)-2d\right)\right\}.$

End of proof.

Corollary 10. Let $P\left(Z_n\right)$ be a power graph of with $n=pq$ vertices and m edges, wherep and q are distinct prime numbers. Then

$W\left(P\left(Z_{pq}\right)\right)=m+2\varphi (\; p\; q\; )$

or equiently

$W\left(P\left(Z_{pq}\right)\right)=\left(\begin{array}{c}pq\\ 2\end{array}\right)+\varphi \left(pq\right)$.

Proof. If we write $n=pq$ in theorem 9., we obtain

$\begin{array}{c}W\left(P\left(Z_{pq}\right)\right)=\frac{1}{2}\left\{\left(\begin{array}{c}2pq\\ 2\end{array}\right)+\underset{d|pq}{{\displaystyle \sum }}\varphi \left(d\right)\left(\varphi \left(d\right)-2d\right)\right\}\\ =\frac{1}{2}[pq\left(2\cdot pq-1\right)+\varphi \left(1\right)\left(\varphi \left(1\right)-2\cdot 1\right)+\varphi \left(p\right)\left(\varphi \left(p\right)-2\cdot p\right)\\ +\varphi \left(q\right)\left(\varphi \left(q\right)-2\cdot q\right)+\varphi \left(pq\right)\left(\varphi \left(pq\right)-2\cdot pq\right)]\\ =\frac{1}{2}\left[p^2{q}^2+pq-2\cdot p-2\cdot q+2\right]\\ =\left[\frac{p^2{q}^2-pq}{2}+pq-p-q+1\right]\\ =\left[\left(\begin{array}{c}pq\\ 2\end{array}\right)-\varphi \left(pq\right)\right]+2\cdot \varphi \left(pq\right)\end{array}$ (*)

On the other hand;

$W\left(P\left(Z_{pq}\right)\right)=pq\left(pq-1\right)-m=\left(\begin{array}{c}pq\\ 2\end{array}\right)+\varphi (\; p\; q\; )$

where

$m=\left(\begin{array}{c}pq\\ 2\end{array}\right)-\varphi \left(pq\right)$ (**)

(**) equation put in (*) equation, we obtain,

$W\left(P\left(Z_{pq}\right)\right)=m+2\varphi \left(pq\right)$.

This completes the proof.

On the other hand using m in (**), we obtain

$\begin{array}{c}W\left(P\left(Z_{pq}\right)\right)=m+2\varphi \left(pq\right)\\ =\left(\begin{array}{c}pq\\ 2\end{array}\right)-\varphi \left(pq\right)+2\varphi \left(pq\right)\\ =\left(\begin{array}{c}pq\\ 2\end{array}\right)+\varphi (\; p\; q\; )\end{array}$

This completes the proof.

Theorem 11. If $P\left(Z_n\right)$ is a power graph of order $n=p^k$ or $n=pq$ and m edges, where p and q are distinct prime and k is a nonnegative integer. Then

$maks\left\{W\left(P\left(Z_n\right)\right)\right\}=\left(\begin{array}{c}n+1\\ 2\end{array}\right)$

and

$\min \left\{W\left(P\left(Z_n\right)\right)\right\}=(\; n\; 2\; )$

Proof. If $n=p^k$ in Corollary 6.

$W\left(P\left(Z_{p^k}\right)\right)=\left(\begin{array}{c}{p}^k\\ 2\end{array}\right)$.

And so

$\min \left\{W\left(P\left(Z_n\right)\right)\right\}=(\; n\; 2\; )$

And if $n=pq$ in Corollary 10.

$W\left(P\left(Z_{pq}\right)\right)=\left(\begin{array}{c}pq\\ 2\end{array}\right)+\varphi (\; p\; q\; )$

therefore

$W\left(P\left(Z_n\right)\right)\le \left(\begin{array}{c}n\\ 2\end{array}\right)+\varphi \left(n\right)$.

Also

$\varphi \left(n\right)\le n$.

We write

$W\left(P\left(Z_n\right)\right)\le \left(\begin{array}{c}n\\ 2\end{array}\right)+\varphi \left(n\right)\le \left(\begin{array}{c}n\\ 2\end{array}\right)+n$.

And so,

$maks\left\{W\left(P\left(Z_n\right)\right)\right\}=\left(\begin{array}{c}n+1\\ 2\end{array}\right)$.

Theorem 12. If $P\left(Z_n\right)$ is a power graph of order $n=p^k$ and m edges, where p is prime and k is a nonnegative integer. Then

$W_e\left(P\left(Z_n\right)\right)=3\left\{\left(\begin{array}{c}n\\ 3\end{array}\right)+diam\left(L\left(P\left(Z_n\right)\right)\right)\left(\begin{array}{c}n\\ 4\end{array}\right)\right\}$.

Proof. For $P\left(Z_{p^k}\right)$ power graph, $E\left(P\left(Z_n\right)\right)=\left(\begin{array}{c}n\\ 2\end{array}\right)$ and $\forall u\in V\left(P\left(Z_n\right)\right)$, $d\left(u\right)=n-1$.

Let’s consider to this figure in $P\left(Z_{p^k}\right)$ power graph any $e_{\bar{n},\overline{n-1}}\in E\left(P\left(Z_{p^k}\right)\right)$. For $P\left(Z_{p^k}\right)$ power graph of Line graph as shown in Figure 1.

Choose the random $e_{\bar{n},\overline{n-1}}\in E\left(P\left(Z_{p^k}\right)\right)$ edge and this corner in neighborhood $L\left(P\left(Z_n\right)\right)$ line graph in Figure 2. In the same way, with $e_{\bar{n},\overline{n-1}}\in V\left(L\left(P\left(Z_{p^k}\right)\right)\right)$ point neighborhood amount of points $2\left(n-2\right)$. In the same way $e_{\bar{n},\overline{n-1}}$ neighborhood with corner amount of point $m-1-2\left(n-2\right)$ and therefore $V\left(L\left(P\left(Z_{p^k}\right)\right)\right)$ if each elements for calculated and if edge-Wiener index identified we have the following result.

In edge-Wiener index

$\begin{array}{l}{W}_e\left(P\left(Z_{p^k}\right)\right)=\frac{1}{2}{\displaystyle {\sum }_{\left\{e,f\right\}\subseteq E\left(P\left(Z_n\right)\right)}d\left(e,f\right)}\\ =\frac{1}{2}\{\underset{uv=e}{{\displaystyle \sum }}\left[\left(d\left(u\right)+d\left(v\right)-2\right)\right]\\ +\underset{uv=e}{{\displaystyle \sum }}\left[diam\left(L\left(P\left(Z_n\right)\right)\right)\cdot \left(\left(m-1\right)-\left(d\left(u\right)+d\left(v\right)-2\right)\right)\right]\}\\ =\frac{1}{2}\left\{\left(\begin{array}{c}n\\ 2\end{array}\right)\left[2\left(n-2\right)+diam\left(L\left(P\left(Z_n\right)\right)\right)\left(\left(\begin{array}{c}n\\ 2\end{array}\right)-1-2\left(n-2\right)\right)\right]\right\}\\ =\left[\frac{n\left(n-1\right)\left(n-2\right)}{2}+\frac{n\left(n-1\right)}{4}diam\left(L\left(P\left(Z_n\right)\right)\right)\left(\frac{n^2-5n-6}{2}\right)\right]\\ =3\left(\begin{array}{c}n\\ 3\end{array}\right)+\frac{n\left(n-1\right)\left(n-2\right)\left(n-3\right)}{8}diam\left(L\left(P\left(Z_n\right)\right)\right)\end{array}$

$W_e\left(P\left(Z_{p^k}\right)\right)=3\left[\left(\begin{array}{c}n\\ 3\end{array}\right)+diam\left(L\left(P\left(Z_n\right)\right)\right)\left(\begin{array}{c}n\\ 4\end{array}\right)\right]$

Concluded, namely the prove end.

Theorem 13. If $P\left(Z_n\right)$ is a power graph of order $n=p^k$ and m edges, where p is prime and k is a nonnegative integer. Then

Figure 1. Power grap of $Z_{p^k}$.

Figure 2. Line graph of $P\left(Z_n\right)$.

$W_e\left(P\left(Z_n\right)\right)=\left(\begin{array}{c}n-1\\ 2\end{array}\right)W\left(P\left(Z_n\right)\right)$

Proof. $n=p^k$ ( $\in Z^{+}$ ) is in $W\left(P\left(Z_n\right)\right)=\left(\begin{array}{c}n\\ 2\end{array}\right)$. In the same way,

Case 1. for $n=2,3$ and according to $diam\left(L\left(P\left(Z_n\right)\right)\right)=1$, $W_e\left(P\left(Z_2\right)\right)=0$, therefore $W_e\left(P\left(Z_3\right)\right)=W\left(P\left(Z_3\right)\right)$ ve $\left(\begin{array}{c}3-1\\ 2\end{array}\right)=1$, namely this equation the proof.

Case 2. For $n\ne 2,3$ is $diam\left(L\left(P\left(Z_n\right)\right)\right)=2$ in theorem 12.,

$\begin{array}{c}{W}_e\left(P\left(Z_n\right)\right)=3\left[\left(\begin{array}{c}n\\ 3\end{array}\right)+diam\left(L\left(P\left(Z_n\right)\right)\right)\left(\begin{array}{c}n\\ 4\end{array}\right)\right]\\ =3\left[\left(\begin{array}{c}n\\ 3\end{array}\right)+2\left(\begin{array}{c}n\\ 4\end{array}\right)\right]\\ =\frac{1}{2}n\left(n-1\right)\left[\left(n-2\right)+\left(\frac{\left(n-2\right)\left(n-3\right)}{2}\right)\right]\\ =\left(\begin{array}{c}n\\ 2\end{array}\right)\left(n-2\right)\left[1+\frac{n-3}{2}\right]\\ =\left(\begin{array}{c}n-1\\ 2\end{array}\right)W\left(P\left(Z_n\right)\right)\end{array}$

Thus the proof is completed.

3. Conclusion

We will show the undirected power graph of a Group G with P(G). Here, the undirected P(Z_n) Power graph of the group (Z_n, +) according to N = p^k and n = pq, with p, q being different primes and k being positive integers, is considered and new theorems and results on the Wiener index calculations of these power graphs with the help of Euler function are have been obtained.

Acknowledgements

This paper is derived from the first author’s PH’s thesis.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Alhevaz, A., Baghipuri, M. and Shang, Y. (2019) On Generalized Distance Gaussian Estrada Index of Graphs. Symmetry, 11, 1276. https://doi.org/10.3390/sym11101276
[2]	Iran Manesh, A., Gutman, I., Khormali, O. and Mahmiani, A. (2009) The Edge Versions of the Wiener Index. MATCH Communications in Mathematical and in Computer Chemistry, 61, 663-672.
[3]	Chattopadhyay, S. and Panigrahi, P. (2017) On Sum of Powers of the Laplacian Eigenvalues of Power Graphs of Certain Finite Groups. Electronic Notes in Discrete Mathematics, 63, 137-143.
[4]	Walikar, H.B., Shigehalli, V.S. and Ramane, H.S. (2004) Bounds on the Wiener Index of a Graph. MATCH Communications in Mathematical and in Computer Chemistry, 50, 117-132.
[5]	Wiener, H. (1947) Structural Determination of Paraffin Boiling Points, Journal of the American Chemical Society, 69, 17-20.
[6]	Chakrabarty, I. Ghosh, S. and Sen, M.K. (2009) Undirected Power Graphs of Semigroups. Semigroup Forum, 78, 410-426.