Lagrange's theorem (source code)

= Lagrange's theorem
{c}
{wiki=Lagrange's_theorem_(group_theory)}

= Lagrange theorem
{c}
{synonym}

= Lagrange's theorem for finite groups
{c}
{synonym}

For a finite group $G$ and subgroup $H$, the order of $H$ divides the order of $G$, and the quotient is the number of left <coset>[cosets]:
$$
|G|=[G:H]|H|.
$$