Lista 9: Grupo Simetrico

9 de enero de 2020

Ejercicio 1. Sean X y Y cinjuntos no vacíos tales que |X| = |Y |. Pruebe que SX ∼

= SY
Solucion:
Sea |X| = n, entonces podemos escribir a X como X = a1 , ..., an y sea f : 1, ..., n → X definida
como f (k) = ak , ∀k ∈ 1, ..., n la cual nos induce una funcion φ : Sn → SX . Como f es biyectiva,
es invertible y definimos a φ como φ(σ) = f ◦ σ ◦ f − 1 la cual es composicion de funciones
biyectivas
Ejercicio 2. Pruebe que S3 no es un producto directo de ninguna familia de sus subgrupos.
Solucion:
Basta con ver que sus subgrupos normales no tienen interserccion trivial. En efecto, el único
subrupo normal de S3 es el de orden 3 (H = {e, π, π 2 }), por tanto S3 no puede ser producto
directo de sus subgrupos.
Ejercicio 3. Encuentre cuatro subgrupos diferentes de S4 que sean isomorfos a S3 y nueve a S2 .
Solucion:
Tenemos que S4 = {e, b, c, g, g 2 , gd, g 2 c, gb, g 2 d, gc, g 2 b, s, sg, sg 2 , sb, sc, sgb, sgc, sgd, sg 2 b, sg 2 c, sg 2 d}.
Los cuatro subgrupos de orden 6 son conjugados, entonces calculando el primero {e, g, g 2 , s, sg, sg 2 }
podemos obtener todos los subgrupos de orden 6 de S4 los cuales son: {e, gd, g 2 c, sd, sg 2 , sgc},
{e, gb, g 2 d, sg, sd, sg 2 b}, {e, gc, g 2 b, s, sg 2 b, sg 2 }. Tenemos que el primer subgrupo tiene exac-
tamente la misma cardinalidad que S3 , de ahi que se pueda definir una biyeccion, a demás
definiendo f (g) = π y f (s) = σ es facil ver que es un homomorfismo, luego el subgrupo
es isomorfo a S4 y todos sus conjugados tambien. De manera similar para los de grado 2:
{e, s}, {e, sg}, {e, sg 2 }, {e, b}, {e, c}, {e, d}, {e, sd}, {e, sgc}, {e, sg 2 b}.
Ejercicio 4. Sea n ≥ 2. Pruebe que los elementos de Sn , σ = (1, 2) y π = (1, 2, ..., n) generan a Sn .
Solucion:
Sea π = (1, .., n) y σ = (1, 2). Probaremos que usando σ y π, podemos generar todas las
transposiciones de la forma (k, k + 1), La idea a idea principal es que podemos usar el ciclo
σ − 1 para "subir"los números que permutamos para que el par que queremos transponer termine
en los lugares 1 y 2, use la transposición π para intercambiar estos dos elementos, y luego
use σ para çambiar todo hacia atrás". Es decir (k, k + 1) = π k−1 σσ 1−k . Ahora probemos que
podemos generar todas las transposiciones de la forma (1, k). Por induccion se cumple para k = 2,
supongamos que se cumple para un k < n, entonces se tiene que (1, k + 1) = (1, k)(k, k + 1)(1, k).
Finalmente, si (m, k) es alguna transposicion, entonces se tiene (m, k) = (1, m)(1, k)(1, m). ASi
podemos concluir que σ y π generan a todo Sn .
Ejercicio 5. Determine las clases de conjugación de Sn
Solucion:
Para falicitar el procedimiento escribamos a los elementos de S4 como ciclos , entonces

S4 =
{(1), (1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4), (1, 2, 3), (1, 3, 2), (1, 2, 4), (1, 4, 2), (1, 3, 4), (1, 4, 3),
(2, 3, 4), (2, 4, 3), (1, 2)(3, 4), (1, 3)(2, 4), (1, 4)(2, 3), (1, 2, 3, 4), (1, 2, 4, 3), (1, 3, 2, 4), (1, 3, 4, 2),
(1, 4, 2, 3), (1, 4, 3, 2)}

