From the Mathieu groups to the Monster — the exceptions that prove the rule
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.
The interactive display below presents all 26 sporadic groups organized by their relationships and properties. Explore each group's order, discovery date, and connections to the other sporadics. Groups in the "happy family" are connected to the Monster; the six "pariahs" stand entirely alone.
Key insight: The 26 sporadic groups are not as isolated as they first appear. Twenty of them are subquotients of the Monster group M — they live inside the Monster as sections, forming a connected family. The remaining six (J₁, J₃, J₄, Ly, Ru, and O'N) are the pariahs: they have no known relationship to the Monster and remain the most mysterious objects in the classification.
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,883-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.