Pronormality of Hall subgroups in finite simple groups.

DOI10.1134/S0037446612020231MaRDI QIDQ1760516zbMATH OpenOpenAlexFDO

Authors Evgeny Vdovin, D. O. Revin

Publication date 14 November 2012

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1302.0931

zbMATH Keywords

Carter subgroupsconjugacyfinite simple groupsHall subgroupsnilpotent self-normalizing subgroupspronormal subgroups

Mathematics Subject Classification ID

Finite simple groups and their classification (20D05) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Special subgroups (Frattini, Fitting, etc.) (20D25) Subnormal subgroups of abstract finite groups (20D35)

Abstract: We prove that Hall subgroups of finite simple groups are pronormal. Thus we obtain an affirmative answer to Problem 17.45(a) of "Kourovka notebook".

Review text

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.

Recommendations

• Pronormality and strong pronormality of subgroups.
• On Sylow normalizers of finite groups.
• The existence of pronormal \(\pi\)-Hall subgroups in \(E_\pi\)-groups.
• scientific article; zbMATH DE number 1857724
• Pronormality and submaximal \(\mathfrak{X}\)-subgroups on finite groups
• Simple non-abelian groups with second maximal pronormal subgroups
• On the pronormality of subgroups of odd index in some extensions of finite groups
• Simple groups all of whose second maximal subgroups are (A)-groups
• On the pronormality of second maximal subgroups in finite groups with socle \(L_2(q)\)
• Subgroups of system normalizers

Cites work

• A conjugacy criterion for Hall subgroups in finite groups.
• Around a conjecture of P. Hall.
• Carter subgroups of finite almost simple groups
• Conjugacy of Odd order Hall Subgroups
• Hall \(\pi\)-subgroups of finite Chevalley groups whose characteristic belongs to \(\pi\)
• Hall subgroups of the symmetric groups
• scientific article; zbMATH DE number 3904833 (Why is no real title available?)
• scientific article; zbMATH DE number 3906699 (Why is no real title available?)
• scientific article; zbMATH DE number 46357 (Why is no real title available?)
• scientific article; zbMATH DE number 715350 (Why is no real title available?)
• scientific article; zbMATH DE number 2167518 (Why is no real title available?)
• scientific article; zbMATH DE number 3392741 (Why is no real title available?)
• scientific article; zbMATH DE number 3056908 (Why is no real title available?)
• Normalizers of the Sylow 2-subgroups in finite simple groups.
• On finite groups of Lie type and odd characteristic
• On the number of classes of conjugate Hall subgroups in finite simple groups.
• Subgroups of finite Chevalley groups
• Theorems Like Sylow's
• Theorems of Sylow type.

Cited in

(32)

• On the pronormality of subgroups of odd index in some extensions of finite groups
• Pronormality of Hall subgroups in their normal closure
• Classification and properties of the \(\pi \)-submaximal subgroups in minimal nonsolvable groups
• On pronormal subgroups in finite simple groups
• Pronormality and submaximal \(\mathfrak{X}\)-subgroups on finite groups
• Maximal and submaximal \(\mathfrak{X}\)-subgroups
• On the pronormality of second maximal subgroups in finite groups with socle \(L_2(q)\)
• Finite simple exceptional groups of Lie type in which all subgroups of odd index are pronormal
• Heritability of the property \(\mathcal D_\pi\) by overgroups of \(\pi\)-Hall subgroups in the case where \(2\in\pi\).
• Confirmation for Wielandt's conjecture.
• On pronormality and strong pronormality of Hall subgroups
• A pronormality criterion for supplements to abelian normal subgroups
• Abnormality criteria for p-complements
• On the pronormality of subgroups of odd index in finite simple symplectic groups
• Equivalence of the existence of nonconjugate and nonisomorphic Hall \(\pi\)-subgroups
• On the pronormality of subgroups of odd index in finite simple groups.
• Pronormality and strong pronormality of subgroups.
• On the pronormality of Hall subgroups.
• On the class of groups with pronormal Hall -subgroups.
• The existence of pronormal \(\pi\)-Hall subgroups in \(E_\pi\)-groups.
• On the heritability of the Sylow \(\pi \)-theorem by subgroups
• Simple non-abelian groups with second maximal pronormal subgroups
• On the pronormality of subgroups of odd index in some direct products of finite groups
• Periodic linear groups in which permutability is a transitive relation
• Locally finite simple groups whose non-Abelian subgroups are pronormal
• Examples of nonpronormal relatively maximal subgroups of finite simple groups
• Locally finite simple groups whose nonnilpotent subgroups are pronormal
• Nonpronormal subgroups of odd index in finite simple linear and unitary groups
• An example of a relatively maximal non-pronormal subgroup of odd order in a finite simple group
• New examples of non-pronormal subgroups of odd index in finite simple linear and unitary groups
• Pronormality in uncountable groups
• Frattini argument for Hall subgroups.

This page was built for publication: Pronormality of Hall subgroups in finite simple groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1760516)