Search

The power graph $${\fancyscript{P}}(G)$$ of a group $$G$$ is the graph which has a vertex set of the group elements and two elements are adjacent if one is a power of the other. Chakrabarty, Ghosh, and Sen proved the main properties of the undirected power graph of a finite group. The aim of this paper is to generalize some results of their work and presenting some counterexamples for one of the problems raised by these authors. It is also proved that the power graph of a $$p$$ -group is $$2$$ -connected if and only if the group is a cyclic or generalized quaternion group and if $$G$$ is a nilpotent group which is not of prime power order then the power graph $${\fancyscript{P}}(G)$$ is $$2$$ -connected. We also prove that the number of edges of the power graph of the simple groups is less than or equal to the number of edges in the power graph of the cyclic group of the same order. This partially answers to a question in an earlier paper. Finally, we give a complete classification of groups in which the power graph is a union of complete graphs sharing a common vertex. [ABSTRACT FROM AUTHOR]

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}G$ be a finite group of order $n$, and let $\text {C}_n$ be the cyclic group of order $n$. For $g\in G$, let ${\mathrm{o}}(g)$ denote the order of $g$. Let $\phi $ denote the Euler totient function. We show that $\sum _{g \in \text {C}_n} \phi ({\mathrm{o}}(g))\geq \sum _{g \in G} \phi ({\mathrm{o}}(g))$, with equality if and only if $G$ is isomorphic to $\text {C}_n$. As an application, we show that among all finite groups of a given order, the cyclic group of that order has the maximum number of bidirectional edges in its directed power graph. [ABSTRACT FROM PUBLISHER]