01 · The idea
In everyday language
A finite group records a collection of reversible symmetries and how they combine. Simple groups have no nontrivial proper normal subgroup, making them fundamental building blocks. Feit and Thompson proved that every finite group of odd order is solvable. Consequently a nonabelian finite simple group must have even order; the odd-order simple groups are cyclic groups of prime order. The result imposes an unexpectedly strong restriction using only the number of elements. Its lengthy proof combined local subgroup analysis with character theory and became a landmark in the classification programme.
Why it matters
The odd-order theorem and Thompson’s further subgroup analysis supplied decisive tools and structural restrictions for the study and eventual classification of finite simple groups.
