proof of Cayley’s theorem
Let be a group, and let be the permutation group of the underlying set . For each , define by . Then is invertible with inverse
, and so is a permutation
of the set .
Define by . Then is a homomorphism, since
And is injective, since if then , so for all , and so as required.
So is an embedding of into its own permutation group. If is finite of order , then simply numbering the elements of gives an embedding from to .