An analog of Shemetkov's conjecture for Fischer classes of finite groups. (Q392721)

All groups considered in this paper are finite. A class of groups \(\mathcal F\) is called a formation if \(\mathcal F\) is closed under homomorphic images and finite subdirect products. A formation \(\mathcal F\) is called saturated or local if \(\mathcal F\) is closed under Frattini extensions, i.e. if from \(G/\Phi(G)\in\mathcal F\) it follows that \(G\in\mathcal F\). A class of groups \(\mathcal F\) is called a Fitting class if \(\mathcal F\) is closed under normal subgroups and products of normal \(\mathcal F\)-subgroups. A Fitting class \(\mathcal F\) is a Fischer class if \(\mathcal F\) is closed under subgroups of the form \(PN\), where \(P\) is a Sylow \(p\)-subgroup in a group \(G\in\mathcal F\) and \(N\) is a normal subgroup. If \(\pi\) is a set of prime numbers, a group \(G\) is said to be a \(C_\pi\)-group if \(G\) has a \(\pi\)-Hall subgroup and any two \(\pi\)-Hall subgroups of \(G\) are conjugated. If \(\mathcal X\) is a class of groups, \(E_\pi\mathcal X\) is the class of all groups having at least one \(\pi\)-Hall subgroup belonging to \(\mathcal X\) and the class \(C_\pi\mathcal X\) is the class \(C_\pi\cap E_\pi\mathcal X\). \textit{D. Blessenohl} proved [in Math. Z. 142, 299-300 (1975; Zbl 0291.20021)], that if \(\mathcal F\) is a saturated formation, then the class of all soluble \(C_\pi\mathcal F\)-groups is also a saturated formation. Shemetkov in 1978 formulated the conjecture: \(C_\pi\mathcal F\) is a saturated formation. This conjecture was refuted in 1995 by Vasil'ev and Shemetkov. The aim of this paper is to study conditions under which the analogue conjecture for Fischer classes, if \(\mathcal F\) is a Fischer class, then \(C_\pi\mathcal F\) is a Fischer class, is valid. The authors obtain that if \(\mathcal F\) is a Fischer class then the class of \(\pi\)-soluble \(C_\pi\mathcal F\)-groups is also a Fischer class.