Lagrange's Theorem

If $G$ is a finite group and $H\le G$, then

$|G|=[G:H]|H|$.

In particular, $|H|$ divides $|G|$.

Corollaries

• the order of any element divides the order of the group
• every group of prime order is cyclic