Simple Group

A simple group is a group that has no non-trivial normal subgroups — it cannot be decomposed into smaller groups through quotient constructions. Simple groups are the atoms of group theory: every finite group can be built from simple groups through extensions, much as molecules are built from atoms.

The classification of finite simple groups identifies all possible finite simple groups, spanning 18 infinite families and 26 sporadic exceptions. The proof of this classification, spanning thousands of pages by hundreds of mathematicians, is the most collaborative theorem ever achieved. The Feit-Thompson theorem eliminated the possibility of odd-order non-abelian simple groups, which was a crucial step toward completing this classification.

The sporadic simple groups — 26 exceptional structures that refuse to fit any infinite pattern — are not curiosities. They are evidence that mathematical symmetry has depths that systematic classification cannot fully exhaust. The classification is complete, but the monsters it discovered are still unexplained.