Minimal generation of finite simple groups of Lie type by regular unipotent elements

Basic Information

• Paper ID: 2511.12683
• Title: Minimal generation of finite simple groups of Lie type by regular unipotent elements
• Authors: M.A. Pellegrini, A.E. Zalesski
• Classification: math.GR (Group Theory)
• Publication Date: November 16, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2511.12683

Abstract

This paper proves that every finite simple group $G$ of Lie type can be generated by three regular unipotent elements. In certain cases, the authors prove that two regular unipotent elements suffice to generate $G$. This represents an important theoretical contribution to the problem of generation by specific elements in group theory.

Research Background and Motivation

Research Problem

This paper investigates whether finite simple groups of Lie type can be generated by a small number of regular unipotent elements (regular unipotent elements), and determines the minimum number of elements required. Specifically, for a given group element $g \in G$, the authors define $\text{gn}_G(g)$ as the minimum number of conjugates of $g$ needed to generate $G$.

Problem Significance

1. Theoretical Importance: The generation problem for finite simple groups is a central problem in group theory, crucial for understanding group structure
2. Applied Value: Such generation problems have broad applications in group representation theory, algebraic geometry, and computational group theory
3. Structural Insight: Regular unipotent elements are the most "regular" unipotent elements in Lie type groups; studying their generation properties reveals deep structural properties of the group

Limitations of Existing Research

• Guralnick and Saxl GS provided general lower bounds but lacked systematic research on generation by specific element types
• Gow Go proved results for regular semisimple elements, but the unipotent case is more complex
• Ellers et al. EGH proved that three arbitrary unipotent elements can generate the group, but did not optimize for regular unipotent elements
• For regular unipotent elements, systematic results are lacking except in special cases

Research Motivation

The authors propose a core conjecture (Conjecture 1): Except for $\text{SL}_2(q)$ with $q$ even, all quasi-simple Lie type groups can be generated by two regular unipotent elements. This paper aims to partially prove this conjecture and provide a general three-element generation theorem.

Core Contributions

The main contributions of this paper include:

1. Universal Theorem (Theorem 1.1): Proves that every quasi-simple Lie type group can be generated by three regular unipotent elements
2. Two-Element Generation Results (Theorem 1.2): Proves Conjecture 1 for the following group families (two regular unipotent elements suffice):
   • $\text{SL}_n(q)$ ($n \geq 3$) and $\text{SU}_n(q)$ ($n = 3,4,5$)
   • $\text{Sp}_4(q)$ and $G_2(q)$ ($q$ odd)
   • Suzuki groups, Ree groups, and certain twisted Lie type groups
   • Multiple small rank exceptional groups
3. Conjugate Element Generation (Theorem 1.3): For most classical and exceptional groups, proves generation by three conjugate regular unipotent elements
4. Parabolic Subgroup Method (Theorem 1.4): For most classical and exceptional groups, constructs a maximal parabolic subgroup $P$ such that $P_u$ (the subgroup generated by unipotent elements of $P$) can be generated by two regular unipotent elements
5. Technical Innovation: Develops a systematic method combining algebraic group theory, modular representation theory, and maximal subgroup analysis

Methodology Details

Core Strategy

The main strategies employed by the authors include:

1. Parabolic Subgroup Reduction Method

For a group $G$, find a maximal parabolic subgroup $P = UL$ ($U$ is the unipotent radical, $L$ is the Levi subgroup) such that:

• $P_u$ (generated by unipotent elements of $P$) can be generated by two regular unipotent elements $u, v$
• Select a conjugate $u' \notin P$ of $u$ in $G$
• By Lemma 2.4, $\langle u, v, u' \rangle = G$

Key Lemma (Lemma 2.4): If $P$ is a maximal parabolic subgroup of $G$ and $u \notin P$ is a unipotent element, then $\langle u, P_u \rangle = G$.

2. Modular Representation Theory Analysis

For the unipotent radical $U$ of parabolic subgroup $P = UL$:

