Recordemos que llamamos grupo simétrico de un conjunto formula_56 al grupo formula_57 determinado por todas las biyecciones del conjunto formula_56 en si mismo, con la composición de funciones como operación.