No label defined (Q4453488)

A group \(G\) is called an \(N_0\)-group if all subgroups of \(G\) are subnormal and a group \(G\) is called a just non-\(N_0\)-group if \(G\not\in N_0\), but every proper factor group of \(G\) belongs to \(N_0\). A group \(G\) is called a minimal non-\(N_0\)-group if every proper subgroup of \(G\) belongs to \(N_0\) but \(G\) itself does not belong to \(N_0\). In the paper under review the authors study locally nilpotent periodic groups with non-trivial Fitting subgroup which are just non-\(N_0\)-groups or minimal non-\(N_0\)-groups. The following results are proved: Theorem 1.2. Let \(G\) be a \(p\)-group (\(p\) a prime number) with \(\text{Fit}(G)\not=1\) (\(\text{Fit}(G)\) is the Fitting subgroup of \(G\)). If \(G\) is a just non-\(N_0\)-group, then \(G=\text{Fit}(G)\) and \(G\) has a normal nilpotent subgroup \(K\) such that \(G/K\) is a radicable Abelian group of finite rank. Furthermore, for every proper subgroup \(H\) of \(G\), \(H^G\not=G\), where \(H^G\) denotes the normal closure of \(H\) in \(G\). Theorem 1.5. Let \(G\) be a residually nilpotent \(p\)-group (\(p\) a prime number) with \(\text{Fit}(G)\not=1\). If every proper homomorphic image of \(G\) is an \(N_0\)-group then \(G\) is nilpotent. Theorem 2.1. Let \(G\) be a locally nilpotent minimal non-\(N_0\)-group. Then \(G\) is soluble. Theorem 2.4. Let \(G\) be a locally nilpotent minimal non-\(N_0\)-group. If \(G\) has a normal nilpotent subgroup such that \(G/N\) has finite exponent, then \(G\) is hypercentral of length at most \(\omega+1\). Theorem 2.5. Let \(G\) be a periodic locally nilpotent \(n\)-Engel group for some natural number \(n\). (i) If every proper subgroup \(H\) of \(G\) is an \(N_0\)-group then \(G\) is nilpotent. (ii) If every proper homomorphic image of \(G\) is an \(N_0\)-group and \(\text{Fit}(G)\not=1\) then \(G\) is nilpotent. For the entire collection see [Zbl 1031.20001].