# The power graph of a torsion-free group

- 262 Downloads

## Abstract

The *power graph**P*(*G*) of a group *G* is the graph whose vertex set is *G*, with *x* and *y* joined if one is a power of the other; the *directed power graph*\(\overrightarrow{P}(G)\) has the same vertex set, with an arc from *x* to *y* if *y* is a power of *x*. It is known that, for finite groups, the power graph determines the directed power graph up to isomorphism. However, it is not true that any isomorphism between power graphs induces an isomorphism between directed power graphs. Moreover, for infinite groups the power graph may fail to determine the directed power graph. In this paper, we consider power graphs of torsion-free groups. Our main results are that, for torsion-free nilpotent groups of class at most 2, and for groups in which every non-identity element lies in a unique maximal cyclic subgroup, the power graph determines the directed power graph up to isomorphism. For specific groups such as \(\mathbb {Z}\) and \(\mathbb {Q}\), we obtain more precise results. Any isomorphism \(P(\mathbb {Z})\rightarrow P(G)\) preserves orientation, so induces an isomorphism between directed power graphs; in the case of \(\mathbb {Q}\), the orientations are either all preserved or all reversed. We also obtain results about groups in which every element is contained in a unique maximal cyclic subgroup (this class includes the free and free abelian groups), and about subgroups of the additive group of \(\mathbb {Q}\) and about \(\mathbb {Q}^n\).

## Keywords

Power graph Directed power graph Torsion-free group## Mathematics Subject Classification

05C25 20F99## References

- 1.Aalipour, G., Akbari, S., Cameron, P.J., Nikandish, R., Shaveisi, F.: On the structure of the power graph and the enhanced power graph of a group. https://arxiv.org/abs/1603.04337
- 2.Baer, R.: Abelian groups without elements of finite order. Duke Math J.
**3**, 68–122 (1937)MathSciNetCrossRefzbMATHGoogle Scholar - 3.Cameron, P.J.: The power graph of a finite group, II. J. Group Theory
**13**, 779–783 (2010)MathSciNetCrossRefzbMATHGoogle Scholar - 4.Cameron, P.J., Ghosh, S.: The power graph of a finite group. Discrete Math.
**311**, 1220–1222 (2011)MathSciNetCrossRefzbMATHGoogle Scholar - 5.Chakrabarty, Ivy, Ghosh, Shamik, Sen, M.K.: Undirected power graphs of semigroups. Semigroup Forum
**78**, 410–426 (2009)MathSciNetCrossRefzbMATHGoogle Scholar - 6.Kelarev, A.V., Quinn, S.J.: Directed graph and combinatorial properties of semigroups. J. Algebra
**251**, 16–26 (2002)MathSciNetCrossRefzbMATHGoogle Scholar - 7.Kurosh, A.: Group Theory, 2nd English edn (transl. K.A Hirsch). Chelsea, New York (1960)Google Scholar
- 8.Miller, P.: A classification of the subgroups of the rationals under addition. https://www.whitman.edu/Documents/Academics/Mathematics/SeniorProject_PatrickMiller.pdf
- 9.Neumann, B.H.: An essay on free products with amalgamations. Philos. Trans. R. Soc. Lond Ser. A.
**246**, 503–544 (1954)MathSciNetCrossRefzbMATHGoogle Scholar