Análisis y Desarrollo del Grupo Simétrico S4 .

Por:
-Wong Tran James Sebastián.
-Criollo Tupiza Tatiana Alexandra.
-Chiliquinga Villacrés Jesseña Aracelis
-García Medina Leonardo David.

Resumen:
De lo ya desarrollado anteriormente acerca de isomorfismos, automorfismos, grupos, subgrupos
normales y subgrupo generado, procedemos a sumergirnos en el grupo simétrico 𝑆4 y los subgrupos de
éste. Se enunciarán algunas definiciones y resultados importantes para el desarrollo de la parte teórica y
práctica de éste documento.
 El Grupo 𝑺𝟒 .
Definición.- Una permutación es un endomorfismo de un conjunto V a V (𝜎: 𝑉 → 𝑉), siendo 𝜎 una
biyección.
Ejemplo:

𝑖 1 2 3
𝜎(𝑖) 3 2 1

Donde 𝑝(1) = 3; 𝑝(2) = 2; 𝑝(3) = 1.

Notaciones:
1 2 3 1 2 3
 𝜎=( )=( )
𝑝(1) 𝑝(2) 𝑝(3) 3 2 1
1 3
 𝜎 = (2 2)
3 1
 𝜎 = (1 3)(2) = (1 3)
El conjunto de todas las permutaciones se llama «Grupo Simétrico de grado n: 𝑆𝑛 ».
Ejemplo:
𝜎 = (1 3 4)(5 2)
𝜏 = (1 4 5 2)
𝜏 ∗ 𝜎 = (1 4 5 2) ∗ [(1 3 4)(5 2)]

Matriz de una permutación

Ejemplo:
Sea 𝜎 = (1 3 2)
0 0 1 𝑥1 𝑥3
𝑃𝑋 = [1 0 0] [ 2 ] = [𝑥1 ]
𝑥
0 0 1 𝑥3 𝑥2
Propiedades de matriz P
 Toda fila o columna debe tener solo un ‘1’ y el resto ‘0’.
 E determinante es -1 o +1.
 Sea dos permutaciones 𝜎 y 𝜏 y sus matrices de permutaciones son P y Q respectivamente, entonces
𝜎*𝜏 es equivalente a P*Q.
 Descomposición por ciclos.

Definición.- Sean 𝑖 1 , 𝑖2 , … , 𝑖𝑘 , 𝑘 enteros distintos en 𝑆 = {1, 2, … , 𝑛}. El símbolo (𝑖1 𝑖2 … 𝑖𝑘 )

representará la permutación 𝜎 ∈ 𝑆𝑛 , donde:

𝜎(𝑖1 ) = 𝑖2 , 𝜎(𝑖2 ) = 𝑖3 , … , 𝜎(𝑖𝑗 ) = 𝑖𝑗+1 para 𝑗 < 𝑘;

𝜎(𝑖𝑘 ) = 𝑖𝑖 y 𝜎(𝑠) = 𝑠 para cualquier 𝑠 ∈ 𝑆 𝑠𝑖 𝑠 ≠ 𝑖1 , … , 𝑖𝑘 .

Por ejemplo, en 𝑆7 la permutación (1 3 5 4) es la permutación:

1 2 3 4 5 6 7
( )
3 2 5 1 4 6 7

Una permutación de la forma (𝑖1 𝑖2 … 𝑖𝑘 ) se llama ciclo de orden 𝑘 o 𝑘-ciclo. Para el caso 𝑘 = 2, la
permutación (𝑖1 𝑖2 ) se llama transposición.

Obsérvese que si:

𝜎 = (𝑖1 𝑖2 … 𝑖𝑘 );

entonces:

𝜎 = (𝑖𝑘 𝑖1 … 𝑖𝑘−1 ) = (𝑖𝑘−1 𝑖𝑘 … 𝑖𝑘−2 );

y así sucesivamente.

Dados dos ciclos, digamos un 𝑘-ciclo y un 𝑚-ciclo, se dice que son ciclos disjuntos o ajenos si no tienen
ningún entero en común. Ejemplo:

(1 3 5) 𝑦 (4 2 6 7)

son ciclos ajenos en 𝑆7 .

Lema 1.- Si 𝜎, 𝜏 ∈ 𝑆𝑛 son ciclos ajenos, entonces 𝜎 ∗ 𝜏 = 𝜏 ∗ 𝜎.

Dada cualquier permutación 𝜎 en 𝑆𝑛 , para 𝑖 ∈ {1, 2, … , 𝑛}, considérese la órbita de 𝑖 respecto a 𝜎;

