Past exam of the mathematics course of the University of Oxford / 2015 / Prelims / Mathematics I / 5 / a / ii

Lagrange's theorem states that if $H$ is a subgroup of a finite group $G$, thenwhere the index of a subgroup $[G:H]$ is the number of distinct left cosets.

Every $g\in G$ lies in $gH$, since $g=ge$. By i, distinct left cosets are disjoint, so these sets form a partition of a set $G$. Each has cardinality $|H|$: the function $h\mapsto gh$ from $H$ to $gH$ is a bijection, with inverse $gh\mapsto h$, by cancellation in a group. Counting the elements in this finite partition of a set gives $|G|=[G:H]|H|$, proving the theorem.