Quasinormal Fitting classes of finite groups

Let P be the set of all primes, Zn a cyclic group of order n and X wr Zn the regular wreath product of the group X with Zn. A Fitting class F is said to be X-quasinormal (or quasinormal in a class of groups X ) if F ⊆ X, p is a prime, groups G ∈ F and G wr Zp ∈ X, then there exists a natural number m such that G m wr Zp ∈ F. If X is the class of all soluble groups, then F is normal Fitting class. In this paper we generalize the well-known theorem of Blessenohl and Gaschütz in the theory of normal Fitting classes. It is proved, that the intersection of any set of nontrivial X-quasinormal Fitting classes is a nontrivial X-quasinormal Fitting class. In particular, there exists the smallest nontrivial X-quasinormal Fitting class. We confirm a generalized version of the Lockett conjecture (in particular, the Lockett conjecture) about the structure of a Fitting class for the case of X-quasinormal classes, where X is a local Fitting class of partially soluble groups.

Normal -Fitting classes

The authors together with M. J. Karbe [Ill. J. Math. 33 (1989) 333–359] have considered Fitting classes of -groups and, under some rather strong restrictions, obtained an existence and conjugacy theorem for -injectors. Results of Menegazzo and Newell show that these restrictions are, in fact, necessary.The Fitting class is normal if, for each is the unique -injector of G. is abelian normal if, for each. For finite soluble groups these two concepts coincide but the class of Černikov-by-nilpotent -groups is an example of a nonabelian normal Fitting class of -groups. In all known examples in which -injectors exist is closely associated with some normal Fitting class (the Černikov-by-nilpotent groups arise from studying the locally nilpotent injectors).Here we investigate normal Fitting classes further, paying particular attention to the distinctions between abelian and nonabelian normal Fitting classes. Products and intersections with (abelian) normal Fitting classes lead to further examples of Fitting classes satisfying the conditions of the existence and conjugacy theorem.

Hall-closure and products of Fitting classes

The Fitting class (of finite, soluble, groups), , is said to be Hall π-closed (where π is a set of primes) if whenever G is a group in and H is a Hall π-subgroup of G, then H belongs to . In this paper, we study the Hall π-closure of products of Fitting classes. Our main result is a characterisation of the Hall π-closedFitting classes of the form (where denotes the so-called smallest normal Fitting class), subject to a restriction connecting π with the characteristic of . We also characterise those Fitting classes (respectively, ) such that (respectively, ) is Hall π-closed for all Fitting classes . In each case, part of the proof uses a concrete group construction. As a bonus, one of these construction also yields a “cancellation result” for certain products of Fitting classes.

A criterion for the Hall-closure of Fitting classes

In a recent paper, Cusack has given a criterion, in terms of the Fitting class “join” operation, for a normal Fitting class to be closed under the taking of Hall π-subgroups. Here we show that Cusack's result can be slightly modified so as to give a criterion for any Fitting class of finite soluble groups to be closed under taking Hall π-subgroups.

Normal Fitting classes and Hall subgroups

It was shown by Bryce and Cossey that each Hall π-subgroup of a group in the smallest normal Fitting class S* necessarily lies in S*, for each set of primes π. We prove here that for each set of primes π such that |π| ≥ 2 and π′ is not empty, there exists a normal Fitting class without this closure property. A characterisation is obtained of all normal Fitting classes which do have this property.Let F be a normal Fitting class closed under taking Hall π-subgroups, in the sense of the paragraph above, and let Sπ denote the Fitting class of all finite soluble π-groups, for some set of primes π. The second main theorem is a characterisation of the groups in the smallest Fitting class containing F and Sπ in terms of their Hall π-subgroups.