Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2021/prelims/mathematics-i/5/a/iii/solution

For each , left translation in a group is a bijection, with inverse function . Thus belongs to . For , associativity of the group operation gives
Hence is a group homomorphism. If , evaluation at the identity element gives . Therefore
This is the left regular representation used in Cayley's theorem.

New to topics? Read the docs here!