Relatively Maximal Subgroups of Odd Index in Symmetric Groups

Abstract

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 Sym_n, 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.