Periodic Frobenius groups (Q6179768)

In this paper, a Frobenius group \(G\) is a semidirect product \(G=FH\) such that \(H \cap H^{g}=\{1\}\) for every \(g \in G \setminus H\) and \(F \setminus \{1\}=G \setminus \bigcup_{g \in G} H^{g}\). The normal subgroup \(F\) is the (Frobenius) kernel of \(G\) and \(H\) is the (Frobenius) complement of \(G\). It is easy to see that, if \(G=FH\) is a Frobenius group, then \(N_{G}(H)=H\), \(C_{G}(h) \leq H\) for every \(1 \not =h \in H\) and \(C_{G}(f) \leq F\) for every \(1 \not = f \in F\) (\(F\) and \(H\) are strongly isolated subgroups of \(G\) and \(H\) acts freely on \(F\)). The structure of finite Frobenius groups is quite well known; on the contrary very little is known about infinite Frobenius groups. The main result in the paper under review is Theorem 2: Let \(G\) be a periodic group and let \(1 \not =F \trianglelefteq G\) be a strongly isolated locally finite subgroup of \(G\). Then \(F\) has a complement \(H\) in \(G\), so \(G=FH\) is a Frobenius group. The authors, specializing Theorem 2 to the case in which \(F\) is abelian, obtain an affirmative answer to Question 20.96 proposed by A. I. Sozutov in [\textit{V. D. Mazurov} (ed.) and \textit{E. I. Khukhro} (ed.), The Kourovka notebook. Unsolved problems in group theory. 20th edition. Novosibirsk: Novosibirsk: Institute of Mathematics, Russian Academy of Sciences, Siberian Div. (2022)]. The authors show with appropriate examples that the assumption that \(F\) is locally finite is essential to obtain their results. If \(G=FH\) is a Frobenius group with \(F\) abelian (or locally finite) and \(H\) periodic, then a fairly accurate description of the structure of \(H\) can be found in the paper of \textit{T. Grundhöfer} and the reviewer [Arch. Math. 97, No. 3, 219--223 (2011; Zbl 1241.20036)].