On finite groups with prime-power order \(S\)-quasinormally embedded subgroups. (Q633266)

The influcence of the way some subgroups of prime-power order are embedded into a group on its structure has become one of the trending topics in abstract group theory. A subgroup \(H\) of a finite group \(G\) is said to be S-quasinormal (or S-permutable) if it permutes with all Sylow subgroups of \(G\). A subgroup \(H\) of a finite group \(G\) is S-quasinormally embedded in \(G\) if all Sylow subgroups of \(H\) are Sylow subgroups of an S-quasinormal subgroup of \(G\). In this paper, the authors study finite groups with S-quasinormally embedded subgroups of prime-power order in order to obtain some criteria for \(p\)-nilpotency. They obtain the following results: Let \(p\) be the smallest prime dividing the order of a group \(G\) and \(P\) a Sylow \(p\)-subgroup of \(G\). Then \(G\) is \(p\)-nilpotent if and only if there is a subgroup \(D\) of \(P\) with \(1<|D|<|P|\) such that every subgroup of \(P\) with order \(|D|\) or \(4\) (if \(|D|=2\)) is S-quasinormally embedded in \(G\) (Theorem 3.7). They also obtain that for an odd prime \(p\) dividing the order of \(G\) and \(P\) a Sylow \(p\)-subgroup of \(G\), then \(G\) is \(p\)-nilpotent if and only if \(N_G(P)\) is \(p\)-nilpotent and there is a subgroup \(D\) of \(P\) with \(1<|D|<|P|\) such that every subgroup of \(P\) with order \(|D|\) is S-quasinormally embedded in~\(G\) (Theorem 3.9).