• Analyze the central series of $U$: $1 < Q_1 < Q_2 < \cdots < U$
• Using results from ABS, prove that successive quotients $Q_{i+1}/Q_i$ are irreducible $\mathbb{F}_p L_u$-modules
• Through irreducibility arguments, if $X = \langle L_u, g \rangle$ ($g$ is a regular unipotent element), then $X \cap U$ must contain all of $U$

Technical Points:

• Use Lemmas 5.2 and 5.3 to prove irreducibility transfers from $\mathbb{F}_q L$ to $\mathbb{F}_p L_u$
• Utilize Jordan block structure (Lemma 5.4) to eliminate intermediate cases

3. Structure Constants Method

For certain small rank groups, use character table calculations to compute structure constants: $\Delta_G(c_1, c_2, c_3) = \frac{|c_1| \cdot |c_2|}{|G|} \sum_{i=1}^r \frac{\chi_i(g_1)\chi_i(g_2)\chi_i(g_3)}{\chi_i(1)}$

If $\Delta_G(c, c, c_3) > 0$ ($c$ is a regular unipotent class, $c_3$ is some semisimple class), then there exist conjugate regular unipotent elements $u, u^g$ such that $uu^g \in c_3$. By analyzing maximal subgroups, prove $\langle u, u^g \rangle = G$.

Refined Estimate: Introduce $\Theta_G(c_1, c_2, c_3)$ to exclude contributions from maximal subgroups: $\Theta_G(c_1, c_2, c_3) = \Delta_G(c_1, c_2, c_3) - \sum_H h(g_3, H)\Sigma_H(c_1, c_2, c_3)$

Key Technical Lemmas

Lemmas 2.1-2.2 (Projection Preserves Regularity)

Regular unipotent elements remain regular unipotent under projection from parabolic subgroups to Levi subgroups, and every regular unipotent element of a Levi subgroup is the projection of some regular unipotent element of a parabolic subgroup.

Lemma 2.5 (Irreducibility Criterion)

If $g, h \in \text{GL}_n(q)$ have the same Jordan type $J_n$, with $g$ upper triangular and $h$ lower triangular, then $\langle g, h \rangle$ is irreducible.

Lemma 3.1 (Linear Groups Case)

For $\text{SL}_n(q)$ ($n > 2$), Conjecture 1 holds. The proof uses results of Gow-Lev: every non-central element can be expressed as a product of two regular unipotent elements.

Classification Framework

The authors systematically handle groups by type:

1. Classical Groups:
   • $\text{SL}_n(q)$: Use irreducible elements and transitivity (Lemma 3.1)
   • $\text{SU}_n(q)$: Distinguish odd/even $n$, use totally isotropic subspace stabilizers (Lemmas 5.7-5.9)
   • $\text{Sp}_{2n}(q)$: Construct explicit regular unipotent elements (Lemmas 5.14-5.16)
   • Orthogonal groups: Discuss $\Omega^+, \Omega^-, \Omega_{2n+1}$ separately (Lemmas 5.10-5.11)
2. Exceptional Groups:
   • $G_2(q)$: Use cyclic torus $T$ and structure constants (Lemmas 4.14-4.15)
   • $F_4(q)$: Parabolic subgroup method ($q$ odd, Lemma 5.18) and counting argument ($q$ even, Lemma 5.25)
   • $E_6, E_7, E_8$: Central series analysis of maximal parabolics (Lemma 5.21)
   • ${}^2E_6(q)$: Special treatment for twisted groups (Lemmas 5.22, 5.30)
3. Twisted Groups: Suzuki groups, Ree groups, ${}^3D_4$, etc., use special subgroup structures

Experimental Setup

This is a pure theoretical mathematics paper without traditional "experiments." However, the authors used computational tools to assist proofs:

Computational Tools

1. GAP System: Used for structure constant calculations and maximal subgroup analysis for small order groups
2. CHEVIE Package: Used for character table calculations of Chevalley groups
3. ATLAS: Reference for character tables of finite groups

Verification Methods

