Past exam of the mathematics course of the University of Cambridge / 2021 / ia / Paper 3 / 6D / a / Solution

For $x\in X$,The stabilizer contains the identity; if $g,h$ fix $x$, thenso it is a subgroup.

The orbit-stabilizer theorem statesDefineThe map is well defined and bijective: two elements give the same image exactly when they differ by an element of the stabilizer. Lagrange's theorem then proves the formula.