Groups with proper hypercyclic homomorphic images. (Q2569685)

Let \(X\) be a class of groups. A group \(G\) is said to be a just-non-\(X\)-group, if \(G\) is not in \(X\), but each proper factor group is in \(X\). The \(0\)-rank of a group is the number of infinite cyclic factors in a finite subnormal series. The authors study hyperabelian groups \(G\) where all proper factor groups are hypercyclic groups. They note that all simple groups are just-non-\(X\)-groups for all classes \(X\) and so they add the condition that the Fitting subgroup must be non-trivial. Their main results are: Theorem A. Let \(G\) be a non-monolithic group with all proper factor groups hypercentral of finite \(0\)-rank and \(A=\text{Fitt}(G)\) a non-trivial subgroup. (1) If \(A\) contains non-trivial elements of finite order, then \(G\) is a hypercyclic group. (2) If \(A\) is torsion-free, then \(G\) is either hypercyclic or just-non-supersoluble. Theorem B. Let \(G\) be a monolithic group with non-trivial Fitting subgroup \(M\). If \(G\) is a just-non-hypercyclic group, then (1) \(M\) is the monolith of \(G\); (2) \(M\) is a maximal normal Abelian subgroup of \(G\); (3) \(M\) has a complement \(H\) in \(G\), and \(H\) is a self-normalizing hypercyclic subgroup of \(G\); (4) all complements to \(M\) are conjugate in \(G\); (5) \(S=\text{Soc}(H)\) contains a subgroup \(J\) such that \(S/J\) is a locally cyclic group and \(\text{Core}_H(J)\) is trivial; (6) If \(M\) is an elementary Abelian \(p\)-subgroup for some prime \(p\), then \(S\) is a \(p'\)-subgroup. Moreover, if \(G/M\) has finite \(0\)-rank, then \(M\) is an elementary Abelian \(p\)-subgroup for some prime \(p\).