Large Maximal Subgroups in Finite & Algebraic Groups

• Large maximal subgroups are defined by the criterion |H|³ ≥ |G|, highlighting their role in triple factorizations in finite and algebraic groups.
• They are classified across alternating, classical, exceptional Lie type, and sporadic groups using order inequalities and Aschbacher’s theorem.
• Their study advances insights into group generation, symmetry, and subgroup lattice structure, with broad implications for finite simple and algebraic group theory.

A large maximal subgroup is a maximal subgroup whose order is unusually large relative to its ambient simple or almost simple group. For finite (almost) simple groups, a maximal subgroup $H < G$ is defined as large if $|H|^3 \geq |G|$, an extremal property reflecting that no triple of maximal subgroups can be mutually small in an absolute sense. This notion is motivated by the study of triple factorizations, group generation, and the structure theory of finite groups of Lie type, alternating groups, and sporadics. The classification, properties, and applications of large maximal subgroups have been the focus of several deep papers, culminating in a comprehensive understanding for all almost simple finite groups and their analogues in algebraic group theory (Alavi et al., 2013, Yin et al., 29 Jun 2025).

1. Definitions and General Framework

A proper subgroup $H$ of a finite group $G$ is called large if $|H|^3 \geq |G|$ (Alavi et al., 2013, Yin et al., 29 Jun 2025). This trichotomy is natural in the context of triple factorizations: for $G = ABA$, if $A,B < G$ are maximal and core-free, it is necessary that $\max\{|A|^3, |B|^3\} > |G|$. For simple algebraic groups over algebraically closed fields (characteristic $p > 0$), a proper closed $H < G$ is large if $|H|^3 \geq |G|$0.

This large subgroup property is also connected to maximally transitive or highly symmetric group actions. In the context of infinite permutation groups, related largeness conditions (maximal-closed, highly transitive, or Jordan group properties) have parallel consequences (Kaplan et al., 2013).

2. Classification in Simple and Almost Simple Finite Groups

Alternating Groups $|H|^3 \geq |G|$1 ($|H|^3 \geq |G|$2)

A maximal subgroup $|H|^3 \geq |G|$3 is large precisely if it is intransitive, imprimitive, or belongs to a finite list of small primitive exceptions:

• Intransitive case: $|H|^3 \geq |G|$4 with $|H|^3 \geq |G|$5
• Imprimitive case: $|H|^3 \geq |G|$6, $|H|^3 \geq |G|$7, $|H|^3 \geq |G|$8
• Small primitive exceptions: $|H|^3 \geq |G|$9 with $H$0 and $H$1 one of certain named subgroups (Alavi et al., 2013)

Classical Groups

For almost simple classical groups $H$2 (viz., $H$3), Aschbacher's theorem partitions maximal subgroups into geometric classes $H$4 and almost simple irreducible types $H$5 (Yin et al., 29 Jun 2025):

• $H$6 (Parabolic subgroups): Always large.
• $H$7 (Imprimitive reductions): Large for $H$8, and, for $H$9, $G$0 constrained to small lists.
• $G$1 (Extension field): Large for $G$2, and for $G$3 in small $G$4.
• $G$5 (Subfield): Large for $G$6, $G$7 subject to explicit conditions.
• $G$8 (Extraspecial normalizers): Only small dimension cases.
• $G$9: (Tensor, centralizer, form-stabilizer types) are never or rarely large, with only minor exceptions.

Almost simple irreducible subgroups (type $|H|^3 \geq |G|$0) are large only in small dimensions or in explicit exceptional cases detailed in the classification tables (Yin et al., 29 Jun 2025, Alavi et al., 2013).

Exceptional Groups of Lie Type

For finite groups of exceptional type ($|H|^3 \geq |G|$1), every parabolic maximal subgroup is large, and additional large cases correspond to specific reductive overgroups or subfield-type subgroups, all listed explicitly. Non-parabolic large maximals are finite in number and tabulated for each series (Alavi et al., 2013, Craven, 2021).

Sporadic Groups

For each sporadic group, explicit knowledge of orders permits a direct check. Most maximal subgroups of sporadic groups are large due to their high order, with exceptions given for certain small subgroups in a complete table (Alavi et al., 2013, Dietrich et al., 2024).

Almost Simple Groups

The extension to almost simple groups follows by reduction: $|H|^3 \geq |G|$2 large if $|H|^3 \geq |G|$3 for $|H|^3 \geq |G|$4, $|H|^3 \geq |G|$5 an outer automorphism stabilizer (Yin et al., 29 Jun 2025).

3. Large Subgroups in Simple Algebraic Groups

