Finite groups, commuting probability, and coprime automorphisms

Basic Information

• Paper ID: 2511.07597
• Title: Finite groups, commuting probability, and coprime automorphisms
• Authors: Eloisa Detomi, Robert M. Guralnick, Marta Morigi, Pavel Shumyatsky
• Classification: math.GR (Group Theory)
• Submission Date: Submitted to arXiv on November 10, 2025
• Paper Link: https://arxiv.org/abs/2511.07597

Abstract

This paper investigates the commuting probability of elements in subgroups of finite groups. For two subgroups $H, K$ of a finite group $G$, let $\Pr(H,K)$ denote the probability that randomly chosen elements from $H$ and $K$ commute. The main results include:

1. Theorem 1.2: Let $\epsilon > 0$ and let $G$ be a finite group admitting a coprime automorphism group $A$. If for any distinct primes $p, q \in \pi(G)$, there exist $A$-invariant Sylow $p$-subgroups $P$ and $A$-invariant Sylow $q$-subgroups $Q$ such that $\Pr([P,A], [Q,A]) \geq \epsilon$, then the index of $F_2([G,A])$ in $[G,A]$ is $\epsilon$-bounded.
2. Theorem 1.4: If $G = [G,A]$ and for each prime $p | |G|$, there exists an $A$-invariant Sylow $p$-subgroup $P$ such that $\Pr([P,A], [P,A]^x) \geq \epsilon$ for all $x \in G$, then $G$ is bounded-by-abelian-by-bounded.

Research Background and Motivation

Problem Background

1. Classical results on commuting probability:
   • P. M. Neumann's theorem: If a finite group $G$ satisfies $\Pr(G,G) \geq \epsilon$, then $G$ has a normal subgroup $R$ such that both the index $|G:R|$ and the order of the commutator subgroup $[R,R]$ are $\epsilon$-bounded
   • For non-abelian groups, the upper bound $\Pr(G,G) \leq 5/8$ is known
2. Commutativity of Sylow subgroups:
   • A finite group is nilpotent if and only if any two Sylow subgroups of coprime orders commute
   • Theorem 1.1 (from reference 12): If for any distinct primes $p, q$, there exist Sylow $p$-subgroups $P$ and Sylow $q$-subgroups $Q$ such that $\Pr(P,Q) \geq \epsilon$, then $F_2(G)$ has $\epsilon$-bounded index in $G$

Research Motivation

This paper generalizes the above classical results to the setting of coprime automorphism actions:

• Coprime automorphisms are automorphisms whose order is coprime to the order of the group
• Study the structure of $[G,A]$ (the subgroup generated by all $g^{-1}g^\alpha$)
• This represents a cross-disciplinary study combining automorphism theory and commuting probability theory in group theory

Significance

1. Coprime automorphisms occupy a special position in finite group theory, preserving many desirable properties
2. Introducing probabilistic methods into the study of automorphism groups provides new tools for structural characterization
3. The results rely on the Classification of Finite Simple Groups, demonstrating deep connections in modern group theory

Core Contributions

1. Proof of Theorem 1.2: Under coprime automorphism actions, deriving the boundedness of $F_2([G,A])$ from the commuting probability of Sylow subgroups—a non-trivial generalization of Theorem 1.1 to the automorphism setting
2. Establishment of Theorem 1.3: For conjugate transformations of a single Sylow subgroup, providing bounds on the order of $[P,A]$ modulo $O_p(G)$
3. Complete characterization in Theorem 1.4: When conditions are satisfied at all prime positions, proving that $G$ has a Neumann-type structure
4. Technical innovations:
   • Developing refined techniques for handling Lie-type simple groups with coprime automorphisms (Section 5)
   • Establishing an inductive framework for the solvable case (Section 4)
   • Proving structural theorems for semisimple groups (Section 6)
5. Construction of counterexamples: Demonstrating that the index of $F([G,A])$ can be arbitrarily large (example in Section 4), showing the optimality of the theorems

Detailed Methodology

Core Concepts and Notation

1. Commuting probability: $\Pr(X,Y) = \frac{|\{(x,y) \in X \times Y \mid xy = yx\}|}{|X||Y|}$
2. Coprime action: A group $A$ acts on $G$ such that $(|G|, |A|) = 1$
3. Commutator subgroup: $[G,A] = \langle g^{-1}g^\alpha \mid g \in G, \alpha \in A \rangle$
4. Upper Fitting series: $F_i(G)$ is the $i$-th term of the upper Fitting series of $G$

Overall Proof Strategy

The paper employs a classification-by-induction strategy, treating cases according to group structure:

Stage 1: Solvable Groups (Section 4)

