On the Pronormality of Second Maximal Subgroups in Finite Groups with Socle subscriptL2q

Abstract

According to P. Hall, a subgroup H of a finite group G is called pronormal in G if, for any element g of G, the subgroups H and Hg are conjugate in (Formula presented.). The simplest examples of pronormal subgroups of finite groups are normal subgroups, maximal subgroups, and Sylow subgroups. Pronormal subgroups of finite groups were studied by a number of authors. For example, Legovini (1981) studied finite groups in which every subgroup is subnormal or pronormal. Later, Li and Zhang (2013) described the structure of a finite group G in which, for a second maximal subgroup H, its index in HsuperscriptHg does not contain squares for any g from G. A number of papers by Kondrat’ev, Maslova, Revin, and Vdovin (2012–2019) are devoted to studying the pronormality of subgroups in a finite simple nonabelian group and, in particular, the existence of a nonpronormal subgroup of odd index in a finite simple nonabelian group. In The Kourovka Notebook, the author formulated Question 19.109 on the equivalence in a finite simple nonabelian group of the condition of pronormality of its second maximal subgroups and the condition of Hallness of its maximal subgroups. Tyutyanov gave a counterexample subscriptL2superscript211 to this question. In the present paper, we provide necessary and sufficient conditions for the pronormality of second maximal subgroups in the group subscriptL2q. In addition, for q11, we find the finite almost simple groups with socle subscriptL2q in which all second maximal subgroups are pronormal. © 2021, Pleiades Publishing, Ltd.