Ma31a Elementos de Algebra 12 de Septiembre de 2008

Pauta Control 1
Prof. Catedra: M. Kiwi Prof. Auxiliar: E. Araya, O. Rivera

P ROBLEMA 1:
\
(i).- Recordar que hAiN = H. Definimos el conjunto
H/G:AH
 
n N, m1 , . . . , mn Z,
W = Ig1 (am 1 mn
1 ) Ign (an ) : .
a1 , . . . , an A, g1 , . . . , gn G
Queremos demostrar que hAiN = W .

Veamos primero que hAiN W . Bastara demostrar que W es un subgrupo normal de G que contiene a A. Por
convencion tenemos que el neutro de G pertenece a W . Ademas, si w y w e son elementos de W , entonces exis-
ten n, ne N, enteros m1 , . . . , mn , m e ne, elementos de a1 , . . . , an , ae1 , . . . , aene A, y g1 , . . . , gn , ge1 , . . . , gene G
e1 , . . . , m
m
tales que w = Ig1 (am mn am
1 e1 e ne
1 ) Ign (an ), y w e = Ige1 (e 1 ) Igene (ane ). Luego,
m
e 1 = Ig1 (am mn
) Ige1 (a m
1 e ne e1
w (w) 1 ) Ign (an ) Igene (e
ane 1 ).

e 1 W . Por resultados de caracterizacion de subgrupos se concluye que W es un subgrupo

Sigue que w(w)
de G. Notar ademas que W es subgrupo normal de G. En efecto, por propiedades de automorfismos interiores,
para todo g G,
Ig Ig1 (am mn
= Igg1 (am mn
1

1
1 ) Ign (an ) 1 ) Iggn (an ) W .

En otras palabras, W es invariante bajo conjugacion por automorfismos interiores. Sigue que W es subgrupo
normal de G. Finalmente, como I1 (a) = a cualquiera que sea a A, sigue que A W .

Veamos ahora que W hAiN . Sea w W tal que para n N, enteros m1 , . . . , mn ,, elementos de a1 , . . . , an , A,
y g1 , . . . , gn , G se tiene que w = Ig1 (am1 mn
1 ) Ign (an ).

Si para cualquier H subgrupo normal de G tal que A H se tiene que w H, entonces w hAiN . Veamos
que efectivamente w H para un H con las propiedades senaladas. En efecto, como a1 , . . . , an A y H es un
grupo que contiene a A, sique que am 1 mn
1 , . . . , an H. Como H es subgrupo normal de G y un grupo normal
es cerrado bajo conjugacion, sigue que si g1 , . . . , gn G, entonces Ig1 (am 1 mn
1 ), . . . , Ign (an ) H. Nuevamente,
m1 m
dado que H es grupo, se concluye que w = Ig1 (a1 ) Ign (an ) H.
n

(ii).- Consideremos : G G/H G/K tal que (g) = (H (g), K (g)), donde H y K denotan los epimor-
fismos canonicos de G en G/H y G/K respectivamente. Se verifica facilmente que es morfirmo. Ademas, si
(g) = ([1]H , [1]K ), entonces g H K = {1}. Sigue que es un monomorfimo. Por el Teorema del Factor,
concluimos que G Im() con Im() subgrupo de G/H G/K.

(iii).- Consideremos las accion de I : G G G tal que I(g, x) = Ig (x) donde Ig (x) = gxg1 . Sigue que G se
particiona en orbitas. Como Orb(x) = {x0 : gx = x0 g} sigue que |Orbx| = 1 si y solo si x Z(G). La condicion

