On \(\Pi\)-property and \(\Pi\)-normality of subgroups of finite groups. (Q653390): Difference between revisions

Let \(G\) be a finite group. A subgroup \(H\) of \(G\) is said to have the \(\Pi\)-property in \(G\) if \(|G/K:N_{G/K}(HK/K\cap L/K)|\) is a \(\pi(HK/K\cap L/K)\)-number for any chief factor \(L/K\) of \(G\). A subgroup \(H\) of \(G\) is said to be \(\Pi\)-supplemented in \(G\) if there is a subgroup \(T\) of \(G\) such that \(HT=G\) and \(H\cap T\leq I\leq H\), where \(I\) has the \(\Pi\)-property in \(G\), and if \(T\) is also subnormal in \(G\), then \(H\) is called \(\Pi\)-normal in \(G\). Let \(\mathcal F\) be a saturated formation and suppose \(G\) has a normal subgroup \(E\) such that \(G/E\in\mathcal F\). Theorem 3.3 (3.4): Let \(\mathcal F\) contain all supersoluble groups and every noncyclic Sylow subgroup \(P\) of \(E\) (\(F^*(E)\)) has a subgroup \(D\) such that \(1<|D|<|P|\) and every subgroup \(H\) in \(\Sigma_D=\{H\subseteq P:|H|=|D|\), or if \(P\) is a non-Abelian 2-group and \(|P:D|>2\), \(|H|=2|D|\) and \(\exp(H)>2\}\) having no supersoluble supplement in \(G\) is \(\Pi\)-normal in \(G\). Then \(G\in\mathcal F\). Theorem 3.7: If all cyclic subgroups in \(F^*(E)\) of order 4 are \(\Pi\)-normal in \(G\) and all elements of prime order are contained in \(Z_\infty(G)\), then \(G\in\mathcal F\). Finally attention is drawn to forty propositions in the literature that are special cases of Theorem 3.3, 3.4 and 3.7.