MA-31A Elementos de Algebra 13 de Septiembre, 2003

Pauta Control 1
Prof. Catedra: M. Kiwi Prof. Auxiliar: H. Castro, J. Soto

Tiempo: Tiempo: 4.0 hrs.

Problema 1:

(i.1).- Ver apunte.

(i.2).- Por ontradi ion. Sea P 0 6= P un p-subgrupo de Sylow tambien ontenido en
N (P ). Por maximalidad de los subgrupos de Sylow, no puede o urrir que P 0 este
ontenido en P . Luego, existe algun g 2 P 0 n P . En parti ular, g 2 N (P ) y o(g ) es
una poten ia de p (esto ultimo pues g pertene e a un p-grupo). Por (i.1), sigue que
g 2 P , ontradi ion.
(i.3).- Dado que ualquiera sea el subgrupo H de G se tiene que H  N (H ), es
inmediato que N (P )  N (N (P )).
Por otro lado, observar que dado que P  N (P ), por deni ion de normalizador si
g 2 N (N (P )), enton es gP g 1  gN (P )g 1 = N (P ). Notar que gP g 1 es un p-
subgrupo de Sylow pues es onjugado de un p-subgrupo de Sylow. Por (i.1) sabemos
que P es el uni o p-subgrupo de Sylow ontenido en N (P ), luego gP g 1 = P , i.e.,
g 2 N (P ). En resumen, N (N (P ))  N (P ).
(ii.1).- Sea G un grupo de orden 15. El numero de sus 3-subgrupos de Sylow debe ser
ongruente a 1 modulo 3 y dividir a 15. La uni a posibilidad es que haya un solo tal
subgrupo P3 . Ne esariamente enton es este debe ser normal. De la misma manera se
on luye que hay un uni o 5-subgrupo de Sylow P5 de G y que este es normal. Como
un elemento en P3 \ P5 tiene un orden que divide a 3 y 5, sigue que P3 \ P5 = f1g. Por
resultado visto P3 P5 es isomorfo a P3  P5 . Pero, P3 P5 es un subgrupo de G de orden
mayor que 5. Luego, por el Teorema de Lagrange, debemos tener que P3 P5 = G.
Observando que P3 y P5 deben ser isomorfos a Z3 y Z5 respe tivamente, on luimos
que G debe ser isomorfo a Z3  Z5. Es fa il ver que este ultimo grupo es isomorfo a
Z15 el ual es  li o.
(ii.2).- Sea G un grupo de orden 21. Una argumento similar al de la parte anterior
lleva a on luir que G = Z3  Z7 o G = Z3  Z7 donde  es un automorsmo no
trivial de Z3. Como existe un uni o automorsmo no trivial de Z3 on luimos que
existen dos lases, salvo isomorsmos, de grupos de orden 21. Estos ne esariamente

1
Pauta Control 1: 13 de Septiembre, 2003 2

deben orresponder enton es a los dos grupos men ionados en el enun iado (los uales
es fa il on luir son de orden 21 y no isomorfos).
(ii.3).- Los grupos de orden 6 se enumeraron en atedra. Se estable io que eran
isomorfos a Z6 o a S3 .
Se vio en atedra que un grupo de orden p2 , on p primo, es abeliano. Del Proble-
ma 2 sabemos que todo grupo abeliano puede expresarse omo produ to de grupos
 li os (que en el aso que nos interesa ne esariamente deben tener un orden poten ia
de p). Las uni as posibilidades son Zp y Zp  Zp. Luego, los grupos de orden 9 son
isomorfos a Z9 o a Z3  Z3.
Como Z15 es de orden 15, por (ii.1) sabemos que ualquier otro grupo del mismo
orden es isomorfo a Z15.
Finalmente por (ii.2) tenemos que los grupos de orden 21 son isomorfos a Z21 o al
grupo generado por x e y tales que x7 = 1, y 3 = 1 e yx = x2 y .

Problema 2:

(i).- De los Teoremas de Sylow sabemos que G posee pi -subgrupos de Sylow Pi de

orden pni i , para i = 1; : : : ; k. Como G es abeliano, P1 ; : : : ; Pk son subgrupos normales
de G. Observar ademas que si g 2 P1 P2


Pi \ Pi+1 , enton es o(g ) divide a pn1 1


