## [Grupo Simétrico](/es/node/63287) 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. ## Principio 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 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 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 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 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 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 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í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.