Normal subgroups of finite groups and formations with normalizer conditions (Q1582813)

A formation \(\mathfrak F\) is said to satisfy the normalizer condition if \(\mathfrak F\) is hereditary and contains every finite group such that the normalizers of all its Sylow subgroups belong to \(\mathfrak F\). Let \(\mathfrak F\) be an arbitrary formation satisfying the normalizer condition. In the present note it is studied the structure of a normal subgroup \(K\) of a finite group \(G\) under the assumption that \(K\cap M\in{\mathfrak F}\) for any maximal subgroup \(M\) of \(G\) that does not contain \(K\). These results develop a part of Section~3.1 in the monograph of \textit{M.~V.~Sel'kin} [Maximal subgroups in the theory of classes of finite groups, Belaruskaya Navuka, Minsk (1997; Zbl 0917.20014)]. In particular it is proved: Theorem. Let \(\mathfrak F\) be a formation satisfying the normalizer condition. If \(K\) is a normal subgroup of \(G\) and if \(K\cap M\in{\mathfrak F}\) for any maximal subgroup \(M\) of \(G\) that does not contain \(K\), then, for some set of primes \(\pi\), the subgroup \(K\) is of the form \(K=[K_\pi]K_{\pi'}\), where \(K_\pi\in{\mathfrak N}\) and \(K_{\pi'}\in{\mathfrak F}\). In particular, if \(\mathfrak F\) is solvable, then the subgroup \(K\) is also solvable.