Mathematics
Lagrange's Theorem: Why Subgroup Orders Divide Group Orders
We prove Lagrange's theorem — the fundamental result that the order of a subgroup divides the order of the group — and explore its many consequences, from Fermat's little theorem to the structure theory of finite groups.