On maximal subformations of $n$-multiple $\Omega$-foliated formations of~finite groups

M. M. Sorokina ; S. P. Maksakov

Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 21 (2021) no. 1, pp. 15-25.

Résumé

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 $\Omega$-foliateded formations constructed by V. A. Vedernikov in 1999 where $\Omega$ is a nonempty subclass of the class $\frak I$ of all simple groups. $\Omega$-Foliated formations are defined by two functions — an $\Omega$-satellite $f: \Omega \cup \{\Omega '\} \rightarrow \{$formations$ \}$ and a direction $\varphi: \frak I \rightarrow \{$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 $\Omega$-foliated formations is as follows: every formation is considered to be $0$-multiple $\Omega$-foliated with a direction $\varphi$; an $\Omega$-foliated formation with a direction $\varphi$ is called an $n$-multiple $\Omega$-foliated formation where $n$ is a positive integer if it has such an $\Omega$-satellite all nonempty values of which are $(n-1)$-multiple $\Omega$-foliated formations with the direction $\varphi$. The aim of this work is to study the properties of maximal $n$-multiple $\Omega$-foliated subformations of a given $n$-multiple $\Omega$-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 $\Omega$-foliated subformations for the formations with certain properties, we have obtained the characterization of the formation $\Phi_{_{n\Omega\varphi}} (\frak F)$ which is the intersection of all maximal $n$-multiple $\Omega$-foliated subformations of the formation $\frak F$, and we have revealed the relation between a maximal inner $\Omega$-satellite of $1$-multiple $\Omega$-foliated formation and a maximal inner $\Omega$-satellite of its maximal $1$-multiple $\Omega$-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.

Bibliographie

[1] Doerk K., Hawkes T., Finite Soluble Groups, Walter de Gruyter, Berlin–New York, 1992, 901 pp.

[2] Gaschütz W., “Zur theorie der endlichen auflösbaren Gruppen”, Mathematische Zeitschrift, 80:1 (1962), 300–305 (in Germany) | DOI

[3] Shemetkov L. A., “On product of formations”, Academy of Sciences BSSR Report, 28:2 (1984), 101–103 (in Russian)

[4] Skiba A. N., Shemetkov L. A., “Multiple $\frak{L}$-composition formations of finite groups”, Ukrainian Mathematical Journal, 52:6 (2000), 783–797 (in Russian)

[5] Vedernikov V. A., Sorokina M. M., “The $\Omega$-foliated formations and Fitting classes of finite groups”, Discrete Mathematics and Applications, 11:5 (2001), 507–527 | DOI

[6] Skiba A. N., “Characterization of finite solvable groups of a certain nilpotent length”, Issues of Algebra, 3 (1987), 21–31 (in Russian)

[7] Skachkova (Elovikova) Y. A., “Boolean lattices of multiple $\Omega$-foliated formations and Fitting classes”, Discrete Mathematics and Applications, 12:5 (2002), 477–482 | DOI

[8] Elovikova Y. A., “The algebraic lattices of $\Omega$-foliated formations”, The Bryansk State University Herald, 2013, no. 4, 13–16 (in Russian)

[9] Sorokina M. M., Korpacheva M. A., “On the critical $\Omega$-foliated formations of finite groups”, Discrete Mathematics and Applications, 16:3 (2006), 289–298 | DOI | DOI

[10] Vedernikov V. A., Demina E. N., “$\Omega$-Foliated formations of multioperator T-groups”, Siberian Mathematical Journal, 51:5 (2010), 789–804 | DOI

[11] Elovikov A. B., “The factorisation of one-generated partially foliated formations”, Discrete Mathematics and Applications, 19:4 (2009), 411–430 | DOI | DOI

[12] Skiba A. N., Algebra of Formations, Belarusskaya Nauka, Minsk, 1997, 240 pp. (in Russian)

[13] Vedernikov V. A., “Maximal satellites of $\Omega$-foliated formations and Fitting classes”, Proceedings of the Steklov Institute of Mathematics, 2001, Supplementary issues, suppl. 2, S217–S233

[14] Birkhoff G., Lattice Theory, American Mathematical Society, New York, 1973, 423 pp.

[15] Shemetkov L. A., Skiba A. N., Formations of Algebraistic Systems, Nauka, M., 1997, 256 pp. (in Russian)