Planar infinite groups. (Q741287)

The subgroup graph of a group \(G\) is defined as the graph whose vertices are the subgroups of \(G\) such that two subgroups \(H\) and \(K\) are adjacent if \(H\) is maximal in \(K\) or vice versa; the group \(G\) is called planar if its subgroup graph is planar. The structure of planar groups which are abelian or finite is well-known; [see \textit{C. L. Starr} and \textit{G. E. Turner} III, J. Algebr. Comb. 19, No. 3, 283-295 (2004; Zbl 1043.05064) and \textit{R. Schmidt}, Algebra Univers. 55, No. 1, 1-12 (2006; Zbl 1122.20008)]. The authors study planar infinite groups satisfying certain finiteness conditions. They first show that a planar group in which any two elements generate a finite subgroup is locally finite. Then they note that the structure of finite planar groups immediately implies that every locally finite planar group is finite or abelian. It follows that every infinite soluble planar group is abelian. They further show that every planar infinite 2-group is abelian and that a planar infinite group satisfying the ascending and descending chain conditions is generated by two elements and it has neither involutions nor elements with order a product of three distinct primes. Finally, the authors study outerplanar groups, that is, groups whose subgroup graph has a planar embedding where all vertices lie on the boundary of the same face.