Prove that if a subgroup has finite index in a group then there exists a normal subgroup such that and .
acts on the cosets by left multiplication. Let be the permutation representation induced by this action, and let be the kernel of the representation.
Now is normal in , and . By the First Isomorphism Theorem, we have an injective group homomorphism . Since , we have .