On Lockett's conjecture for \(\sigma \)-local Fitting classes (Q6132627)

All groups appearing in this review will be finite. A class of groups \(\mathcal F\) is called a Fitting class if it is closed under normal subgroups and products of normal \(\mathcal F\)-subgroups. It is well known that many problems related to Fitting classes can be studied by using the operators \(``^{*}"\) and \(``_{*}"\) defined by \textit{F. P. Lockett} [Math. Z. 137, 131--136 (1974; Zbl 0286.20017)]. Every non-empty Fitting class \(\mathcal F\) can be compared with the Fitting classes \(\mathcal F^{*}\) and \(\mathcal F_{*}\), where \(\mathcal F^{*}\) is the smallest Fitting class containing \(\mathcal F\) such that the \(\mathcal F^{*}\)-radical of the direct product \(G \times H\) of any two groups \(G\) and \(H\) is equal to the direct product of the \(\mathcal F^{*}\)-radical of \(G\) and the \(\mathcal F^{*}\)-radical of \(H\), and \(\mathcal F_{*}\) is the intersection of all Fitting classes \(X\) such that \(\mathcal X^{*}\) = \(\mathcal F^{*}\). A Fitting class \(\mathcal F\) is a Lockett class if \(\mathcal F =\mathcal F^{*}\). Any non-empty Fitting class satifies the inclusions \(\mathcal F_{*} \subseteq\mathcal F\subseteq\mathcal F^{*}\). A Fitting class \(\mathcal F\) is called normal in the class of all solvable groups if \(\mathcal F\subseteq\mathcal S\) and for any group \(G \in\mathcal S\), its \(\mathcal F\)-radical is the largest of the subgroups \(G\) belonging to \(\mathcal F\). Lockett [loc. cit.] conjectured that for a Fitting class \(\mathcal F\), there exists a normal Fitting class \(\mathcal X\) such that \(\mathcal F=\mathcal F^{*} \cap \mathcal X\). Every solvable normal Fitting class \(\mathcal F\) satisfies Lockett's conjecture. This leads to the study by many authors of the problem of descriptions of families of Fitting classes of groups, generally nonsolvable, for which Lockett's conjecture is valid. \textit{A. N. Skiba} [Probl. Fiz. Mat. Tekh. 2018, No. 1(34), 79--82 (2018; Zbl 1388.20030)] proposed a \(\sigma\)-method to study the structure of groups and formations, which was dualized by \textit{W. Guo} et al. [J. Algebra 542, 116--129 (2020; Zbl 1480.20048)] for Fitting classes by definining \(\sigma\)-local Fitting classes, where \(\sigma\) is a partition of the set \(\mathbb{P}\), the set of all primes. The authors analyse the behaviour of \(\sigma\)-local Fitting classes. The main goal of the paper is to prove that every \(\sigma\)-local Fitting class satisfies Lockett's conjecture.