The assignment
where S n {\displaystyle {}S_{n}} denotes the permutation group for n {\displaystyle {}n} elements, is a group homomorphism, due to fact.