On \(\mathfrak F\)-normal Fitting classes of finite soluble groups (Q1590711)

A Fitting class \({\mathfrak X}\neq 1\) is said to be normal if the \(\mathfrak X\)-injectors of \(G\) are normal for all finite groups \(G\). Let \(\mathfrak X\), \(\mathfrak F\), \({\mathfrak X}\subseteq{\mathfrak F}\), be Fitting classes. \(\mathfrak X\) is said to be \(\mathfrak F\)-normal if \(1\neq{\mathfrak X}\subseteq{\mathfrak F}\) and the \(\mathfrak X\)-radical \(G_{\mathfrak X}\) is an \(\mathfrak X\)-injector of \(G\) for all \(G\in{\mathfrak F}\). In the case of \({\mathfrak F}={\mathfrak S}_\pi\), it is known (1) \(\mathfrak X\) is \(\mathfrak F\)-normal precisely when \({\mathfrak X}^*={\mathfrak F}^*\) (if \(\mathfrak F\) is a Fitting class, \({\mathfrak F}^*\) is the smallest Fitting class containing \(\mathfrak F\), whose radicals respect direct products). (2) \({\mathfrak F}\subseteq\mathfrak{XN}\) implies \({\mathfrak X}^*={\mathfrak F}^*\). (3) There is a unique smallest \(\mathfrak F\)-normal Fitting class. But these assertions are not true in general. The author proves that there exist Fitting classes \({\mathfrak F}\neq{\mathfrak S}_\pi\), satisfying condition (1), therefore the classes \({\mathfrak S}_\pi\) are not characterized by fulfilling this property. Moreover in Theorem 1.5, it is shown that property (2) holds true for \({\mathfrak F}\neq{\mathfrak S}_\pi\) if \(\mathfrak F\) satisfies a certain extension property with respect to wreath products. Finally, it is unknown which assumptions an arbitrary Fitting class \(\mathfrak F\) must satisfy to possess a smallest \(\mathfrak F\)-normal Fitting class. In the last section of this paper the author studies the classes \({\mathfrak F}={\mathfrak N}^n\), where \(n\geq 2\), and \({\mathfrak F}={\mathfrak S}_{p_1}\cdots{\mathfrak S}_{p_n}\), \(p_i\) primes, proving that they satisfy condition (3) and giving an explicit description in these cases of the unique smallest \(\mathfrak F\)-normal Fitting class.