Key Lemma 4.3: If $G = PQ$ ($P$ normal, $Q$ is an $\alpha$-invariant Sylow subgroup, $Q = [Q,\alpha]$), and Assumption 4.1 is satisfied, then $|G : F(G)| \leq m$ ($m$ is $\epsilon$-bounded).

Proof outline:

1. Reduce to the case where $F(G) = P$ is abelian
2. Apply Proposition 3.4 using $\Pr([P,\alpha], Q) \geq \epsilon$
3. Obtain a normal subgroup $U$ and $P_0 \leq [P,\alpha]$ such that the order of $[P_0, U]^G$ is bounded
4. Complete the proof using properties of the Fitting subgroup

Lemma 4.6 (Main theorem for solvable case): Under Assumption 4.1, if $G$ is solvable and $G = [G,\alpha]$, then $|G : F_2(G)|$ is $\epsilon$-bounded.

Key points:

• Lemma 4.5: For sufficiently large primes $q > m$, we have $[Q,\alpha] \leq F(G)$
• Use boundedness of Fitting height (Hall-Higman theory)
• Lemma 2.10: Control $|I_{F(G)}(\alpha)|$ to bound $|G|$

Stage 2: Simple Groups (Section 5)

Lemma 5.2: If $G$ is a Lie-type group in characteristic $p$, and $P$ is an $\alpha$-invariant Sylow $p$-subgroup, then $[P,\alpha]$ contains a regular unipotent element $x$ with $C_G(x) \leq P$.

Proof techniques:

• For untwisted groups: Construct $x = \prod_{r \in \Pi} x_r(t^\alpha - t)$
• For twisted groups: Use equivalence class structure to construct regular elements
• Apply Chevalley commutator formulas (Remark 5.1)

Lemma 5.4: Under Assumption 4.1, if $G$ is a simple group, then the characteristic $p$ is $\epsilon$-bounded.

Proposition 5.5 (Main result for simple groups): Under Assumption 4.1, if $G$ is a simple group, then $|G|$ is $\epsilon$-bounded.

Proof strategy:

1. Use Zsigmondy primes $r$ (for $(p, f|\alpha|e)$)
2. Prove $r \geq f|\alpha|e$ and $r \nmid |C_G(\alpha)|$
3. If $R$ is an $\alpha$-invariant Sylow $r$-subgroup, then $[R,\alpha] = R$
4. Use $\Pr([P,\alpha], R) \geq \epsilon$ to show $|R|$ or $|[P,\alpha]|$ is bounded
5. Apply Lemma 2.2 to complete the proof

Stage 3: Semisimple Groups (Section 6)

Lemma 6.3: Under Assumption 4.1, if $G$ is semisimple and has no non-trivial proper $\alpha$-invariant normal subgroups, then $|G|$ is $\epsilon$-bounded.

Lemma 6.4: Under Assumption 4.1, if $G$ is semisimple and $G = [G,\alpha]$, then $|G|$ is $\epsilon$-bounded.

Proof outline:

• Write $G = T_1 \times \cdots \times T_s$ ($T_i$ are minimal $\alpha$-invariant normal subgroups)
• Each $T_i$ has $\epsilon$-bounded order (Lemma 6.3)
• Key: Prove $s$ is $\epsilon$-bounded
• Use Lemma 3.2: If $[P,Q] \neq 1$, then $\Pr(P,Q) \leq 3/4$
• Apply probability inequality $\epsilon \leq \prod_{i=1}^s \Pr([P_i,\alpha], [Q_i,\alpha]) \leq (3/4)^s$ to bound $s$

Stage 4: General Case (Section 7)

Lemma 7.1: If $|[G,a]| \leq m$ for all $a \in A$, then $|[G,A]|$ is $m$-bounded.

Proof of Theorem 1.2:

1. For each $\alpha \in A$, $[G,\alpha]$ satisfies the conditions of Theorem 6.6
2. By Theorem 6.6, $|[G,\alpha] : F_2([G,\alpha])|$ is $\epsilon$-bounded
3. Note that $F_2([G,\alpha]) \leq F_2(G)$
4. Modulo $F_2(G)$, each $[G,\alpha]$ has bounded order
5. Apply Lemma 7.1 to obtain that $[G,A]$ has bounded order modulo $F_2(G)$

Technical Innovations

1. Combining probabilistic methods with structural theory:
   • Lemma 3.3: Deriving existence of normal subgroups from commuting probability
   • Proposition 3.4: Establishing connection between commuting probability and orders of commutator subgroups
2. Refined analysis of Lie-type groups:
   • Using root subgroup structure and Chevalley formulas
   • Unified treatment of twisted and untwisted cases
   • Critical application of Zsigmondy primes
3. Carefully designed inductive arguments:
   • Using Fitting subgroups and Fitting height in solvable groups
   • Using direct product decomposition and probability multiplication in semisimple groups
   • Lemma 2.8: Controlling the order of $\gamma_\infty(G)$

