Dada una permutación cualquiera, se define el siguiente homomorfismo de grupos: