Factorizations of Fitting classes. (Q692653)

This paper focuses on the theory of Fitting classes of finite groups. A class \(\mathcal F\) of groups is called a Fitting class if every normal subgroup of an \(\mathcal F\)-group is an \(\mathcal F\)-group and if the product of two normal \(\mathcal F\)-subgroups of a group is again an \(\mathcal F\)-group. Given two Fitting classes \(\mathcal F\) and \(\mathcal G\), the Fitting product of \(\mathcal F\) and \(\mathcal G\) is the class \(\mathcal{FG}=(G\mid G/G_{\mathcal F}\in\mathcal G)\), where \(G_{\mathcal F}\) denotes the largest normal \(\mathcal F\)-subgroup of a given group \(G\). A map \(f\) which associates a Fitting class \(f(p)\) to each prime number \(p\) is called an \(H\)-function and the set \(\mathrm{Supp}(f)=\{p\mid f(p)\neq\emptyset\}\) is called the support of \(f\). A Fitting class \(\mathcal F\) is said to be local if there exists an \(H\)-function \(f\) such that \(\mathcal F=\mathcal S_\pi\cap\bigcap_{p\in\pi}f(p)\mathcal S_p\mathcal S_{p'}\) and it is called semilocal if \(\mathcal F=\bigcap_{p\in\pi}f(p)\mathcal S_{p'}\), where \(\pi=\mathrm{Supp}(f)\). (Here \(\mathcal S_\sigma\) denotes the class of all soluble \(\sigma\)-groups, for a set of primes \(\sigma\).) The main result in the paper (Theorem 5.1) states that there exists an infinite set of non-trivial local Fitting classes every element in which is decomposable into a non-trivial product of Fitting classes such that every factor in the product is neither local nor a formation, but the product is seminormal. In particular, this gives a positive answer to Problem 11.25 a) in Kourovka notebook. Unsolved problems in group theory [Novosibirsk: Institut Matematiki SO AN SSSR (1990; Zbl 0748.20001)].