1
Z(x ) ( G para todo y si , 0 , 6= 0 , y g G, entonces x0 6= gx g1 , equivale a decir que los
x s son representantes de cada una de las orbitas de cardinal estrictamente mayor que 1. Luego,

|G| = |Z(G)| + |Orb(x )| .

Por resultado visto, Orb(x ) G/Est(x ) como G-espacios. Ademas, como Est(x) = {g G : gx = xg} =
Z(x), sigue que |Orb(x )| = |G|/|Z(x )| = [G : Z(x )].

P ROBLEMA 2: Sea G un grupo de orden 28. Como 28 = 22 7 sigue que G posee un 2-subgrupo de Sylow
de orden 4 que denotaremos P2 , y un 7-subgrupo de Sylow de orden 7 que denotaremos P7 . Sean N2 y N7 el
numero de conjugados de P2 y P7 respectivamente.

De los Teoremas de Sylow tenemos que N7 7 1 y N7 |4. Sigue que N7 = 1 y por lo tanto P7 es invariante bajo
conjugacion, i.e. P7 / G. Ademas, como P7 es de orden primo, se tiene que P7 es isomorfo a Z7 .

Por otro lado, tambien se cumple que N2 2 1 y que N2 |7. Sigue que N2 puede ser igual a 1 o 7. Ademas,
como P2 tiene orden el cuadrado de un primo, debe ser abeliano. Se tienen los siguientes dos casos:

P2 tiene un elemento de orden 4: Entonces es isomorfo a Z4 .

P2 no tiene elementos de orden 4: Entonces, por ser 2-subgrupo, sus elementos distintos del neutro
deben ser todos de orden 2. Sea x P2 de orden 2 e y 6 P2 \hxi (y existe dado queP2 y hxi tienen orden
4
y 2 respectivamente). Como P2 es abeliano, se verifica facilmente que h{x, y}i = xi y j : 0 i, j 1 =
P2 . Sigue que P2 es isomorfo a Z2 Z2 .

Como los ordenes de P2 y P7 son primos relativos, por Lagrange concluimos que su interseccion es necesa-
riamente trivial, i.e. P2 P7 = {1}. Por formula conocida, se tiene que |P2 P7 | = |P2 ||P7 |/|P2 P7 | = 4 7 = 28.
Luego, necesariamente debe cumplirse que G = P2 P7 .

En el caso que P2 / G, entonces por resultado visto en clases se concluye que G es isomorfo a P7 P2 . Sigue
que en este caso G es abeliano isomorfo a Z7 Z4 o Z7 Z2 Z2 .

Si P2 no es normal en G, entonces actua por conjugacion sobre P7 . Consideremos entonces los siguientes dos
casos:

: Z4 Aut(Z7 ) morfismo: Sea i = (i). Como es morfismo, 0 = id y 1 debe ser de orden

divisor de 4. Pero el orden de Z7 es 6 que no es divisible por 4 y por lo tanto no contiene elementos
de orden 4. Luego, el unico caso interesante es cuando 1 tiene orden 2. Como Aut(Z7 ) es isomorfo
a Z7 = {1, 2, 3, 4, 5, 6} y el unico elemento de orden 2 en Z7 es 6 = 1 mod 7, estudiemos el caso en
que 1 : Z7 Z7 es tal que 1 (x) = x. Luego, en Z7 Z4 se tiene la siguiente ley de composicion
interna:
(a, b)(a0 , b0 ) = (a +7 b (a0 ), b +4 b0 ) = (a +7 (1)b a0 , b +4 b0 ) .
Se verifica que el grupo que se obtiene es isomorfo a D14 .
: Z2 Z2 Aut(Z7 ) morfismo: Usando la notacion del caso anterior, ahora se observa que (1, 0) y
(0, 1) deben ser de orden divisor de 2 y por lo tanto iguales a id o 6 . Sigue que los casos no triviales
interesantes son:

2
 (1, 0) = id y (0, 1) = 6 : Observar que (b, c) = (b, 0) (0, c) = (0, c) para todo (b, c)
Z2 Z2 . Luego, en Z7 (Z2 Z2 ) se tiene la siguiente ley de composicion interna:

(a, (b, c))(a0 , (b0 , c0 )) = (a +7 (1)c a0 , (b +2 b0 , c +2 c0 )) .

Se verifica que el grupo que se obtiene es isomorfo a D7 Z2 .

(1, 0) = 6 y (0, 1) = id: En este caso el grupo P7 P2 es isomorfo al grupo del caso anterior.
(1, 0) = (0, 1) = 6 : En este caso, en Z7 (Z2 Z2 ) se tiene la siguiente ley de composicion
interna:

(a, (b, c))(a0 , (b0 , c0 )) = (a +7 (1)b+c a0 , (b +2 b0 , c +2 c0 )) .

Se verifica que el grupo que se obtiene es isomorfo a D14 .

P ROBLEMA 3:

Primero recordamos que A5 tiene orden 5!/2 = 60 = 22 3 5. Luego, existen 2-, 3- y 5-subgrupos de Sylow
en A5 cuyos ordenes son 22 , 3 y 5 respectivamente. Sea N p el numero de p-subgrupos de Sylow en A5 .

(i).- Si hubiera un unico 5-subgrupo de Sylow en A5 , entonces este sera normal. Pero por resultado visto, A5
es grupos simple, luego sus subgrupos normales son triviales.

Otra forma alternativa de abordar el problema es mostrar que existen dos subgrupos distintos de A5 de orden
5. Los 5-ciclos en S5 son todos pares y de orden 5 por lo tanto generan los distintos 5-subgrupos de Sylow de
A5 . Como

h(12345)i = {id, (12345), (13524), (14253), (15432)} ,

no contiene todos los ciclos de orden 5, entonces no existe un unico 5-subgrupo de Sylow en A5 .

(ii).- Por los Teoremas de Sylow se tiene que N5 5 1 y N5 |12. Luego, N5 es igual a 1 o 6. Por (i) sabemos
entonces que N5 = 6. Veamos que todos ellos son generados por ciclos de orden 5 (bastara exhibir 6 de estos
grupos):

h(12345)i = {id, (12345), (13524), (14253), (15432)} ,

h(13452)i = {id, (13452), (14235), (15324), (12543)} ,
h(14532)i = {id, (14532), (15243), (13425), (12354)} ,
h(15423)i = {id, (15423), (14352), (12534), (13245)} ,
h(15234)i = {id, (15234), (12453), (13542), (14325)} ,
h(14523)i = {id, (14523), (15342), (12435), (13254)} .

(iii).- El orden de un producto de cclos disjuntos es el mnimo comun multiplo del largo de sus cclos. Sigue
que la unica forma en que una permutacion de S5 puede tener orden 4 es que sea un ciclo de largo 4. Pero un
ciclo de largo par es una permutacion de signo impar, luego no esta en A5 . Como los unicos grupos de orden
4 son Z4 y Z2 Z2 , y el primero de estos posee elementos de orden 4, sigue que los 2-subgrupos de Sylow
de A5 son todos isomorfos a Z2 Z2 .

3
(iv).- Los 2-subgrupos de Sylow de A5 tiene orden 4, luego contienen elementos cuyo orden es divisor de 4.
Por (iii) sabemos que no existen elementos de orden 4 en A5 , luego los elementos no-triviales de un 2-
subgrupo de Sylow de A5 deben ser productos de trasposiciones disjuntas. Por paridad, una permutacion en A5
distinta de la identidad que se descompone en producto de trasposiciones disjuntas debe tener exactamente
dos de tales cclos. Por (iii) tenemos que los 2-subgrupos de Sylow de A5 son abelianos. En resumen, los 2-
subgrupos de Sylow de A5 tienen 4 elementos, uno de ellos es la identidad y los otros 3 son productos de dos
trasposiciones disjuntas. Mas aun los 3 elementos distintos a la identidad conmutan entre si. Por indicacion
sigue que todo 2-subrupo de Sylow de A5 tiene la forma

{id, (i j)(kl), (ik)( jl), (il)( jk)} ,

donde i, j, k, l {1, . . . , 5} son todos distintos. Los 5 casos posibles son:

{id, (12)(34), (13)(24), (14)(23)} ,

{id, (12)(35), (13)(25), (15)(23)} ,
{id, (12)(45), (14)(25), (15)(24)} ,
{id, (13)(45), (14)(35), (15)(34)} ,
{id, (23)(45), (24)(35), (25)(34)} .