entonces tenemos que dicha órbita es {𝑖, 𝜎(𝑖), 𝜎 2 (𝑖), … , 𝜎 𝑠−1 }, donde 𝜎 𝑠 = 𝑖 y 𝑠 es el menor entero
positivo con ésta propiedad. Considérese el 𝑠-ciclo (𝑖 𝜎(𝑖) 𝜎 2 (𝑖) … 𝜎 𝑠−1 (𝑖)); se le llama ciclo de
𝜎 determinado por 𝑖.

Ejemplo:

1 2 3 4 5 6 7 8 9
𝜎=( );
3 9 4 1 5 6 2 7 8

el ciclo 𝜎 determinado por 1 sería:

(1 3 4);

pues 𝜎(1) = 3; 𝜎(3) = 4 𝑦 𝜎(4) = 1, expresándose de esta manera:

𝜎 2 (1) = 𝜎(3) = 4; 𝜎 3 (1) = 𝜎(4) = 1.

Lema 2.- Toda permutación en 𝑆𝑛 es el producto de ciclos ajenos.

Al expresar una permutación 𝜎 como un producto de ciclos ajenos, se omiten todos los ciclos de orden 1;
es decir, se ignoran los 𝑖 tales que 𝜎(𝑖) = 𝑖.

Lema 3.- Si 𝜎 es un 𝑘-ciclo en 𝑆𝑛 entonces el orden de 𝜎 es 𝑘; esto es, 𝜎 𝑘 = 1 y 𝜎 𝑗 ≠ 1 para 0 < 𝑗 < 𝑘.

Teorema 1.- Toda permutación en 𝑆𝑛 es el producto de transposiciones.

Ahora consideremos el caso especial de 𝑆3 , ya que aquí se puede ver todo explícitamente. Sea:

𝑓(𝑥) = (𝑥1 − 𝑥2 )(𝑥1 − 𝑥3 )(𝑥2 − 𝑥3 );

una expresión en las tres variables 𝑥1 , 𝑥2 , 𝑥3 . Hacemos que 𝑆3 actúe sobre 𝑓(𝑥) como sigue. Si 𝜎 ∈ 𝑆3 ,
entonces:

𝜎 ∗ (𝑓(𝑥)) = (𝑥𝜎(1) − 𝑥𝜎(2) )(𝑥𝜎(1) − 𝑥𝜎(3) )(𝑥𝜎(2) − 𝑥𝜎(3) ).

Se examina lo que 𝜎 ∗ hace a 𝑓(𝑥) para unas cuantas de las 𝜎 ∈ 𝑆3.

 Si 𝜎 = (1 2), entonces 𝜎 ∗ cambia el signo de 𝑓(𝑥), es decir:

 𝜎 ∗ (𝑓(𝑥)) = −𝑓(𝑥)

 Si 𝜎 = (1 2 3), entonces 𝜎 ∗ no altera el signo de 𝑓(𝑥), es decir:

𝜎 ∗ (𝑓(𝑥)) = 𝑓(𝑥)

Ahora, sea:

𝑓(𝑥) = (𝑥1 − 𝑥2 )(𝑥1 − 𝑥3 )(𝑥1 − 𝑥4 )(𝑥2 − 𝑥3 )(𝑥2 − 𝑥4 );

Si 𝜎 ∈ 𝑆4, entonces:

𝜎 ∗ (𝑓(𝑥)) = (𝑥𝜎(1) − 𝑥𝜎(2) )(𝑥𝜎(1) − 𝑥𝜎(3) )(𝑥𝜎(1) − 𝑥𝜎(4) )(𝑥𝜎(2) − 𝑥𝜎(3) )(𝑥𝜎(2) − 𝑥𝜎(4) ).

En general:

𝑓(𝑥) = ∏(𝑥𝑖 − 𝑥𝑗 ) → 𝜎 ∗ (𝑓(𝑥)) = ∏(𝑥𝜎(𝑖) − 𝑥𝜎(𝑗) ).

𝑖<𝑗 𝑖<𝑗

Se deduce que, cualquier permutación es el producto de un número impar de transposiciones o bien el

producto de un número par de transposiciones, y ningún producto de un número par de transposiciones
puede ser igual a un producto de un número impar de transposiciones.

De lo anterior se define formalmente:

Definición.- Una permutación 𝜎 ∈ 𝑆𝑛 es una permutación impar si 𝜎 es el producto de un número impar

de transposiciones, y es una permutación par si 𝜎 es el producto de un número par de transposiciones.