For a simple algebraic group $|H|^3 \geq |G|$6 (rank $|H|^3 \geq |G|$7 over algebraically closed field), a maximal closed $|H|^3 \geq |G|$8 is large (i.e., $|H|^3 \geq |G|$9) if and only if $G = ABA$0 stabilizes a proper subspace of the natural module (in the classical case) or is parabolic (in the exceptional case). Additional exceptions come from explicit irreducible subgroups tabulated in the structure theory (Alavi et al., 2013, Ganeshalingam et al., 2024).

The combinatorial classification of maximal connected reductive subgroups of maximal rank yields the precise list of large candidates in the algebraic category, matching the Aschbacher classes $G = ABA$1–$G = ABA$2 and confirming the parallel with the finite case (Ganeshalingam et al., 2024).

4. Methodologies and Order Bounds

Classification of large maximal subgroups relies on:

• Aschbacher’s Theorem: Decomposes the maximal subgroups in geometric and almost simple types, enabling explicit order computations in each family.
• Group Order Formulas: Explicit expressions for the orders of classical and exceptional groups and their standard subgroups.
• Order Inequalities: Sharp factorial and exponential bounds (e.g., $G = ABA$3; $G = ABA$4) restrict parameters to finite possibilities.
• Reduction Theorems (Liebeck–Seitz): For exceptional finite groups, identify all possible positive-dimensional overgroups, subfields, and almost simple subgroups, subject to explicit order checks (Craven, 2021).

For algebraic groups, dimension inequalities (e.g., $G = ABA$5 for $G = ABA$6) play a parallel role (Alavi et al., 2013).

5. Structural and Combinatorial Properties

Patterns

• Parabolic and geometric subgroups are always large due to their combinatorially immense unipotent parts.
• Imprimitive and extension-field subgroups are large only for small parameters, ensuring that repeated subfield reductions yield sizes above threshold only finitely often.
• Form-stabilizers are universally large.
• Almost simple (irreducible) subgroups rarely attain the large threshold except in small-rank or sporadic cases.

Exceptional/Sporadic Phenomena

Some sporadic and low-rank Lie type groups admit isolated large maximal subgroups due to the coincidence of order ratios or local substructure, always listed explicitly.

6. Connections to Permutation Groups, Branch Groups, and Infinite Families

• Permutation Groups: In infinite symmetric groups $G = ABA$7, analogues of "large" (e.g., maximal-closed subgroups, Jordan groups) are modeled by highly transitive yet not highly imprimitive subgroups such as AGL$G = ABA$8 and PGL$G = ABA$9 (Kaplan et al., 2013).
• Branch and Spinal Groups: For groups acting on rooted trees, the notion of maximal subgroups of large (finite) index corresponds to structural criteria such as the "filling" property and the absence of dense prodense subgroups; for large classes (e.g., torsion multi-edge spinal, GGS groups), all maximals are of finite index (Alexoudas et al., 2013, Garciarena et al., 2024).
• Maximal Subgroup Lattice: Large maximal subgroups lie on the "boundary" of the subgroup lattice, with any connected reductive subgroup of positive codimension locally contained in a unique large maximal (Ganeshalingam et al., 2024).

7. Applications and Significance

Triple Factorizations: Large maximal subgroups delimit the potential candidates in the search for triple product decompositions $A,B < G$0, dramatically reducing the combinatorial complexity of possible factorization pairs (Alavi et al., 2013).

Generation and Dimension Theory: Maximal families of independent maximals, or "general position" subgroups, achieve their maxima only in groups with large or highly symmetric structure, controlling the difference between invariants such as $A,B < G$1 and $A,B < G$2 (Detomi et al., 2015).

Finite Simple Group Structure: As extremal "building blocks," large maximal subgroups clarify transition regimes—e.g., which subgroups in which families approach the index required for significant geometric or generation-theoretic phenomena.

Group Action Rigidity: In the infinite setting, large/maximal-closed analogues (Jordan, projective groups) anchor one end of the spectrum of closed symmetric group subgroups (Kaplan et al., 2013).

• "Large subgroups of simple groups" (Alavi et al., 2013)
• "Large maximal subgroups of almost simple classical groups" (Yin et al., 29 Jun 2025)
• "Maximal subgroups of maximal rank in the classical algebraic groups" (Ganeshalingam et al., 2024)
• "The maximal subgroups of the exceptional groups $A,B < G$3, $A,B < G$4 and $A,B < G$5 and related almost simple groups" (Craven, 2021)
• "The affine and projective groups are maximal" (Kaplan et al., 2013)
• "Maximal subgroups of finite soluble groups in general position" (Detomi et al., 2015)
• "Maximal subgroups of multi-edge spinal groups" (Alexoudas et al., 2013)
• "Maximal subgroups in torsion branch groups" (Garciarena et al., 2024)
• "Explicit construction of the maximal subgroups of the Monster" (Dietrich et al., 2024)