• For small parameters (e.g., $q \leq 5$ for certain groups), directly compute $\Theta_G(c, c, c_3)$ via GAP to verify generation
• For specific groups (e.g., $\text{SU}_4(2), F_4(2)$), construct explicit elements and verify divisibility of group order

Case Calculations

For example, in Lemma 4.10 for $\text{SU}_4(2)$:

• Regular unipotent elements belong to class 4b
• Compute $\Delta_G(4b, 4b, 9a) = 486$
• The only maximal subgroup containing both 4b and 9a is $H = 3^3 : S_4$
• Compute $\Sigma_H(4b, 4b, 9a) = 81$, $h(g_3, H) = 1$
• Obtain $\Theta_G(4b, 4b, 9a) = 405 > 0$, proving generation

Experimental Results

Main Theorems and Proof Completion

Theorem 1.1 (Three-Element Generation)

Result: Every quasi-simple Lie type group can be generated by three regular unipotent elements.

Proof Coverage: Complete proof with no exceptions. All Lie type groups are covered by Theorems 1.2, 1.3, and supplementary lemmas.

Theorem 1.2 (Two-Element Generation)

Result: The following groups can be generated by two regular unipotent elements:

Strengthened Version: In the above cases (except certain $\text{SL}_n(q)$ with $q$ a prime power), the two regular unipotent elements can be chosen to be conjugate.

Theorem 1.3 (Three Conjugate Elements Generation)

Result: The following groups can be generated by three conjugate regular unipotent elements:

• All $\text{SL}_n(q)$ ($n \geq 2$)
• $\text{SU}_n(q)$ ($n \geq 3$ odd or $n=4,5$)
• All symplectic groups $\text{Sp}_{2n}(q)$
• All orthogonal groups (appropriate signature)
• Exceptional groups $G_2(q), F_4(q), {}^2E_6(q)$

Proof Method: Combines parabolic subgroup method and counting arguments (e.g., orbit counting in Lemma 5.25 for $F_4(q)$).

Theorem 1.4 (Parabolic Subgroup Generation)

Result: For $\text{SL}_n, \text{SU}_n, \text{Sp}_{2n}, \Omega^\pm_{2n}, E_6, E_7, E_8$, etc., there exists a maximal parabolic subgroup $P$ such that $P_u$ is generated by two regular unipotent elements.

Application: This is the key step in proving Theorem 1.1.

Key Case Analysis

Case 1: $\text{SL}_3(q)$ ($q \geq 7$)

• Method: Structure constants + maximal subgroup analysis
• Construction: Select $c$ as a regular unipotent class, $c_3$ as an element class of order $q^2 + \delta q + 1$
• Calculation: $\Delta_G(c, c, c_3) = \frac{(q^2+\delta q+1)(q^2-d\delta q-1)}{d^2} > 0$
• Exclusion: The only possible maximal subgroup is of type $A:3$ (when $p=3$), excluded via Ito's theorem on character analysis
• Conclusion: Two conjugate regular unipotent elements suffice

Case 2: $E_7(q)$

• Method: Parabolic subgroup reduction
• Selection: Maximal parabolic $P$ corresponding to root $\alpha_2$, with Levi satisfying $L_u \cong \text{SL}_7(q)$
• Radical Structure: The central series of $U$ has two nontrivial terms $Q_1 < U$, with quotient dimensions 7 and 35
• Irreducibility: By Proposition 5.6 and Lemma 5.20, both quotients are irreducible $\mathbb{F}_p L_u$-modules
• Generation Argument: Let $X = \langle L_u, g \rangle$ ($g$ regular unipotent), then $X \cap U \neq 1$; by irreducibility, $Q_1 \leq X$; then by irreducibility of $U/Q_1$, $U \leq X$
• Conclusion: $P_u$ is generated by two regular unipotent elements, hence $G$ is generated by three

Case 3: ${}^2E_6(q)$ ($q$ even)

