Let be a group which acts on a finite set . Then
Note that is a subgroup of . If , then . Thus , which implies , thus is well-defined.
is clearly surjective.
If , then . Thus , so . Thus .
By Lagrange’s Theorem,
Field Medallist Prof. Gowers has also written a nice post on the Orbit -Stabilizer Theorem and various proofs.