ON TOTALLY LOCAL FORMATIONS OF GROUPS (Q4551071)

All groups considered are finite. Remember that a class of groups is called a formation if it is closed with respect to homomorphic images and finite subdirect products. Let \(F(\mathfrak G)\) be the set of all formations. A map from the set \(\mathbb{P}\) of all primes to \(F(\mathfrak G)\) is called a formation function or a local screen [\textit{K. Doerk, T. Hawkes}, Finite soluble groups. Berlin, New-York, Walter de Gruyter (1992; Zbl 0753.20001)]. A formation \(\mathfrak F\) is said to be local if there exists a formation function \(f\) such that \({\mathfrak F}=\{G\mid G/F_p(G)\in f(p)\) for every prime \(p\) dividing the order \(|G|\) of \(G\}\). In this case we write \({\mathfrak F}=LF(f)\). The multiple localization concept was introduced by Skiba [see \textit{L. A. Shemetkov, A. N. Skiba}, Formations of algebraic systems. Moscow: Nauka (1989; Zbl 0667.08001)]. Any formation can be considered as a \(0\)-multiply local formation. If \(n>0\), then we call the formation \(\mathfrak F\) an \(n\)-multiply local formation if \({\mathfrak F}=LF(f)\) and every nonempty value \(f(p)\) is an \((n-1)\)-multiply local formation. A formation \(\mathfrak F\) is called totally local if it is \(n\)-multiply local for all natural numbers \(n\). We write \(l_\infty\) form \(\mathfrak X\) (\(\mathfrak X\) is a set of groups) to denote the intersection of all totally local formations containing \(\mathfrak X\). Let \(\{{\mathfrak Y}_i\mid i\in I\}\) be an arbitrary set of totally local formations. We denote by \(\bigvee_\infty({\mathfrak Y}_i\mid i\in I)\) the formation \(l_\infty\) form \((\bigcup_{i\in I}{\mathfrak Y}_i)\). We denote by \({\mathfrak F}/_\infty{\mathfrak F}\cap{\mathfrak N}\) the lattice of all totally local formations between \(\mathfrak F\) and \({\mathfrak F}\cap{\mathfrak N}\). A totally local formation \(\mathfrak F\) is called a minimal totally local non-\(\mathfrak Y\)-formation (or \({\mathfrak Y}_\infty\)-critical formation) if \({\mathfrak F}\not\subseteq{\mathfrak Y}\) but \({\mathfrak F}_1\subseteq{\mathfrak Y}\) for every proper totally local subformation \({\mathfrak F}_1\) of \(\mathfrak F\). The main result of the paper is the following Theorem. Let \(\mathfrak F\) be a non-nilpotent totally local formation. Then the following statements are equivalent: (1) \({\mathfrak F}/_\infty{\mathfrak F}\cap{\mathfrak N}\) is a complemented lattice; (2) \(\mathfrak F\) is a soluble formation and \({\mathfrak F}/_\infty{\mathfrak F}\cap{\mathfrak N}\) is an algebraic lattice, moreover \({\mathfrak F}=({\mathfrak F}\cap{\mathfrak N})\bigvee_\infty(\bigvee_\infty({\mathfrak Y}_i\mid i\in I)) \), were \(\{{\mathfrak Y}_i\mid i\in I\}\) is the set of all \({\mathfrak N}_\infty\)-critical subformations of \(\mathfrak F\); (3) \({\mathfrak F}/_\infty{\mathfrak F}_0\) is a Boolean lattice. -- This theorem gives a positive answer to a problem by Skiba [see \textit{A. N. Skiba}, Algebra of formations. Minsk: Belaruskaya Navuka (1997; Zbl 0926.20014)].