Lagrange's theorem
= 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|.
$$