Critical \(\Omega\)-fibered formations of finite groups. (Q1810185)

All groups considered are finite. Let \(\mathfrak I\) be the class of all simple groups, let \(\Omega\) be a nonempty subclass of \(\mathfrak I\), and let \({\mathfrak I}_\Omega\) be the class of all \(\Omega\)-groups, i.e., groups \(G\) such that \({\mathcal K}(G)\subseteq\Omega\), where \({\mathcal K}(G)\) is the class of all simple groups isomorphic to composition factors of \(G\); it is assumed that \(1\in{\mathfrak I}_\Omega\); \(O_\Omega(G)\) denotes the \({\mathfrak I}_\Omega\)-radical of \(G\); functions \[ f\colon\Omega\cup\{\Omega'\}\to\{\text{formations of groups}\},\quad g\colon{\mathfrak I}\to\{\text{formations of groups}\},\text{ and} \] \[ \varphi\colon{\mathfrak I}\to\{\text{nonempty Fitting formations}\} \] that take equal values on isomorphic groups in their domains are called \(\Omega F\)-functions, \(F\)-functions, and \(FR\)-functions, respectively. The formation \[ \Omega F(f,\varphi)=(G:G/O_\Omega(G)\in f(\Omega ')\text{ and }G/G_{\varphi(A)}\in f(A)\text{ for any }A\in\Omega\cap{\mathcal K}(G) \] is referred to as the \(\Omega\)-fibered formation with \(\Omega\)-satellite \(f\) and with direction \(\varphi\) [see \textit{V. A. Vedernikov} and \textit{M. M. Sorokina}, Math. Notes 71, No. 1, 39-55 (2002); translation from Mat. Zametki 71, No. 1, 43-60 (2002; see the following review Zbl 1068.20024)]. Let \(\mathfrak H\) be a class of groups. An \(\Omega\)-fibered formation \(\mathfrak F\) with direction \(\varphi\) is said to be a minimal \(\Omega\)-fibered non-\(\mathfrak H\)-formation with direction \(\varphi\), or an \({\mathfrak H}_\Omega\)-critical formation with direction \(\varphi\), if \({\mathfrak F}\nsubseteq{\mathfrak H}\) and all proper \(\Omega\)-fibered subformations with direction \(\varphi\) in \(\mathfrak F\) belong to the class \(\mathfrak H\). Let \(A\in{\mathfrak I}\), and let \(O_{A',A}(G)\) be the \({\mathfrak G}_{A'}{\mathfrak G}_A\)-radical of a group \(G\), where \({\mathfrak G}_{A'}{\mathfrak G}_A\) is the Gaschütz product of the classes \({\mathfrak G}_{A'}\) and \({\mathfrak G}_A\). A formation \({\mathfrak F}=\Omega F(f,\varphi)\) is said to be \(\Omega\)-canonical or, briefly, an \(\Omega K\)-formation if \(\varphi(A)={\mathfrak G}_{A'}{\mathfrak G}_A\) for any group \(A\in{\mathfrak I}\), in which case we write \[ {\mathfrak F}=\Omega KF(f)=(G:G/O_\Omega(G)\in f(\Omega'),\;G/O_{A',A}(G)\in f(A)\text{ for any }A\in\Omega\cap{\mathcal K}(G)). \] Let \(A\in{\mathfrak I}\), and let \(O_{A'}(G)\) be the \({\mathfrak G}_{A'}\)-radical of \(G\). A formation \({\mathfrak F}=\Omega F(f,\varphi)\) is said to be \(\Omega\)-bicanonical or, briefly, an \(\Omega B\)-formation if \(\varphi(A)={\mathfrak G}_{A'}\) for any non-Abelian group \(A\in{\mathfrak I}\) and \(\varphi(A)={\mathfrak G}_{A'}{\mathfrak G}_A\) for any Abelian group \(A\in{\mathfrak I}\), in which case we write \[ {\mathfrak F}=\Omega BF(f)=(G:G/O_\Omega(G)\in f(\Omega'),\;G/O_{A'}(G)\in f(A)) \] for any \(A\in(\Omega \setminus{\mathfrak A})\cap{\mathcal K}(G)\) and \(G/O_{A',A}(G)\in f(A)\) for any \(A\in\Omega\cap{\mathfrak A}\cap{\mathcal K}(G))\) [see \textit{V. A. Vedernikov}, ``Maximal satellites of \(\Omega\)-fibered formations and Fitting classes'', Preprint No. 242 (1), MPGU, Moscow, 1-30 (2001)]. In this paper it is described the structure of the minimal \(\Omega\)-canonical non-\(\mathfrak H\)-formations (\({\mathfrak H}_{\Omega K}\)-critical formations) and the structure of the minimal \(\Omega\)-bicanonical non-\(\mathfrak H\)-formations (\({\mathfrak H}_{\Omega B}\)-critical formations).