Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/ia/paper-3/5d/a/solution

Take and let act by left multiplication . Each is a permutation, with inverse . Associativity gives , so is a group homomorphism into . If is the identity permutation, evaluating it at the identity element gives . Thus
This is the Cayley theorem, realized by the left regular action, which is a faithful group action.

New to topics? Read the docs here!