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