Experimental Setup

This is a pure mathematics theoretical paper with no experiments or numerical computations. All results are rigorous mathematical proofs.

Experimental Results

Main Theorems

Theorem 1.2: Let $\epsilon > 0$, and let $G$ be a finite group admitting a coprime automorphism group $A$. If for any distinct primes $p, q \in \pi(G)$, there exist $A$-invariant Sylow $p$-subgroups $P$ and $A$-invariant Sylow $q$-subgroups $Q$ such that $\Pr([P,A], [Q,A]) \geq \epsilon$, then $F_2([G,A])$ has $\epsilon$-bounded index in $[G,A]$.

Theorem 1.3: Let $G$ be a finite group admitting a coprime automorphism group $A$, and let $P$ be an $A$-invariant Sylow $p$-subgroup. If $\Pr([P,A], [P,A]^x) \geq \epsilon$ for all $x \in G$, then the order of $[P,A]$ modulo $O_p(G)$ is $\epsilon$-bounded.

Theorem 1.4: Let $G$ be a finite group admitting a coprime automorphism group $A$, and assume $G = [G,A]$. If for each prime $p | |G|$, there exists an $A$-invariant Sylow $p$-subgroup $P$ such that $\Pr([P,A], [P,A]^x) \geq \epsilon$ for all $x \in G$, then $G$ is bounded-by-abelian-by-bounded.

Counterexamples and Optimality

Example in Section 4: Construction of groups satisfying the hypotheses of Theorem 1.2 but with $|[G,\alpha] : F([G,\alpha])|$ arbitrarily large:

• Take $C$ as a cyclic group of order 3, $\alpha$ as an involutory automorphism
• For primes $p_1, \ldots, p_s > 3$, construct wreath products $H_{p_i}$
• $G = \prod_{i=1}^s H_{p_i}$ satisfies the conditions but $|G : F(G)| = 3^s$

This shows that $F_2$ in Theorem 1.2 is optimal and cannot be improved to $F$.

Applications of Key Lemmas

1. Lemma 2.2: Order control for Lie-type simple groups
   • If $|[P,\alpha]| \leq C$, then $|G|$ is $C$-bounded
   • Using $|[P,\alpha]| \geq |P|^{1/2}$ and $|G| \leq |P|^3$
2. Lemma 2.10: Order control for solvable groups
   • If $|I_{F(G)}(\alpha)| \leq n$, then $|G|$ is $n$-bounded
   • Using Fitting height and Kaluzhnin's theorem
3. Lemma 8.2: Structure of products of normal subgroups
   • If $G = A_1 \cdots A_k$ and $\Pr(A_i, A_j) \geq \epsilon$
   • Then there exists a normal subgroup $D$ such that both $|G:D|$ and $|D'|$ are $(\epsilon,k)$-bounded

Related Work

Classical Results on Commuting Probability

1. P. M. Neumann 26: $\Pr(G,G) \geq \epsilon$ implies $G$ is bounded-by-abelian-by-bounded
   • Theorem 1.4 of this paper is a generalization of this result to the automorphism setting
2. Guralnick-Robinson 18: Fundamental properties and bounds for commuting probability
3. Detomi-Lucchini-Morigi-Shumyatsky 12: Theorem 1.1
   • Theorem 1.2 of this paper is a generalization of this result to coprime automorphisms

Coprime Automorphism Theory

4. Acciarri-Guralnick-Shumyatsky 2,3: Fundamental properties of coprime automorphisms
   • Criteria for solvability and nilpotency
   • This paper uses technical lemmas from these works
5. Hartley-Isaacs 20: Lemma 2.5 on multiplicity estimates for modular representations
6. Hall-Higman 21: Theory of bounds on Fitting height

Commutativity of Sylow Subgroups

7. Detomi-Guralnick-Morigi-Shumyatsky 11:
   • If $\Pr(P, P^x) \geq \epsilon$ for all $x \in G$, then $[P : O_p(G)]$ is bounded
   • Theorem 1.3 of this paper is an automorphism version of this result

Applications of the Classification of Finite Simple Groups

8. Gorenstein-Lyons-Solomon 15,16: Classification of finite simple groups
   • Key fact used: Simple groups admitting coprime automorphisms are Lie-type
   • Automorphisms must be field automorphisms
9. Carter 9,10: Standard references for the structure of Lie-type groups
   • Properties of root subgroups, Borel subgroups, and regular elements

Conclusions and Discussion

Main Conclusions

1. Significance of Theorem 1.2:
   • Generalizes the structural theorem for commuting probability of Sylow subgroups to coprime automorphism actions
   • $F_2([G,A])$ is optimal (counterexamples show it cannot be improved to $F([G,A])$)
   • Provides a new approach to deriving global structure from local information (Sylow subgroups)
