\(\{2,3\}\)-groups with no elements of order 6. (Q2356083)

In this paper the authors continue the study of \(\{2,3\}\)-groups that do not contain elements of order \(6\) ([see the authors, Sib. Math. J. 55, No. 6, 1098-1104 (2014); translation from Sib. Mat. Zh. 55, No. 6, 1345-1352 (2014; Zbl 1325.20033)], see also the paper of \textit{E. Jabara} and the authors [J. Group Theory 17, No. 6, 947-955 (2014; Zbl 1323.20032)]). Let \(G\) be periodic group; a subgroup \(H\) of \(G\) is called \textit{forbidden} if it has the following properties: (a) \(H\) is generated by an element of order \(2\) and an element of order \(3\); (b) \(H\) does not contain elements of order \(6\); (c) every maximal \(2\)-subgroup of \(H\) is an infinite locally cyclic group. The main result obtained in the paper under review is the following. Theorem. Suppose that \(G\) is a \(\{2,3\}\)-group without elements of order \(6\) and forbidden subgroups. If the order of a product of any two elements of \(G\), whose orders are at most \(4\), does not exceed \(9\), then one of the following is true:{\parindent=6mm\begin{itemize}\item[(1)] \(G=O_3(G)T\), where \(O_3(G)\) is abelian and \(T\) either is a locally cyclic \(2\)-group or is a quaternion group of order \(8\) or \(16\);\item[(2)] \(G=O_2(G)R\), where \(O_2(G)\) is nilpotent of nilpotency class at most two and \(R\) is a \(3\)-group with a unique subgroup of order \(3\), acting freely on \(O_2(G)\);\item[(3)] \(G=O_2(G)D\), where \(D\) contains a locally cyclic subgroup \(R\) of index \(2\) and \(O_2(G)R\) satisfies item (2);\item[(4)] \(G\) is a \(2\)-group or a \(3\)-group. \end{itemize}} The proof of the theorem rests on computations in the GAP package using the coset enumeration algorithm. As a corollary it is proved that if \(G\) is a \(\{2,3\}\)-group with no elements of order \(6\) containing elements of order \(2\) and \(3\) and if for every \(x,y\in G\) with \(x^{12}=1=y^{12}\) is \((xy)^{72}=1\), then \(G\) either is locally finite or satisfies item (2) of the Theorem (in particular if the exponent of \(G\) divides \(2^n\cdot 9\) for some \(n\in\mathbb N\), then \(G\) is locally finite).