• Challenge: Parabolic subgroup method encounters difficulties when $q$ is even (central series factors may not be irreducible)
• New Method: Counting argument
• Construction: Use $F_4(2) < {}^2E_6(q)$ generated by two conjugate regular unipotent elements
• Maximal Subgroups: Maximal subgroups containing $F_4(2)$ are $F_4(q)$ or ${}^2E_6(q_1)$ ($q = q_1^r$, $r$ odd prime)
• Orbit Counting:
  • Orbit size of regular unipotent $u$ in $G_u$: $|G_u|/q^6$
  • Orbit sizes in maximal subgroups: $|F_4(q)|/q^4$ and $\sum_i |{}^2E_6(q_i)_u|/q_i^6$
• Estimate: $\frac{|G_u|}{q^6} > \frac{|F_4(q)|}{q^4} + \sum_i \frac{|{}^2E_6(q_i)_u|}{q_i^6}$ Using $|{}^2E_6(q)_u| > 2^{77m}$ and $|F_4(q)| < 2^{52m}$, with geometric series summation
• Conclusion: There exists a conjugate of $u$ not in any maximal subgroup; three conjugate regular unipotent elements suffice

Statistical Results

According to the paper's complete classification:

Related Work

Historical Context

1. General Generation Theory:
   • Guralnick-Saxl GS, 2003: Established general lower bounds for $\text{gn}(G) = \max_{g \neq 1} \text{gn}_G(g)$
   • Proved that $\text{PSL}_2(q)$ ($q \geq 5$ odd) can be generated by two conjugate regular unipotent elements
2. Generation by Specific Element Types:
   • Lübeck-Malle LM, 1999: Exceptional Lie type groups (except Suzuki groups) can be generated by elements of order 2 and 3
   • Pellegrini et al. Pe, PT20, PT22, PT24: $(2,3)$-generation of classical groups
   • Stein Sn: Every unipotent element $u$ with appropriate semisimple element $h$ generates the group
3. Product Decompositions:
   • Gow Go, 2000: Every non-identity semisimple element is a product of two regular semisimple elements
   • Di Martino-Zalesski DZ: Derived that three regular semisimple elements generate the group
   • Ellers-Gordeev-Herzog EGH, 1999: Every non-identity element is a product of two unipotent elements
4. Conjugate Generation:
   • Vsemirnov-Nuzhin VN: Except for two exceptions, all non-abelian finite simple groups can be generated by three conjugate involutions (depends on unresolved conjecture)

Innovations of This Paper

Compared to existing work, the main advances of this paper are:

1. First Systematic Study of Regular Unipotent Element Generation: Previous work focused on arbitrary unipotent elements or elements of specific order; this paper focuses on regular unipotent elements, a special class
2. Optimal or Near-Optimal Bounds:
   • Three-element generation holds universally
   • Two-element generation holds in many cases
   • Compared to EGH's "three arbitrary unipotent elements," the regularity constraint still achieves the same or better bounds
3. Conjugate Element Generation: Strengthening to conjugate elements is more valuable in applications (e.g., actions of automorphism groups)
4. Methodological Contributions:
   • Systematic parabolic subgroup reduction method
   • Deep integration of modular representation theory with generation problems
   • Novel application of counting arguments in exceptional groups

Relationship to Conjecture 1

This paper partially proves Conjecture 1 proposed by the authors:

Proven:

• All $\text{SL}_n(q)$ ($n \geq 2$, $q$ not a power of 2)
• Low rank unitary groups, symplectic groups, orthogonal groups
• Specific parameters of most exceptional groups

Unresolved:

• General case of high rank unitary groups $\text{SU}_n(q)$ ($n > 5$)
• Two-element generation for certain exceptional groups (e.g., $E_8(q)$)
• Strict proof that $\text{SL}_2(q)$ ($q$ even) requires three elements

Conclusions and Discussion

Main Conclusions

