Let be a finite group and the left regular representation. Prove that if contains an odd permutation, then has a subgroup of index 2.
If contains an odd permutation, then . Now has index 2, which is prime. By this previous exercise, we have . Since the action of on itself by left multiplication is faithful, can be identified with . Thus has a subgroup of index 2; namely the preimage of .