Lagrange's theorem (group theory)

In the mathematical field of group theory, Lagrange's theorem is a theorem that states that for any finite group G, the order (number of elements) of every subgroup of G divides the order of G. The theorem is named after Joseph-Louis Lagrange. The following variant states that for a subgroup ${\displaystyle H}$ of a finite group ${\displaystyle G}$, not only is ${\displaystyle |G|/|H|}$ an integer, but its value is the index ${\displaystyle [G:H]}$, defined as the number of left cosets of ${\displaystyle H}$ in ${\displaystyle G}$.

This variant holds even if ${\displaystyle G}$ is infinite, provided that ${\displaystyle |G|}$, ${\displaystyle |H|}$, and ${\displaystyle [G:H]}$ are interpreted as cardinal numbers.