Only finite groups are considered in the article. Among the classes of groups the central place is occupied by classes closed regarding homomorphic images and subdirect products which are called formations. We study Ω-foliateded formations constructed by V. A. Vedernikov in 1999 where Ω is a nonempty subclass of the class I of all simple groups. Ω-Foliated formations are defined by two functions — an Ω-satellite f : Ω ∪ {Ω 0} → {formations} and a direction ϕ : I → {nonempty Fitting formations}. The conception of multiple locality introduced by A. N. Skiba in 1987 for formations and further developed for many other classes of groups, as applied to Ω-foliated formations is as follows: every formation is considered to be 0-multiple Ω-foliated with a direction ϕ; an Ω-foliated formation with a direction ϕ is called an n-multiple Ω-foliated formation where n is a positive integer if it has such an Ω-satellite all nonempty values of which are (n − 1)-multiple Ω-foliated formations with the direction ϕ. The aim of this work is to study the properties of maximal n-multiple Ω-foliated subformations of a given n-multiple Ω-foliated formation. We use classical methods of the theory of groups, of the theory of classes of groups, as well as methods of the general theory of lattices. In the paper we have established the existence of maximal n-multiple Ω-foliated subformations for the formations with certain properties, we have obtained the characterization of the formation ΦnΩϕ (F) which is the intersection of all maximal n-multiple Ω-foliated subformations of the formation F, and we have revealed the relation between a maximal inner Ω-satellite of 1-multiple Ω-foliated formation and a maximal inner Ω-satellite of its maximal 1-multiple Ω-foliated subformation. The results will be useful in studying the inner structure of formations of finite groups, in particular, in studying the maximal chains of subformations and in establishing the lattice properties of formations.
On maximal subformations of n-multiple Ω-foliated formations of finite groups
