lgebra Moderna II

Asignacin Final

COMPENDIO
22 de marzo de 2016
Autor: Laura Pontn

lgebra Moderna II
Asignacin Final
1) Si G es un grupo, considere el producto directo de G consigo mismo: y sea la

diagonal, i.e.,
{(, ): }
Demuestre que es un subgrupo de y que es normal si y slo si G es abeliano.
Para ser un subgrupo tenemos que sea como la identidad, (, ) | (, )(, ) = (, )
, , (, )| se encuentra en el elemento neutro.
Ahora supongamos que , (, )(, ) = (, ) considerando que = ,
(, ) = (, ) con es cerrado bajo la operacin binaria en .
Ahora sea , 1 , se tienen los elementos de (, ) y (1 , 1 ) | (, )(1 , 1 ) = (, )
es cerrado bajo inversos. es un subgrupo de .
Por lo que para que sea normal es porque si y slo si es abeliano. Como primera parte: supongamos que es
normal sea (, ) siendo que por definicin de subgrupo normal, para (, ) ,
(, )(, )(, )1 .
Como(, )(, )(, )1 = (, )(, )(1 , 1 ) = (, )(1 , 1 ) = (1 , 1 )
y para que (1 , 1 ) 1 = 1 por lo que deber ser abeliano | 1 =
1 = y 1 = 1 = ( 1 , 1 ) = (, ) .
Como segunda parte, sea que es abeliano y sean (, ) y (, ) .
Al
conjugarlos
1
( , 1 )

(, )(, )(, )1 = (, )(, )(1 , 1 ) = (, )(1 , 1 ) =

Y como es abeliano, (1 , 1 ) = (1 , 1 ) = (, )

lgebra Moderna II | 22/03/2016

es un subgrupo de invariante bajo la conjugacin es normal en . es abeliano

2) Por el ejemplo que nos comparte Zaldivar en la pgina 97 de su texto: "Si es cualquier
conjunto no vaco, sea = el grupo de permutaciones de . Entonces acta sobre Y permutando
sus elementos, i.e., est dada por = (). Este ejemplo nos explica como el grupo
acta naturalmente sobre Y. Demuestre que slo hay una rbita de esta accin.
Sea por los grupos transitivos, "se dice que el grupo acta transitivamente sobre si determina en
una sola rbita". para cada par de elementos , , | = .
Por lo que si = acta transitivamente sobre . como una forma ms general " actua
transitivamente sobre , si para cualesquiera subconjuntos ordenados de elementos de
{ , , , }, { , , , }, | = con = , , , .
Y como en el caso de Zaldivar acta sobre permutando sus elementos. si consideramos una ordenacin de
dichos elementos, | {1 , 2 , , }, la accin = () implica un reordenamiento diferente de dichos
elementos dado que los permuta, como tal, le podemos denominar {1 , 2 , , }, si 1 =
(1 ) = con cualquier otro elemento del conjunto = {1 , 2 , , }. | al aplicar la accin los
elementos se pueden renombrar cada elemento de la nueva reordenacin como 1 = (1 ) = =
1 , 2 = 2 , , = un nuevo reordenamiento de los elementos de {1 , 2 , , } sea
por la permutacin de la forma = con = 1,2, , con . = acta transitivamente
sobre slo una rbita de esta accin

3) Muestre que si || = , entonces G no es simple.

lgebra Moderna II | 22/03/2016

Aplica no es simple cuando subgrupos normales no triviales, y siendo que || = 20 = 22 5, por el teorema
de Cauchy, un subgrupo de orden 5. como el nmero de 5 subgrupos son 5 ., Sea por el 3er teorema de
Sylow 5 1( 5), | 5 1 es mltiplo de 5, y cmo 5 es primo, para 5 slo es el 1, 5 = 1
tenemos un nico 5 subgrupo de Sylow para es un subgrupo normal, y adems no trivial en no
es simple