On periodic subgroups of factorized groups (Q1312367)

Let the group \(G = AB = AK = BK\) be triply factorized by the subgroups \(A\), \(B\) and \(K\), where \(K\) is normal in \(G\). An example of Sysak shows that if \(G\) if locally soluble and periodic and \(A\), \(B\) and \(K\) are locally nilpotent, \(G\) need not be locally nilpotent. In this article it is proved that if \(G\) is periodic and \(A\), \(B\), \(K\) are locally nilpotent, then also \(G\) is locally nilpotent, provided that one of the subgroups \(A\) and \(B\) is hyperabelian. This result generalizes a previous one by \textit{B. Amberg} [Arch. Math. 35, 228-238 (1980; Zbl 0423.20027)], and is obtained as a special case of the following more general theorem. Let \(\pi\) be a set of primes, and let \(G = AB = AK = BK\) be the product of three \(\pi\)-closed subgroups \(A\), \(B\) and \(K\), where \(K\) is locally finite and normal in \(G\). If one of the subgroups \(A\) and \(B\) is hyperabelian and locally polycyclic, then \(G\) is \(\pi\)-closed. Here a group is called \(\pi\)-closed if the set of its \(\pi\)-elements is a subgroup. In particular, if \(A\), \(B\) and \(K\) are locally nilpotent, then the set of all elements of finite order of \(G\) is a locally nilpotent subgroup. Moreover, it is shown that if \(G = AB = AK = BK\) is the product of two locally nilpotent subgroups \(A\) and \(B\) and a nilpotent normal subgroup \(K\), then the set of all elements of finite order of \(G\) is a locally nilpotent subgroup, provided that either \(G\) is soluble and one of the subgroups \(A\) and \(B\) has finite torsion-free rank, or \(G\) is hyperabelian and locally polycyclic.