1
 Tenemos que Z(S4 ) = (1). A demás sabemos que si σ ∈ S4 entonces σ(1, 2)σ − 1 = (σ(1), σ(2)),
con lo cual podemos calcular la clase de conjugacion de (1, 2).
La orbita de (1, 2) es:

(1, 3)(1, 2)(1, 3)− 1 = ((1, 3)(1), (1, 3)(2)) = (3, 2) = (2, 3).
(1, 4)(1, 2)(1, 4)− 1 = (((1, 4)(1), (1, 4)(2)) = (4, 2) = (2, 4).
(1, 3, 4, 2)(1, 2)(1, 3, 4, 2)− 1 = ((1, 3, 4, 2)(1), (1, 3, 4, 2)(2)) = (3, 1) = (1, 3).
(1, 2, 3, 4)(1, 2)(1, 2, 3, 4)− 1 = ((1, 2, 3, 4)(1), (1, 2, 3, 4)(2)) = (4, 3) = (3, 4).
(1, 2, 4, 3)(1, 2)(1, 2, 4, 3)− 1 = ((1, 2, 4, 3)(1), (1, 2, 4, 3)(2)) = (2, 4).
(1, 3, 2, 4)(1, 2)(1, 3, 2, 4)− 1 = ((1, 3, 2, 4)(1), (1, 3, 2, 4)(2)) = (3, 4).
(1, 4, 2, 3)(1, 2)(1, 4, 2, 3)− 1 = ((1, 4, 2, 3)(1), (1, 4, 2, 3)(2)) = (4, 3) = (3, 4).
(1, 4, 3, 2)(1, 2)(1, 4, 3, 2)− 1 = ((1, 4, 3, 2)(1), (1, 4, 3, 2)(2)) = (4, 1) = (1, 4).
O(1,2) = {(1, 2), (2, 3), (2, 4), (1, 3), (1, 4), (3, 4)}.

Tomando todas las transposiciones, la orbita de (1,2,3) es:

O(1,2,3) = {(1, 2, 3), (1, 3, 2), (1, 2, 4), (1, 4, 2), (1, 3, 4), (1, 4, 2), (2, 3, 4), (2, 4, 3)}.

La orbita de (1,2)(3,4) es:

O(1,2)(3,4) = {(1, 2)(3, 4), (1, 3)(2, 4), (1, 4)(2, 3)}

La orbita de (1, 2, 3, 4) es:

O(1,2,3,4) = {(1, 2, 3, 4), (1, 2, 4, 3), (1, 3, 2, 4), (1, 3, 4, 2), (1, 4, 2, 3), (1, 4, 3, 2)}

Las clases de conjugacion se dividen en tipos de ciclos:

|S4 | = 24, |O(1,2) | = 6, |O(1,2,3) | = 8, |O(1,2)(3,4) | = 3, |O(1,2,3,4) | = 6.

Así, como Z(S4 ) = {(1)}, 24 = 1 + 6 + 8 + 3 + 6

Ejercicio 6. Pruebe que N = {e, (1, 2)(3, 4), (1, 3)(2, 4), (1, 4)(2, 3)} es un subgrupo normal de S4 contenido
en A4 tal que S4 /N ∼
= S3 y A4 /N ∼ = Z/3Z.
Solucion:
En cualquier grupo, un subgrupo es normal si y solo si es la union de clases de conjugacion.
Tenemos que N = Z(S4 ) ∪ O(1,2)(3,4) , solo resta verificar que N es un subgrupode S4 .

(1, 2)(3, 4) ◦ (1, 2)(3, 4) = (1)(2)(3)(4) = e, (1, 2)(3, 4) ◦ (1, 3)(2, 4) = (1, 4)(2, 3),
(1, 2)(3, 4) ◦ (1, 4)(2, 3) = (1, 3)(2, 4), (1, 3)(2, 4) ◦ (1, 2)(3, 4) = (1, 4)(2, 3),
(1, 3)(2, 4) ◦ (1, 3)(2, 4) = (1)(2)(3)(4) = e, (1, 3)(2, 4) ◦ (1, 4)(2, 3) = (1, 2)(3, 4),
(1, 4)(2, 3) ◦ (1, 2)(3, 4) = (1, 3)(2, 4), (1, 4)(2, 3) ◦ (1, 3)(2, 4) = (1, 2)(3, 4),
(1, 4)(2, 3) ◦ (1, 4)(2, 3) = (1)(2)(3)(4) = e,

Podemos observar que todas los elementos del subgrupo son de grado dos, por tanto son pares y
estan contenidas en A4 . Sabemos que en S4 existen tres subgrupos isomorfos a S3 , considere el
estabilizador de 4, H = 1, (123), (132), (12), (13), (23). El cual ciertamente satisface N ∩H = {1}.
Tenemos que S4 = HN , asi H actua sobre S4 y se tiene:

S4 /H = HN/N ∼
= S3 /(S3 ∩ N ) = S3 ∼
= S3

Ejercicio 7. Pruebe que A´n < S´n < An

Solucion:
Tenemos que para cualquier grupo G/N es abeliano si y solo si [G, G] / H y sabemos que Sn /An
es abeliano, entonces S´n < An y como An < Sn , entonces [An , An ] < [Sn , Sn ], con lo cual se
saatisface:

2
 A´n < S´n < An

Ejercicio 8. Sea n ≥ 2 y H = h(1, 2)i. Pruebe que Sn = HAn

Ejercicio 9. Sea n ≥ 3. Si N es subgrupo normal de Sn , N 6= Sn y N contiene un 3-ciclo, pruebe que N = An
Ejercicio 10. Sea n ≤ 3. Si N es subgrupo normal de An y N contiene un 3-ciclo, pruebe que N = An.
Solucion:
Sabemos que cada 3-ciclo de Sn esta contenido en An , pues (a, b, c) = (a, c)(a, b). Por lo tanto,
cada producto k de 3-ciclos es un producto de transposiciones 2k y por lo tanto esta en An .
Entonces, el subgrupo generado por los 3-ciclos es igual a An . Supongamos, como N es normal,
el generado por el 3-ciclos esta contenido en el y cualquier 3 ciclo puede verse como un producto
de ese 3-ciclo, por tanto An=N.

Ejercicio 11. El único subgrupo normal de Sn de índice 2 es An .

Solucion:
Si H < Sn es de indice 2, entonces es normal y SN /H ∼ = C2 = {1, −1}. Por lo tanto tenemos
un homomorfismo suprayectivo f : Sn → C2 con núcleo H. Todas las transposiciones en Sn
son conjugadas, por lo tanto, f (t) ∈ C2 es el mismo elemento para cada transposicion t ∈ Sn .
Sabemos que Sn es generado por transposiciones, por lo tanto C2 es generado por f (t), por lo
tanto f (t) = −1 y así ker f = An .
Ejercicio 12. Pruebe que el grupo A4 no tiene subgrupos de orden 6.
Solucion:
Supongamos por contradiccion que existe H ⊂ A4 de orden 6. Así para cualquier a ∈/ H se tiene
aH ∩ H = ∅. A demás |aH| = |eH| = |H|. Lo cual implica que que |aH| = 6, pues |A4 | = 12.
Con lo cual se tiene: A4 = H ∪ aH. Ahora supongamos que a ∈ A4 es un 3-ciclo, entonces
tambien a2 ∈ H o a2 ∈ aH. Si a2 ∈ H, implica que a4 = a2 • a2 ∈ H pero, como ord(a) = 3 (es
un 3-ciclo), entonces a4 = a y como a ∈
/ H se tiene una contradiccion. Similarmente si a2 ∈ aH
2 −1
tendriamos que a • a ∈ H lo cual de nuevo es una contradiccion.

Ejercicio 13. Hallar un monomorfismo φ : Sn → An+2 .

Solucion:
Comsidere a S −n como un subconjunto de Sn+2 , como las permutaciones de{1, 2, ..., n, n+1, n+
2} que dejan fijo a n + 1 y n + 2 y defina φ : Sn → An+2 como φ(x) = x si x es par y φ(x) = e si
x es impar. Si u, v ∈ Sn son permutaciones pares, entonces uv es par y φ(uv) = uv = φ(u)φ(v).
si u o v es impar, entonces uv es impar, entonces φ(uv) = e = e ∗ e = φ(u)φ(v). Asi la funcion φ
queda definida como: φ : Sn → An+2 y es un homomorfismo. A demás si para x, y ∈ Sn se tiene
φ(x) = φ(y) ciertamente se cumple x = y con lo cual se concluye que φ es un monomorfismo.
Ejercicio 14. Sea H < A5 tal que H 6= A5. Pruebe que |H| ≤ 12
Solucion:
Tenemos que |A5 | = 60 = 22 ∗ 3 ∗ 5. Los unicos divisores de 60 mayores a 12 son 15, 20 y 30.
Cualquier subgrupo de índice 2 es normal, pero A5 es simple. Si A5 posee un subgrupo de orden
15, entonces este es ciclico, pero los elementos de orden 5 y de orden 3 no conmutan. Solo basta
probar que A5 no puede tener un subgrupo de orden 20.
Observe que A5 tiene un subgrupo K de orden 12, en particular, K es isomorfo a A4 . Suponga
que existe un J < A5 de orden 20 y note que [A5 : J], [A5 : K] son coprimos. Entonces A5 = JK
y [J : J ∩ K] = [A5 , K]. Entonces |J ∩ K| = 4. Así J ∩ K ∈ Syl2 (J) ∩ Syl2 (K): Observe que
cualquier H3 ∈ Syl3 (K)normaliza a J ∩ K y en particular, H3 actua en un punto fijo de J ∩ K.
Vemos que el Sylow 5-subgrupo H5 de J debe ser normal en J, por lo que J ∩ K actúa de manera
no trivial en H5. De ello se deduce que H3 actúa fielmente en H5, pero esto es imposible ya que
Aut (H5) tiene orden 4. Esto completa la prueba.

3
Ejercicio 15. Pruebe que A5 no tiene subgrupos de orden 15.
solucion:
Supongamos que existe H ⊂ A5 de orden 15, entonces considere a ∈ / H un ciclo de orden 5,
entonces se tiene: A5 = H ∪ aH ∪ a2 H ∪ a3 H Ahora considere que a4 ∈ HoaHoa2 Hoa3 H. Si
a4 ∈ H entonces a4 • a = e y a = (a4 )−1 ∈ H lo cual es un contradiccion. Si a4 ∈ aH entonces
a3 ∈ H lo cual implica que a2 ∈ H y (a2 )(a2 ) = a4 ∈ H lo cual es una contradiccion. Si a4 ∈ a2 H
entonces a2 ∈ H lo cual implica que a4 ∈ H lo cual no ocurre. Si a4 ∈ a3 H entonces a ∈ H lo
cual es una contradiccion. Vimos que en cualquier caso existe una contradiccion, por lo cual no
existe ningún H < A5 de orden 15.
Ejercicio 16. Sea G un grupo simple orden 60. Pruebe que G es isomorfo a un subgrupo de S5 .
Solucion:
Sea n2 el número de 2-subgrupos de sylow de G. Entonces n2 |60 y n2 ≡ 1mod2. entonces
n2 = 1, 3, 5 o 15. Como G es simple, n2 6= 1. No se cumple que n2 = 3 pues la accion de G
por conjugacion en el conjunto de los 2-3-sylows define un morfismo de G a S3 , no trivial y no
inyectiva, con lo cual su nucleo seria un subgrupo normal de G. ASi n2 = 5 o n2 = 15. Sean P y
Q dos subgrupos 2-sylow que satisfacen: |P ∩ Q| = 2. P ∩ Q es normal tanto en P como en Q...
Ejercicio 17. Sea G un grupo no abeliano de orden 12 distinto de A4 , pruebe que G contiene un elemento de
orden 6.
Solucion:
Tenemos que en G existe al menos un elemento de orden 2 (a) y un elemento de orden 3 (b).
Entonces < b >= {e, a, a2 }
Ejercicio 18. Si n ≥ 5, entonces An es simple.