Periodic groups with one finite nontrivial Sylow 2-subgroup (Q6194914): Difference between revisions

Let \(D(2k)\) be the dihedral group of order \(2k\). \textit{A. K. Shlepkin} and \textit{A. G. Rubashkin}, in [Algebra Logika 44, No. 1, 114--125 (2005; Zbl 1096.20035)], proved that a periodic group of finite exponent such that every of its finite subgroups lies in a dihedral subgroup is itself a finite dihedral group. In the paper under review the authors improve the previous result by proving the following general Theorem 2: Suppose that \(G\) is a group of finite even exponent, \(d\) is a positive integer, and \(\mathfrak{D}(G)\) is some set of finite subgroups \(H\) of \(G\) with the following properties: \(H\) is an extension of a \(d\)-generated abelian group by a nontrivial elementary abelian 2-group of order at most \(2^{d}\), and the center of \(H\) does not contain nontrivial elements of odd order. If every finite subgroup of \(G\) lies in a subgroup from \(\mathfrak{D}(G)\), then \(G\) is finite. An immediate consequence of Theorem 2 is Theorem 1: Suppose that \(d\) is a positive integer and \(G\) is a group of finite even exponent such that every of its finite subgroups is contained in a subgroup isomorphic to the direct product of \(d\) dihedral groups. Then \(G\) is finite and is isomorphic to the direct product of at most \(d\) dihedral groups. The reviewer points out that \textit{S. V. Ivanov} and \textit{A. Yu. Olshanskii}, in [J. Algebra 195, No. 1, 241--284 (1997; Zbl 0918.20031)] described finite and locally finite subgroups of a Burnside group \(B(m,n)\), where \(m \geq 2\), \(n = n_{1}n_{2} \geq 2^{48}\), \(n_{1}\) is odd, \(n_{2} = 2^{s}\), and \(s \geq 9\). In particular, they proved that every finite subgroup of a group \(B(m,n)\) is isomorphically embedded into \(D(2n_{1}) \times D(2n_{2})^{\ell}\) for some \(\ell\). This shows that the hypotheses of Theorem 2 cannot be weakened. Another interesting result in this paper is Theorem 3: Suppose that \(G\) is a periodic group and \(p\) is an odd prime. If every finite subgroup of \(G\) lies in a subgroup isomorphic to the direct product \(D(2p^{r_{1}}) \times D(2p^{r_{2}})\) then \(G=M_{1} \times M_{2}\), where \(M_{i} = \langle H_{i}, t_{i}\rangle\), \(t_{i}\) is an element of order \(2\), \(H_{i}\) is a locally cyclic \(p\)-group and \(h_{i}^{t_{i}}=h_{i}^{-1}\) for every \(h_{i} \in H_{i}\) (\(i=1,2\)).