lgebra Moderna II

Unidad 3 Actividad 2

DEMOSTRACIONES TEOREMA DE CAUCHY Y SYLOW

21 de marzo de 2016
Autor: Laura Pontn

lgebra Moderna II
Unidad 3 Actividad 2
1) Probar que un grupo G de orden p2, donde p es un primo, es abeliano.
Sea P un grupo de orden p2. Como cada p-grupo es no trivial, el centro () es no trivial. |()|
podra ser p p2 si es p2 = () P es abeliano, por el contrario si se trata de p, /() es un
grupo de orden p. Como los grupos de orden primo p son cclicos /() es cclico
El centro de un p-grupo no puede ser trivial. Si Z(G)=P2 SI Z(G) =P G/Z(G) tiene orden p y es cclico
G es abeliano utilizando el teorema G/Z
2) Encontrar los tres 2-Subgrupos de Sylow de S4.
Como S4 tiene 24 elementos un 2-subgrupo de Sylow tiene orden 8. Si el subgrupo H de S4 generado por
(1 2 3 4 ) y (1 3) tiene orden 8 es un 2-subgrupo de Sylow. | ( 1 3) al normalizador de un subgrupo
generado por ( 1 2 3 4 ), H tiene orden 8, H es isomrfico a D4.
= {(1,2,3,4) = , (1,3)(2,4) = 2 , (1,4,3,2) = 3 , (2,4) = (1,4)(2,3) = , (1,3) =
2 , (1,2)(3,4) = 3 }
Y siendo que 2 > 1 ya que 2 |3 tenemos 2 = 3 i.e. S4 tiene 3, 2-subgrupo de Sylow, sea por el Teorema de
Sylow, todos estn conjugados.
Ahora, siendo
= (1,4)(1,4)1 = {(4,2,3,1), (4,3)(2,1), (4,1,3,2), (2,1), (1,4)(2,3), (4,3), (4,2)(3,1)}
como segundo 2-subgrupo de Sylow de S4
= (1,2)(1,2)1 = {(2,1,3,4), (2,3)(1,4), (2,4,3,1), (1,4), (2,4)(1,3), (2,3), (1,2)(3,4)}
1. Siendo este el tercer 2-subgrupo de Sylow de S4

lgebra Moderna II | 21/03/2016

P,Q y R son los tres 2-subgrupo de Sylow de S4

3) Si p es un nmero primo, prubese que cualquier grupo G de orden 2p tiene un subgrupo normal de
orden p y un subgrupo normal en G
Supongamos que G es cclico, y que se encuentra generado por 2 y como tiene orden p, adems se sabe que es
conmutativo, , el subgrupo generado por 2 es normal.
Si G no es cclico, el orden de cada elemento divide 2p, es 2 es p.
Si g es un elemento de orden p y si tenemos a H como un subgrupo cclico generado por g. H es normal G /
H tiene slo dos clases laterales, es decir, = + para algn x en G. Puesto que = 1 =
1 + 1 , 1 = , 1
Si elemento de orden p, cada elemento tiene orden 2 y G es abeliano, generado por elementos de orden 2.
el orden de G es una potencia de 2, pero por supuesto | | = 2, por lo que no todos los elementos pueden
tener orden 2. As que debe haber un elemento de orden p..
4) Probar que un grupo de orden 45 es abeliano.

lgebra Moderna II | 21/03/2016

Supongamos que G es un grupo de orden 45 = 32 5 con un subgrupo normal P de orden 32 , entonces G es es

necesariamente abeliano, sea porque el cociente / () es isomrfico a un su subgrupo de Aut(P) y tiene un
orden 6 de 48 -en funcin de su P es cclico o abeliano primario, respectivamente- por otra parte, ya que el orden
de P es el cuadrado de un primo, P es un grupo abeliano, por lo tanto (). Resulta que () es
divisible por 9, lo que implica |/ ()| es 1 5. En conjunto estos implican |/ ()| = 1, . ., () =
y (). Ya que entonces /() es cclico, G debe ser un grupo abeliano.
Reformulando:
1. Como |/ ()| implica que es 1 5, y despus de que se divide 48, se sabe que tiene que ser 1
2. /() no tiene que ser abeliano en general, pero si es cclico como en este caso, como se ha pedido un
divisor de 5, entonces = () es abeliano.
Adicionalmente:
El argumento estandar es el siguiente: Supngase que = (). Sean dos elementos arbitrarios de G como
, con z,w ()