ON PARTIALLY SATURATED FORMATIONS AND RESIDUALS OF FINITE GROUPS (Q2769809)

Let \(\pi\) be a set of primes. A formation \(\mathfrak F\) is called \(\pi\)-saturated if \(G/O_p(G)\cap\Phi(G)\in{\mathfrak F}\) for each \(p\in\pi\) implies \(G\in{\mathfrak F}\). Partially saturated formations of finite groups are studied with the help of group functions and the results of this study then applied to studying \(\pi\)-complements of \(\mathfrak F\)-residuals, where \(\mathfrak F\) is a formation. In particular, if \({\mathfrak F}\neq\emptyset\) is a formation, \(\Gamma\) a group, \(G\) a normal subgroup of \(\Gamma\), and \(\pi\) a subset of \(\pi({\mathfrak F})\cap\pi(G^{\mathfrak F})\cap\pi(\Gamma:G^{\mathfrak F})\) such that \(\mathfrak F\) is \(\pi\)-saturated and \(G^{\mathfrak F}\) possesses an Abelian Sylow \(p\)-subgroup for each \(p\in\pi\), then \(G^{\mathfrak F}\) has a \(\pi\)-complement in \(\Gamma\) (Theorem 5). Applications to \(\mathfrak F\)-groups of automorphisms are also provided, in particular a generalisation of a result by \textit{P. Schmid} [J. Lond. Math. Soc., II. Ser. 7, 83-94 (1973; Zbl 0271.20011)].