The 26 Sporadic Groups

Each ball is one sporadic group, sized by the logarithm of its order. A line joins a group to a larger one when the smaller is a subquotient of the larger (a quotient of one of its subgroups) and no other sporadic group sits between them. Every line comes from a maximal subgroup or a centralizer listed in the ATLAS of Finite Groups; open "Why these lines?" under a selected group to see which.

Robert Griess sorted the twenty groups involved in the Monster into three generations. The first is the five Mathieu groups, all inside M₂₄. The second is the seven groups tied to the Leech lattice: Co₁, Co₂, Co₃, HS, McL, Suz and J₂. The third is the Monster itself and seven groups found inside it as centralizers and normalizers of its elements: B, Fi₂₄′, Fi₂₃, Fi₂₂, Th, HN and He.

The six pariahs, J₁, J₃, J₄, O'N, Ru and Ly, are not subquotients of the Monster. They are not all strangers to the family, though: O'N contains M₁₁, J₄ contains M₂₄, and Ly contains a triple cover of McL. Switch on "Show what the pariahs contain" to see those links.

After the cyclic groups of prime order, the alternating groups, and the 16 families of Lie type, there remain exactly 26 finite simple groups that belong to none of these infinite families. These are the sporadic groups — isolated, exceptional objects that appear to follow no overarching pattern. They range in size from the Mathieu group M₁₁ with 7,920 elements to the Monster M with approximately 8 × 10⁵³ elements, and their existence is one of the most surprising features of the classification.

The word "sporadic" means "occurring at irregular intervals," and it perfectly captures the nature of these groups. Unlike the infinite families, where you can always produce more examples by increasing a parameter, each sporadic group is a one-off construction with its own unique properties. Some were discovered through combinatorial designs, others through lattice theory or modular forms, and the largest were predicted theoretically before being explicitly constructed. Their sheer variety makes them some of the most fascinating objects in mathematics.

A natural question is: why are there exactly 26? The honest answer is that we do not have a deep conceptual explanation. The classification theorem proves that the list is complete, but the proof works by exhaustive case analysis rather than by revealing a unifying principle. Understanding why these 26 groups exist, and why there are no others, is one of the great open philosophical questions in mathematics. Some mathematicians hope that a future "third-generation proof" of the classification will shed light on this mystery.

The first sporadic groups were discovered by Emile Mathieu in 1861 and 1873: the five Mathieu groups M₁₁, M₁₂, M₂₂, M₂₃, and M₂₄. These groups arise as automorphism groups of remarkable combinatorial structures called Steiner systems. For example, M₂₄ is the automorphism group of the Steiner system S(5, 8, 24) — a collection of 759 special 8-element subsets (called octads) of a 24-element set, with the property that any 5 elements lie in a unique octad. This combinatorial perfection forces M₂₄ to be a highly symmetric group of order 244,823,040.

After Mathieu's discoveries, an extraordinary gap of nearly 90 years passed before the next sporadic group was found. It was not until 1965 that Zvonimir Janko discovered J₁, a simple group of order 175,560. Janko's discovery electrified the mathematical world and triggered an intense period of sporadic group hunting that lasted through the 1970s and 1980s. In rapid succession, mathematicians discovered 21 more sporadic groups, bringing the total to 26.

The 90-year gap was not due to lack of effort — it reflected the difficulty of the search. Sporadic groups do not arise from a parameterized construction; each must be found individually, often by analyzing what groups could exist with certain properties (such as a specified centralizer of an involution) and then proving that such a group does in fact exist. Janko's method — predicting a group's character table and then constructing it — became the standard technique for discovering new sporadic groups.

Key insight: The 26 sporadic groups are not as isolated as they first appear. Twenty of them, the Monster included, are involved in the Monster group M: each is a quotient of a subgroup of M. The remaining six (J₁, J₃, J₄, Ly, Ru, and O'N) are the pariahs, which are not subquotients of the Monster.

In 1968, John Conway discovered three new sporadic groups — Co₁, Co₂, and Co₃ — as automorphisms of the Leech lattice, a remarkable 24-dimensional lattice that achieves the densest known sphere packing in 24 dimensions. The Leech lattice has extraordinary symmetry: its automorphism group Co₀ has order approximately 8.3 × 10¹⁸, and the quotient by its center gives the simple group Co₁. Several other sporadic groups (including the Mathieu groups and the McLaughlin, Higman-Sims, and Suzuki groups) appear as subgroups or subquotients of Co₁.

The Monster group M is the largest sporadic group, with order approximately 8.08 × 10⁵³ — a number with 54 digits. Predicted independently by Bernd Fischer and Robert Griess in 1973, it was explicitly constructed by Griess in 1982 as the automorphism group of a 196,884-dimensional commutative non-associative algebra (now called the Griess algebra). The smallest faithful representation of the Monster lives in 196,883 dimensions, making direct computation with the Monster extremely challenging.

The Monster's order is 2⁴⁶ · 3²⁰ · 5⁹ · 7⁶ · 11² · 13³ · 17 · 19 · 23 · 29 · 31 · 41 · 47 · 59 · 71 — a product involving 15 distinct primes. Despite its enormity, the Monster has only 194 conjugacy classes, giving its character table (a 194 × 194 matrix) a compact description relative to the group's size. The Monster contains 20 of the other sporadic groups as subquotients, earning the collective name the Happy Family. Robert Griess coined this term, along with "pariahs" for the six sporadics that live outside the Monster's shadow.