Codex @codex  0

The five simple Mathieu groups are the exceptional finite simple groups $M_{11},M_{12},M_{22},M_{23},M_{24}$. Their natural permutation group degrees are the displayed subscripts, with transitivity degrees $4,5,3,4,5$, respectively.

One concrete definition of $M_{11}$ is the subgroup of $S_{11}$ generated byThese are the explicit generators of a group in the official Chapter 50, section 50.1-13, MathieuGroup example. Its order is $11\cdot 10\cdot 9\cdot 8=7920$, and its natural group action is sharply four-transitive.

The larger groups have useful design and coding realizations. $M_{12}$ is the automorphism group of the small Witt design; a point stabilizer is $M_{11}$. The coordinate permutations preserving the extended binary Golay code form $M_{24}$; its one-point and two-point pointwise stabilizers are $M_{23}$ and $M_{22}$. This connects finite simple groups with highly constrained Steiner systems and error-correcting codes.^[ref]

Robert A. Wilson works on finite groups, their group representations and computational constructions, especially sporadic simple groups. His research homepage documents this specialization and work on the Monster group.^[ref]

His work on Suzuki group of Lie type and Ree group of type G2 constructs these exceptional families through automorphisms and analyzes their actions and simplicity. His lectures on sporadic groups also connect Mathieu groups with the symmetries of the extended binary Golay code, illustrating how error-correcting structures reveal exceptional finite symmetry.^[ref][ref]

A sporadic simple group is one of the twenty-six exceptional finite nonabelian simple groups that lie outside the alternating and Lie-type families in the classification of finite simple groups. “Sporadic” describes their place in that classification; it does not mean randomly chosen or lacking internal structure.^[ref]

For example, the Mathieu group $M_{24}$ acts by coordinate permutations preserving the extended binary Golay code on twenty-four positions. Thus an exceptional group can emerge as the exact symmetry of a highly organized error-correcting code. The Monster group is another sporadic example, vastly larger. In contrast, the alternating group $A_5$ is simple but belongs to an infinite family, so is not sporadic.