\(\omega\)-fibered formations and Fitting classes of finite groups. (Q1810048)

Let \(\mathbb{P}\) be the set of all primes and \(\emptyset\neq\omega\subseteq\mathbb{P}\). Any function \(f\colon\omega\cup\{\omega'\}\to\{\)formations of groups\} (\{Fitting classes of groups\}) is called \(\omega F\)-function (\(\omega R\)-function). Any function \(g\colon\mathbb{P}\to\{\)formation of groups\} (\{Fitting classes of groups\}) is called \(\mathbb{P} F\)-function (\(\mathbb{P} R\)-function). Let \(\varphi\) be a \(\mathbb{P} FR\)-function, i.e. \(\varphi\colon\mathbb{P}\to\{\)nonempty Fitting formations\}. A formation (a Fitting class) \(\mathfrak F\) is said to be \(\omega\)-fibered if \[ {\mathfrak F}=\{G\in{\mathfrak E}\mid G/O_\omega(G)\in f(\omega')\text{ and }G/G_{f(p)}\in f(p)\text{ for any }p\in\omega\cap\pi(G)\} \] \[ ({\mathfrak F}=\{G\in{\mathfrak E}\mid G/O^\omega(G)\in f(\omega')\text{ and }G^{f(p)}\in f(p)\text{ for any }p\in\omega\cap\pi(G)\}) \] for some \(\omega F\)-function (\(\omega R\)-function) \(f\) and some \(\mathbb{P} FR\)-function \(\omega\). In particular, an \(\omega\)-local formation (\(\omega\)-local Fitting class) is an \(\omega\)-fibered formation (\(\omega\)-fibered Fitting class) with \(\mathbb{P} FR\)-function \(\varphi\) such that \(\varphi(p)={\mathfrak E}_{p'}{\mathfrak N}_p\) (\(\varphi(p)={\mathfrak N}_p{\mathfrak E}_{p'}\)) for any prime \(p\) [see \textit{L. A. Shemetkov, A. N. Skiba}, Mat. Tr. 2, No. 2, 114-147 (1999; Zbl 0960.20011)]. In the paper a construction and characterisations of \(\omega\)-fibered formations and \(\omega\)-fibered Fitting classes are studied. Let \(\mathfrak X\) be a nonempty set of groups. It is proved, that if \(\mathfrak F\) is the \(\omega\)-fibered formation (\(\omega\)-fibered Fitting class) generated by \(\mathfrak X\), then \(\mathfrak F\) has a unique minimal \(\omega F\)-function (\(\omega R\)-function) \(f\) such that \(f(\omega')=\text{form}(G/O_\omega(G)\mid G\in{\mathfrak X})\), \(f(p)=\text{form}(G/G_{\varphi(p)}\mid G\in{\mathfrak X})\) (\(f(\omega')=\text{Fit}(O^\omega(G)\mid G\in{\mathfrak X})\), \(f(p)=\text{Fit}(O^{p'}(G)\mid G\in{\mathfrak X})\)) for any \(p\in\omega\cap\pi({\mathfrak X}\)) and \(f(p)=\emptyset\) for \(p\in\omega\setminus\pi({\mathfrak X})\).