pni i
i+1
y a pni+1 , es de ir, es igual a 1. Sigue que P1 P2


Pi \ Pi+1 = f1g. Por resultado
visto, on luimos que P1 P2


Pi+1 es isomorfo a P1 P2


Pi  Pi+1 .
Como G = P1


Pk , argumentando re ursivamente se obtiene que

G  (: : : ((P1  P2 )  P3 )


)  Pk :
Es fa il ver que el grupo produ to del lado dere ho de la expresion anterior es isomorfo
a1
P1  P2  : : :  Pk :
La misma observa ion permite on luir el Teorema Fundamental para Grupos Abe-
lianos Finitos.
(ii).- Veriquemos primero que H (s) es grupo. Claramente 1 2 H (s). Ademas, si
h 2 H (s), enton es (h 1 )s = (hs ) 1 = 1, por lo que h 2 H (s). En resumen, H (s) es
subgrupo de H . De manera analoga se tiene que H 0 (s) es grupo.
Sea  el isomorsmo de H a H 0 . Veamos que  es isomorsmo de H (s) a H 0(s).
1 Basta veri ar que si G1 ; G2 ; G3 son grupos, enton es (G1  G2 )  G3 
= G1  G2  G3 .
Pauta Control 1: 13 de Septiembre, 2003 3

Si h 2 H (s), enton es hs = 1. Luego, 1 = (1) = (hs ) = (h)s, i.e., (h) 2 H 0 (s).

Por lo tanto,  : H (s) ! H 0 (s) esta bien denida y es monomorsmo, pues esta
ultima ualidad se desprende del he ho que  : H ! H 0 es un isomorsmo. Nos falta
ver que (H (s)) = H 0 (s). En efe to, sea h0 2 H 0 (s) y h =  1 (h0 ) 2 H . Como  1 es
un morsmo, hs = ( 1 (h0 ))s =  1 (1) = 1, i.e., h 2 H (s).
(iii.1).- Veamos que G(pm )  B1  : : :  Bt  Gt+1  : : :  Gk . El onverso es muy
m p pm
simple. Se enton es x 2 G(p ), i.e., x = 1 y x = (x1 ; : : : ; xk ) tales que xi = 1,
m

i = 1 : : : ; k. Sea i  t. Tenemos que xi = gii para algun i . Sigue que pni ji pm , i.e.
i = vi pni m , para algun entero vi . Por lo tanto xi 2 Bi si i  t. Esto on luye la
demostra ion que x 2 B1  : : :  Bt  Gt+1  : : :  Gk .
En el aso que m = 1, o(B1 ) = : : : = o(Bt ) = o(Gt+1 ) = : : : = o(Gk ) = p. Luego,

o(G(p)) = o(B1 ) : : : o(Bt )o(Gt+1 ) : : : o(Gk ) = pk :

Como G  = G0 , tenemos que G(p)  = G(p0 ) y pk = o(G(p)) = o(G0 (p)) = pk .

0

(iii.2).- Si k = k0 y ni = n0i es muy fa il ver que G  = G0 . Para probar el onverso.

Supongamos que G  = G0 . Ya vimos que deba tenerse que k = k0 . Siguiendo la
indi a ion del enun iado, denamos t, m, H y H 0 . Del he ho que G  = G0 se dedu e
fa ilmente que H  = H 0 . Pero esto no puede ser, pues

= (g1p )  : : :  (gtp ) ;
m m
H
y si G0i = (gi0 ),
H0 
= ((g10 )p )  : : :  ((gt0 1 )p ) :
m m

(iv).- De la parte anterior tenemos que todo grupo abeliano de orden pn es isomorfo
a un produ to de grupos  li os. Estos ultimos ne esariamente tienen ordenes po- Q
ten ias de p, digamos pn1 ; : : : ; pnk , n1  n2  : : :  nk > 0. Sigue que pn = i pni ,
i.e., (n1 ; : : : ; nk ) es una parti ion de n.
Observemos ahora que las parti iones de 5 son 5, 41, 32, 311, 221, 2111 y 11111.
Luego, salvo isomorsmos, hay 7 grupos abelianos de orden 32. Estos son, Z32,
Z16  Z2, Z8  Z4, Z8  Z22, Z24  Z2, Z4  Z32 y Z52.