Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Estructura Grupos
Estructura Grupos
6
Estructura de los Grupos
6.1 Introduccion
En nuestro viaje dentro de la teora de grupos, hemos estudiado mu-
chos ejemplos de grupos interesantes, como los grupos de simetra, los
enteros modulo m, las permutaciones,...etc, pudiendo reconocer den-
tro de cada uno de ellos propiedades particulares que los diferenciaban
entre s; como una planta de helecho se diferencia de una de naranja.
Hemos realizado un largo recorrido por este hermoso paraje del algebra,
deteniendonos en cada arbol del bosque, en cada piedra del camino,
en cada ro que atravesamos a describir con detalle minucioso lo que
ibamos descubriendo. Nos dirigimos ahora hacia una colina desde donde
se puede otear todo el camino andado, desde muy arriba, y tener una
vision mas amplia de las cosas que estan abajo en los valles.
Con toda la informacion que tenemos a la mano, podemos hacer
un resumen general de todo lo visto en el recorrido, sintetizando en
unas pocas ideas el amplio panorama de la teora de grupos. Se trata
entonces de ordenar todo el material estudiado dentro de una estructura
general.
Este enfoque estructural facilita la clasicacion de los grupos, per-
mite obtener un conocimiento mas profundo de ellos y genera una gran
cantidad de nuevos ejemplos.
Existe mucha similitud entre el conjunto de los n umeros enteros
y el conjunto de los grupos abelianos nitos, desde el punto de vista
estructural, como se ver a en este captulo. Los n umeros primos son
los elementos basicos a partir de los cuales se generan todos los demas
enteros. En el caso de los grupos abelianos nitos, los grupos cclicos
juegan el mismo papel que los n umeros primos, pues ellos son los blo-
ques con los cuales se construyen los otros grupos.
La clasicacion de todos los grupos abelianos nitos es, sin duda
alguna, una de las mas altas realizaciones de toda el algebra. El primer
105
106 Captulo 6. Estructura de los Grupos
paso en alcanzar esta meta viene dado por el teorema Sylow, el cual per-
mite obtener subgrupos de orden una potencia de un primo p, cuando
dicha potencia es un divisor del orden del grupo dado. El teorema de
Sylow es una herramienta poderosa que permite desmenuzar un grupo
grande en pedazos mas pequeos, los p-grupos, de una manera rapida y
eciente, con tan solo conocer el orden del grupo.
El proceso de clasicacion culmina brillantemente con el teorema de
la unicidad de los invariantes para grupos de orden una potencia de un
primo p, o p-grupos. Si conocemos todos los invariantes de un p-grupo,
entonces se conoce su descomposicion como producto directo de grupos
cclicos.
6.2 Producto Directo de Grupos
Sean A y B dos grupos y consideremos a A y B como conjuntos.
Sea G el producto cartesiano A B. Podemos denir una operacion
binaria en A B mediante
(a
1
, b
1
) (a
2
, b
2
) = (a
1
a
2
, b
1
b
2
)
donde a
1
a
2
indica el producto de a
1
con a
2
en el grupo A
1
, y b
1
b
2
indica el producto de b
1
con b
2
en el grupo B. Probaremos que G con
la operacion , de multiplicacion por coordenadas, es un grupo.
En primer lugar la operacion es cerrada, pues los respectivos pro-
ductos en A y B son cerrados, con lo cual se demuestra que (a
1
a
2
, b
1
b
2
)
es un elemento de G.
Para demostrar la asociatividad, pongamos
(a
1
, b
1
) [(a
2
, b
2
) (a
3
, b
3
)] = (a
1
, b
1
) (a
2
a
3
, b
2
b
3
)
= (a
1
(a
2
a
3
), b
1
(b
2
b
3
))
= ((a
1
a
2
)a
3
), (b
1
b
2
)b
3
)
= (a
1
a
2
, b
1
b
2
) (a
3
, b
3
)
= [(a
1
, a
2
) (a
2
, b
2
)] (a
3
, b
3
)
Sea e el elemento neutro de A y f el elemento neutro de B. Entonces
el elemento (e, f) esta en G. Ademas, si (a, b) es cualquier elemento de
6.2. Producto Directo de Grupos 107
G se tendra:
(e, f) (a, b) = (ea, fb) = (a, b)
(a, b) (e, f) = (ae, bf) = (a, b)
Luego (e, f) es el elemento neutro para la operacion .
Finalmente, si (a, b) G, el elemento (a
1
, b
1
) estara en G, y se
tiene entonces
(a, b) (a
1
, b
1
) = (aa
1
, bb
1
) = (e, f)
y
(a
1
, b
1
) (a, b) = (a
1
a, b
1
b) = (e, f)
luego el inverso de (a, b) es (a
1
, b
1
). En conclusion hemos probado
que (G, ) satisface todas las propiedades de la denicion de grupo.
Ademas, si A y B son grupos abelianos, entonces AB es un grupo
abeliano.
Denicion 6.2.1 Sean A y B dos grupos. El grupo G = A B, con
la operacion de multiplicacion por coordenadas, se llama producto
directo externo de A y B.
Observaci on: Si los grupos A y B son abelianos, entonces G = AB
se llama la suma directa de A y B y se denota por A B
El producto directo externo de dos grupos, se puede generalizar
a cualquier n umero de grupos. Sean G
1
, . . . , G
n
grupos y sea G =
G
1
G
n
el conjunto de nuplas (g
1
, . . . , g
n
) con g
i
G
i
, 1 i n.
Denimos la operacion de producto en G, multiplicando compo-
nente por componente
(g
1
, . . . , g
n
) (h
1
, . . . , h
n
) = (g
1
h
1
, . . . , g
n
h
n
)
Entonces el grupo G con esta operacion se llama el producto di-
recto externo de G
1
, . . . , G
n
Observaci on: Si se tiene G = A B, entonces los conjuntos
H = (a, f) [ a A y K = (e, b) [ b B
108 Captulo 6. Estructura de los Grupos
son subgrupos de G y ademas
H K = (e, f).
Con las mismas notaciones anteriores, se tiene la siguiente
Proposicion 6.2.1 Para todo g A B, existen unicos elementos
g
1
H y g
2
K tales que
g = g
1
g
2
.
Demostracion: Sea g = (a, b), entonces
g = (a, b)
= (a, f)(e, b)
= g
1
g
2
con g
1
H, g
2
K.
Supongamos ahora que g = g
1
g
2
, con g
1
H y g
2
K. Luego
g = g
1
g
2
= g
1
g
2
, de donde (g
1
)
1
g
1
= g
2
(g
2
)
1
H K. Por lo tanto
(g
1
)
1
g
1
= e, lo cual implica g
1
= g
1
.
Similarmente se demuestra g
2
= g
2
.
entonces los H
i
son subgrupos de G y ademas
1) ) H
i
H
j
= e , para i ,= j, donde e es elemento neutro de G.
2)) Todo elemento g G se expresa de manera unica
g = h
1
h
2
h
n
donde los h
i
estan en H
i
.
6.2. Producto Directo de Grupos 109
Denicion 6.2.2 Sea G un grupo y H
1
, . . . , H
n
subgrupos normales de
G, tales que
1) G = H
1
H
n
2) Para todo g G, existen elementos unicos h
i
H
i
, 1 i n, tales
que
g = h
1
h
n
Entonces G se llama el producto directo interno de H
1
, . . . , H
n
.
Observaci on: Mas adelante, probaremos que el producto directo ex-
terno es isomorfo al producto directo interno, y por lo tanto, al quedar
probado este isomorsmo, hablaremos de producto directo, sin ser es-
peccos.
Antes de llegar a ese resultado, necesitamos la siguiente proposicion:
Proposicion 6.2.3 Sea G = N
1
, N
s
producto directo interno. En-
tonces para todo par de subndices i ,= j se tiene que
N
i
N
j
= e,
y ademas se cumple
ab = ba
para cualquier a N
i
, b N
j
Demostracion: Sea x N
i
N
j
, entonces de acuerdo con la denicion
de producto directo interno, existen elementos g
1
, . . . , g
s
con g
i
N
i
tales que
x = g
1
g
s
(6.1)
Por otro lado, podemos representar a x de dos formas distintas
110 Captulo 6. Estructura de los Grupos
x = e
1
e
2
e
i1
xe
i+1
e
n
x = e
1
e
2
e
j1
xe
j+1
e
n
donde e
s
= e, es el elemento neutro de G.
Usando la unicidad de la representaci on en (??) se concluye que
x = e, de donde
N
i
N
j
= e
Si suponemos que a N
i
y b N
j
, se tiene que aba
1
N
j
, puesto
que N
j
es normal.
Por estar b
1
en N
j
, se debe tener aba
1
b
1
N
j
. Pero por otro
lado, usando la normalidad de N
i
se sigue que ba
1
b
1
N
i
, y entonces
aba
1
b
1
N
i
.
Combinando ambos resultados se obtiene
aba
1
b
1
N
i
N
j
= e
De donde
ab = ba
=
N
1
N
s
producto directo externo, entonces
G G
.
Demostracion: Consideremos la aplicacion
: G
G
(g
1
, . . . , g
s
) = g
1
g
s
Entonces esta bien denida, pues cada g
i
pertenece a G, luego el
producto de los g
i
esta en G.
6.2. Producto Directo de Grupos 111
Sean x, y G
y probemos que
(x, y) = (x)(y)
Se tiene
x = (g
1
, . . . , g
s
), y = (h
1
, . . . , h
s
) con g
i
, h
i
N
i
,
para todo (1 i s)
Luego, usando la proposicion anterior, se deduce
(x, y) = (g
1
h
1
, . . . , g
s
h
s
)
= (g
1
h
1
)(g
2
h
2
) (g
s
h
s
)
= (g
1
g
s
)(h
1
h
s
)
= (x)(y)
Ademas es sobreyectiva, por la denicion de producto interno.
Falta probar la inyectividad de .
Sea x = (g
1
, . . . , g
s
) G
i
: G G
i
6.3. La Ecuacion de la Clase 113
(g
1
, . . . , g
n
) g
i
i
se llama la i- esima proyecci on canonica.
Probar que para todo i,
i
es un homomorsmo sobreyectivo.
6) Sea G = G
1
G
n
y considerense las n aplicaciones
i
k
: G
k
G, 1 k n,
g
k
(e
1
, . . . , e
k1
, g
k
, e
k+1
, . . . , e
n
)
la aplicacion i
k
se llama la k - esima inclusion canonica. Probar
que i
k
es un homomorsmo de grupos sobreyectivo, para todo k.
7) Demuestre que si G
1
, y G
2
son grupos, entonces
G
1
G
2
G
2
G
1
8) Sea G = G
1
G
2
, y H = (a, f) [ a G
1
, donde f es la identidad
de G
2
. Probar que H es normal en G y ademas
G/H G
2
.
9) Sean C
r
y C
s
grupos cclicos de orden r y s, con (r, s) = 1. Probar
que C
r
C
s
C
rs
.
10) Sea G = S
3
S
3
. Hallar dentro de G un subgrupo de orden 9.
11) Hallar todos los posibles grupos abelianos de orden 16.
12) Sean G
1
, G
1
, G
2
, G
2
grupos, tales que G
1
G
1
y G
2
G
2
. Probar
que
G
1
G
2
G
1
G
2
.
6.3 La Ecuacion de la Clase
En esta seccion estudiaremos una nueva tecnica para contar los ele-
mentos dentro de un grupo G, conocida con el nombre de relacion de
conjugacion. Por intermedio de esta, es posible demostrar un resultado
muy interesante sobre grupos nitos debido a Cauchy. Este resultado
establece que si un n umero primo p divide al orden de un grupo nito
G, entonces G tiene un subgrupo de orden p.
114 Captulo 6. Estructura de los Grupos
Denicion 6.3.1 Sea G un grupo y a, b G. Diremos que b es con-
jugado de a, si existe c G, tal que
b = c
1
ac
Si b es un conjugado de a, lo denotamos por
a b
Se puede vericar que la relacion es de equivalencia en el con-
junto G. Para cada a G se tiene su clase de conjugacion:
C(a) = x G, [ a x
Si C(a) tiene C
a
elementos, se tiene la siguiente formula de conteo
en G
[G[ =
C
a
donde C
a
recorre todas las clases de equivalencia. Esta relacion se
conoce con el nombre de ecuacion de la clase en G
Denicion 6.3.2 Sea G un grupo y a G. Denimos el Normaliza-
dor de a como
N(a) = x G, [ xa = ax.
Entonces es facil probar que N(a) es un subgrupo de G.
Teorema 6.3.1 Para cada a G,
C
a
=
(G)
(N(a))
.
Demostracion: Denimos una funcion
: C(a) G/N(a)
T = x
1
ax N(a)x
Probaremos que es una biyecci on
6.3. La Ecuacion de la Clase 115
1) esta bien denida. Es decir, dos clases de conjugados iguales, pero
con distintos representantes, tienen la misma imagen bajo el homomor-
smo
Si x
1
ax = y
1
ay, entonces yx
1
axy
1
= a, lo cual implica
(xy
1
)
1
axy
1
= a
.
Luego debemos tener xy
1
N(a) y de aqui se deduce que xN(a) =
yN(a) . Por lo tanto esta bien denida.
2) es 1 : 1
Supongamos que para T
1
, T
2
C(a), donde T
1
= x
1
ax, T
2
=
y
1
ay, se tiene (T
1
) = (T
2
). Por lo tanto
N(a)x = N(a)y
Luego xy
1
N(a), lo cual implica xy
1
a = axy
1
. Por lo tanto
y
1
ay = x
1
ax, y de esto se obtiene T
1
= T
2
.
3) es sobre (facil).
(G)
((N(a))
donde cada elemento a pertenece a una clase conjugada.
Denicion 6.3.3 Sea G un grupo, entonces el centro de G es el
conjunto
Z(G) = g G [ gx = xg, x G.
Es facil vericar que Z(G) es un subgrupo de G.
Observaci on: Usaremos el smbolo Z o Z(G), indistintamente para
indicar este grupo.
Observaci on: Si a Z(G), entonces N(a) = G, luego
116 Captulo 6. Estructura de los Grupos
(G)
(N(a))
= 1
Usando esta observaci on tenemos el corolario:
Corolario 6.3.2 Si G es nito
(G) = [Z(G)[ +
aZ(G)
(G)
(N(a))
.
Corolario 6.3.3 Si (G) = p
n
, donde p es un n umero primo, entonces
Z(G) ,= e.
Demostracion: Si a , Z(G), entonces N(a) ,= G, luego por el teo-
rema de Lagrange
(N(a))[ (G)
y por lo tanto
(N(a)) = p
con 1 < n
luego
p
(G)
(N(a))
,
para todo a , Z(G).
As
p
(G)
aZ(G)
(G)
(N(a))
y por lo tanto
p [ (Z(G))
Esto es (Z(G)) > 1
(G)
(H)
y por lo tanto
p[
G
H
G
H
< (G),
aplicamos hipotesis de induccion a G/H. Luego existe un elemento
Hg G/H de orden p. Luego
(Hg)
p
= Hg
p
= H
es decir, g
p
H y g , H, luego
(g
p
)
(H)
= e
Sea x = g
(H)
. Entonces probaremos que x ,= e.
En efecto si
g
(H)
= e
tenemos que
(Hg)
(H)
= H.
Como (Hg) = p, se debe tener p[ (H), lo cual es imposible.
As x ,= e y x
p
= e. Luego
(x) = p
Con esto termina la demostracion del primer caso.
6.3. La Ecuacion de la Clase 119
2) G no Abeliano
Nuevamente usamos induccion sobre el orden de G.
Si (G) = 1 no hay nada que probar.
Si G tiene un subgrupo H, tal que p[ (H) esta listo.
Supongamos que p no divide al orden de ning un subgrupo de G. En
particular, si a , Z(G) entonces N(a) ,= G y por lo tanto p ,[N(a).
Luego se tiene la ecuacion de la clase
(G) = (Z(G)) +
aZ(G)
(G)
(N(a))
Puesto que p[ (G) y p ,[ (N(a)) se tiene que p[
(G)
(N(a))
, si a , Z(G).
Luego
p
(G)
aZ(G)
(G)
(N(a))
y por lo tanto
p[ (Z(G))
Pero hemos supuesto que p no divida al orden de ning un subgrupo
propio de G. Como consecuencia de esto debemos tener Z(G) = G,
con lo cual G es abeliano. Luego aplicamos el primer caso.
Ejercicios
1) Probar que si G es un grupo, entonces su centro es un grupo abeliano.
2) Sea G un grupo y a G. Probar que N(a) es un subgrupo de G.
3) Hallar el centro de S
3
.
4) En el grupo S
3
, calcular N(), donde es la reexion de orden 2.
5) Sea G un grupo y a G. Probar que a Z(G) si y solo si N(a) = G.
120 Captulo 6. Estructura de los Grupos
6) Probar que si G es un grupo, la relacion de conjugados, en los ele-
mentos de G es de equivalencia.
7) Escribir la ecuacion de la clase para el grupo G = S
3
.
8) Probar que si G es un grupo de orden p
.
9) Sea p un n umero primo. Probar que existen solo dos grupos de orden
p
2
, salvo isomorsmo.
10) Halle todos los conjugados de la rotacion R
1
en el grupo de simetras
del cuadrado.
11) Calcule el n umero de clases conjugadas del grupo diedrico D
4
.
12) Halle el centro de D
4
.
6.4 Teoremas de Sylow
En esta seccion probaremos uno de los teoremas mas importantes
de toda la teora de grupos, como lo es el teorema de Sylow. Si G es un
grupo cuyo orden es divisible por una potencia de un primo p, entonces
el teorema de Sylow garantiza la existencia de un subgrupo de G, cuyo
orden es la potencia dada de p.
Para demostrar este teorema necesitamos aplicar una tecnica nueva
para contar elementos dentro de un conjunto, a partir de un grupo
dado, la cual se conoce con el nombre de Accion de Grupos.
Denicion 6.4.1 Sea A un conjunto y G un grupo. Diremos que G
act ua sobre A, si existe una funcion : GA A que satisface
1. Para todo g G, la aplicacion
g
: A A
a (g, a)
es una permutacion del conjunto A.
6.4. Teoremas de Sylow 121
2. La aplicacion
G S(A)
g
g
es un homomorsmo de grupos.
Observaci on: De acuerdo con la condicion 2 se tienen las siguientes
formulas de composicion.
1.
a
b
=
ab
, para todo a y b en G.
2.
g
1
g
=
e
= Id, para todo g en G.
Ejemplo: En la demostracion del Teorema de Cayley hemos visto
como un grupo G act ua sobre el conjunto G formado por sus elementos,
mediante Traslaciones a la derecha. Este tipo de accion viene dada
por la funcion
: GG G
(g, a) g.a
Es facil vericar que se cumplen las condiciones 1 y 2 de la denicion
para esta funcion.
Introducimos a continuaci on un par de conceptos muy utiles para
el conteo de los elementos de un conjunto en donde esta denida una
accion.
Denicion 6.4.2 Sea G un grupo, el cual act ua sobre un conjunto A.
Entonces para todo a en A, se dene la orbita de a bajo G como el
conjunto
A
a
= (g, a) [ g G
Observaci on: Es facil vericar que el conjunto de las distintas orbitas
de A bajo todos los elementos de G establece una particion del conjunto
A.
122 Captulo 6. Estructura de los Grupos
Denicion 6.4.3 Sea G un grupo, el cual act ua sobre un conjunto A.
Entonces para todo a A se dene el estabilizador de a en G como
el conjunto
Est
a
= g G [ (g, a) = a
Observaci on: Se demuestra que para todo a en A, Est
a
es un sub-
grupo de G.
El siguiente teorema permite calcular el n umero de elementos dentro
de cada orbita.
Teorema 6.4.1 Sea G un grupo nito, el cual act ua sobre un conjunto
A nito. Entonces, para todo a A se tiene
[A
a
[ = [G : Est
a
] =
[G[
[Est
a
[
Demostracion: Sea (
a
el conjunto de las clases laterales derechas de
Est
a
en G. Consideremos la aplicacion
: (
a
A
a
g.Est
a
g
(a)
donde
g
(a) denota la aplicacion de g sobre el elemento a.
En primer lugar probaremos que esta bien denida, para lo cual
supongamos que g
1
Est
a
= g
2
Est
a
para algunos g
1
, g
2
en G. Entonces
se tiene g
1
g
1
2
Esta
a
si y solo si
g
1
1
g
2
(a) = a.
Luego
g
1
1
g
2
(a) = a, si y solo si
g
2
(a) =
g
1
(a). Con esto hemos
probado que la funcion esta bien denida. Repitiendo los pasos en
sentido inverso, se prueba la inyectividad de . Luego la funcion es
biyectiva y de esto se deduce la tesis del teorema.
n
k
=
n!
k!(n k)!
(6.2)
Lema 6.4.1 Sea n = p
m, donde p es primo y p
r
[m pero p
r+1
,[ m.
Entonces
p
r
n
p
pero p
r+1
,[
n
p
m
p
=
(p
m)!
(p
)!(p
mp
)!
=
p
m(p
m1) (p
mp
+ 1)
p
(p
1)(p
2) (p
+ 1)
(6.3)
Observando la expresion (??), vemos que si una potencia de p, di-
gamos p
i
divide el numerador, entonces esta potencia tambien divide
al denominador.
En efecto, si p
i
[p
k.
Luego toda potencia de p en el numerador, se cancela con la corres-
pondiente potencia de p en el denominador. Luego la unica potencia
de p en (??) es la que contiene m. De donde se obtiene el resultado.
[ (G). Entonces
G tiene un subgrupo de orden p
.
124 Captulo 6. Estructura de los Grupos
Demostracion: Sea
(G) = p
m,
tal que p
r
[m, y p
r+1
,[m.
Sea / = A
1
, . . . , A
s
la familia de subconjuntos de G de tama no
p
. Entonces
s =
m
p
[A
1
.
Caso contrario p
r+1
divide a todas las clases de equivalencia y por
lo tanto
p
r+1
[ [/[
entonces
p
r+1
m
p
[(H)
y por lo tanto
(H) p
(6.4)
Por otro lado, hA
1
= A
1
, para todo h H. Si tomamos a
1
A
1
jo se obtiene
ha
1
A
1
, h H
Luego
(H) (A
1
) = p
(6.5)
Usando (??) y (??) obtenemos
(H) = p
n, donde p no
divide a n. Entonces un subgrupo H de G de orden p
se llama un
p-grupo de Sylow de G.
Mas adelante veremos otros teoremas de Sylow, que nos daran in-
formacion sobre el n umero de p-grupos de Sylow dentro de un grupo G.
Antes de llegar a estos teoremas necesitamos una serie de deniciones
y resultados sobre grupos conjugados.
Denicion 6.4.5 Sea G un grupo y H subgrupo de G. Para cualquier
a G, el conjunto
aHa
1
= aha
1
[ h H
se llama grupo conjugado de H inducido por a.
La demostracion de que dicho conjunto es un subgrupo de G, se
deja como ejercicio.
Observaci on: Es claro que si H
es un conjugado de H, entonces H
QD
[T
Q
[
donde T
Q
es la orbita del elemento Q en T.
Tenemos dos posibilidades para Q.
1) Si Q = P, entonces
T
P
= gPg
1
[g P = P
luego esta orbita consiste de un solo elemento.
2) Si Q ,= P, entonces
[T
Q
[ =
[P[
[Est
Q
[
=
p
[N
P
(Q)[
= p
con 0.
Como P ,= Q, se tendra N
P
(Q) ,= P ( Ver los ejercicios) y por lo
tanto > 0.
6.4. Teoremas de Sylow 129
En conclusion se tiene que
h = 1 + p
1
+ p
2
+ + p
n
(6.6)
y por lo tanto h 1 mod p.
En la tercera parte del teorema de Sylow probaremos que todos los
p-grupos de Sylow son conjugados entre s. Entonces si se elige un p-
grupo P los restantes p-grupos aparecen en la orbita de P cuando el
grupo G act ua sobre T por conjugacion. El tama no de dicha orbita
viene dado por
[T
P
[ =
[G[
[Est
P
[
=
[G[
[N(P)[
= [G : N(P)]
donde N(P) es el normalizador de P.
con 0 (6.7)
Si asumimos = 0, se tendra
(P) = (N
P
(Q)))
130 Captulo 6. Estructura de los Grupos
lo cual implica
P = N
P
(Q)
y por lo tanto P = Q, lo cual es una contradicci on.
Si hay otro conjugado de Q, aparte de los senalados en (??), sea
Q
1
otro conjugado y repitamos el proceso. Luego el n umero total de
conjugados de Q ( contando todas las orbitas ) vendra dado por
h
= p
1
+ p
2
+ p
s
con
i
> 0.
donde ( =
1
) Por lo tanto h
Ejercicios
1) Sea n un entero positivo y k otro entero tal que k n. Entonces
el factorial inferior de n en k, el cual denotamos por (n)
k
es el
n umero de kuplas que se pueden formar a partir de un conjunto de n
elementos.
Si A = 1, 2, . . . , n, entonces (n)
k
es el cardinal del conjunto
A
k
= (x
1
, . . . , x
k
) [ x
i
A y x
i
,= x
j
, si i ,= j
Probar que (n)
k
= n(n 1) (n k + 1).
2) Si n = 5 y k = 3, hallar todos los elementos de A
3
.
3) Sea x = (x
1
, . . . , x
k
) una kupla en A
k
. Un desarreglo de x es
otra kupla y de A
k
tal que si y = (y
1
, . . . , y
k
), entonces
x
1
, . . . x
k
= y
1
, . . . , y
k
n
k
Demostrar la formula
n
k
=
n!
(n k)!k!
5) Probar la formula
n
k
n 1
k
n 1
k 1
, 1 k n
Ayuda: Primero cuente todos los subconjuntos de tama no k que con-
tienen al 1 y luego aquellos que no contienen al 1.
6) Sea G un grupo nito y / la familia de todos los subconjuntos de
G de tama no s, con s < (G). Para A
i
, A
j
en / se dene la relacion
A
i
A
j
si y solo si existe un g G tal que gA
i
= A
j
1
1
p
t
t
Entonces sabemos, por el teorema de Sylow, que G tiene subgrupos
de Sylow P
i
de orden p
i
, usando esto y el teorema anterior se tiene:
Teorema 6.5.2 Si G es un grupo abeliano nito de orden n, entonces
G es isomorfo al producto directo P
1
P
2
P
t
, donde los P
i
son
los grupos de Sylow de G.
Ejemplo: Sea G un grupo abeliano de orden 600. Entonces se tiene
300 = 2
3
3 5
2
.
Sean P
1
, P
2
y P
3
subgrupos de Sylow de G de ordenes 8, 3 y 25 respec-
tivamente. Luego se tiene el isomorsmo
6.5. Grupos Abelianos Finitos 135
G P
1
P
2
P
3
(6.8)
La estructura anterior todava no nos da toda la informacion sobre
el grupo G, pues P
1
es un grupo abeliano de orden 8 y debe ser isomorfo
a uno de los grupos
ZZ
8
, ZZ
4
ZZ
2
, ZZ
2
ZZ
2
ZZ
2
Sabemos que P
2
es un grupo de orden 3 y por lo tanto isomorfo a
ZZ
3
.
Finalmente P
3
es isomorfo a ZZ
25
o bien ZZ
5
ZZ
5
. Si hacemos
todos estas sustituciones para P
1
, P
2
y P
3
en la expresion (??), nos
encontramos con que G es producto directo de grupos cclicos.
Teorema 6.5.3 Todo grupo abeliano nito G es suma directa de grupos
cclicos C
i
,
G = C
1
C
s
donde (G) = (C
1
) (C
s
).
Demostracion: De acuerdo con el teorema anterior, todo grupo G
abeliano nito, es producto directo de sus subgrupos de Sylow. Luego
el teorema quedara demostrado, si probamos que todo pgrupo de
orden p
, con p primo.
Entonces existen subgrupos cclicos de G, C
i
de orden p
i
y tal que
1 i t
G C
1
C
2
C
t
(6.9)
y ademas
1
2
t
.
136 Captulo 6. Estructura de los Grupos
Los
i
se llaman los invariantes de G.
Demostracion: Si G mismo es cclico, entonces no hay nada que
probar.
Si G no es cclico, entonces los elementos de G tienen orden una
potencia de p. Elegimos a
1
en G, tal que el orden de a
1
es maximo.
Luego (a
1
) = p
1
, para alg un
1
1.
Denimos C
1
=< a
1
>, con lo cual el orden del grupo cclico C
1
es
p
1
.
Sea ahora G = G/C
1
el cual tiene orden una potencia de p. Por el
mismo razonamiento, se puede elegir un elemento a
2
en G tal que el
orden de a
2
es maximal entre los ordenes de los elementos de G.
Luego existe
2
tal que
(a
2
) = p
2
Como a
p
1
2
= e, se tiene que
p
1
(a
2
) (a
2
) = p
2
Luego
1
2
Ahora consideramos dos casos:
Caso I: Si < a
1
> < a
2
>= e, entonces hacemos C
2
=< a
2
> y
de esta manera se tiene un producto directo C
1
C
2
dentro del grupo
G, el cual podemos incrementar paso a paso, hasta obtener, despues de
un n umero nito de pasos, una descomposicion de G de la forma (??).
Caso II: Si < a
1
> < a
2
>,= e, entonces elegiremos otro elemento
en lugar de a
2
. Tomemos p
2
la menor potencia de p, tal que
a
p
2
2
< a
1
>= C
1
Por lo tanto existe un entero positivo i, tal que
a
p
2
2
= a
i
1
,
y entonces se obtiene
6.5. Grupos Abelianos Finitos 137
a
i
1
1
1
2
2
=
a
p
2
2
2
= a
p
1
2
= e
Luego p
1
divide a i(p
2
), y por lo tanto
p
2
[i.
Luego existe j tal que
i = jp
2
Tomemos entonces b
2
= a
j
1
a
2
, el cual satisface
(b
2
)
p
2
= a
jp
2
1
a
p
2
2
= a
i
1
a
p
2
2
= e
Ademas, si para alg un t, con 1 t < p
2
se tiene
(b
2
)
t
= e,
entonces
a
jt
1
a
t
2
= e,
y por lo tanto a
t
2
C
1
, lo cual es una contradicci on, pues t < p
2
. Con
esto queda demostrado que (b
2
) = p
2
.
Finalmente probaremos que
< a
1
> < b
2
>= e
En efecto, si x < a
1
> < b
2
>, se tendra x = b
t
2
< a
i
>, para
alg un t > 0. Luego
138 Captulo 6. Estructura de los Grupos
b
t
2
= (a
j
1
a
2
)
t
= a
jt
1
a
t
2
lo cual implica que a
t
2
< a
1
> y por lo tanto p
2
divide a t.
Luego se tendra
x = b
t
2
= e
Vemos que el elemento b
2
, cumple los requisitos buscados y volvien-
do al caso I, con C
2
=< b
2
>, se concluye la demostracion.
i=1
n
i
= n.
los enteros n
1
, n
2
, . . . , n
k
son los invariantes del grupo G.
Nuestro proximo objetivo sera probar la unicidad de los invariantes
de G.
6.5. Grupos Abelianos Finitos 139
Denicion 6.5.1 Sea G un grupo abeliano. Entonces para todo s 1
se dene el conjunto
G(s) = g G [ g
s
= e.
Ejemplo: Sea G = C
4
C
2
Entonces G(2) es el grupo formado por
los elementos
(0, 0), (0, 1), (2, 1), (2, 0),
mientras que G(4) = G y G(1) = e. Por otro lado,
Si s ,= 2, 4, 1 = G(s) = e.
Ejemplo: En el caso particular del grupo multiplicativo de los n umeros
complejos se tiene
G(n) = z CI [ z
n
= 1, n 1.
Este es el grupo de las races n-esimas de la unidad.
Observaci on: Se demuestra que G(s) es un subgrupo de G, para todo
s 1.
Proposicion 6.5.1 Sean G
1
y G
2
dos grupos isomorfos. Entonces
G
1
(s) = G
2
(s) para todo s entero.
Demostracion: Sea f : G
1
G
2
el isomorsmo dado entre G
1
y
G
2
.
Sean e
1
y e
2
los elementos neutros de G
1
y G
2
respectivamente. Si
g
s
= e
1
para alg un s 1, entonces por las propiedades de isomorsmo
se tiene f(g)
s
= e
2
. Luego hemos demostrado
f(G
1
(s)) G
2
(s)
Por otro lado, si h G
2
(s), entonces h
s
2
= e. Como la funcion f es
sobre, existe un g G, tal que h = f(g) y por lo tanto
140 Captulo 6. Estructura de los Grupos
[f(g)]
s
= f(g
s
) = e
2
Como f es inyectiva, se tiene que g
s
= e
1
. Luego hemos probado
f(G
1
(s)) G
2
(s), con lo cual se tiene f(G
1
(s)) = G
2
(s) y por lo tanto
G
1
(s) y G
2
(s) son isomorfos.
Proposicion 6.5.2 Sea G = C
p
n
1 C
p
n
2 C
p
n
k , donde p es un
primo y cada C
p
n
1 es un grupo cclico de orden p
n
i
. Entonces
G(p) = A
1
A
2
A
k
,
donde A
i
= x
i
) y el orden de cada x
i
es igual a p.
Demostracion: Para cada 1 i k, sea
C
p
n
i = g
i
),
donde g
i
es un elemento de G, de orden p
n
i
.
Sea
x
i
= g
p
n
i 1
i
para todo 1 i k.
Entonces (x
i
) = p. Probaremos que el grupo
H = x
1
) x
2
) x
k
).
es igual a G(p).
Notese que h
p
= e para todo h H, y por lo tanto H G(p).
Por otro lado sea x G(p) H. Entonces debemos tener x
p
= e.
Ahora bien, como x G se tiene que existen enteros
i
tales que
x = (g
1
1
, . . . , g
k
k
) .
Como x H, existen enteros s y t tales que
6.5. Grupos Abelianos Finitos 141
i
= p
n
i
1
s + t,
con 0 < t < p
n
i
1
, para alg un i, 1 i k.
Luego si x
p
= e, entonces se tiene (g
i
i
)
p
= e, y por lo tanto:
g
ps+pt
i
= e
O sea
g
pt
i
= e,
con 0 < pt < p
n
i
.
Esto contradice la hipotesis de que (g
i
) = p
n
i
.
Por lo tanto
G(p) = H = x
1
) x
k
).
Finalmente, daremos el teorema de las unicidad de los invariantes
para un grupo abeliano nito de orden una potencia de p.
1
C
2
C
s
donde C
i
es grupo cclico de orden p
n
i
y C
i
es un grupo cclico de orden
p
n
i
, con
n
1
n
2
n
k
> 0
h
1
h
2
h
s
> 0.
Entonces G
1
G
2
si y solo si tiene los mismos invariantes, esto es
k = s y n
i
= h
i
, para todo 1 i k.
142 Captulo 6. Estructura de los Grupos
Demostracion:
(=) Probaremos que si G
1
y G
2
tienen los mismos invariantes, en-
tonces ellos son isomorfos.
Sean
G
1
= C
1
C
k
G
2
= D
1
D
k
donde C
1
y D
1
son grupos cclicos de orden p
n
i
y n
1
n
2
n
k
> 0.
Entonces para todo 1 i k, existen elementos g
i
G
i
y h
i
D
i
,
tales que
G
i
= g
i
) yD
i
= h
i
)
Consideremos la aplicacion
: G
1
G
2
(g
1
1
, . . . , g
k
k
) (h
1
1
, . . . , k
k
k
)
Entonces es facil demostrar que es isomorsmo de G
1
en G
2
.
() Supongamos que G
1
y G
2
dados como en (??) son isomorfos. En-
tonces por la proposicion ?? se tiene
G
1
(p) = G
2
(p)
De acuerdo con la proposicion ?? se tiene que
[G
1
(p)[ = p
k
y [G
2
(p)[ = p
s
luego s = k y por lo tanto G
1
y G
2
tienen el mismo n umero de inva-
riantes.
Probaremos ahora que los invariantes son iguales, comenzando por
el primero. Si suponemos que n
1
> h
1
, entonces G
1
tiene elementos de
orden p
n
1
, pues el maximo orden de los elementos de G
2
es p
h
1
. Luego
6.5. Grupos Abelianos Finitos 143
G
1
y G
2
no pueden ser isomorfos y esto nos lleva a una contradiccion.
Luego n
1
= h
1
, lo cual implica que C
1
C
1
en (??) .
Si hacemos entonces
H = C
2
C
3
C
k
K = C
2
C
3
C
k
es facil vericar entonces que H es isomorfo a K. Luego podemos
aplicar induccion sobre el n umero de invariantes, se concluye entonces
que
n
2
= h
2
, . . . , n
k
= h
k
Con esto queda demostrado que n
i
= h
i
, 1 i k.
Ejercicios
1) Sea G = C
12
el grupo cclico de orden 12. Hallar los subgrupos G(2),
G(4) y G(3).
2) Hallar todos los posibles grupos abelianos de orden 200.
3) Demuestre que el n umero de grupos de orden p
, no isomorfos, con
p un n umero primo es igual al n umero de particiones de .
4) Hallar todos los posibles grupos abelianos de orden 32.
5) Probar que si un grupo nito abeliano G tiene subgrupos de ordenes
p y q, con p y q primos diferentes, entonces G tiene un subgrupo de
orden pq.
6) Probar que si un grupo nito abeliano tiene orden mn, entonces
tiene un subgrupo de orden el mnimo com un multiplo de m y n.
7) Sea G un grupo abeliano nito de orden pq con p y q n umeros primos.
Probar que todos los subgrupos de G son caractersticos.
144 Captulo 6. Estructura de los Grupos
8) Sea G un grupo abeliano nito de orden 5
5
con invariante: 3 > 2 > 0.
Cuantos elementos de orden 5
3
hay en G?
9) Calcule el n umero de subgrupos de un grupo de orden p
s
con invari-
antes s 1 > 1 > 0.