Let đ be a class of finite groups which contains a group of order 2 and is closed under subgroups, homomorphic images, and extensions. We define the concept of an đ-admissible diagram representing a natural number n. Associated with each n are finitely many such diagrams, and they all can be found easily. Admissible diagrams representing a number n are used to uniquely parametrize conjugacy classes of maximal đ-subgroups of odd index in the symmetric group Symn, and we define the structure of such groups. As a consequence, we obtain a complete classification of submaximal đ-subgroups of odd index in alternating groups.
Similar content being viewed by others
Notes
The two statements can be viewed uniformly if we assume that painting over the upper part of any column with the number 1 above it is done conditionally. Therefore, the column can also be conceived of as being fully unpainted, cut into strips of heights λ1, . . . , λk, Ό = λk+1, with the height of the painted part equal to zero.
Possibly, the only not quite trivial fact is that the same group cannot correspond to two different admissible diagrams. This follows easily from the observation that lengths of orbits of such a group Sđ uniquely specify the template of a diagram đ, while the impossibility of cutting columns of that template in two different ways for obtaining an admissible diagram corresponding to Sđ is easily derived by induction from Lemma 2.9.
References
H. Wielandt, âZusammengesetzte Gruppen: Hölders Programm heute,â in Finite Groups, Proc. Symp. Pure Math., 37, Am. Math. Soc., Providence, RI (1980), pp. 161-173.
L. Kaloujnine, âLa structure des p-groupes de Sylow des groupes symĂ©triques finis,â Ann. Sci. Ăc. Norm. SupĂ©r., III. SĂ©r., 65, No. 3, 239-276 (1948).
M. W. Liebeck and J. Saxl, âThe primitive permutation groups of odd degree,â J. London Math. Soc., II. Ser., 31, No. 2, 250-264 (1985).
W. M. Kantor, âPrimitive permutation groups of odd degree, and an application to finite projective planes,â J. Alg., 106, No. 1, 15-45 (1987).
N. V. Maslova, âClassification of maximal subgroups of odd index in finite groups with alternating socle,â Trudy Inst. Mat. Mekh. UrO RAN, 16, No. 3, 182-184 (2010).
K. Yu. Korotitskii and D. O. Revin, âMaximal solvable subgroups of odd index in symmetric groups,â Algebra and Logic, 59, No. 2, 114-128 (2020).
Ph. Hall, âTheorems like Sylowâs,â Proc. London Math. Soc., III. Ser., 6, No. 22, 286-304 (1956).
J. G. Thompson, âHall subgroups of the symmetric groups,â J. Comb. Theory, 1, No. 2, 271-279 (1966).
C. D. H. Cooper, âMaximal Ï-subgroups of the symmetric groups,â Math. Z., 123, 285-289 (1971).
D. O. Revin, âSubmaximal soluble subgroups of odd index in alternating groups,â Sib. Math. J., 62, No. 2, 313-323 (2021).
W. Guo and D. O. Revin, âPronormality and submaximal đ-subgroups on finite groups,â Comm. Math. Stat., 6, No. 3, 289-317 (2018).
J. D. Dixon and B. Mortimer, Permutation Groups, Grad. Texts Math., 163, Springer, New York (1996).
H. Wielandt, Finite Permutation Groups, Academic Press, New York (1964).
N. V. Maslova, âClassification of maximal subgroups of odd index in finite simple classical groups: Addendum,â Sib. El. Mat. Izv., 15, 707-718 (2018); http://semr.math.nsc.ru/v15/p707-718.pdf
B. Huppert, Endliche Gruppen. I, Grundl. Math. Wissensch. Einzeldarst., 134, Springer, Berlin (1979).
Author information
Authors and Affiliations
Corresponding authors
Additional information
Translated from Algebra i Logika, Vol. 61, No. 2, pp. 150-179, March-April, 2022. Russian DOI: https://doi.org/10.33048/alglog.2022.61.202.
Supported by Russian Science Foundation, project No. 19-71-10067.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Vasilâev, A.S., Revin, D.O. Relatively Maximal Subgroups of Odd Index in Symmetric Groups. Algebra Logic 61, 104â124 (2022). https://doi.org/10.1007/s10469-022-09680-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-022-09680-0