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.

Principio

Incluye todas las permutaciones de n puntos etiquetados; S_n está generado por transposiciones (las transposiciones adyacentes bastan) y su estructura algebraica viene gobernada por la descomposición en ciclos y las clases de conjugación determinadas por el tipo de ciclo.

Demostración

S_3 tiene seis elementos correspondientes a las permutaciones de {1,2,3}; contiene ciclos como (1 2), (1 2 3) y realiza las permutaciones de un triángulo etiquetado cuando se permutan las etiquetas.

Aplicación incorrecta

Confundir el grupo diedral de simetrías geométricas de un polígono con S_n (coinciden solo para n ≤ 3) o asumir que S_n preserva estructura adicional en los puntos (orden, métrica) sin especificarlo es incorrecto.

Consecuencia

S_n proporciona representaciones canónicas por permutaciones, clasificación de elementos por tipo de ciclo, la red explícita de subgrupos incluyendo A_n, y sirve como recipiente para embebidos de grupos finitos por el teorema de Cayley.

Inversión

El grupo alternante A_n es la inversión de índice dos que captura solo permutaciones pares; restringir S_n a permutaciones que preservan cierta estructura (por ejemplo, orden) produce subgrupos propios, no el grupo simétrico completo.

Límite

Definido para cardinalidad finita n; para conjuntos infinitos se considera el grupo simétrico completo en un conjunto infinito con propiedades distintas. S_n trata los puntos como permutables pero no codifica estructuras adicionales como topología o geometría salvo que se impongan restricciones.

Tensión semántica

Existe tensión entre S_n como el grupo algebraico de todas las permutaciones y los grupos de simetría geométrica (diedral, poliédrico) que actúan sobre el mismo conjunto pero preservan métrica u orientación — mismo conjunto subyacente, estructuras preservadas distintas.

Síntesis

S_n es el grupo de permutaciones universal finito en n puntos: contiene toda biyección de un conjunto de n elementos, se genera por transposiciones y organiza permutaciones por tipo de ciclo, formando el grupo ambiente para acciones combinatorias sobre puntos.