The \(G\)-strong containment for locally defined formations of finite soluble groups. (Q2497448)

All groups considered are finite and soluble. Let \(\mathfrak F\) and \(\mathfrak H\) be formations. The class \(\mathfrak{FH}=(G\mid G^{\mathfrak H}\in\mathfrak F)\) is called the formation product of \(\mathfrak F\) and \(\mathfrak H\). Let \(f\) be a map which assigns to each prime \(p\) a formation (possibly empty). Then \[ \mathfrak F=\text{LF}(f)=\mathfrak S_\pi\cap(\bigcap_{p\in\pi}\mathfrak S_{p '}\mathfrak S_pf(p)) \] where \(\pi=\{p\mid f(p)\neq\emptyset\}\). The formation \(\mathfrak F\) is called a local formation (the class locally defined by \(f\)) and \(f\) is a local definition (local satellite) of \(\mathfrak F\). Let \(\mathfrak F\) be a local formation. Among all possible local definitions there exists exactly one, denoted by \(F\), such that \(F\) is integrated (that is \(F(p)\subseteq\mathfrak F\) for all \(p\in\mathbb{P}\)) and full (that is \(\mathfrak S_pF(p)\) for all \(p\in\mathbb{P}\)). The satellite \(F\) is called the canonical local definition of \(\mathfrak F\) [see \textit{K.~Doerk} and \textit{T.~Hawkes}, Finite soluble groups. De Gruyter Expositions in Mathematics 4. (1992; Zbl 0753.20001)]. Using \textit{P. D'Arcy}'s result [see J. Algebra 28, 362-373 (1974; Zbl 0279.20016)] it is introduced the following Definition. Let \(\mathfrak F\) and \(\mathfrak H=\text{LF}(H)\) be two saturated formations with the canonical definition \(H\) and \(\text{Char}(\mathfrak F)\subseteq\text{Char}(\mathfrak H)\). The formation \(\mathfrak F\) is called \(G\)-strongly contained in \(\mathfrak H\) if for each \(H\in\mathfrak H\) an \(\mathfrak F\)-projector \(E\) of \(H\) satisfies the property \(H^{H(p)}\leq E\) for each \(p\in\text{Char}(\mathfrak F)\). We write \(\mathfrak F\ll_G\mathfrak H\). In this paper it is characterized the locally defined formation \(\mathfrak H\) which \(G\)-strongly contains the formations \(\mathfrak S_\pi\) (the class of all soluble \(\pi\)-groups), \(\mathfrak{NX}\) (\(\mathfrak X\) is a Fitting formation), \(\mathfrak N^k\) (\(k\in\mathbb{N}\), the class of soluble groups of nilpotent length at most \(k\)) and \(\mathfrak U\) (the class of supersoluble groups). In particular, it is proved Theorem 1. Let \(\mathfrak H\) be a saturated formation and \(\pi\subseteq\text{Char}(\mathfrak H)\). \(\mathfrak S_\pi\ll_G\mathfrak H\) if and only if there exists a formation \(\mathfrak X\) such that \(\mathfrak H\subseteq\mathfrak S_\pi\mathfrak X\). Theorem 2. Let \(\mathfrak X\) be a Fitting formation. If \(\mathfrak F=\mathfrak{NX}\ll_G\mathfrak H=\text{LF}(H)\), then there exists a formation \(\mathfrak Y\) such that \(\mathfrak H\subseteq\mathfrak{NY}\). Theorem 3. Let \(\mathfrak H=\text{LF}(H)\). If \(\mathfrak N^k\ll_G\mathfrak H\), then there exists a formation \(\mathfrak X\) such that \(\mathfrak H\subseteq\mathfrak N^k\mathfrak X\). Theorem 4. Let \(\mathfrak H=\text{LF}(H)\). If \(\mathfrak U\ll_G\mathfrak H\), then there exists a formation \(\mathfrak X\) such that \(\mathfrak H\subseteq\mathfrak N^2\mathfrak X\).