A new kind of generalized normality in finite groups. (Q648950)

Let \(G\) be a finite group. A subgroup \(H\) of \(G\) is called \(s\)-quasinormal in \(G\) if \(HP=PH\) for every Sylow subgroup \(P\) of \(G\), a concept introduced by \textit{O. H. Kegel} [Math. Z. 78, 205-221 (1962; Zbl 0102.26802)]. A subgroup \(H\) of \(G\) is called \(s\)-quasinormally embedded in \(G\) if for each prime \(p\) dividing the order of \(H\), a Sylow \(p\)-subgroup of \(H\) is also a Sylow \(p\)-subgroup of some \(s\)-quasinormal subgroup of \(G\). A subgroup \(H\) of \(G\) is called weakly \(s\)-supplemently embedded in \(G\) if there exists a subgroup \(T\) of \(G\) such that \(G=HT\) and \(H\cap T=H_{se}\), where \(H_{se}\) is an \(s\)-quasinormally embedded subgroup of \(G\) contained in \(H\). Sufficient conditions are provided for \(G\) being either supersoluble or \(p\)-nilpotent. A typical result is: If, for any prime \(p\) dividing \(|G|\), every maximal subgroup of a Sylow \(p\)-subgroup \(P\) of \(G\) is weakly \(s\)-supplemently embedded in \(N_G(P)\) and \(P'\) is \(s\)-quasinormal in \(G\), then \(G\) is supersoluble (Theorem 3.3).