Beruflich Dokumente
Kultur Dokumente
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
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.
𝜎 = (𝑖1 𝑖2 … 𝑖𝑘 );
entonces:
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)
Ejemplo:
1 2 3 4 5 6 7 8 9
𝜎=( );
3 9 4 1 5 6 2 7 8
(1 3 4);
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 < 𝑗 < 𝑘.
Ahora consideremos el caso especial de 𝑆3 , ya que aquí se puede ver todo explícitamente. Sea:
una expresión en las tres variables 𝑥1 , 𝑥2 , 𝑥3 . Hacemos que 𝑆3 actúe sobre 𝑓(𝑥) como sigue. Si 𝜎 ∈ 𝑆3 ,
entonces:
𝜎 ∗ (𝑓(𝑥)) = 𝑓(𝑥)
Ahora, sea:
Si 𝜎 ∈ 𝑆4, entonces:
𝜎 ∗ (𝑓(𝑥)) = (𝑥𝜎(1) − 𝑥𝜎(2) )(𝑥𝜎(1) − 𝑥𝜎(3) )(𝑥𝜎(1) − 𝑥𝜎(4) )(𝑥𝜎(2) − 𝑥𝜎(3) )(𝑥𝜎(2) − 𝑥𝜎(4) ).
En general:
Teorema 2.- Una permutación en 𝑆𝑛 es bien una permutación impar, o bien par, pero no puede ser ambas.
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 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.