Non-singly-generated multiply \(\omega\)-fan Fitting classes of finite groups. (Q881008)

All groups considered are finite. A nonempty set \(\Theta\) of Fitting classes is called a complete lattice of Fitting classes if \(\emptyset\) and \(\mathfrak G\) belong to \(\Theta\) and the intersection of any family of Fitting classes in \(\Theta\) also belongs to \(\Theta\). An element \(c\) of a complete lattice \(L\) is said to be compact if, for any subset \(X\subseteq L\), the inequality \(c\leq\sup_LX\) implies the existence of a finite subset \(X_0\subseteq X\) such that \(c\leq\sup_LX_0\). A complete lattice is called algebraic if every element of the lattice is a lattice union of compact elements. It is known that the lattice of all \(\tau\)-closed \(n\)-multiply local formations [\textit{A. N.~Skiba}, Algebra of formations. Minsk: Belaruskaya Navuka (1997; Zbl 0926.20014)], the lattice of all \(\tau\)-closed totally local formations [\textit{V. G.~Safonov}, Algebra Logika 45, No.~5, 620-626 (2006)], and the lattice of all soluble totally local Fitting classes [\textit{A. N.~Skiba} and \textit{N. N.~Vorob'ev}, Mat. Zametki 67, No.~5, 662-673 (2000; Zbl 0985.20010)] are algebraic. It is proved Theorem 1. The lattice of all Fitting classes is algebraic. Let \(\emptyset\neq\omega\subseteq\mathbb{P}\), \(\omega'=\mathbb{P}\setminus\omega\), where \(\mathbb{P}\) is the set of all primes. We denote \(F^p(G)=G^{\mathfrak N_p\mathfrak G_{p'}}\), \(O^{Z_p,(Z_p)'}(G)=G^{\mathfrak N_p\mathfrak G_{(Z_p)'}}\). Any function \(f\colon\omega\cup\{\omega'\}\to\{\text{Fitting classes of groups}\}\) is called an \(\omega R\)-function, and any function \(\varphi\colon\mathbb{P}\to\{\text{nonempty Fitting formations}\}\) is called a \(\mathbb{P} FR\)-function. A Fitting class of the form \[ \mathfrak F=\omega R(f,\varphi)=(G:O^\omega(G)\in f(\omega') \text{ and }G^{\varphi(p)}\in f(p)\text{ for any }p\in\omega\cap\pi(G)) \] is called an \(\omega\)-fan Fitting class with \(\omega\)-satellite \(f\) and direction \(\varphi\). Every Fitting class is assumed to be \(0\)-multiply \(\omega\)-fan with direction \(\varphi\). For \(n\geq 1\) a Fitting class \(\mathfrak F\) is said to be an \(n\)-multiply \(\omega\)-fan Fitting class with direction \(\varphi\) if \(\mathfrak F\) has at least one \(\omega\)-satellite all of whose nonempty values are \((n-1)\)-multiply \(\omega\)-fan Fitting classes with the same direction \(\varphi\). A Fitting class \(\mathfrak F\) is said to be totally \(\omega\)-fan with direction \(\varphi\) if it is \(n\)-multiply \(\omega\)-fan with direction \(\varphi\) for any positive integer \(n\). In this paper new series of algebraic lattices of Fitting classes are found. In particular it is proved Theorem 2. The lattice of all \(n\)-multiply \(\omega\)-fan Fitting classes with direction \(\varphi\), where \(\rho_0\leq\varphi\), is algebraic. It are described the non-single-generated totally fan Fitting classes with direction \(\varphi\), \(\rho_1\leq\varphi\leq\rho_2\), all of whose proper totally fan Fitting subclasses with direction \(\varphi\) are singly generated.