Supplements to normal subgroups of finite groups. (Q354489)

A class of finite groups \(\mathcal F\) is a formation if every homomorphic image of a group in \(\mathcal F\) belongs to \(\mathcal F\) and if \(G/(N_1\cap N_2)\) belongs to \(\mathcal F\) whenever \(G/N_1\) and \(G/N_2\) belong to \(\mathcal F\). The formation \(\mathcal F\) is normally hereditary if \(N\) belongs to \(\mathcal F\) always follows from \(N\trianglelefteq G\) and \(G\in\mathcal F\). If \(\mathcal F\neq\emptyset\) then \(G^{\mathcal F}\) is the intersection of all normal subgroups \(K\) of \(G\) such that \(G/K\in\mathcal F\). The main subject of this paper is to prove Theorem B and to obtain several applications: Theorem B. Let \(\mathcal F\) a nonempty normally hereditary formation and \(K\) and \(H\) be subgroups of \(G\) such that \(K\trianglelefteq G\) and \(G=HK^{\mathcal F}\). Suppose that there exists a normal subgroup \(D\) in \(H\) such that the following conditions hold: (1) \((H\cap K)^{\mathcal F}\leq D\leq H\cap K^{\mathcal F}\); (2) \(H\cap K^{\mathcal F}/D \) is contained in the Frattini subgroup of \(H/D\); (3) for any prime \(p\) dividing \(|H\cap K^{\mathcal F}/D|\), a Sylow \(p\)-subgroup \(G_p\) of \(G\) is representable as a semidirect product \(G_p=TP\) where \(T\trianglelefteq G_p\), \(T\leq K^{\mathcal F}\) and \(P\leq H\). If \(D\neq H\cap K^{\mathcal F}\), then \(K^{\mathcal F}\neq (K^{\mathcal F})^{\mathcal F}\).