\2,3\-groups with no elements of order 6.
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).
- Groups of exponent 24.
- Groups with automorphisms that leave only the neutral element fixed
- scientific article; zbMATH DE number 3550935 (Why is no real title available?)
- scientific article; zbMATH DE number 1564072 (Why is no real title available?)
- scientific article; zbMATH DE number 3099373 (Why is no real title available?)
- On groups of exponent 36.
- On periodic groups with an almost regular involution
- On regular automorphisms of order 3 and Frobenius pairs
- Periodic groups acting freely on Abelian groups.
- Periodic groups acting freely on abelian groups.
- Quadratic automorphisms of Abelian groups
- Some groups of exponent \(72\).
- Structure of a group with elements of order at most 4.
- On \(\{2,3\}\)-groups without elements of order 6.
- On \(\{2, 3\}\)-groups without elements of order 6
- scientific article; zbMATH DE number 3916553 (Why is no real title available?)
- On (3,m)-Special Elements in Groups
- On \(\{2,3\}\)-groups in which there are no elements of order 6
- Finite groups without elements of order six
- Quantitative characterization of finite simple groups: a complement
This page was built for publication: \(\{2,3\}\)-groups with no elements of order 6.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2356083)