2. Significance of Theorem 1.4:
   • When conditions are satisfied at all prime positions, obtains the same conclusion as Neumann's theorem
   • Shows that commuting probability conditions are equally powerful in the automorphism setting
3. Technical contributions:
   • Develops systematic methods for handling Lie-type simple groups with coprime automorphisms
   • Establishes a framework for applying probabilistic methods to automorphism group theory

Limitations

1. Dependence on the Classification of Finite Simple Groups:
   • All main results depend on CFSG (Classification of Finite Simple Groups)
   • This is unavoidable, as analysis of all possible simple groups is necessary
2. Non-effectiveness of bounded constants:
   • The proofs give existence of $\epsilon$-bounded constants without explicit formulas
   • Computing these constants in practice could be extremely difficult
3. Necessity of conditions:
   • Theorem 1.2 requires commuting probability bounds for all pairs of distinct primes
   • Whether this can be weakened to certain prime pairs remains unclear
4. Possibilities for generalization:
   • Can the results be extended to non-coprime automorphisms?
   • Can they be extended to certain classes of infinite groups?

Future Directions

1. Computation of explicit bounds:
   • Provide explicit formulas for $\epsilon$-bounded constants
   • Study asymptotic behavior of optimal bounds
2. Other types of automorphisms:
   • Investigate non-coprime automorphisms
   • Consider special types of automorphisms (inner automorphisms, graph automorphisms)
3. Weakening of probabilistic conditions:
   • Investigate whether conditions for only some prime pairs suffice
   • Consider other types of probabilistic conditions
4. Applications:
   • Apply results to representation theory of groups
   • Apply to problems in algebraic combinatorics

In-Depth Evaluation

Strengths

1. Theoretical depth:
   • Skillfully combines commuting probability, Sylow theory, coprime automorphisms, and the classification of finite simple groups
   • Proof techniques are refined and fully exploit deep results from various branches
2. Optimality of results:
   • Counterexamples prove that $F_2$ in Theorem 1.2 cannot be improved to $F$
   • Demonstrates thorough understanding of the problem
3. Systematicity:
   • Stratified treatment from solvable groups to simple groups to general groups
   • Each stage is supported by key lemmas
4. Technical innovations:
   • Lemma 5.2 on construction of regular unipotent elements is very elegant
   • Lemma 6.4 using probability multiplication to control the number of direct factors is novel
5. Clear exposition:
   • Clear structure and rigorous logic
   • Appropriate remarks and examples aid understanding

Weaknesses

1. Readability:
   • Requires extensive background knowledge in group theory (Fitting series, Hall-Higman theory, Lie-type groups)
   • Difficult for non-specialists to understand
2. Computational complexity:
   • Does not discuss how to verify conditions in practice
   • Non-effectiveness of bounded constants limits applications
3. Generalizability:
   • Results highly depend on the coprimality assumption
   • Does not address the case of general automorphism groups
4. Application examples:
   • No concrete application examples provided
   • Lacks connections to other mathematical branches

Impact

1. Theoretical contribution:
   • Advances the application of commuting probability theory to automorphism group theory
   • Provides important tools and methods for subsequent research
2. Methodological contribution:
   • Exemplifies combining probabilistic methods with structural theory
   • Techniques for handling Lie-type groups applicable to other problems
3. Open problems:
   • Stimulates research on other types of automorphisms
   • Questions about optimal bounds merit further exploration

Applicable Scenarios

1. Group theory research:
   • Study of finite group structure and classification
   • Analysis of automorphism group actions
2. Algebra:
   • Applications in group representation theory
   • Related problems in algebraic groups
3. Theoretical computer science:
   • Complexity analysis of group algorithms
   • Group-theoretic problems in cryptography

References

This paper cites 28 important references, including:

1. 26 P. M. Neumann (1989): Pioneering work on commuting probability
2. 12 Detomi et al. (2024): Recent results on commuting probability of Sylow subgroups
3. 21 Hall-Higman (1956): Theory of $p$-length of solvable groups
4. 9,10 Carter (1972, 1985): Standard references for structure of Lie-type groups
5. 15,16 Gorenstein-Lyons-Solomon (1994, 1998): Classification of finite simple groups
6. 2,3 Acciarri-Guralnick-Shumyatsky (2022, 2023): Recent work on coprime automorphisms

Overall Assessment: This is a high-quality group theory research paper that successfully applies commuting probability methods to coprime automorphism theory, obtaining deep and optimal results. The proof techniques are refined and fully demonstrate the power of modern finite group theory. While highly specialized, it provides important theoretical tools and methodological insights for researchers in this field.