Definición
El Grupo Simétrico S_n es el grupo de permutaciones que consiste en todas las biyecciones de un conjunto de n elementos, tiene orden n! y la operación es la composición; es el grupo de automorfismos completo de un conjunto discreto de n puntos.