maximal subgroup

maximal subgroup
Name	Maximal subgroup
Type	Algebraic concept
Field	Group theory
Introduced	Classical

maximal subgroup

A maximal subgroup is a subgroup H of a group G that is proper in G and is not properly contained in any other proper subgroup of G. Maximal subgroups arise in the study of Arthur Cayley-era permutation groups, Évariste Galois-related Galois groups, and classification projects such as the Classification of finite simple groups, and they play key roles in the structure theory investigated by mathematicians like Camille Jordan and William Rowan Hamilton. Maximal subgroups connect with concepts in Émile Mathieu's sporadic groups, the work of Walter Feit and John G. Thompson, and modern treatments in texts associated with Daniel Gorenstein and John Conway.

Definition and basic properties

A maximal subgroup H of a group G is defined by the property that H ≠ G and whenever H ≤ K ≤ G then either K = H or K = G, a notion used in the study of Augustin-Louis Cauchy-type results, Ferdinand Frobenius-style character theory, and permutation representation contexts such as the action of Sophus Lie-type groups. Fundamental properties include the fact that for finite G every maximal subgroup has prime power index when related to Sylow theorems reasoning of Ludwig Sylow and connections to Jordan–Hölder theorem-style composition series examined by Camille Jordan and Otto Hölder.

Examples and classification in specific groups

In symmetric groups such as S_n and alternating groups like A_n maximal subgroups include intransitive stabilizers, imprimitive wreath-product subgroups related to Arthur Cayley permutations, and primitive examples connected to M_12 embeddings explored by Émile Mathieu. For linear groups over finite fields, maximal subgroups of GL_n(q) and SL_n(q) are classified by Aschbacher's theorem, which references families studied by Michael Aschbacher and links to classical groups like PSL_n(q) and Sp_2n(q). In solvable groups arising from Niels Henrik Abel-type constructions, maximal subgroups often correspond to kernels of actions studied by Issai Schur and Philip Hall, while in nilpotent groups associated to Sophus Lie-algebraic analogues maximal subgroups reflect direct product decompositions akin to results of Marshall Hall Jr..

Relationship to subgroup lattices and maximality criteria

Within the lattice of subgroups of G, maximal subgroups appear as coatoms; the subgroup lattice perspective used by Richard Dedekind and later by Birkhoff connects maximal elements to modular and distributive conditions considered in works by Garrett Birkhoff and Marshall Hall Jr.. Criteria for maximality involve permutability conditions found in studies by Philip Hall and embedding theorems referenced by Reinhold Baer; in permutation group actions maximal stabilizers correspond to primitive actions catalogued by John G. Thompson and Robert Griess. Lattice-theoretic methods intersect with character-theoretic techniques developed by Isaac Schur and Ferdinand Frobenius to detect maximality via index constraints and transfer homomorphisms examined by Wallace G. Levison-style investigations.

Maximal normal subgroups and core-free maximal subgroups

A maximal normal subgroup N of G is maximal among proper normal subgroups, central in the study of quotient-simple structures such as those in the Jordan–Hölder theorem and the Schreier refinement theorem; maximal normal subgroups link to chief series considered by Otto Schreier and Philip Hall. Core-free maximal subgroups, whose core is trivial, are central to permutation representations and are used in constructing primitive groups as in the work of Wielandt and Camille Jordan; they appear in the context of Frobenius groups studied by Ferdinand Frobenius and influence induction techniques pioneered by Richard Brauer.

Role in finite group theory and Sylow theorems

Maximal subgroups are instrumental in applications of the Sylow theorems of Ludwig Sylow and in the analysis of p-local structure exploited by Michael Aschbacher, Daniel Gorenstein, and John Conway during the classification of finite simple groups. Arguments about indices of maximal subgroups underpin transfer and fusion control results used by Walter Feit and John G. Thompson in their proof efforts, while normalizer and centralizer considerations tie to local analysis found in the work of George Glauberman and Louis Solomon.

Applications and connections to algebraic groups and topology

In the theory of algebraic groups such as Chevalley groups and Reductive group constructions studied by Claude Chevalley and Armand Borel, maximal closed subgroups correspond to parabolic and Levi subgroups appearing in the theory of Bruhat decomposition and flag varieties linked to Élie Cartan-inspired geometry. In topological groups and transformation groups arising in the work of Hermann Weyl and Stephen Smale, maximal compact subgroups and maximal tori play roles in homotopy and cohomology calculations related to Bott periodicity and characteristic classes explored by Raoul Bott and Henri Cartan. Connections also appear in Galois theory contexts studied by Évariste Galois where maximal subgroups correspond to maximal intermediate fields in extension lattices.

Category:Group theory