1. Universal Result: Every quasi-simple Lie type group can be generated by three regular unipotent elements (Theorem 1.1)
2. Two-Element Generation: For many group families (including all linear groups, low rank unitary and symplectic groups, most exceptional groups with specific parameters), two regular unipotent elements suffice (Theorem 1.2)
3. Conjugate Generation: For almost all classical and exceptional groups, generation by three conjugate regular unipotent elements is possible (Theorem 1.3)
4. Structural Insight: The unipotent element subgroup $P_u$ of parabolic subgroups plays a key role in generation theory (Theorem 1.4)

Theoretical Significance

1. Filling Gaps: First systematic solution to the regular unipotent element generation problem, supplementing the Guralnick-Saxl framework
2. Optimality: Three-element generation may be optimal in general sense (except special cases)
3. Method Innovation: The developed parabolic subgroup method and modular representation theory techniques can be applied to other generation problems

Limitations

1. Conjecture 1 Not Fully Resolved: Two-element generation for high rank groups and certain exceptional groups remains an open problem
2. Lack of Constructivity: Most proofs are existential, without providing effective algorithms for finding generating elements
3. Computational Dependence: Some results depend on GAP/CHEVIE computations, which may be infeasible for very large parameters $q$
4. Exceptional Cases: The exceptional nature of $\text{SL}_2(q)$ ($q$ even) and $\text{PSL}_2(9)$ is not deeply explained

Future Directions

Research directions suggested by the paper:

1. Complete Conjecture 1:
   • High rank unitary groups $\text{SU}_n(q)$ ($n > 5$)
   • Exceptional groups $E_7(q), E_8(q)$ two-element generation
2. Algorithmic Problems: Given $G$ and regular unipotent element $u$, how to effectively find conjugates $v$ of $u$ such that $\langle u, v \rangle = G$?
3. Exact Bounds: Determine the exact value of $\text{gn}_G(u)$ ($u$ regular unipotent) for each group
4. Generalizations:
   • Other element types (e.g., regular semisimple elements, maximal unipotent elements)
   • Infinite Lie type groups and algebraic groups
5. Applications: Applications in group representation theory and invariant theory

In-Depth Evaluation

Strengths

1. Mathematical Rigor

• Completeness: Systematically handles all Lie type groups with no omissions
• Proof Quality: Every assertion has detailed proof or explicit reference; logical chain is complete
• Fine Classification: Classifies by group type and parameter range in detail, avoiding vague statements

2. Methodological Innovation

• Parabolic Subgroup Method: Reducing the problem to maximal parabolic subgroups is a key innovation, elegant and powerful
• Modular Representation Theory Application: Deep application of irreducibility and Clifford theory demonstrates sophisticated technique
• Tool Integration: Organic combination of algebraic group theory, finite group theory, representation theory, and computational methods

3. Technical Depth

• Central Series Analysis: Layer-by-layer analysis of unipotent radicals (e.g., Lemma 5.20) shows deep understanding of group structure
• Jordan Block Arguments: Geometric arguments about Jordan types (e.g., Lemma 5.4) are clever
• Counting Techniques: Orbit counting arguments in Lemmas 5.25, 5.30 are sophisticated

4. Result Completeness

• Covers all Lie type groups (including twisted and exceptional groups)
• Provides universal theorems (three-element generation) and refined results (two-element/conjugate generation)
• Includes numerous concrete examples and small parameter verifications

Weaknesses

1. Readability Challenges

• High Technical Density: Numerous lemmas and classification discussions make it difficult for non-experts to follow
• Abundant Notation: Multiple symbol systems from algebraic groups, finite groups, root systems, etc., intertwine
• Lack of Intuition: Some proofs (e.g., Lemma 5.21) lack geometric or combinatorial intuition for algebraic manipulations

2. Computational Dependence

• Small Group Verification: Some results (e.g., Lemma 4.10) depend on GAP computations; inapplicable for large $q$
• Structure Constants: Character table method limited to groups with known character tables
• Reproducibility: Computational details not fully disclosed (e.g., specific GAP code)

3. Lack of Constructivity

• Existential Proofs: Most results are existential without explicit construction
• Missing Algorithms: No effective algorithms provided for finding generating elements
• Complexity Unanalyzed: Even for constructible cases, complexity is not analyzed

