Pronormality of Hall subgroups in finite simple groups. (Q1760516): Difference between revisions

A subgroup \(H\) of a group \(G\) is called pronormal (\(H\text{\,prn\,}G\)) if, for every element \(g\in G\), the subgroups \(H\) and \(H^g\) are conjugate in the subgroup \(\langle H,H^g\rangle\) of \(G\). A subgroup \(T\) of a group \(G\) is called a Carter subgroup if \(T\) is nilpotent with \(T=N_G(T)\). A subgroup \(H\) of a group \(G\) is called a Hall subgroup if \((|H|,|G:H|)=1\). Maximal subgroups, Sylow subgroups of finite groups, Carter and Hall subgroups of finite solvable groups are all classical examples of pronormal subgroups. Previously, the first author [Algebra Logika 46, No. 2, 157-216 (2007); translation in Algebra Logic 46, No. 2, 90-119 (2007; Zbl 1155.20019)] proved the conjugation of Carter subgroups in all finite groups and thus Carter subgroups of finite groups are pronormal. It is known that Hall subgroups in finite groups can be nonconjugate, so the aim of this paper is to find classes of finite groups with pronormal Hall subgroups. In this paper the authors prove the following result. Theorem 1. The Hall subgroups of finite simple groups are pronormal. In this paper there are many interesting results; for example the authors prove that if \(H\) is a subgroup of a finite group \(G\) and \(H\) contains a pronormal subgroup \(S\) of \(G\), then the following statements are equivalent: (1) \(H\text{\,prn\,}G\); (2) the subgroups \(H\) and \(H^g\) are conjugate in \(\langle H,H^g\rangle\) for every \(g\in N_G(S)\). The proof of Theorem 1 is divided in two cases: when a Hall subgroup \(H\) has odd order and when \(H\) has even order. In the first case the authors use the Hall Theorem [\textit{P. Hall}, Proc. Lond. Math. Soc., III. Ser. 6, 286-304 (1956; Zbl 0075.23907)] and the Gross Theorem [\textit{F. Gross}, Bull. Lond. Math. Soc. 19, 311-319 (1987; Zbl 0616.20007)]. In the second case the authors apply a significant result of \textit{A. S. Kondrat'ev} [Russ. Math. Surv. 41, No. 1, 65-118 (1986); translation from Usp. Mat. Nauk 41, No. 1(247), 57-96 (1986; Zbl 0602.20041)] concerning the complete description of the normalizers of Sylow 2-subgroups of all finite simple groups.