On permutable subgroups of finite groups. (Q1401597): Difference between revisions

If \(G\) is a finite group, let \(S\) be a complete set of Sylow subgroups of \(G\), that is, \(S\) contains exactly one Sylow \(p\)-subgroup \(G_p\) for every \(p\in\pi(G)\). A subgroup of \(G\) is called S-permutable if it commutes with all elements of \(S\). The main result of this paper reads as follows: Theorem. Fix a complete set \(S\) of Sylow subgroups of \(G\). If \(\mathcal F\) is a saturated formation containing the supersolvable groups, then the following statements are equivalent: (i) \(G\in\mathcal F\). (ii) There exists \(H\triangleleft G\) such that \(G/H\in\mathcal F\) and the maximal subgroups of \(G_p\cap H\) are S-permutable subgroups of \(G\) for all \(G_p\in S\).