4. Theoretical Limitations

• Conjecture 1 Incomplete: Core conjecture still has open cases
• Exception Unexplained: Why $\text{SL}_2(q)$ ($q$ even) is exceptional lacks deep explanation
• Optimality Undiscussed: Whether three-element generation is optimal (except known two-element cases) is not discussed

Impact Assessment

Academic Impact

• High Impact: Solves long-standing open problems; expected to become important reference in the field
• Citation Value: Methods and technical lemmas (e.g., Lemmas 2.1-2.4) will be widely cited
• Future Research: Will inspire research completing Conjecture 1 and related problems

Practical Value

• Theory-Focused: Limited direct applications; primarily theoretical contribution
• Potential Applications: Possible applications in group representation theory and algebraic geometry (e.g., moduli spaces)
• Computational Group Theory: Provides theoretical foundation for designing group generation algorithms

Reproducibility

• Theory Reproducible: Proofs are verifiable with clear logic
• Computational Parts: Use standard tools (GAP, CHEVIE), reproducible in principle
• Missing Details: Specific parameters and code for some computations not provided

Applicable Scenarios

Results of this paper apply to:

1. Group Theory Research:
   • Study generation properties and structure of Lie type groups
   • Study maximal and parabolic subgroups
2. Representation Theory:
   • Construct group representations with specific properties
   • Study actions of unipotent elements
3. Algebraic Geometry:
   • Study orbits and quotient spaces of algebraic groups
   • Geometric properties of moduli spaces
4. Computational Group Theory:
   • Design group generation algorithms
   • Computational representation and manipulation of groups
5. Combinatorics:
   • Permutation groups and symmetry problems
   • Automorphism groups of graphs

Overall Assessment

This is a high-quality pure mathematics paper making important and systematic contributions to generation theory of finite simple groups of Lie type. The paper's main strengths are:

1. Solves long-standing systematic problems
2. Develops powerful and elegant methodology
3. Provides complete classification for all Lie type groups
4. Rigorous proofs with deep techniques

Main weaknesses are:

1. Core conjecture not fully resolved
2. Readability challenging for non-experts
3. Lacks constructivity and algorithms

Overall, this is an important advance in the field, expected to become a standard reference in Lie type group generation theory, inspiring further research. The paper's methods and techniques have broad applicability beyond the specific problem itself.

Selected References

The paper cites numerous important works; key references include:

1. GS R.M. Guralnick, J. Saxl, Generation of finite almost simple groups by conjugates, J. Algebra 268 (2003), 519–571. (Establishes general framework)
2. ABS H. Azad, M. Barry, G. Seitz, On the structure of parabolic subgroups, Comm. Algebra 18 (1990), 551–562. (Modular structure of parabolic subgroups)
3. Ca85 R.W. Carter, Finite groups of Lie type, Wiley, 1985. (Foundational theory of Lie type groups)
4. LS12 M.W. Liebeck, G.M. Seitz, Unipotent and nilpotent classes in simple algebraic groups and Lie algebras, AMS, 2012. (Classification of unipotent elements)
5. TZ04 P.H. Tiep, A.E. Zalesski, Unipotent elements of finite groups of Lie type and realization fields, J. Algebra 271 (2004), 327–390. (Conjugacy classes of regular unipotent elements)
6. Cr D.A. Craven, The maximal subgroups of the exceptional groups, Invent. Math. 234 (2023), 637–719. (Classification of maximal subgroups of exceptional groups)

Paper Rating (out of 10):

• Originality: 9/10 (Systematically solves open problems; innovative methods)
• Rigor: 10/10 (Complete proofs; rigorous logic)
• Importance: 8/10 (Important in field; limited applications)
• Readability: 6/10 (High technical density; difficult for non-experts)
• Completeness: 8/10 (Main results complete; core conjecture partially open)

Overall Rating: 9/10 - Excellent theoretical mathematics paper with important contributions to Lie type group generation theory.