\(\pi\)-quasinormally embedded and c-supplemented subgroup of finite group. (Q1001309)

All groups considered in this review are finite. Many authors have investigated the influence of certain embedding properties of some relevant families of subgroups on the structure of a group, for example in determining either the supersolvability or the \(p\)-nilpotency of the group. In particular, many results have been obtained within the framework of formation theory dealing with the following properties: A subgroup \(H\) of a group \(G\) is said to be \(\pi\)-quasinormal in \(G\) if it permutes with every Sylow subgroup of \(G\); a subgroup \(H\) of \(G\) is called \(\pi\)-quasinormally embedded in \(G\) if each Sylow subgroup of \(H\) is also a Sylow subgroup of some \(\pi\)-quasinormal subgroup of \(G\). Moreover, a subgroup \(H\) of \(G\) is said to be c-supplemented in \(G\) if there exists a subgroup \(K\) of \(G\) such that \(G=HK\) and \(H\cap K\) is contained in \(H_G\), the core in \(G\) of \(H\). Although c-supplementation and \(\pi\)-quasinormality (or \(\pi\)-quasinormal embedding) are quite different properties, analogous results have been obtained under the assumption that the maximal subgroups of the Sylow subgroups of a group \(G\) (respectively, of some relevant normal subgroup of \(G\)) have each one of these embedding properties. In the paper under review the authors try to unify some of these results by proving: Theorem 1.7. Let \(\mathcal F\) be a saturated formation containing \(\mathcal U\), the class of all supersolvable groups, and suppose that \(G\) is a group with a normal subgroup \(H\) such that \(G/H\in\mathcal F\). Then \(G\in\mathcal F\) if one of the following holds: (1) all maximal subgroups of all Sylow subgroups of \(H\) are either \(\pi\)-quasinormally embedded or \(c\)-supplemented in \(G\); (2) all maximal subgroups of all Sylow subgroups of \(F^*(H)\), the generalized Fitting subgroup of \(H\), are either \(\pi\)-quasinormally embedded or c-supplemented in \(G\). The proof of this theorem refers mainly to the one for the corresponding result using \(\pi\)-quasinormality instead of \(\pi\)-quasinormal embedding, obtained by the first author and \textit{Y. Wang} [in Adv. Math., Beijing 36, No. 5, 599-606 (2007)]. Regarding \(p\)-nilpotency, the authors also prove: Let \(p\) be a prime dividing the order of \(G\) and \(P\) a Sylow \(p\)-subgroup of \(G\). If every maximal subgroup of \(P\) is either \(\pi\)-quasinormally embedded or c-supplemented in \(G\) and \((|G|,p-1)=1\), then \(G\) is \(p\)-nilpotent.