Finite groups with \textit{SS}-supplement (Q2408010)

One of the most fruitful topics in the abstract theory of finite groups during the last years has been the study of what we can say about a finite group in which the members of a relevant family of subgroups satisfy a given subgroup embedding property. All groups here will be finite. A subgroup \(H\) of a group \(G\) is said to be \(SS\)-quasinormal in \(G\) if there is a subgroup \(K\) such that \(G=HK\) and \(HS=SH\) for all Sylow subgroups \(S\) of \(G\). A subgroup \(H\) is \(S\)-supplemented in \(G\) if there exists a subgroup \(K\) of \(G\) such that \(G=HK\) and \(H\cap K\) permutes with all Sylow subgroups of \(G\). A subgroup \(H\) is said to be \(SS\)-supplemented in \(G\) if there is a subgroup \(K\) such that \(G=HK\) and \(H\cap K\) is \(SS\)-quasinormal in \(G\). \(SS\)-supplemented subgroups generalise \(SS\)-quasinormal subgroups and \(S\)-supplemented subgroups. The main theorem of this paper says that if \(H\) is a normal subgroup of~\(G\) and for every non-cyclic Sylow subgroup \(P\) of \(G\) either all maximal subgroups of \(P\) or all cyclic subgroups of \(P\) of prime order and of order \(4\) (if \(P\) is a non-abelian \(2\)-group) are \(SS\)-supplemented in \(G\), then each \(G\)-chief factor below \(H\) is cyclic. The proof of this result depends on Theorem 3.1, which asserts that if \(P\) is a Sylow \(p\)-subgroup of \(G\) with \(\gcd(p-1, | G|)=1\) and every maximal subgroup of \(P\) not having a \(p\)-nilpotent supplement in \(G\) is \(SS\)-supplemented, then \(G\) is \(p\)-nilpotent.