Suzuki group

Suzuki group
Name	Suzuki group
Notation	Sz(q)
Type	Finite simple group
Order	q^2 (q^2 +1)(q-1), where q = 2^{2n+1}
Discovered	1960
Discoverer	Michio Suzuki

Suzuki group

The Suzuki group is a family of finite simple groups discovered by Michio Suzuki in 1960 as novel examples outside the classical Chevalley group series and the Alternating group family. These groups Sz(q), defined for q = 2^{2n+1} with n ≥ 0, play a central role in the classification of finite simple groups and interact with structures such as BN-pair, Ree group, and Hall subgroup theory. Their construction links finite field automorphisms, algebraic group theory, and combinatorial geometries like generalized quadrangles.

Introduction

Suzuki groups Sz(q) arise for q = 2^{2n+1} and are simple for q ≥ 8; they were the first examples of infinite families of simple groups discovered that are not of Lie type over odd characteristic. Suzuki's work connected properties of finite groups with 2-transitive permutation groups like those encountered by Camille Jordan and Émile Mathieu in earlier classifications. The groups admit sharply 2-transitive actions on certain point sets producing connections to objects studied by R. H. Bruck and J. Tits in incidence geometry.

History and Construction

Michio Suzuki introduced these groups after investigating finite simple groups with a Sylow 2-subgroup of special dihedral-like structure, building on methods pioneered by Bertram Huppert and Walter Feit. Suzuki's original papers constructed Sz(q) using twisted versions of automorphisms of the algebraic group of type B2 over the finite field GF(q), employing field Frobenius maps related to the map x ↦ x^{2^{n+1}} studied in earlier finite field work by L. E. Dickson. Later algebraic constructions used the framework of Chevalley group twists and Steinberg endomorphisms, linking Sz(q) to fixed points of such automorphisms on the algebraic group Sp4 over algebraic closures. Geometric realizations were developed by J. Tits and G. A. Miller via generalized quadrangles and rank-3 permutation representations analogous to those of Higman–Sims and Janko group examples.

Algebraic Properties

Sz(q) has order q^2 (q^2 +1)(q-1) and contains a class of maximal 2-subgroups that are Suzuki 2-groups featuring exponent 4 and special self-centralizing properties studied by Walter Feit and Gordon Higman. The subgroup structure includes Borel-like subgroups isomorphic to semidirect products of elementary abelian groups by cyclic groups, maximal tori corresponding to cyclic subgroups of orders q-1 and q±√(2q)+1, and Sylow subgroups analyzed using results by Bertram Huppert and Donald G. Higman. Centralizers of involutions in Sz(q) are dihedral of order 2(q-1), linking to involution centralizer theorems of G. Glauberman and John G. Thompson. Sz(q) admits a BN-pair of rank 1, and its subgroup lattice yields parabolic subgroups analogous to Borel subgroups in Algebraic group theory.

Classification and Related Groups

In the landscape of the Classification of finite simple groups, Suzuki groups form one of the infinite families of exceptional groups of Lie type, standing alongside the Ree group families and classical groups such as PSL(2,q), PSU(3,q), and PSp(4,q). Sz(q) is isolated from the Chevalley and Steinberg constructions by its restriction to q = 2^{2n+1} and the presence of a graph-field automorphism similar to those producing Ree group analogues for characteristics 3. Relationships with groups like PΓL(2,q), Aut(Sz(q)), and certain automorphism groups of generalized quadrangles have been elucidated by researchers including Michael Aschbacher and Robert Griess.

Representations and Characters

The complex character table of Sz(q) was computed using methods from character theory developed by Issai Schur and later refined by G. E. Wall and D. G. Higman. Irreducible character degrees include 1, q^2, q(q±1)/2 and other values expressible in terms of q and its square roots tied to cyclotomic polynomials, reflecting connections to Deligne–Lusztig theory adaptations for twisted groups. Modular representation theory for Sz(q) over fields of characteristic 2 and odd primes involves projective indecomposables studied by James Alperin and Jonathan Alperin-style block theory, with decomposition matrices computed for small q by computational group theorists using packages inspired by work of Charles Sims and John Conway.

Applications and Examples

Suzuki groups occur as automorphism groups of combinatorial structures such as certain Suzuki–Tits ovoids and generalized quadrangles investigated by J. Tits and F. E. A. Johnson. They provide test cases for local analysis techniques used in the proof of the Feit–Thompson theorem and subsequent classification arguments by Daniel Gorenstein, Richard Lyons, and Ron Solomon. Concrete small examples include Sz(8) acting on 291 points with permutation representations employed in computational explorations by researchers like Magnus, and implementations in computational algebra systems inspired by algorithms from Serge Lang and Jean-Pierre Serre. Suzuki groups also influence coding theory and finite geometry through their sharply transitive actions and connections to incidence structures studied by E. H. Moore and E. S. Barnes.

Category:Finite simple groups