Teorema 2.- Una permutación en 𝑆𝑛 es bien una permutación impar, o bien par, pero no puede ser ambas.

Definición.- Sea 𝐴𝑛 el conjunto de todas las permutaciones pares. 𝐴𝑛 es un subgrupo de 𝑆𝑛 y lleva el

nombre de Grupo Alternante de grado n.

Teorema 3.- El Grupo Alternante de grado n, 𝐴𝑛 , es un subgrupo normal de 𝑆𝑛 .

De todo lo desarrollado, se tienen las siguientes reglas sencillas para el producto de permutaciones:
1. El producto de dos permutaciones pares, es par.
2. El producto de dos permutaciones impares, es par.
3. El producto de una permutación par por una impar (o el de una impar por una par) es impar.

Subgrupos de 𝑺𝟒

Orden Tipo de iso Num Normal

1 Trivial 1 Sí
2 ℤ⁄ 9 No
2ℤ
3 ℤ⁄ 4 No
3ℤ
4 ℤ⁄ y V 7 1 sí y 6 no
4ℤ
6 𝑆3 4 No
8 𝐷4 3 No
12 𝐴4 1 Sí
24 𝑆4 1 Sí

 Orden 2. Hay 6 de tipo 〈(𝑎 𝑏)〉 y 3 de tipo 〈(𝑎 𝑏)(𝑐 𝑑 )〉. Ninguno puede ser normal ya que
𝑆4 no tiene subgrupos normales de orden 2.
 Orden 3. Hay 4 del tipo 〈(𝑎 𝑏 𝑐 )〉. Ninguno puede ser normal ya que el que lo fuera tendría
que contener los 8 elementos de 𝑆4 con estructura cíclica (𝑎 𝑏 𝑐 ).
 Orden 4. Hay de tipo 〈(𝑎 𝑏 𝑐 𝑑 )〉 3 de tipo 〈(𝑎 𝑏), (𝑐 𝑑)〉 y
𝑆 = {(1), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}
Que es el único normal ya que contiene todos los elementos que tienen la estructura cíclica
(𝑎 𝑏)(𝑐 𝑑).
 Orden 6. Los 4 son 𝐻𝑖 = {𝜎 ∈ 𝑆4 |𝜎(𝑖) = 𝑖}: si 𝐻 ≤ 𝐺 y |𝐻| = 6 entonces 𝐻 ≅ 𝐷3 . Tomamos
𝐴 ∈ 𝐻 con |𝐴| = 3, necesariamente 𝐴 = (𝑎 𝑏 𝑐 ). Buscamos ahora 𝐵 ∈ 𝐻 tal que 𝐵 2 = 1 y 𝐴 ∗
𝐵 ∗ 𝐴 = 𝐵. Necesariamente 𝐵 = (𝑥 𝑦) con 𝑥, 𝑦 ∈ {𝑎, 𝑏, 𝑐} distintos. De hecho para cualquier
elección de 𝑥 𝑒 𝑦 con estas condiciones obtenemos el mismo subgrupo 𝐻 =
〈(𝑎 𝑏 𝑐), (𝑎 𝑏)〉 que es 𝐻𝑖 donde 𝑖 es el único elemento de 𝐼4 \{𝑎, 𝑏, 𝑐}.
No son normales ya que dado que contienen un 3-ciclo, para que una fuera normal debería contener
todos los 3-ciclos.
 Orden 8. Hay exactamente 3, no son normales, son isomorfos (esto se obtiene de los teoremas de
Sylow). Los 3 son isomorfos a 𝐷4 :
𝐾1 = 〈(1 2 3 4), (1 3)〉;
𝐾2 = 〈(1 2 3 4), (1 2)〉 𝑦
𝐾3 = 〈(1 2 3 4), (1 4)〉.
 Orden 12. Hay exactamente uno que es 𝐴4 : Un subgrupo 𝑁 de orden 12 de 𝑆4 debe ser normal.
Contando los elementos de 𝑁 𝑦 𝐴4 veremos que 𝑁 ∩ 𝐴4 tiene que tener por orden un múltiplo de
6 y 𝑁 ∩ 𝐴4 ⊴ 𝐴4 por lo tanto 𝑁 = 𝐴4 .
Grafo de Cayley.
 Bibliografía.
- Álgebra Abstracta – I. N. Herstein; Primera Edición.
- Álgebra – Michael Artin; Segunda Edición.
- Introduçã à algebra – Adilson Gonçalves; Primera Edición.
- Álgebra Abstracta – John B. Fraleigh; Tercera Edición.