On the distributivity of the lattice of solvable totally local Fitting classes (Q5942071)

Let \(\mathbb{P}\) be the set of all primes. Functions of the form \(f\colon\mathbb{P}\to\{\text{Fitting classes}\}\) are called Hartley functions. Let \({\mathcal N}_p\) be the class of \(p\)-groups, and for each set \(\pi\) of primes, let \({\mathcal G}_\pi\) denote the class of \(\pi\)-groups. Further, if \(\mathcal F\) is a class of groups, \(\pi({\mathcal F})\) denotes the set of all those primes which divide the order of some group in \(\mathcal F\). If \(f\) is a Hartley function and \(\mathcal F\) is a class of groups with \({\mathcal F}={\mathcal G}_{\pi({\mathcal F})}\cap(\bigcap_{p\in\pi({\mathcal F})}f(p){\mathcal N}_p{\mathcal G}_{p'})\), then \(\mathcal F\) is said to be a local Fitting class with Hartley function \(f\), which is denoted by \({\mathcal F}=\text{LR}(f)\). For each nonnegative integer \(n\), \(n\)-fold local Fitting classes are defined as follows: each Fitting class is \(0\)-fold local, while for \(n\geq 1\) a Fitting class \(\mathcal F\) is said to be \(n\)-fold local if \({\mathcal F}=\text{LR}(f)\), where all non-empty values of the Hartley function \(f\) are \((n-1)\)-fold local. A Fitting class is said to be totally local if it is \(n\)-fold local for all positive integers \(n\). In the present paper it is proved that the lattice of all soluble totally local Fitting classes is algebraic and distributive.