Table of Contents
Fetching ...

Finite simple groups have many classes of prime order elements

Jessica Anzanello, Pablo Spiga

TL;DR

This work strengthens prior bounds that restrict the order of a finite non-abelian simple group $T$ by the number of Aut$(T)$-conjugacy classes of elements of prime-power order. It replaces prime-power with prime-order counts via $\text{mpr}_p(T)$ and the maximal $\text{mpr}(T)$, and introduces the refined invariant $\text{mpr}^*(T)$ for Lie-type groups, proving $|T|\le f(\text{mpr}(T))$ (and $|T|\le f(\text{mpr}^*(T))$ in Lie types) for some increasing $f$. The method combines controlling normalizers of cyclic subgroups with cyclotomic-prime arguments (Stewart) to locate primitive divisors, translating Aut$(T)$-class data into explicit size bounds; the results are established separately for alternating, classical, and exceptional groups and connect to number-theoretic conjectures and derangement-graph phenomena. These bounds enhance our understanding of how the distribution of prime-order elements constrains the global size of finite simple groups.

Abstract

Let $T$ be a finite non-abelian simple group. Giudici, Morgan and Praeger have shown that the order of $T$ is bounded above by a function depending on the maximum number of $\mathrm{Aut}(T)$-classes of elements of $T$ of prime-power order. In this note, we strengthen this result by showing, in particular, that prime-power can be replaced by prime.

Finite simple groups have many classes of prime order elements

TL;DR

This work strengthens prior bounds that restrict the order of a finite non-abelian simple group by the number of Aut-conjugacy classes of elements of prime-power order. It replaces prime-power with prime-order counts via and the maximal , and introduces the refined invariant for Lie-type groups, proving (and in Lie types) for some increasing . The method combines controlling normalizers of cyclic subgroups with cyclotomic-prime arguments (Stewart) to locate primitive divisors, translating Aut-class data into explicit size bounds; the results are established separately for alternating, classical, and exceptional groups and connect to number-theoretic conjectures and derangement-graph phenomena. These bounds enhance our understanding of how the distribution of prime-order elements constrains the global size of finite simple groups.

Abstract

Let be a finite non-abelian simple group. Giudici, Morgan and Praeger have shown that the order of is bounded above by a function depending on the maximum number of -classes of elements of of prime-power order. In this note, we strengthen this result by showing, in particular, that prime-power can be replaced by prime.

Paper Structure

This paper contains 5 sections, 8 theorems, 21 equations.

Key Result

Theorem 1.1

There exists an increasing function $f:\mathbb{N}\to \mathbb{N}$ such that, for a finite non-abelian simple group $T$, the order of $T$ is at most $f(\mathrm{mpr}(T))$.

Theorems & Definitions (10)

  • Theorem 1.1
  • Corollary 1.2
  • Theorem 1.3
  • Corollary 1.4
  • Theorem 1.5: See Stewart
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Lemma 2.3: Siegel