Академический Документы
Профессиональный Документы
Культура Документы
ii
ndice general
ndice general
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
4
5
15
19
20
21
22
22
25
26
29
30
30
Lagrange
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
31
31
34
34
36
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
39
43
46
50
52
56
de
. .
. .
. .
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
NDICE GENERAL
iv
4. Los teoremas de Sylow
4.1. La ecuacin de clase .
4.1.1. Ejercicios . . .
4.2. El Teorema de Cauchy
4.2.1. Ejercicios . . .
4.3. Los teoremas de Sylow
4.3.1. Ejercicios . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
57
61
62
63
63
67
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
69
69
76
77
81
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
83
. 83
. 87
. 89
. 94
. 96
. 108
. 111
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7. Grupos libres
113
7.1. Grupos libres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
7.2. Presentaciones de grupos: generadores y relaciones . . . . . . . . . . . . . . . . . 116
7.2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
Bibliografa
121
ndice alfabtico
122
CAPTULO
En este captulo se hace una breve incursin a las estructuras algebraicas. Una estructura
algebraica es un conjunto no vaco junto con una o ms operaciones binarias o leyes de composicin que satisfacen determinadas propiedades. Los grupos, anillos y campos son ejemplos
de estructuras algebraicas. Aqu se presentarn ejemplos de estas estructuras y se demostrarn
algunas propiedades elementales.
1.1.
Operaciones binarias
n
X
i=1
xi yi .
Ejemplo 1.1.3. La operacin suma es una operacin binaria interna en el conjunto de los
nmeros naturales pues la suma de cualesquiera dos nmeros naturales es nuevamente un nmero
natural. Tambin se dice que N es cerrado bajo la suma.
Ejemplo 1.1.4. La operacin resta o sustraccin no es una operacin binaria interna en el
conjunto de los nmeros naturales ya que esta operacin no siempre da como resultado un
nmero natural. De esta manera, la resta no es una funcin de N N a N. Tambin se dice N
no es cerrado bajo la operacin denominada resta.
Ejemplo 1.1.5. La asignacin (a, b) 7 ab es una funcin de NN N ya que la multiplicacin
de cualesquiera dos nmeros naturales da por resultado un nmero natural. As, la multiplicacin
es una operacin binaria interna en N. Tambin se dice que N es cerrado bajo la multiplicacin.
De las operaciones binarias nos interesan las propiedades que satisfacen.
Supongamos que ? es una operacin binaria en un conjunto A. Para cualesquiera a, b A,
se obtiene el mismo resultado al operar a ? b y b ? a?
Por otro lado, suponga que se desea evaluar a ? b ? c. Una operacin binaria solo permite
combinar los elementos de dos en dos. Las formas obvias para operar estos elementos son (a?b)?c
y a ? (b ? c). La pregunta natural es se tiene el mismo resultado? Es decir, se da la igualdad
(a ? b) ? c = a ? (b ? c)?
Ejemplo 1.1.6. Defina en N la operacin binaria a ? b = a. Se tiene que 3 ? 5 = 3 y 5 ? 3 = 5.
As 3 ? 5 6= 5 ? 3. Este ejemplo ilustra que las operaciones binarias no necesariamente deben ser
conmutativas.
Con Sage podemos definir operaciones binarias y realizar operaciones.
sage : def opb (a , b ): # Se define la operaci n binaria
....:
return a
....:
sage : opb (5 ,9) # Se calcula 5 * 9
5
sage : opb (9 , 5) # Se calcula 9 * 5
9
(a ? b) ? c = a ? b = a.
Ejemplo 1.1.7. Considere en N la operacin binaria a?b = max{a, b}+1. Observe que a?b = b?a
para cualesquiera valores de a y b, ya que max{a, b} = max{b, a}:
a ? b = m
ax{a, b} + 1 = max{b, a} + 1 = b ? a.
Por otro lado, se tiene
(3 ? 5) ? 8 = (m
ax{3, 5} + 1) ? 8 = 6 ? 8 = max{6, 8} + 1 = 9,
3 ? (5 ? 8) = 3 ? (m
ax{5, 8} + 1) = 3 ? 9 = max{3, 9} + 1 = 10.
Esto muestra que las operaciones binarias no necesariamente tienen que ser asociativas.
Podemos realizar los mismos clculos con la ayuda de Sage.
sage :
....:
....:
sage :
6
sage :
9
sage :
10
def opb (a , b ):
# Definimos la regla de la operaci n
return max (a , b )+1
opb (3 ,5) # Calculamos 3 * 5
opb ( opb (3 ,5) , 8) # Calculamos (3 * 5) * 8
opb (3 , opb (5 ,8)) # Calculamos 3 * (5 * 8)
ab
ba
=
= b ? a.
3
3
Despus de realizar algunos clculos con Sage, se sospecha que la operacin es asociativa:
sage : opb ( opb (3 , 6) , 8) , opb (3 , opb (6 ,8))
(16 , 16)
sage : opb ( opb (7/3 , 2/9) , 4/5) , opb (7/3 , opb (2/9 ,4/5 ))
(56/1215 , 56/1215)
sage : opb ( opb (8 , 6) , 15) , opb (8 , opb (6 ,15 ))
(80 , 80)
a bc
bc
abc
= 3 =
,
3
3
9
(a ? b) ? c =
ab
ab
abc
?c= 3 =
.
3
3
9
Observacin 1.1.10.
1) Si una operacin ? es asociativa, entonces podemos suprimir los parntesis: (a ? b) ? c =
a ? (b ? c) = a ? b ? c.
3(1/2)
= 1/2,
3
3?8=
38
= 8,
3
3 ? 27/2
3(27/2)
= 27/2.
3
3a
= a,
3
a?3=
a3
= a.
3
1.1.1.
Ejercicios
1) Determine cul o cules de las siguientes definiciones de ? a continuacin dan origen a operaciones binarias en el conjunto indicado. En caso de que ? no sea una operacin binaria
explique la razn.
a) En N, defina a ? b = ab .
b) En R, defina a ? b = a b.
c) En Q, defina a ? b = a/b.
d) En Q+ , defina a ? b = a/b.
e) En N, defina a ? b = mn{a, b} 1.
f) En N, defina a ? b = m
ax{a, b} + 1.
2) Sea X un conjunto y sea G el conjunto potencia de X. Determine cul de las siguientes
definiciones de define una operacin binaria en G:
a) A B = AB = (A B) (B A).
b) A B = A B.
c) A B = A B.
3) Para cada operacin binaria dada a continuacin determine cul es conmutativa y cul es
asociativa.
a) En Z, defina a ? b = a b.
b) En Q, defina a ? b = ab + 1.
c) En N, defina a ? b = 2ab .
d) En R, defina a ? b = a + b + ab.
e) En Q+ , defina a ? b = ab/5.
4) Sea G = {1, 2, 3}. Es la multiplicacin de enteros mdulo 4 una operacin binaria en G?
Justifique su respuesta.
1.2. Grupos
1.2.
Grupos
Definicin 1.2.1. Una estructura algebraica es un conjunto no vaco junto con una o ms
operaciones binarias las cuales satisfacen ciertos axiomas.
Los grupos, anillos, campos, espacios vectoriales y mdulos son algunos ejemplos de estructuras algebraicas. Un grupo es un conjunto no vaco junto con una operacin binaria interna
que cumple ciertas propiedades. Los anillos y campos son conjuntos no vacos junto con dos
operaciones binarias internas. Los espacios vectoriales y los mdulos son conjuntos no vacos
junto con dos operaciones binarias, una interna y otra externa.
Definicin 1.2.2. Sea G un conjunto no vaco junto con una operacin binaria ?. La pareja
(G, ?) es un grupo si se satisfacen las siguientes propiedades:
1) Asociativa: Para todo a, b, c G, (a ? b) ? c = a ? (b ? c).
2) Existencia del elemento identidad : Existe un elemento e G tal que para todo a G, se
tiene a ? e = e ? a = a.
3) Existencia de inversos: Para todo a G, existe un elemento b G tal que a ? b = b ? a = e
(El elemento b es un inverso de a respecto de ?).
Observacin 1.2.3. Si ? es una operacin binaria en un conjunto A y e es un elemento identidad
para la operacin binaria, se dice que un elemento a A tiene un inverso si existe un elemento
b A tal que a ? b = b ? a = e. Cuando un elemento tiene un inverso se dice que es invertible.
As, en un grupo todos los elementos son invertibles.
Ejemplo 1.2.4. Sea G = N el conjunto de los nmeros naturales y consideremos en G la suma
de nmeros naturales. Ciertamente la suma es una operacin binaria, pues a cada pareja (a, b)
de nmeros naturales le corresponde el nico nmero natural a + b. Resulta que esta operacin
es asociativa, pero no existe un elemento identidad para la suma. As que la pareja (N, +) no es
grupo.
Ejemplo 1.2.5. Sea G = N junto con la multiplicacin. La multiplicacin de nmeros enteros
satisface la propiedad asociativa. El 1 es el elemento identidad para el producto pues a 1 =
1 a = a para cualquier nmero natural a. Sin embargo, la pareja (N, ) no es un grupo, pues
en general no existe los inversos con respecto al producto. De hecho, el nico nmero natural
que tiene un inverso respecto del producto es el 1.
Ejemplo 1.2.6. El par (Z, +) formado por el conjunto de los nmeros enteros junto con la
suma de nmeros enteros es un grupo.
Ejemplo 1.2.7. (Z, ) no es un grupo, pues aunque es asociativa y el 1 es un elemento
identidad para el producto, la mayora de los elementos de Z no tiene un inverso respecto al
producto.
Ejemplo 1.2.8. El par (Q, +) es un grupo. Tambin el par (Q {0}, ) es un grupo. Observe
que (Q, ) no es grupo, pues aunque la operacin es asociativa y existe un elemento identidad
para el producto, existe un elemento de Q que no tiene un inverso respecto al producto, a saber,
el cero.
Ejemplo 1.2.9. Defnase ? en Q+ por a ? b = ab/3. Entonces
(a ? b) ? c =
abc
ab
?c=
,
3
9
a ? (b ? c) = a ?
bc
abc
=
.
3
9
3a
= a,
3
a?3=
a3
= a.
3
a a9
9
=
= 3,
a
3
9
?a=
a
9
a
a
= 3.
3
1.2. Grupos
Una vez definidas las matrices A, B, C, podemos realizar algunas operaciones con ellas.
sage : A + B # Se realiza la suma de A y B
[ 7 7]
[ 5 11]
sage : B + A # La suma de B y A
[ 7 7]
[ 5 11]
sage : A + C # La suma de A y C :
[ -1/2 10/3]
[
5
7]
sage : ( A + B ) + C # Se calcula ( A + B ) + C
[15/2 22/3]
[
6
10]
sage : A + ( B + C ) # Ahora A + ( B + C )
[15/2 22/3]
[
6
10]
Se observa que para este ejemplo particular, se cumple la ley asociativa. A la matriz cuyas
entradas son todas cero se le conoce como la matriz matriz cero y se denota por 0.
sage : Z = matrix (2); Z # La matriz 0
[0 0]
[0 0]
sage : A + Z
[ -1 3]
[ 4 8]
sage : B + Z
[8 4]
[1 3]
sage : C + Z
[1/2 1/3]
[ 1 -1]
Se deja al lector probar que el conjunto K mn junto con la suma de matrices es un grupo.
Definicin 1.2.12. Sea n un entero positivo. Se define la suma mdulo n de los enteros a y b
como el nmero r, donde r es el nico residuo no negativo menor que n que se obtiene al dividir
a + b entre n:
a + b r m
od n, donde a + b = nq + r y 0 r < n.
Al proceso de encontrar el resto no negativo que se obtiene al dividir por n se le conoce como
reduccin mdulo n. As por ejemplo, la reduccin mdulo 23 de 339 es 17, ya que 339 = 2314+17
y la reduccin mdulo 23 de 245 es 8 puesto que 245 = 23(11) + 8.
Ejemplo 1.2.13. Si n = 4, la suma mdulo 4 de 11 y 23 es 2, ya que 11 + 23 = 4(8) + 2 y
escribimos 11 + 23 2 m
od 4. Por otro lado, 8 + 5 1 mod 4 ya que 8 + 5 = 3 = 4(1) + 1.
En Sage, se tienen las instrucciones a % n y a.mod(n) para efectuar la reduccin del entero
a mdulo n. Si Si a = nq + r con 0 r < n, entonces q = (a r)/n.
sage : a = 11; b = 23; n = 4
sage : r = ( a + b ) % n ; r # La suma m dulo 4 de 11 y 23
2
sage : q = (( a + b ) - r ) / n ; q
8
sage : r = ( a + b ). mod ( n ); q = (( a + b ) - r )/ n ; q , r
(8 , 2)
sage : a = -8; b = 5; r = ( a + b) %n ; q = (( a + b ) - r )/ n ; q , r
( -1 , 1)
sage : a = -8; b = 5; r = ( a + b ). mod ( n ); q = (( a + b ) - r )/ n ; q , r
( -1 , 1)
sage : ( -14 - 38). mod (4) # La suma de -14 y -38 m dulo 4 es 0
0
m dulo 4
# En forma m s compacta
( (13+9). mod (4) + 15). mod (4)
(13 + (9+15). mod (4)). mod (4)
Z3 = {0, 1, 2},
Z4 = {0, 1, 2, , 3}.
Teorema 1.2.14. El conjunto de los enteros mdulo n, Zn = {0, 1, . . . , n 1}, junto con la
suma mdulo n es un grupo abeliano.
1.2. Grupos
r3
a + r1 = r3 + c
Para esto se escribe,
b + c = nq1 + r1 ,
0 r1 < n,
a + r1 = nq2 + r2 ,
0 r2 < n,
a + b = nq3 + r3 ,
0 r3 < n,
r3 + c = nq4 + r4 ,
0 r4 < n.
10
Ejemplo 1.2.16. Sea n 0 un entero. Recuerde que el entero a es congruente con el entero b
mdulo n si n | a b. En smbolos se escribe
a b mod n
n | a b.
Con frecuencia, en vez de decir a es congruente con b mdulo n se dice a es igual a b mdulo
n. Por ejemplo, si n = 4, se tienen las siguientes congruencias
7 3 m
od 4,
21 1 mod 4
9 1 mod 4.
21 3 mod 8
10 14 mod 8.
1
1
5
7
11
13
17
1 5 7 11 13
1 5 7 11 13
5 7 17 1 11
7 17 13 5 1
11 1 5 13 17
13 11 1 17 7
17 13 11 7 5
17
17
13
11
7
5
1
1.2. Grupos
11
1
2
2
3
3
1
1
2
2
1
3
3
=
1
3
2
2
3
1
= 3 .
0
0
1
2
1
2
3
1
1
2
0
3
1
2
2
2
0
1
2
3
1
1
1
2
3
0
1
2
2
2
3
1
2
0
1
3
3
1
2
1
2
0
Ejemplo 1.2.23 (Grupos de simetras). Consideremos ahora grupos cuyos elementos son simetras de polgonos regulares de n-lados. Sin ser precisos, por simetra se entiende una transformacin biyectiva del plano en el plano que mueve el polgono de tal manera que la imagen del
polgono coincide exactamente con la figura original. Cuntas simetras diferentes tiene un polgono regular de n lados? Hay n simetras, una por cada rotacin, y n simetras que corresponden
a reflexiones sobre los diferentes ejes de simetra.
12
Analicemos las simetras de un cuadrado. Sea G el conjunto formado por las matrices (transformaciones lineales)
1 0
0 1
1
0
0 1
R0 =
,
R1 =
, R2 =
, R3 =
,
0 1
1 0
0 1
1
0
1 0
1
0
0 1
0 1
M1 =
, M2 =
, D1 =
,
D2 =
.
0 1
0 1
1 0
1
0
Una verificacin exhaustiva (con la ayuda de algn software), se muestra que G es cerrado
con respecto al producto y el inverso de cada elemento de G es un elemento de G. Luego
G es un grupo. Considere el cuadrado determinado por los puntos v1 = (1, 1), v2 = (1, 1),
v3 = (1, 1) y v4 = (1, 1). Cada elemento de G es una simetra de este cuadrado. Este grupo
es el grupo de la simetras del cuadrado. Sea 1 la matriz identidad de 2 2; sea R la rotacin
de 90 grados en la direccin de las manecillas del reloj, es decir, R = R1 ; sea S la reflexin
sobre la diagonal que une los vrtices 1 y 3, i.e., S = D2 . Observe que RS = SR1 . Note que
G = {1, R, R2 , R3 , S, SR, SR2 , SR3 }.
Otra forma de describir el grupo de las simetras del cuadrado es mediante permutaciones,
identificando cada simetra s con la correspondiente permutacin de {1, 2, 3, 4}. Si la simetra
s pone el vrtice i en la posicin que corresponda al vrtice j, entonces es la permutacin que
manda i a j.
Rotacin 90
1
1 2 3 4
r=
2 3 4 1
4
1
1
2
4
3
3
4
,
2
D2n = r, s | rn = s2 = 1, rs = sr1
La tabla de multiplicar para D8 se muestra a continuacin
1
r
r2
r3
s
sr
sr2
sr3
1
r r2
r3
s sr sr2 sr3
1
r r2
r3
s sr sr2 sr3
r r2
r3
1 sr3
s sr sr2
r2
r3
1
r sr2 sr3
s sr
r3
1
r r2 sr sr2 sr3
s
s sr sr2 sr3
1
r r2
r3
sr sr2 sr3
s r3
1
r r2
2
3
2
3
sr sr
s sr r
r
1
r
sr3
s sr sr2
r r2
r3
1
1.2. Grupos
13
Ejemplo 1.2.24.
Considere el siguiente
grupo presentado en trminos de generadores y relaciones G = x, y | x2 = y 2 = (xy)2 = 1 . Determine si este grupo es finito o infinito.
Observe que la relacin x2 = 1 y y 2 = 1 significa que x = x1 y y = y 1 . De la relacin
(xy)2 = 1 se deduce que xy = yx:
(xy)2 = xyxy = 1 xy = y 1 x1 = yx.
Cualquier elemento del grupo es de la forma xm y n , con 0 m, n 1. As los elementos de G
son {1, x, y, xy}.
Ejemplo 1.2.25. Considere los siguientes grupos.
G = x, y | x3 = y 3 = (xy)3 = 1
H = x, y | y 2 x = y, yx2 y = x
K = x, y | x4 = y 3 = 1, xy = y 4 x2
Pruebe que G es infinito y que H y K son grupos triviales.
Teorema 1.2.26. Sea (G, ?) un grupo.
1) En un grupo se cumplen las leyes de cancelacin izquierda y derecha, es decir,
a ? b = a ? c = b = c.
a ? b = c ? b = a = c.
propiedad asociativa a0
e?b=e?c
definicin de a0
b=c
definicin de e.
propiedad asociativa
=e?b
definicin de a0
=b
definicin de e.
14
a
an =
an1 a
1 n
a
si
si
si
si
n = 0,
n = 1,
n > 1,
n < 0.
n
1.2. Grupos
15
e
e
e
a
e
e
e
a
a
e
e
e
a
b
e
a
b
a b
a b
b e
e a
Ejercicio 1.2.36 (El 4-grupo de Klein y Z4 ). Sea G = {e, a, b, c}. Defina en G todas las posibles
operaciones binarias de tal manera que G sea un grupo.
e
a
b
b
e
e
a
b
c
a b c
a b c
b c e
c e a
e a b
e
a
b
b
e
e
a
b
c
a b c
a b c
e c b
c e a
b a e
e
a
b
b
e
e
a
b
c
a b
a b
c e
e c
b a
c
c
b
b
e
e
a
b
b
e
e
a
b
c
a b
a b
e c
c a
b e
c
c
b
e
a
Observe que las tablas 2, 3 y 4 son esencialmente las mismas. En efecto, considere la funcin
e a b c
= 0
,
e a0 b0 c0
donde e0 = e, a0 = a, b0 = c y c0 = b. Escribiendo la tabla 2 en trminos de las primas,
e0
a0
b0
c0
e0
e0
a0
b0
c0
a0
a0
b0
c0
e0
b0
b0
c0
e0
a0
c0
c0
e0
a0
b0
Observe que la funcin adems de ser biyectiva satisface (xy) = (x)(y) para todo x, y G.
1.2.1.
Ejercicios
16
3. Sea G un grupo y a G. Pruebe que |a| = a1 . Pruebe que si |a| < , entonces |a| =
gag 1 para todo g G.
4. Sea G un grupo y suponga que a G es el nico elemento de G que tiene orden dos. Pruebe
que ax = xa para todo x G.
5. Cul es el orden del elemento (2, 2, 2) en el grupo Z3 Z4 Z4 ?
6. Sean G un grupo, a, b G tales que ab = ba. Si |a| = 3 y |b| = 4, determine el orden de ab.
7. Sea a G un elemento de orden finito e igual a n. Pruebe que si am = 1, entonces n | m.
8. Pruebe que todo grupo de orden 5 debe ser abeliano.
9. Sea G un grupo abeliano y sean a, b G elementos de orden finito. Si el orden de a y el orden
de b son primos relativos, pruebe que |ab| = |a| |b|.
10. Sea G un grupo y a, b G. Pruebe que |ab| = |ba|.
11. Sea (G, ) un grupo y X un conjunto no vaco. Sea GX el conjunto de todas las funciones de
X en G. Dados f, g GX , sea f g : X G dada por (f g)(x) = f (x)g(x). Pruebe que GX es
una grupo con respecto a esta operacin.
3
12. Sea G un grupo en el cual (ab) = a3 b3 y (ab) = a5 b5 para toda a, b G. Pruebe que G es
abeliano.
13. Sea G = {e, f, g, h}, donde e, f, g, h son las funciones de Q {0} en Q {0} definidas por
f (x) = x
e(x) = x
h(x) = 1/x.
g(x) = 1/x
Defina en G la operacin binaria dada por a?b = ab, donde es la composicin de funciones.
Escriba la tabla de multiplicacin de . Concluya que es una operacin binaria en G y que
(G, ) es un grupo. Es abeliano este grupo?
14. Si a, b R con a 6= 0, defina la funcin Ta,b : R R dada por Ta,b (x) = ax + b. Pruebe que
el conjunto G = {Ta,b | a, b R, a 6= 0} es un grupo con la composicin de funciones.
15. Sea G el grupo cuyos elementos son {e, x1 , x2 , x3 , x4 , x5 , x6 , x7 }, donde e es el elemento identidad y su tabla de multiplicar es
e
x1
x2
x3
x4
x5
x6
x7
e
e
x1
x2
x3
x4
x5
x6
x7
x1
x1
e
x6
x7
x5
x4
x2
x3
x2
x2
x3
e
x1
x6
x7
x4
x5
x3
x3
x2
x4
x5
x7
x6
e
x1
x4
x4
x5
x3
x2
e
x1
x7
x6
x5
x5
x4
x7
x6
x1
e
x3
x2
x6
x6
x7
x1
e
x2
x3
x5
x4
x7
x7
x6
x5
x4
x3
x2
x1
e
1.2. Grupos
17
cos
2k
2k
+
i
sen
C
|
n
N
,
k
Z
0
3n
3n
18
29. Sea
K el campo
i.e., K = Z3 . Sean i, j M at22 (K) las matrices
finito con 3 elementos,
0 1
1
1
i=
,j=
y sea k = ij. Sea G el conjunto {1, 1, i, i, j, j, k, k},
1
0
1 1
donde 1 representa a la matriz identidad de 2 2. Considere la multiplicacin usual de
matrices.
a) Escriba la tabla de multiplicacin y concluya que la multiplicacin es cerrada en G.
b) Observe la tabla y verifique que cada g G tiene un inverso multiplicativo. Para cada
g G, escriba g 1 .
c) Verifique que G junto con la multiplicacin usual de matrices es un grupo no abeliano.
(Se sugiere usar Sage para realizar las operaciones rutinarias).
30. Considere la siguientes matrices con entradas complejas:
1=
1
0
0
1
,
I=
i
0
0
i
,
J=
0
1
1
0
,
K = IJ.
Verifique que
I 2 = J 2 = K 2 = IJK = 1,
IJ = JI,
JK = KJ = I,
KI = IK = J.
a b
32. Pruebe que el conjunto GL2 (Q) =
M at22 (Q) | ad bc 6= 0 junto con la
c d
multiplicacin usual de matrices es un grupo no abeliano.
a b
M at22 (Q) | ad bc = 1 junto con la
c d
multiplicacin usual de matrices es un grupo no abeliano.
34. (Producto directo externo). Sean G1 , G2 grupos. Pruebe que G1 G2 es un grupo con respecto
a la operacin binaria (a1 , a2 )(b1 , b2 ) = (a1 b1 , a2 b2 ). Pruebe que G1 G2 es abeliano si y
solamente si G1 y G2 lo son.
35. Pruebe que cada uno de los siguientes conjuntos de matrices es un grupo con respecto a la
multiplicacin.
GL(n, K) = {A K nn | det(A) 6= 0},
K un campo.
nn
| det(A) = 1}
U (n, R) = {A R
nn
| A es unitaria real}
U (n, C) = {A R
nn
| A es unitaria compleja}
SL(n, K) = {A K
36. Pruebe que el conjunto de las matrices invertibles, triangulares superiores con entradas en
un campo es un grupo con respecto a la multiplicacin usual de matrices.
1.3.
19
Homomorfismos e isomorfismos
En esta seccin se estudia el concepto de isomorfismo de grupos. Decir que dos grupos
son isomorfos es de que estructuralmente son iguales, salvo posiblemente por el nombre de los
elementos y las operaciones.
Definicin 1.3.1. Una funcin : G H del grupo G en el grupo H es un homomorfismo de
grupos si
(ab) = (a)(b)
para cualesquiera a, b G. Un isomorfismo entre G y H es un homomorfismo biyectivo. Se dice
que G y H son isomorfos si existe un isomorfismo entre ellos y se escribe G
= H.
Ejemplo 1.3.2. Sea G = Z4 el grupo de los enteros mdulo 4 y H = {e, a, b, c} el grupo cuyo
operacin binaria esta dada por la tabla de la derecha.
0
1
2
3
0
0
1
2
3
1
1
2
3
0
2
2
3
0
1
3
3
0
1
2
e
a
b
b
e a
e a
a b
b c
c e
2
b
3
c
b c
b c
c e
e a
a b
0 1
e a
e = (0)
a = (1)
b = (2)
c = (3)
e
(0)
(0)
(1)
(2)
(3)
a
(1)
(1)
(2)
(3)
(0)
b
(2)
(2)
(3)
(0)
(1)
c
(3)
(3)
(0)
(1)
(2)
20
1.3.1.
Ejercicios
21
1.4.
Acciones de grupos
g a = (g)(a).
Se tiene pues una correspondencia biyectiva entre las acciones de un grupo G en un conjunto
A con el conjunto de homomorfismos de G en el grupo simtrico SA .
Ejemplos 1.4.3. 1) Cualquier grupo G actu de manera trivial en cualquier conjunto no vaco
A va g a = a para todo a A.
2) El grupo simtrico SA acta en el conjunto A de manera natural a = (a).
3) Un grupo G puede actuar sobre s mismo en diferentes maneras. Sea G un grupo y sea A = G.
Se tiene la accin de multiplicar por la izquierda
G G G,
g a = ga.
g a = gag 1 .
g A = gAq 1 ,
22
s1
d1
P1
m1
s2
C
P4
P2
m2
s3
d2
P3
s3
Ejemplo 1.4.4. Considere un cuadrado y enumere los vrtices en el orden de las manecillas del
reloj. Sean si el lado que une el vrtice i con el i + 1. Sea Pi el punto medio del lado si . Sean
d1 la diagonal que une los vrtices 1 y 3 y d2 la diagonal que une los vrtices 2 y 4. Sea mi el
segmento que une los puntos medios Pi y Pi+2 . Vea la Figura 1.1. Sea A el siguiente conjunto.
A = {1, 2, 3, 4, s1 , s2 , s3 , s4 , m1 , m2 , d1 , d2 , C, P1 , P2 , P3 , P4 }.
Entonces el grupo didrico D8 acta de manera natural en A.
1
r
r2
r3
s
sr
sr2
sr3
1.4.1.
1
1
2
3
4
1
4
3
2
2
2
3
4
1
4
3
2
1
3
3
4
1
2
3
2
1
4
4
4
1
2
3
2
1
4
3
s1
s1
s2
s3
s4
s4
s3
s2
s
s2
s2
s3
s4
s1
s3
s2
s1
s
s3
s3
s4
s1
s2
s2
s1
s4
s
s4
s4
s1
s2
s3
s1
s4
s3
s
m1
m1
m2
m1
m2
m2
m1
m2
m
m2
m2
m1
m2
m1
m1
m2
m1
m
d1
d1
d2
d1
d2
d1
d2
d1
d
d2
d2
d1
d2
d1
d2
d1
d2
d
C
C
C
C
C
C
C
C
C
P1
P1
P2
P3
P4
P4
P4
P2
P
P2
P2
P3
P4
P1
P3
P2
P1
P
P3
P3
P4
P1
P2
P2
P1
P4
P
P4
P4
P1
P2
P3
P1
P4
P3
P
Ejercicios
1.5.
|.
Subgrupos
1.5. Subgrupos
23
24
Observaciones 1.5.6. 1) Hay alguna relacin entre estos tres conjuntos? S. Se tiene
Z(G) CG (A) NG (A).
Sea g Z(G) y a A. Como g Z(G), gag 1 = a y g CG (A). Si g CG (A), entonces
gAg 1 = {gag 1 | a A} = {a | a A} = A y por tanto g NG (A).
2) Observe que el centro de G consta de aquellos elementos que conmutan con todos los elementos de G. En particular, el centro de G es un grupo abeliano.
3) El centralizador de A, no necesariamente es abeliano. Por ejemplo, considere el grupo simtrico G = S3 y g = 1. Entonces CG ({1}) = S3 que no es abeliano.
4) El normalizador de A no necesariamente es abeliano, ya que si lo fuera, cualquier subgrupo
de l lo sera; en particular se tendra que CG (A) siempre sera abeliano.
Ejemplos 1.5.7. 1) Sea G un grupo abeliano. Entonces CG (A) = G, Z(G) = G y NA (G) = G.
2) Sea G el grupo didrico D8 . El centralizador de A = {1, r, r2 , r3 } es A.
3) El normalizador de A = {1, r, r2 , r3 } en D8 es D8 .
4) El centro de D8 es {1, r2 }.
5) Sea G el grupo simtrico en 3 elementos, i.e., G = S3 . Entonces
CS3 (A) = NS3 (A) = A
donde A = {(1), (2, 3)}. El centralizador y el normalizador de A = {1} es S3 .
Teorema 1.5.8. Suponga que el grupo G acta en un conjunto A. Entonces el estabilizador de
aA
Ga = {g G | g a = a}
es un subgrupo de G. El ncleo de la accin
{g G | g a = a para toda a A}
es un subgrupo de G.
Observacin 1.5.9. Sean A un G-conjunto y : G SA el homomorfismo inducido. Es un
ejercicio sencillo verificar que
1) ker = aA Ga .
2) el ncleo de y el ncleo de la accin son iguales.
Ejemplo 1.5.10. 1) Sea G un grupo y sea X = 2G . Haga actuar G en X por medio de la
conjugacin. Entonces
GA = {g G | gAg 1 = A} = NG (A).
2) Sean G un grupo y A un subconjunto de G. A se convierte en un G-conjunto haciendo actuar
NG (A) en A por conjugacin. El ncleo de esta accin es precisamente
{g NG (A) | gag 1 para todo a A} = CG (A).
3) Haga actuar a G sobre si mismo por conjugacin. Entonces el ncleo de esta accin es Z(G).
1.5. Subgrupos
1.5.1.
25
Ejercicios
H.
HG, AH
26
1.6.
Los grupos cclicos son aguellos grupos que pueden ser generados por un solo elemento.
Bsicamente solo hay dos tipos de grupos cclicos: Z y Zn .
Teorema 1.6.1. Sea G un grupo y sea a G. Entonces
hai = {an | n Z}
es un subgrupo de G. Ms an, es el menor subgrupo de G que contiene a a.
Demostracin. 1 = a0 hai; Si x, y hai, entonces x = ar , y = as y xy 1 = ar as = ars
hai. Por tanto hai G. Sea H cualquier subgrupo de G que contenga a a; entonces H contiene
a a1 y por lo tanto contiene a an para todo n Z, i.e., hai H.
Definicin 1.6.2. El subgrupo cclico de G generado por a es el grupo hai. Un grupo G es
cclico si G = hai para algn a G.
Ejemplos 1.6.3. 1) El grupo didrico D8 no es cclico. El subgrupo de G formado por todas
las rotaciones es un grupo cclico, i.e., H = {1, r, r2 , r3 } = hri.
2) El grupo de los enteros es un grupo cclico, Z = h1i = h1i.
3) El subgrupo de 3Z de Z es un subgrupo cclico infinito, de hecho 3Z = h3i.
4) Z8 , el grupo de los enteros mdulo 6, es un grupo cclico. Se tiene Z8 = h1i = h3i = h5i = h7i.
5) En general, el grupo aditivo de los enteros mdulo n, Z/nZ es un grupo cclico.
6) El grupo (Q, +) no es cclico.
Suponga a/b Q es un generador.
Teorema 1.6.4. Todo grupo cclico es abeliano.
Demostracin.
Teorema 1.6.5. Sea G un grupo cclico con generador a. Si G es infinito, entonces todas las
potencias de a son distintas. Si G es finito, entonces G = {1, a, . . . , an1 }, donde n es el orden
a.
27
Demostracin. Suponga que G es infinito pero que existen enteros r > s con r 6= s tales que
ar = as . Entonces ars = 1 y r s > 0. Sea n el menor entero positivo tal que an = 1. Si
am G, escriba m = nq + r con 0 r < n. Entonces
am = anq+r = (an )q ar = ar .
Por la minimalidad de n se sigue que r = 0 y am {1, a, . . . , an1 }. Esto contradice que G sea
infinito.
Proposicin 1.6.6. Sean G un grupo, g G y m, n Z tales que g m = 1 = g n . Entonces
g d = 1, donde d = mcd(m, n). En particular, si m Z es tal que g m = 1, entonces el orden de
g divide a m.
Demostracin. Sean r, s tales que d = mr + ns. Entonces
s
g d = g mr+ns = (g m ) (g n ) = 1r 1s = 1.
Si g m = 1, divida m entre n = |g|, es decir, m = nq + r, donde 0 r < n. Luego 1 = g m =
q
(g n ) g r = g r y como 0 r < n, entonces r = 0, es decir n | m.
Corolario 1.6.7. Sea G un grupo cclico. Si G es infinito, entonces G
= Z. Si G es finito de
orden n, entonces G
= Z/nZ.
Demostracin. Suponga que G = hai es infinito. La funcin
: Z G,
(n) = an
es un isomorfismo.
Suponga ahora que G es finito. Considere la funcin
: Z/nZ G,
(m + nZ) = am .
La funcin est bien definida. Suponga que r +nZ = s+nZ. Luego r s nZ, es decir r s = nk
k
para algn entero k. Luego ars = ank = (an ) = 1k = 1. Por lo tanto (r + nZ) = (s + nZ).
La funcin es inyectiva. En efecto, si (r + nZ) = (s + nZ), (con r > s) entonces ar = as , y
por tanto ars = 1, donde r s > 0. Luego n | r s, es decir, r + nZ = s + nZ. Es claro que es
sobre, pues si g G, entonces g = am para algn m Z, as que (m + nZ) = am . Finalmente,
((r + nZ) + (s + nZ)) = ((r + s) + nZ) = ar+s = ar as = (r + nZ)(s + nZ).
Como es un homomorfismo biyectivo, queda establecido que es un isomorfismo y Z/nZ
=
G.
Teorema 1.6.8. Todo subgrupo de un grupo cclico es cclico.
Teorema 1.6.9. Sean G un grupo, a G y m Z con m 6= 0.
1) Si |a| = , entonces |am | = .
2) Si |a| = n < , entonces |am | =
n
mcd(n,m) .
n
m.
Demostracin. 1) Si am es de orden finito, entonces existe un entero positivo s tal que (am )s = 1.
Como tambin se cumple, ams = (ams )1 = 11 = 1, vemos que existe un entero positivo
r tal que ar = 1. Luego a es orden finito.
28
Ejemplo 1.6.10. Sea G = hai un grupo cclico de orden 20. Entonces el elemento a3 tiene
orden 20 y el elemento a5 tiene orden 4.
Ejemplo 1.6.11. Consideremos Z12 con generador a = 1. El orden de 4a es por lo tanto
12/ mcd(12, 4) = 12/4 = 3. Luego el grupo cclico generado por 4 tiene 3 elementos. De hecho,
h4i = {4, 8, 0}.
El subgrupo de Z12 generado por 7 tiene 12/(12, 7) = 12 elementos, es decir h7i = Z12 .
Corolario 1.6.12. Si a es un generador de un grupo cclico finito G de orden n, entonces los
otros generadores de G son los elementos de la forma am , donde m y n son primos relativos.
El nmero de generadores de G es (n), donde es la funcin de Euler.
Teorema 1.6.13. Sean G un grupo cclico y a un generador de G.
1) Si G es infinito, entonces, y r 6= s
Zson enteros no negativos, entonces har i =
6 has i. Ms
|m|
m
. Por lo tanto se tiene una correspondencia biyectiva
an, para cada entero m, ha i = a
entre los subgrupos no triviales de Z y el conjunto de los nmeros naturales.
2) Si G es de orden n < , entonces por cada entero positivo d que divide a n
hay exactamente
un subgrupo de G de orden d; de hecho este subgrupo es el grupo cclico an/d . Ms an,
por cada entero m, ham i = a(m,n) , as que los subgrupos de G estn en correspondencia
biyectiva con los divisores positivos de n.
Demostracin. 1) Suponga que r 6= s con r, s 0 y que har i = has i. Si r = 0, entonces s 1
y por has i tiene al menos dos elementos, en tanto que h1i solo tiene uno. Luego har i =
6 has i.
r
s
s
r
Supongamos ahora que ambos r y s son positivos. Entonces a ha i y a ha i, es decir,
existen enteros q y k tales que ar = asq y as = ark . Como G es infinito, se sigue que r = sq
y s = rk, de donde r = rkq y 1 = kq, es k = 1 = q. Pero como s y r son no negativos,
k es positivo, es decir k = 1 y se obtiene la contradiccin r = s. Si y ham i, entonces
y = (am )s .
2) Si d | n, entonces an/d es un subgrupo de orden d. Sea H otro subgrupo de G de orden d.
Dado que todo subgrupo de un grupo cclico es cclico, H = ham i. Como d | n, n = dq para
algn entero q. Luego Se tiene
n
n
= d = |ham i| =
q
mcd(m, n)
De aqu q = mcd(m, n), as que q | m, digamos m = qs. Luego am = aqs haq i, y ham i haq i.
Como ambos subgrupos tienen d elementos se sigue que son iguales.
Con respecto a la ltima afirmacin observe que,
sea d = mcd(m, n), luego m = dq para
algn entero q. Luego am = (ad )q y ham i a(m,n) . Pero ambos grupos tiene el mismo
orden as que son iguales.
Corolario 1.6.14. Los subgrupos de Z son precisamente los subgrupos de la forma nZ, donde
n 0.
Demostracin. Para n Z, hni = nZ es un subgrupo de G. Recprocamente, si H es un subgrupo
de Z, entonces H es cclico y H = hni = nZ para algn n N .
Ejemplo 1.6.15. Liste todos los subgrupos de Z/12Z.
1.6.1.
29
Ejercicios
(d) = n,
d|n
4) Sea G un grupo cclico de orden n. Sean d1 y d2 divisores de n. Pruebe que ad1 ad2 si
y solamente si d2 | d1 .
5) Sea G un grupo cuyos nicos subgrupos son {1} y G. Pruebe que G es finito.
6) Pruebe que los siguientes grupos no son cclicos:
a) Z2 Z2 .
b) Z2 Z.
c) Z Z.
7) Pruebe que los grupos (Z, +) y (Q, +) no son isomorfos.
8) Sea G = hai un grupo cclico infinito. Determine todos los generadores del grupo a12 .
9) Sea G un grupo. Suponga que |a| = m y |b| = n; suponga tambin a y b conmutan. Pruebe
que |ab| divide al mnimo comn mltiplo de m y n.
10) Sea G un grupo y a G un elemento orden mn, donde m y n son enteros positivos primos
relativos. Pruebe que existen elementos x, y G tales |x| = m y |y| = n y a = xy.
11) Sea G un grupo de orden mn donde m, n > 1. Pruebe que G contiene al menos un subgrupo
propio no trivial.
12) Sea G un grupo y a G un elemento de orden 15.
a) Determine los rdenes de a9 , a12 y a8 .
b) Cules son los posibles rdenes de los elementos en hai?
13) Sea G = hai un grupo cclico de orden n. Para cada entero m, sea m : G G dada por
m (x) = xm .
a) Pruebe que a es un isomorfismo si y solamente si m y n son primos relativos.
b) r = s si y solamente si r s mod n.
c) Si : G G es un isomorfismo, entonces = m para algn entero m.
30
1.7.
Ejemplo 1.7.5. El grupo Z2 Z est generado por X = {(1, 0), (0, 1)}.
Ejemplo 1.7.6. El grupo Z Z tambin es finitamente generado; un conjunto generador es
{(1, 0), (0, 1)}.
1.7.1.
Ejercicios
1) Suponga que G es un grupo cclico infinito generado por a. Pruebe si am es otro generador
de G, entonces m = 1.
CAPTULO
2.1.
Clases laterales
aG
32
H1 = {1, s}
rH = {r, sr },
2
Hr = {r, sr}
r H = {r , sr},
Observe que sH = H, srH = r2 H, sr2 H = rH. Tambin se tiene que H = Hs, Hsr = Hr,
Hsr2 = Hr2 . Note que la clase lateral izquierda rH no es una clase lateral derecha. De esta
manera se tiene,
G/ l = {aH | a D6 } = {H, rH, r2 H}
G/ r = {Ha | a D6 } = {H, Hr, Hr2 }.
Observe que si trataramos de convertir G/ l en un grupo con la multiplicacin de clases, esto
no sera posible pues la operacin ni siquiera esta bien definida. Es decir, el producto de dos
clases laterales izquierdas no necesariamente es una clase lateral izquierda. Por ejemplo,
rH r2 H = {r, sr2 } {r2 , sr2 } = {1, s, sr, r2 }
que no es una clase lateral.
Por otro lado, se tiene
1N = {1, r, r2 },
N 1 = {1, r, r2 }
Observe que el producto de dos clases laterales izquierdas es de nuevo una clase lateral izquierda.
De hecho,
N
sN
N
N
sN
sN
sN
N
Ejemplo 2.1.4. Sea N el subgrupo de Z6 generado por 3, i.e., N = h3i = {0, 3}. Las clases
laterales izquierdas de N en G son
N = {0, 3}
1 + N = {1, 4}
2 + N = {2, 5}
La tabla de multiplicacin de Z6 en el orden 0, 3, 1, 4, 2, 5 es (FALTA PONER LA TABLA!!!!!!!!!!!!!!!!!!!)
La suma Z6 induce una suma de clases laterales que resulta ser una operacin binaria. De
hecho,
N
1+N
2+N
N
N
1+N
2+N
1+N
1+N
2+N
N
2+N
2+N
N
1+N
33
Si uno desea que el producto de clases sea una operacin binaria en {aH | a G}, entonces
necesariamente debera suceder que aH bH = (ab)H. En efecto, el producto aH bH contiene
al elemento ab = (a 1)(b 1). Por otro lado, la nica clase lateral izquierda que contiene a ab es
(ab)H, as que se tendra aHbH = (ab)H.
Ejercicio 2.1.5. 1) Sea N G. Pruebe que la multiplicacn de clases laterales izquierdas de
N en G dada por
aN bN = (ab)N
est bien definida si y solamente si gng 1 N para todo g G y toda n N .
2) Pruebe que si la multiplicacin de clases laterales izquierdas de N en G est bien definida,
entonces cada clase lateral izquierda es una clase lateral derecha y viceversa.
3) Pruebe si la multiplicacin de clases laterales izquierdas est bien definida, entonces G/N , el
conjunto de todas las clases laterales izquierdas de N en G forma un grupo.
Teorema 2.1.6. Sea H un subgrupo de G. El conjunto de las clases laterales izquierdas y
el conjunto de las clases laterales derechas tienen la misma cardinalidad. Es decir |G/ l | =
|G/ r |.
Demostracin. La asignacin aH 7 Ha1 es una biyeccion.
Definicin 2.1.7. El ndice de H en G, denotado por (G : H) es la cardinalidad del conjunto
de todas las clases laterales izquierdas.
Teorema 2.1.8 (Lagrange). Si G es un grupo finito y H G, entonces |H| | |G|.
Corolario 2.1.9. Sean G un grupo finito, H un subgrupo de G y a G. Entonces
1) (G : H) = |G| / |H|.
2) |a| | |G|.
3) a|G| = 1.
Teorema 2.1.10. Todo grupo de orden primo es cclico.
Teorema 2.1.11. Sean H, K subgrupos de un grup finito G tales que H K G. Entonces
(G : H) = (G : K)(K : H).
Teorema 2.1.12 (Euler). Sea n un entero positivo y sea a Z un entero primo relativo con n.
Entonces
a(n) = 1 mod n.
Demostracin. Considere el grupo G = {a + nZ | (a, n) = 1} con la multiplicacin de clases.
Entonces |G| = (n).
Teorema 2.1.13 (Fermat). Si p es un nmero primo y a es un entero, entonces ap a mod p.
34
2.1.1.
Ejercicios
1) Encuentre el nmero de clases laterales izquierdas de cada uno de los siguientes subgrupos:
a) el subgrupo h16i de Z/36Z.
b) El subgrupo h1i h1i h2i de Z3 Z2 Z4 .
2) Determine el nmero de subgrupos de orden 19 (salvo isomorfismo).
3) Pruebe que si H es un subgrupo de un grupo G cuyo ndice es dos, entonces toda clase lateral
izquierda es tambin una clase lateral derecha.
4) Sean G un grupo y H, K subgrupos de G. Pruebe que a(H K) = aH aK.
5) Escriba todas las clases laterales izquierdas del subgrupo cclico h(1, 2)i de Z2 Z4 . Determine
si la operacin inducida est bien definida y si las clases laterales izquierdas forman grupo.
6) Sea G un grupo abeliano finito de orden 2n, donde n es un nmero impar. Pruebe que G
tiene a lo ms un elemento de orden dos.
Q
7) Sea G un grupo abeliano finito y sea x = aG a. Pruebe que x2 = 1. Si G es de orden
impar, qu puede decir de x?
8) Pruebe el Teorema de Wilson: Si p es un primo impar, entonces (p 1)! 1 mod p. Es
vlido el teorema para p = 2?
2
9) Muestre que en el grupo Z
29 la ecuacin x = 1 si tiene solucin.
2.2.
Productos de subgrupos
CA CB.
35
1
1
r2
s
sr2
r2
r2
1
sr2
s
sr2
sr2
s
sr2
1
s
s
sr2
1
r2
|H| |K|
.
|H K|
Observe que
h1 k1 = h2 k2
(h1 , k1 ) (h2 , k2 )
36
lo que muestra que la funcin est bien definida y adems es inyectiva. Claramente la funcin
es suprayectiva.
Veamos que cada clase de equivalencia tiene exactamente |H K| elementos. Observe que si
hk = h1 k1 , entonces kk11 = h1 h1 H K, pues el lado izquierdo est en K y el lado derecho
en H. Defina la funcin
f : [h, k] H K,
f (h1 , k1 ) = h1 h1 .
Sean (h1 , k1 ), (h2 , k2 ) en la clase de equivalencia de (h, k) tales que f (h1 , k1 ) = f (h2 , k2 ). Por
definicin de f , h1 h1 = h1 h2 y por lo tanto h1 = h2 . Ahora bien, como (h1 , k1 ) (h2 , k2 ), se
tiene h1 k1 = h2 k2 lo que implica que k1 = k2 . Esto prueba la inyectividad.
Dado a H K, definamos h1 = hu y k1 = u1 k y note h1 k1 = hk as que (h1 , k1 ) (h, k);
adems f (h1 , k1 ) = h1 h1 = h1 hu = u.
Juntando toda la informacin
|H| |K| = |H K| = |H K| |H K/ | = |H K| |HK| ,
de donde el resultado se sigue.
Corolario 2.2.8. Sean H y K subgrupos del grupo finito G tales que |H| , |K| >
H K 6= {1}.
|G|. Entonces
Demostracin. Si H K = {1}, de acuerdo con el Teorema 2.2.7, se tendra |HK| = |H| |K| >
|G| lo que es una contradiccin, pues |HK| |G|.
Corolario 2.2.9. Sea G un grupo finito de orden pq, donde p y q son nmeros primos con
p > q. Entonces G tiene a lo ms un subgrupo de orden p.
Demostracin. Suponga que H 6= K son subgrupos de orden p. Se tiene que H K = {1}. En
efecto, H K H, K y el orden H K divide al orden de H, que es p; luego H K es de
orden 1 o p; no puede ser p, si ese fuera el caso p
H = H K = K; luego H K = {1}. Por
otro lado, note que p > pq, as que |H| , |K| > |G|, por lo que de acuerdo con el corolario
anterior H K 6= {1} que es una contradiccin.
2.2.1.
Ejercicios
1) Sean H y K subgrupos de un grupo G. Pruebe que la relacin (h, k) (h1 , k1 ) es una relacin
de equivalencia en H K.
2) Sea G un grupo finito. Pruebe que las siguientes afirmaciones son equivalentes.
a) |G| es primo.
b) G 6= h1i y los nicos subgrupos de G son G y h1i.
c) G es isomorfo a Zp para algn primo p.
3) Pruebe que si G es un grupo finito de orden 2n, entonces G tiene algn elemento de orden 2.
Pruebe que si G es abeliano de orden 2n, donde n es impar, entonces G tiene exactamente
un elemento de orden 2.
4) Pruebe que si G es un grupo abeliano no cclico de orden 4, entonces G tiene exactamente
tres elementos de orden 2.
5) Sean H y K subgrupos de un grupo G tales que K H. Si (G : H) y (H : K) son ambos
finitos, pruebe que (G : K) es finito y que (G : K) = (G : H)(H : K).
37
38
CAPTULO
3.1.
Recuerde que un homomorfismo es una funcin entre dos grupos que preserva la operacin
de grupo. Ms precisamente
Definicin 3.1.1. Una funcin : G H del grupo G en el grupo H es un homomorfismo de
grupos si para cualesquiera a, b G se tiene
(ab) = (a)(b).
Un monomorfismo de grupos es un homomorfismo inyectivo; un epimorfismo de grupos es un
homomorfismo suprayectivo. Un isomorfismo es un homomorfismo biyectivo.
Ejemplos 3.1.2. 1) Sean G y H grupos. La funcin : G H dada por (x) = 1H es un
homomorfismo de grupos, es el homomorfismo trivial. La funcin identidad 1G : G G dada
por 1G (x) = x es un homomorfismo de grupos.
2) La funcin : Z Zn dada por (m) = r, donde r es el nico entero no negativo tal que
m = nq + r, 0 r < n, es un epimorfismo.
3) La funcin : Z Z/nZ dada por (a) = a + nZ es un epimorfismo de grupos.
4) Sean G y H grupos. Las proyecciones
1 : G H G,
1 (x, y) = x,
2 : G H H,
1 (x, y) = y
1 (x) = (x, 1H ),
2 : H G H,
2 (y) = (1G , y)
40
41
42
K = {1, r2 }
rK = {r, r3 },
Kr = {r, r3 }
sK = {s, sr2 }
Por otro lado, H = {1, s} no es normal, pues rH = {r, rs} = {1, sr3 } y Hr = {r, sr}, as que
rH 6= Hr.
Ejemplo 3.1.17. Sea Q = {1, i, j, k} el grupo de los cuaternios de orden 8. Solo hay
un elemento de orden 2, a saber 1, as que Q tiene exactamente un subgrupo de orden 2,
N = {1, 1}. Dado g Q, gN g 1 es tambin un subgrupo de orden 2, luego gN g 1 = N y
N E Q. Si K es un subgrupo de orden 4, entonces su ndice en Q es 2, por lo tanto K es normal
en Q. Obviamente Q es normal en Q. Entonces todos los subgrupos de Q son normales.
Se deja al lector el siguiente ejercicio. Sea G un grupo tal que todos sus subgrupos son
normales en G. Si a, b G, pruebe que ba = aj b para algn entero j.
Ejemplo 3.1.18. Sea G un grupo cclico finito de orden primo. Los nicos subgrupos normales
de G son {1} y G; de hecho, estos son los nicos subgrupos de G.
43
3.1.1.
Ejercicios
44
45
16) Sea G = hai un grupo cclico finito de orden n. Pruebe que el grupo de los automorfismos de
G es isomorfo al grupo Z
n.
17) Si N es normal en G y a G es un elemento de orden finito, pruebe que aN en G/N es de
orden finito y que el orden de aN divide al orden de a.
18) Un grupo G es un grupo de torsin si todo elemento de G es de orden finito. Pruebe que si
G es un grupo de torsin y N E G, entonces G/N es un grupo de torsin.
19) Un grupo G es libre de torsin si ningn otro elemento aparte de la identidad es de orden
finito. Sean G un grupo abeliano y T el subgrupo de torsin de G. Pruebe G/T es libre de
torsin.
20) Sea G un grupo finito y N es un subgrupo normal de G. Pruebe que si (G : N ) y |N | son
primos relativos, entonces cualquier x G que satisfaga x|N | = 1 debe pertenecer a N .
21) Sea G un grupo finito y sea N un subgrupo normal de G tal que (G : N ) y el orden de N
son primos relativos. Pruebe que N es el nico subgrupo de G de orden |N |.
22) Sean G un grupo y N un subgrupo de G de ndice 2. Pruebe que N es normal en G.
23) Pruebe que si H, K E G, entonces H K E G.
24) Pruebe que si N E G y H G, entonces HN G.
25) Pruebe que si H, N E G, entonces HN E G.
26) Sean H un subgrupo de un grupo G y N un subgrupo normal de G.
a) Pruebe que N E HN y H N E H.
b) Pruebe que la funcin : H HN/N dada por (a) = aN est bien definida y que es
un epimorfismo cuyo ncleo es H N .
c) Determine las fibras de .
d) Si H y N son finitos pruebe que rdenes de los grupos cociente H/(H N ) y HN/N son
iguales.
27) Sean H y K subgrupos normales de un grupo G; suponga tambin que K H.
a) Pruebe que H/K es un subgrupo normal de G/K.
b) Pruebe que la funcin : G/K G/H dada por (aK) = aH est bien definida y es un
epimorfismo cuyo ncleo es H/K.
c) Si G es finito, pruebe que el orden de (G/K)/(H/K) y el de G/H son iguales.
28) Pruebe que el centro Z(G) de un grupo G es normal en G.
29) Sea Z el centro de un grupo G. Pruebe que si G/Z es cclico, entonces G es abeliano.
30) Sea N un subgrupo de un grupo G contenido en el centro de G. Pruebe que N E G. Pruebe
tambin que si G/N es cclico, entonces G es abeliano.
31) Si N es un subgrupo normal de un grupo G y G/N es abeliano, pruebe que aba1 b1 N
para todo a, b G.
32) Sea G un grupo tal que todos sus subgrupos son normales en G. Pruebe que si a, b G,
entonces ba = aj b para algn entero j.
46
33) Sea N un subgrupo normal de un grupo G tal que aba1 b1 N para todo a, b G. Pruebe
que G/N es abeliano.
34) Sean G1 y G2 grupos, N1 E G1 y N2 E G2 . Pruebe que N1 N2 es un subgrupo normal de
G1 G2 .
35) Sean G1 y G2 grupos, N1 E G1 y N2 E G2 . Pruebe que la funcin : G1 G2 (G1 /N1 )
(G2 /N2 ) dada por (x, y) = (xN1 , yN2 ) es un epimorfismo de grupos cuyo ncleo es N1 N2 .
36) Pruebe que si H es un subgrupo cclico de un grupo G y H es normal en G, entonces todos
los subgrupos de H son normales en G.
37) Sea N un subgrupo finito de un grupo G. Pruebe que si N es el nico subgrupo de G de
orden |N |, entonces N es normal en G.
38) Pruebe que si G es un grupo cclico y N E G, entonces G/N es un grupo cclico.
39) Determine lo que se pide.
a) El orden de Z6 / h3i.
b) El orden de Z4 Z12 / h2i h2i.
c) El orden de la clase lateral 5 + h4i en el grupo cociente Z12 / h4i.
40) Sea N un subgrupo normal de un grupo G; suponga que el ndice de N en G es finito y sea
m = (G : N ). Pruebe que am N para todo a G. Como el ndice de N en G es finito,
enotnces el grupo cociente G/N es finito de m = (G : N ). Sea a G. Entonces aN G/N y
de acuerdo con el T. de Lagrange,
N = (aN )m = aN
aN} = am N
| {z
m veces
as am N .
41) Sea G un grupo de orden pn m, donde p es un primo, n 1 y mcd(p, m) = 1. Suponga
que P y H son subgrupos de G de rdenes pn y ps , con s n. Si H est contenido en el
normalizador de P , pruebe que H P .
42) Un grupo no trivial G es simple si sus nicos subgrupos normales son {1} y G. Pruebe que si
un grupo finito G, cuyo orden es 3, contiene un subgrupo propio de ndice 2 en G, entonces
G no es simple.
43) Pruebe que si G es un grupo de orden 15 que tiene un subgrupo de orden 5, entonces G no
es simple.
3.2.
Teorema 3.2.1 (El primer teorema de isomorfismos para grupos). Sea : G H un homomorfismo de grupos. Entonces existe exactamente un monomorfismo natural : G/ ker H
tal que hace conmutativo el siguiente diagrama
G
G/ ker
47
1
2
2
4
3
0
4
2
5
4
6
0
7
2
8
4
9
0
10
2
11
4
.
El ncleo de es K = {0, 3, 6, 9}. Su imagen es Im = {0, 2, 4}. Los elementos del grupo
Z12 mdulo K es
K = {0, 3, 6, 9},
1 + K = {1, 4, 7, 10},
2 + K = {2, 5, 8, 11}.
La asignacin es K 7 0, 1 + K 7 2 y 2 + K 7 4.
4) Se deja de ejercicio probar que
6Z Z
=
= Z5 .
30Z
5Z
En realidad, solo hay que probar el primer isomorfismo, pues el segundo es consecuencia del
primer ejemplo. De acuerdo con esto, se puede cancelar el 6 en el numerador y el denominador.
48
49
rK = {r, r3 },
sK = {s, sr2 },
Es decir G/K = {K, rK, sK, sr2 K}. Por otro lado, se tiene el grupo H/K = {K, rK}, el cual
es un subgrupo normal de G/K. Los elementos del grupo cociente (G/K)/(H/K) son
(G/K)/(H/K) = {H/K, rK(H/K)} = {{K, rK}, {sK, sr2 K}}
= {{{1, r2 }, {r, r3 }}, {{s, sr2 }, {sr, sr3 }}}.
Finalmente, se tiene el grupo G/H
G/H = {H, sH} = {{1, r, r2 , r3 }, {s, sr, sr2 , sr3 }}
Observe que los conjuntos G/H y (G/K)/(H/K) no son iguales, pero de acuerdo con el Teorema 3.2.6 los grupos son isomorfos.
Teorema 3.2.8 (Teorema de la correspondencia). Sea : G H un epimorfismo de grupos
de ncleo K. Entonces induce una correspondencia biyectiva, que preserva inclusiones, entre
el conjunto S (G) de todos los subgrupos de G que contienen a K y el conjunto S(H) de todos
los subgrupos de H. Adems, bajo esta correspondencia los subgrupos normales se corresponden
con subgrupos normales.
Demostracin. De acuerdo con el Teorema 3.1.20, las funciones
F : S (G) S(H),
A
7 (A)
G : S(H) S (G)
B
7 1 (B)
50
Ejemplo 3.2.9. Apliquemos el teorema de la correspondencia para determinar todos los subgrupos de Z que contienene a 36Z. Para esto consideremos la reduccin mdulo 36: : Z Z36
dada por (m) = m m
od 36. Como Z36 es cclico y finito con generador a = 1, de acuerdo con el Teorema 1.6.13, todos los subgrupos de Z36 estn en correspondencia biyectiva con
{1, 2, 3, 4, 6, 9, 12, 18, 36}, los divisores positivos de 36. Luego hay 9 subgrupos de Z que contienen
a 36Z. La correspondencia precisa es
Divisor de 36 Subgrupo de Z36
Subgrupo de Z
h36i
h18i
h12i
h9i
h6i
h4i
h3i
h2i
h1i
1
2
3
4
6
9
12
18
36
36Z
18Z
12Z
9Z
6Z
4Z
3Z
2Z
1Z
h2i
h4i
h3i
h6i
h12i
h9i
h18i
h36i
Corolario 3.2.10. Si K es un subgrupo normal de un grupo G, entonces todos los subgrupos
de G/K son de la forma A/K, donde A es un subgrupo de G que contiene a K. Ms an,
A/K E G/K si y solamente si A E G.
Demostracin. Considere la proyeccin natural : G G/K dada por (g) = gK; el ncleo de
es K. De acuerdo con el Teorema 3.2.8, los subgrupos de G/K son todos de la forma (A),
donde A es un subgrupo de G que contiene a K:
(A) = {(a) | a A} = {aK : a A} = A/K.
3.2.1.
Ejercicios
51
G
G/N
es decir tal que = . Adems ker = ker /N y Im = Im .
2) Sea G un grupo cclico de orden n. Aplique el teorema fundamental del isomorfismo para
probar que G
= Z/nZ. Concluya que G
= Zn .
3) Pruebe que dos grupos cclicos son isomorfos si y solamente si son del mismo orden.
4) Sean N1 , N2 subgrupos normales de los grupos G1 y G2 , respectivamente. Pruebe que N1
(G1 /N1 ) (G2 /N2 ).
N2 E G1 G2 y que G1 G2 /N1 N2 =
5) Sean G y H grupos. Pruebe que G 1 E G H, y que G H/G 1
= H.
6) Un subgrupo normal propio M de un grupo G es un sugrupo normal maximal de G si los
nicos sugrupos normales de G que contienen a M son M y G. Un grupo no trivial G es
simple si sus nicos subgrupos normales son {1} y G. Pruebe que M es un subgrupo normal
maximal de un grupo G si y solamente si G/M es simple.
7) Pruebe que 6Z/30Z
= Z/5Z. Ms general, pruebe que kZ/kmZ
= Z/mZ.
8) Sea : Z18 Z12 el homomorfismo determinado por (1) = 10.
a) Encuentre el ncleo de K de .
b) Liste los elementos de Z18 /K, mostrando los elementos en cada clase lateral.
c) Calcule la imagen de .
d) De la correspondencia en Z18 /K y (Z18 ) establecida en el primer teorema de isomorfismo.
9) Considere los subgrupos H = h4i y N = h6i de Z24 .
a) Liste todos los elementos en H + N y en H N .
b) Liste las clases laterales en (H + N )/N mostrando los elementos en cada clase lateral.
c) Liste las clases laterales en H/(H N ) mostrando los elementos en cada clase lateral.
d) De la correspondencia explicita entre (H + N )/N y H/(H N ) descrita en el segundo
teorema de isomorfismo.
10) Sea N un subgrupo normal de G tal que G/N es abeliano. Si H G, pruebe que H/(H N )
es abeliano.
11) Sea G un grupo y sean G1 , G2 , H subgrupos de G tales que G1 E G2 . Pruebe que H1 E H2 ,
donde H1 = G1 H, H2 = G2 H y que H2 /H1 es isomorfo a algn subgrupo de G2 /G1 .
Concluya que si G2 /G1 es abeliano, entonces H2 /H1 tambin lo es.
12) Sea G un grupo y sean G1 , G2 , N subgrupos de G tales que G1 E G2 y N E G. Pruebe que
G1 N/N E G2 N/N y que (G2 N/N )/(G1 /N )
= (G2 /G1 )/(G2 (G1 N ))/G1 .
13) Considere los subgrupos H = h4i y N = h8i de Z24 .
a) Liste las clases laterales en G/H, exhibiendo los elementos en cada clase lateral.
b) Lista las clases en G/K exhibiendo los elementos en cada clase lateral.
c) Liste las clases en H/K.
52
14) Sea G un grupo. Pruebe que G/Z(G) es isomorfo al grupo Int(G), el grupo de los automorfismos internos de G (Recuerde que Int(G) = {g : g G}, donde g : G G est definida
por g (x) = gxg 1 ).
15) Sea H un subgrupo de un grupo G. Recuerde que el centralizador de H en G es el subgrupo
CG (H) = {x G | xh = hx h H} y que el normalizador de H en G es el subgrupo
NG (H) = {g G : gHg 1 = H}. Pruebe que CG (H) E NG (H) y que NG (H)/CG (H) es
isomorfo a algn subgrupo del grupo de los automorfismos de H.
3.3.
El Teorema de Cayley
53
Definicin 3.3.2. Sea X un G-conjunto. Se dice que la accin de G en X es fiel si el homomorfismo inducido G SX es inyectivo.
El teorema de Cayley se obtiene como una aplicacin del teorema anterior. Se prueba que la
accin de G sobre s mismo por multiplicacin izquierda es una accin fiel.
Teorema 3.3.3 (Teorema de Cayley). Todo grupo es isomorfo a un grupo permutaciones.
Demostracin. Sea G un grupo y sea X = G. Se hace actuar a G sobre s mismo por la
multiplicacin izquierda: g x = gx. Claramente se tiene 1 x = 1x = x; tambin se tiene
(g1 g2 )x = (g1 g2 )x = g1 (g2 x) = g1 (g2 x). De acuerdo con el teorema anterior, esta accin induce
un homomorfismo : G SX , dada por (g) = g , donde g (x) = gx. Este homomorfismo es
inyectivo, es decir, la accin de G en s mismo por multiplicacin izquierda es fiel. En efecto, si
(g1 ) = (g2 ) se tiene que g1 = g2 , as que en particular, g1 = g1 (1) = g2 (1) = g2 . Por lo
tanto, G es isomorfo a G = {g | g G} que es la imagen del homomorfismo .
Teorema 3.3.4. Si G es un grupo y H es un subgrupo de G y X el conjunto de todas las clases
laterales izquierdas de H en G, entonces existe un homomorfismo de : G SX , cuyo ncleo
es el mximo subgrupo normal de G que est contenido en H. Adems
\
ker =
xHx1 .
xG
54
1
a
b
c
1 a b c
1 a b c
a 1 c b
b c 1 a
c b a 1
x1
x2
x3
x4
x1
x1
x2
x3
x4
x2
x2
x1
x4
x3
x3
x3
x4
x1
x2
x4
x4
x3
x2
x1
Dado que
a (x1 ) = x2 ,
a (x2 ) = x1 ,
a (x3 ) = x4 ,
c =
1
4
3
4
2
3
a (x4 ) = x3 ,
4
3
3
2
= (1, 2)(3, 4).
4
1
= (1, 4)(2, 3).
El 4-grupo de Klein
sage : V = KleinFourGroup (); V ; V . list ()
The Klein 4 group of order 4 , as a permutation group
[() , (3 ,4) , (1 ,2) , (1 ,2)(3 ,4)]
55
Ejemplo 3.3.7. Sea G el grupo D8 , el grupo didrico de 8 elementos generado por r y s. Sea
H = {1, s}. La clases laterales de H en D8 son
X2 = rH = {r, sr3 },
X1 = H,
X3 = r2 H = {r2 , sr2 },
X4 = r3 H = {r3 , sr}.
r (X1 ) = X2
r (X2 ) = X3
r (X3 ) = X4
r (X4 ) = X1 .
r (H) = rH
r (rH) = r H
r (r H) = r H
r (r H) = r H = H
Luego
r =
X1
X2
X2
X3
X3
X4
X4
X1
o bien r =
1
2
2
3
3
4
4
1
= (1, 2, 3, 4).
Teorema 3.3.8. Si G es un grupo finito y H es un subgrupo propio de G tal que |G| - (G : H)!,
entonces H contiene a un subgrupo no trivial que es normal en G.
Demostracin. Sea X = {xH | x G} y : G SX dada por (g) = g . De acuerdo con el
Teorema 3.3.4, el ncleo de est contenido en H y es normal en G. Veamos que el ncleo no
es trivial. Suponga que el ker es trivial; entonces es inyectiva y G
= (G); pero entonces
|G| | |SX |, y esto es una contradiccin pues |(G)| = |G| y |SX | = X! = (G : H)!.
Ejemplo 3.3.9. Si G es un grupo de orden 99 y H es un subgrupo de orden 11, pruebe que H
es normal en G.
El ndice de H en G es (G : H) = |G| / |H| = 99/11 = 9 y 99 no divide a 9! por que 11 no
es un factor de 9!. De acuerdo con el Teorema 3.3.8, H contiene a un subgrupo K, no trivial,
que es normal en G. De acuerdo con el teorema de Lagrange, |K| tiene que dividir a 11 = |H|,
as que |K| es 1 u 11; como K no es trivial, K es orden 11 y K = H, de tal manera que H es
normal en G.
Ejemplo 3.3.10. Sea G un grupo de orden 36 y H un subgrupo de orden 9. Pruebe que existe
un subgrupo normal en G de orden 3 o 9.
Corolario 3.3.11. Sea G un grupo finito. Sea p el primo ms pequeo que divide al orden de
G. Pruebe que si H es un subgrupo de G cuyo ndice es p, entonces H es normal en G.
Demostracin. Se deja de ejercicio.
56
3.3.1.
Ejercicios
CAPTULO
4.1.
La ecuacin de clase
Recuerde que un G-conjunto es un conjunto X junto con un accin del grupo G en el conjunto
X (Vea la Definicin 1.4.1).
Teorema 4.1.1. Sea X un G-conjunto. La relacin en X definida por
x x0
g21 g1 x = x
g21 g1 Gx
g2 Gx = g1 Gx .
Adems f es suprayectiva, pues dada la clase lateral gGx , el elemento gx OG (x) y f (gx) = gGx .
Esto completa la prueba.
Las rbitas de G en X son entonces clases de equivalencia de la relacin definida anteriormente y por lo tanto constituyen una particin de X.
Definicin 4.1.2. Sea X un G-conjunto. Se dice que la accin de G en X es transitiva si
solamente hay una rbita. Equivalentemente, si para cualesquiera dos elementos x, y X, existe
un g G tal que g x = y.
Observacin 4.1.3. Es fcil ver que si X es un G-conjunto y H es un subgrupo de G, entonces
X tambin es un H-conjunto. Si G acta transitivamente en un conjunto X, H no necesariamente
tiene que actuar transitivamente en X.
57
58
2
3
4
5
1
1
1
1
1
1
1
2
2
5
2
5
2
5
3
3
6
7
3
6
7
4
4
4
4
4
4
4
5
5
2
5
2
5
2
6
6
7
3
6
7
3
7
7
3
6
7
3
6
OG (4) = {4}.
59
60
Demostracin. Es un simple proceso de conteo. Las rbitas forman una particin de X. Luego
|X| =
Definicin 4.1.11. Sea p un nmero primo. Un p-grupo es un grupo finito cuyo orden es una
potencia de p (es decir, su orden es pn para algn n 0).
De acuerdo con el Teorema de Lagrange, todo subgrupo de un p-grupo es un p-grupo; todo
elemento de un p-grupo tiene orden una potencia de p.
Teorema 4.1.12. Sea G un grupo finito de orden pn , donde p es primo, y sea X un G-conjunto
finito. Entonces
1) |X| X G m
od p.
2) Si G tiene exactamente un punto fijo, entonces |X| 1 mod p.
od p.
3) Si p | |X|, entonces X G 0 m
G
Demostracin. Si todas
las rbitas tiene exactamente un elemento, entonces X = X por
G
lo tanto |X| = X . Si no es este el caso, sean x1 , . . . , xn representantes de las distintas
rbitas de X con ms de un elemento. Como G es de orden pn , si H es un subgrupo de G,
entonces H es de orden ps para algn s 0 y (G : H) = |G| / |H| es una potencia de p. Como
(G : Gxi ) = |OG (xi )| > 1, se tiene que (G : Gxi ) = psi donde ni 1. Luego
n
n
X
G X
G
si
|X| = X +
p = X +p
psi 1 .
i=1
i=1
Reduciendo mdulo p se sigue el resultado. Los incisos restantes son consecuencia inmediata del
primero.
A continuacin algunas aplicaciones de los Teoremas 4.1.10 y 4.1.12
Teorema 4.1.13 (La ecuacin de clase). Sea G un grupo; sean x1 , . . . , xn representantes de las
distintas clases de conjugados de G no contenidos en el centro Z(G) de G. Entonces
|G| = |Z(G)| +
n
X
(G : CG (xi )).
(4.1)
i=1
61
hgH = gH h H
g 1 hgH = H h H
g 1 hg H h H
g 1 Hg = H
g N (H).
Luego X H = {gH X : g NG (H)} y X H = (NG (H) : H). La primera afirmacin queda
probada aplicando el Teorema
(1). Si p | (G : H), de acuerdo con el inciso (3) del mismo
4.1.12
teorema, se concluye que p | X H = (NG (H) : H) y ciertamente, X H 6= 0 pues H X H , as
que NG (H) 6= H.
4.1.1.
Ejercicios
62
4.2.
El Teorema de Cauchy
Teorema 4.2.1. Sea G un grupo finito y sea p un primo que divide al orden de G. Entonces G
tiene un elemento de orden p.
p1
63
4.2.1.
Ejercicios
1) Sea p un nmero primo. Sea G un p-grupo finito. Pruebe que subgrupos y cocientes de
p-grupos son p-grupos.
2) Sea G un p-grupo y X un G-conjunto finito. Pruebe que cada rbita de G en X tiene orden
una potencia de p.
3) Sean G un grupo finito y N un subgrupo normal de G tal que ambos N y G/N son p-grupos.
Pruebe que G es un p-grupo.
4) Sea N un subgrupo normal de G. Suponga que cada elemento de N y cada elemento de G/N
tiene orden una potencia de p, donde p es primo. Pruebe que cada elemento de G tiene orden
una potencia de p.
5) Si G es un p-grupo y N es un subgrupo normal y no trivial, pruebe que Z(G) N es no
trivial.
6) Sea G un p-grupo no trivial. Pruebe que existe un subgrupo de G de ndice p; pruebe que
cualquier subgrupo de ndice p es normal en G.
7) Pruebe que si G es un grupo tal que G/Z(G) es cclico, entonces G es abeliano. Concluya
que si G es un grupo de orden p2 , donde p es primo, entonces G es abeliano.
4.3.
64
65
potencia
de p que divide a G, se tiene que p - (G : P ); si X H = 0, p dividira a (G : P ), as que
H
X 6= 0, y X H no es vaco. Sea xP X H , donde x G. Se tiene
xP X H
x1 Hx P
H xP x1 .
66
Teorema 4.3.10. Sean p, q primos distintos, con p > q y G un grupo de orden pq. Entonces
G no es simple. Si q - p 1, entonces G es cclico.
Demostracin. Por el Teorema de Cauchy y el Corolario 2.2.9, sabemos que G tiene exactamente
un p-subgrupo de orden p. De la Proposicin 4.3.1, vemos que subgrupo tiene que ser normal.
Luego G no es simple.
Supongamos ahora que q no divide a p 1. Sea nq el nmero de q-subgrupos de Sylow.
Entonces nq {1, q, p, pq} {qk + 1 | k 0}. Si q = qk + 1, entonces q(1 k) = 1; Si p = qk + 1,
entonces qk = p 1 y q dividira a p 1, lo cual es contrario a la hiptesis. Finalmente, si si
pq = qk + 1, entonces se tiene la contradiccin q(p k) = 1; as nq = 1 y G tiene exactamente
un p-subgrupo de Sylow, y por lo tanto es normal.
Sea a un elemento de orden p y b un elemento de orden q. Entonces luego H K = {1}, donde
H = hai y K = hbi. Por lo tanto |HK| = |H| |K| = pq, G = HK y HK es un subgrupo de G.
Veamos que ab = ba. Como H E G, ba1 b1 H y entonces tambin aba1 b1 H. Como K
tambin es normal en G, aba1 K y tambin aba1 b1 K; luego aba1 b1 H K = {1},
vemos que ab = ba. Luego ab es un elemento de orden pq y por lo tango G es cclico.
Observaciones 4.3.11. Si q | p 1 en el teorema anterior, entonces el resultado no necesariamente es cierto. Considere por ejemplo los grupos no cclicos D6 o D10 .
Ejemplo 4.3.12. Ningn grupo G de orden 30 es simple.
Bastar probar que hay exactamente un p-subgrupo de Sylow para algn primo p que divida
a 30 = 2 3 5. Sea np el nmero de p-subgrupos de Sylow de G. Luego np | 30 y np 1 mod p.
Sea D = {1, 2, 3, 5, 6, 10, 15, 30} el conjunto de los divisores de 30. As
n2 D {1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29} = {1, 3, 5, 15}
n3 D {1, 4, } = {1, 10}
n5 D {1, 6, } = {1, 6}.
Supongamos que n3 = 10. La interseccin de cualesquiera dos 3-subgrupos de Sylow es trivial.
En efecto, si P 6= Q son dos grupos de orden tres, dado que P Q P, Q, el orden de la
interseccin solo puede ser uno o tres; si fuera tres, se tendra P = P Q = Q, lo cual no es
cierto. Cada grupo de orden tres, tiene dos elementos de orden tres, de tal manera que G tiene
al menos 20 elementos de orden 3.
Si n5 = 6, razonando de manera anloga al caso n3 = 10, se concluye que G tiene al menos
4 6 = 24 elementos de orden 5.
Si sucediera que n3 = 10 y n5 = 6, entonces G tendra al menos 20 + 24 = 44 elementos
diferentes, lo cual evidentemente no puede se. Luego n3 = 1 o n5 = 6. As G un subgrupo normal
de orden 3 o uno de orden 5..
Ejemplo 4.3.13. Pruebe que ningn grupo de orden 48 es simple.
Sea G un grupo de orden 48 = 24 3. Resolveremos de tres maneras el ejercicio para ilustrar
tcnicas diferentes.
Primera solucin. Sea P un 2-subgrupo de Sylow; entonces 48 no divide (G : P )! = 3!, as
que de acuerdo al Teorema 3.3.8, P contiene a un subgrupo no trivial que es normal en G, y
queda probado que G no es simple.
Segunda solucin. Se tiene que n2 {1, 3} y n3 {1, 4, 16}. Si n2 = 1, G tiene exactamente un subgrupo de orden 16 y por lo tanto es normal.
Supongamos que n2 = 3, es decir, G tiene 3 grupos distintos, cada uno con 16 elementos.
Sean P 6= Q dos subgrupos de Sylow de orden 16; por un lado se tiene que la interseccin de P
y Q es de orden 2i , con i < 4. Por otro lado, |P Q| = |P | |Q| / |P Q| = 28i 24 3, tenemos
que 24i 3, as que i = 4, 3. Luego el nico valor posible para el orden de la interseccin
es 23 . Ahora bien, P Q E P, Q pues la interseccin tiene ndice dos tanto en P como en Q.
67
4.3.1.
Ejercicios
68
18) Sea G un grupo simple de orden 168. Determine el nmero de elementos de orden 7.
19) Pruebe que cualquier grupo de orden no primo mayor que 60 y menor o igual a 100 no es
simple.
20) Pruebe que ningn grupo de orden 200 es simple.
CAPTULO
5.1.
(a2 ) = a3 ,
...
(ar1 ) = ar ,
(ar ) = a1 ,
70
a2
ar1
ar
a1
se tiene que
a1
ar
ar1
a2
a1
1
6
2
4
3
3
4
5
5
2
6
,
1
71
positivo d tal que (Gx )d = Gx , es decir, d es el primer entero positivo tal que d Gx ; por lo
tanto, la cardinalidad de OG (x) es d, donde d es el primer entero positivo tal que d (x) = x. La
rbita de x X es
OG (x) = {x, (x), 2 (x), . . . , d1 (x)}.
De manera natural, cada rbita induce un ciclo, a saber, (x, (x), 2 (x), . . . , d1 (x)). Sean
O(x1 ), . . . , O(xm ) las distintas rbitas de . Para cada j (1 jS m) sea cj el ciclo inducido
m
por la rbita O(xj ). Veamos que = c1 c2 cm . Sea x X = i=1 O(xi ) y supongamos que
s
x O(xj ). Luego x = (xj ) para algn s 0. Por un lado se tiene que (x) = (xj ) =
( s (xj )) = s+1 (xj ). Por otro lado, dado que los ciclos c1 , . . . , cm son ajenos, ci (x) = x si i 6= j
y cj (x) = cj ( s (xj )) = ( s (xj )) = s+1 (xj ). Esto concluye la prueba.
Es fcil convencerse de que la representacin de una permutacin como producto de ciclos
ajenos, ninguno de los cuales es la permutacin identidad, es nica, salvo el orden de los factores.
1 2 3 4 5 6 7 8 9 10
Ejemplo 5.1.4. Para escribir la permutacin =
como
5 4 9 6 7 8 1 2 10 3
un producto de ciclos ajenos, se calculan las rbitas de cada elemento.
O(1) = {1, 5, 7},
cclico G = hi tiene 12 elementos; el estabilizador de x = 1 es G1 = { 0 , 3 , 6 , 9 } = 3 .
El orden de 3 es 12/ mcd(3, 12) = 4, as que el orden del grupo cociente G/G1 es 3, lo que es
consistente con |O(1)| = 3.
Definicin 5.1.5. Un ciclo de longitud 2 es una transposicin.
Es decir, una transposicin es una permutacin que mueve nicamente dos elementos y deja
fijos a los dems. Observe que la inversa de una transposicin es ella misma.
Teorema 5.1.6. Para cada n 2, el grupo simtrico Sn est generado por el conjunto de todas
las transposiciones.
Demostracin. Cualquier ciclo se puede escribir como un producto de ciclos de longitud 2, es
decir, de transposiciones. Un clculo directo muestra que:
(a1 , a2 , a3 , . . . , an1 , an ) = (a1 , an )(a1 , an1 ) (a1 , a3 )(a1 , a2 ).
Como cada elemento de Sn es un producto de ciclos, y cada ciclo es un producto de transposiciones, se sigue que cada permutacin es un producto de transposiciones y el teorema queda
probado.
1 2 3 4 5 6
se escribe un producto de trans4 5 1 3 6 2
posiciones, escribindola primero como un producto de ciclos y escribiendo despus cada ciclo
como un producto de transposiciones:
72
Consideremos el conjunto X de todas las funciones de Zn Z. Se convierte X en un Sn conjunto haciendo actuar Sn en X como sigue. Dado Sn y f X, f es la funcin de Zn
en Z dada por
( f )(x1 , . . . , xn ) = f (x(1) , . . . , x(n) ).
Abusando un poco de la notacin se escribe (f ) en vez de f . Se tiene
( )(f (x1 , . . . , xn )) = f (x (1) , . . . , x (n) )
As ( )(f ) = ( (f )). Adems se cumple
(f + g) = f + g,
(f g) = ( f )( g)
(x1 , . . . , xn ) =
(xj xi ) .
1i<jn
Sea Sn . Entonces
()(x1 , . . . , xn ) =
x(j) x(i) .
i<j
Como contiene un factor xj xi por cada i < j y es una permutacin de los ndices, ()
contiene al factor (xj xi ) o xi xj , pero no ambos. Por cada factor xi xj que aparezca en
(), se puede factorizar el signo para escribir (xj xi ), de tal manera que y () difieren
nicamente por un signo, y el signo est determinado por y no por . Es decir, () = .
Para cada Sn sea
(
+1 si () = ,
() =
1 si () = .
Sean 1 , 2 Sn . Por un lado (1 2 )() = (1 2 ) y por otro lado, dado que (1 2 ) () =
1 (2 ),
(1 2 )() = 1 (2 ())
= 1 ((2 ))
= (2 )1 ()
tomando c = (2 ),
73
Sea una transposicin, digamos, = (r, s), con r < s. Analicemos (). El factor (xs xr )
cambia va a (xr xs ) = (xs xr ). Los otros factores los contamos por pares. Dado un
ndice j, que no sea ni r ni s se presentan tres posibilidades: j > s, r < j < s y j r:
(xj xs )(xj xj )
(xs xj )(xj xr )
(xr xj )(xs xj )
si j > s,
si r < j < s,
si j < r.
Cada uno estos productos permanece igual cuando se aplica . Por lo tanto () = , i.e.,
( ) = 1.
Supongamos que es otro homomorfismo de Sn en {1} tal que ( ) = 1 para cada
transposicin. Como ( ) = ( ) y el conjunto de transposiciones genera a Sn se sigue que () =
() para todo Sn . Ms precisamente, si = 1 m , donde 1 , . . . , m son transposiciones,
se tiene
!
!
m
m
m
m
Y
Y
Y
Y
i =
(i ) =
(i ) =
i = ().
i=1
i=1
i=1
i=1
(1, 2, 3),
(2, 3, 4),
(1, 3, 2),
(2, 4, 3),
(1, 4, 2),
(1, 4, 3),
(1, 3, 4),
(1, 2, 4),
Observe que
(1, 3)(2, 4) = (1, 3, 2)(3, 2, 4),
Tambin se tiene que (1, 2, 3)3 = (1). Hemos probado as que A4 est generado por todos los
3-ciclos, es decir, cada permutacin par de S4 se puede expresar como un producto de ciclos de
longitud tres.
74
75
1 (a) = x
= (x)
= (a)
= a.
Adems 0 deja fijos todos los puntos que deja fijos, mostrando de esta manera que 0 tiene
ms puntos fijos que , lo que representa una contradiccin.
Ejemplo 5.1.17. El grupo alternante, A3 tiene tiene un nmero primo de elementos, por lo
tanto es simple. Por otro lado, el grupo alternante A4 que tiene orden 4!/2 = 12 no es simple.
Sea P un 2-subgrupo de Sylow de A4 , i.e., P es un subgrupo de orden 4 as que (A4 : P ) = 3;
como |A4 | - (A4 : P )!, de acuerdo con el Teorema 3.3.8, P tiene un subgrupo no trival que es
normal en A4 . As que A4 no es simple. Se deja de ejercicio probar, usando los Teoremas de
Sylow, que P es de hecho normal en A4 , i.e., n2 = 1.
Teorema 5.1.18. Todo grupo simple de orden 60 es isomorfo a A5 .
Demostracin. Sea G un grupo simple de orden 60. Sea n2 el nmero de 2-subgrupos de Sylow
de G. Entonces n2 es impar y divide 60 = 22 3 5. Luego n2 {1, 3, 5, 15}. Como G es simple,
n2 6= 1. Luego n2 {3, 5, 15}. Sea P un 2-subgrupo de Sylow y sea H = NG (P ) el normalizador
de P . Entonces n2 = (G : H), entonces |H| = 20, 12, 4. Sin n2 = 3, el orden de G no dividira a
3! y de acuerdo con el Teorema 3.3.8, G tendra un subgrupo normal no trivial contenido en H
(cuyo orden sera 20) y G no sera simple. Luego n2 6= 3.
76
5.1.1.
Ejercicios
77
5.2.
Sea G un grupo. Una torre de subgrupos o serie de subgrupos es una sucesin de subgrupos
G0 G1 Gs = G
Se dice que la torre (o la serie) es subnormal si cada Gi es normal en Gi+1 (0 i s 1). Se
dice que la torre o serie es abeliana si es subnormal y cada grupo factor Gi+1 /Gi es abeliano. Si
la serie es abeliana, los cocientes Gi+1 /Gi son los grupos cocientes o grupos factores de la torre
o serie.
Note que en una serie normal cada Gi es normal en Gi+1 , pero no necesariamente es normal
en G. Por ejemplo, en D8 la serie {1} / {1, s} / {1, s, sr, sr2 } / D8 , pero {1, s} no es normal en
D8 .
Definicin 5.2.1. Un grupo G es soluble si tiene una torre abeliana cuyo primer elemento es
el grupo trivial. En otras palabras, G es soluble si existe una torre de subgrupos
1 = G0 E G1 E E Gi E Gi+1 E E Gs = G
tal que cada grupo cociente Gi+1 /Gi es abeliano para i = 0, 1, . . . , s 1.
78
y 1 / {1, r2 } / {1, r, r2 , r3 } / D8 .
79
2
G es abeliano
2
por ser
cclico,
a
es
normal;
como
G
es
simple,
se
concluye
que
G
=
a
. De la igualdad
2
2k
2k1
hai = a se obtiene que a = a para algn entero positivo k, as que a
= 1 y queda
demostrado que a tiene orden finito y por lo tanto G es cclico de orden finito. Veamos ahora
que el orden de G es primo. Supongamos que p | |G| con p primo y sea b G un elemento de
orden primo (teorema de Cauchy). Entonces hbi 6= 1 y como G es simple, G = hbi y G tiene
orden primo.
Recprocamente, suponga que G es cclico de orden primo. Por tener orden primo, G no es
trivial, i.e., G 6= h1i. Si H es un subgrupo propio de G, de acuerdo al teorema de Lagrange
|H| | p y como H es subgrupo propio H = h1i. Los nicos subgrupos de G son {1} y G, as que
en particular, los nicos subgrupos normales de G son el trivial y el total y G es simple.
Teorema 5.2.7. Si G es un grupo soluble y H es un subgrupo de G, entonces H es soluble.
Demostracin. Sea 1 E G1 E E Gs = G una torre abeliana de G. Entonces H tiene la torre
1 = H0 H1 Hs = H,
donde Hi = Gi H. Sea g Hi+1 y x Hi entonces g Gi+1 , x Gi y g, x H; como
Gi / Gi+1 se tiene gxg 1 Gi y como H es un subgrupo de G, gxg 1 H, de tal manera que
gxg 1 Hi y queda probado que Hi E Hi+1 . Veremos que Hi+1 /Hi es abeliano mostrando que
este grupo factor es isomorfo a algn subgrupo del grupo abeliano Gi+1 /Gi . De hecho,
Gi+1 H
Gi (Gi+1 H)
Gi+1 H
Gi+1
Hi+1
.
=
=
Hi
Gi H
Gi (Gi+1 H)
Gi
Gi
Lo ltimo se debe a que Gi (Gi+1 H)/Gi es un subgrupo de Gi+1 .
Teorema 5.2.8. El grupo simtrico Sn de grado n no es soluble si n 5.
Demostracin. Si Sn fuera soluble para n 5, tambin lo sera An . Se tendra entonces que An
es soluble y simple, lo que implicara que su orden |An | = n!/2 sera primo, lo cual de hecho solo
sucede cuando n = 3.
Teorema 5.2.9. Sea N E G. Entonces G es soluble si y solamente si N y G/N son solubles.
Demostracin. Supongamos que G es soluble. De acuerdo con el Teorema 5.2.7, N es un grupo
soluble. Sea 1 = G0 G1 Gs = G una torre abeliana de subgrupos de G. Como N es
normal en G, Gi N G para cada i. Es fcil ver que Gi N E Gi+1 N . Se tiene as la torre
N = G0 N E G1 N E E Gs N = G.
Como N Gi N , entonces N es normal en Gi N y se se tiene que la torre
G0 N
G1 N
Gs N
G
N
=
E
E E
= .
N
N
N
Gs
N
es una torre subnormal de G/N . Adems, usando el segundo y tercer teorema de isomorfismos
se tiene
Gi+1 N/N Gi+1 N
Gi+1 (Gi N )
Gi+1
Gi+1 /Gi
=
.
=
=
=
Gi N/N
Gi N
Gi N
Gi+1 (Gi N )
(Gi+1 (Gi N ))/Gi
Se sigue que (Gi+1 N/N )/(Gi N/N ) es abeliano, por ser isomorfo a un cociente de grupo abeliano.
Con esto queda probado que G/N tiene una torre abeliana de subgrupos y por lo tanto G/N es
soluble.
80
5.2.1.
81
Ejercicios
82
CAPTULO
6.1.
Productos directos
En esta seccin estudiaremos el producto directo de grupos. Esta es una forma de obtener
nuevos grupos a partir de otros grupos. Sean A y B grupos. Entonces el producto cartesiano
A B = {(a, b) | a A, b B}
tiene una estructura natural de grupo
(a1 , b1 )(a2 , b2 ) = (a1 a2 , b1 b2 ).
La identidad de AB es (1A , 1B ), donde 1A y 1B son las identidades de A y B, respectivamente.
El inverso del elemento (a, b) es (a1 , b1 ). El grupo A B es el producto directo externo. El
producto directo de grupos se puede extender a cualquier coleccin finita de grupos, e incluso a
una familia arbitraria grupos.
Qn
Teorema 6.1.1. Si G1 , . . . , Gn son grupos, entonces el producto cartesiano G = i=1 Gi con
la multiplicacin componente a componente
(a1 , a2 , . . . , an )(b1 , b2 , . . . , bn ) = (a1 b1 , a2 b2 , . . . , an bn )
es un grupo. El grupo G es abeliano si y solamente si todos las componentes son grupos abelianos.
Demostracin. Si cada Gi es abeliano, se tiene
(g1 , . . . , gn )(g10 , . . . , gn0 ) = (g1 g10 , . . . , gn gn0 ) = (g10 g1 , . . . , gn0 gn ) = (g10 , . . . , gn0 )(g1 , . . . , gn ).
Recprocamente, supongamos que G es abeliano. Veamos que Gi lo es para cada i. Sean a, b Gi .
(1, . . . , 1, ab, 1, . . . , 1) = (1, . . . , 1, a, 1, . . . , 1)(1, . . . , 1, b, 1, . . . , 1)
= (1, . . . , 1, b, 1, . . . , 1)(1, . . . , 1, a, 1, . . . , 1)
= (1, . . . , 1, ba, 1, . . . , 1).
As ab = ba y Gi es abeliano.
83
84
Q
Definicin 6.1.2. Al producto cartesiano Gi de los grupos G1 , . . . , Gn con la multiplicacin
coordenada a coordenada se le conoce como el producto directo externo de los grupos G1 , . . . , Gn .
Si todos los grupos Gi son abelianos, se puede usar la notacin de suma directa (externa)
G1 G2 Gn
n
M
Gi .
i=1
Ejemplos 6.1.3. 1) Sean C2 = hai y C3 = hbi dos grupos cclicos de ordenes 2 y 3, respectivamente. Los elementos del producto directo son
C2 C3 = {(1, 1), (1, b), (1, b2 ), (a, 1), (a, b), (a, b2 )}.
Observe que el elemento (a, b) genera al producto directo as que este es cclico. No siempre
es este el caso. Por ejemplo, el producto un grupo cclico de orden dos con un grupo cclico
de orden 4 no es cclico.
2) El grupo Z2 Z es un grupo infinito, que no es cclico. Suponga que lo fuera y digamos que
a es un generador. Si a = (0, m), entonces
hai = {(0, mn) | n Z} =
6 Z2 Z.
De manera similar, si a = (1, m), vemos que hai =
6 Z2 Z. Por ejemplo, si b = (0, 3), la
ecuacin na = (0, 3) nos lleva a n = 0 en Z2 y nm = 3 en Z, es decir, n debera ser par y
satisfacer nm = 3 lo cual es imposible pues 3 es impar.
Ejemplo 6.1.4. Sean G1 , G2 grupos y sea G su producto directo. Entonces G tiene subgrupos
normales isomorfos a cada componente. Los subgrupos G1 = G1 1 y G2 = 1G2 son subgrupos
normales de G: (g1 , g2 )(x, 1)(g1 , g2 )1 = (g1 xg11 , 1) G1 . De manera similar se muestra que
G2 E G. Otra forma de verificar la normalidad de estos grupos es notando que G1 es el ncleo
del epimorfismo 2 : G1 G2 G2 dado por 2 (a1 , a2 ) = a2 , y G2 es el ncleo del epimorfismo
1 : G1 G2 G1 dada por 1 (a1 , a2 ) = a1 . Las funciones 1 : G1 G1 G2 y 2 : G2 G1 G2
dadas por 1 (a) = (a, 1) y 2 (a) = (1, a) son monomorfismos de grupos, cuyas imgenes son G1
y G2 , respectivamente.
Teorema 6.1.5. Sea G1 , . . . , Gn grupos y sea G su producto directo.
1) Para cada k, la funcin k : Gk G dada por k (a) = (1, . . . , 1, a, 1, . . . , 1), donde a aparece
en la posicin k es un monomorfismo de grupos.
Q
2) Para cada k, 1 k n, la funcin k :
Gi Gk dada por k (g1 , g2 , . . . , gn ) = gk es un
epimorfismo de grupos,
cuyo
ncleo
es
G
k6=i
Gk dada por
85
Observacin 6.1.6. El teorema provee otra forma de verificar que si G es abeliano, entonces
cada una de las componentes es un grupo abeliano. Si G es abeliano, entonces cualquier subgrupo
de l tambin lo es, en particular Gi
= Gi es abeliano.
Definicin 6.1.7. Sean G un grupo y H1 , . . . , Hn subgrupos normales de G. Se dice que G es
el producto directo interno de H1 , . . . , Hn si G = H1 Hn y para cada i, 1 i n,
Hi (H1 Hi1 Hi+1 Hn ) = {1}.
Si G es abeliano y se usa la notacin aditiva, se acostumbra decir suma directa en vez de
producto directo. Se dice que (G, +) es la suma directa interna de los subgrupos H1 , . . . , Hn si
G = H1 + + Hn y para cada i, 1 i n, se tiene
Hi (H1 + + Hi1 + Hi+1 + + Hn ) = {0}.
Ejemplo 6.1.8. Sea
C6 = hai un grupo
cclico
de orden 6. Entonces C6 es el producto directo
de los grupos H = a3 = {1, a3 } y K = a2 = {1, a2 , a4 }. Claramente H K = {1}. Adems
a = a3 a4 ,
a2 = a0 a2 ,
a3 =a3 a0 ,
a4 = a0 a4 ,
a5 = a3 a2 .
Ejemplo 6.1.9. El grupo didrico D12 de las simetras de un hexgono regular es el producto
directo interno de los subgrupos normales H = {1, r2 , r4 , sr, sr3 , sr5 } y K = {1, r3 }. (Se deja
de ejercicio verificar que H y K son subgrupos normales). Los elementos restantes de D12 son
r2 r5 , r4 r3 , srr3 , sr3 r3 , sr5 r3 .
Ejemplo 6.1.10. Sea K un campo y sea G el conjunto de todas las matrices (aij ) GL2 (K)
tales que a21 = 0 y a11 = a22 :
a b
G=
| a, b K, a 6= 0 .
0 a
Es fcil verificar que G es un grupo con la multiplicacin usual de matrices. Considere los
siguientes subconjuntos de G:
1 b
H = {aI | a K, a 6= 0},
K=
|bK ,
0 1
donde I es la matriz identidad de 2 2. Entonces H, K E G y G es el producto directo interno
de H y K.
Ejemplo 6.1.11. Sea A una matriz real de m n. Entonces el grupo abeliano (Rm , +) es la
suma directa interna de los espacios columna y nulo izquierdo de A.
Ejemplo 6.1.12. Sea G1 , G2 grupos y sea G su producto directo. Entonces G es el producto
directo interno de los subgrupos normales G1 y G2 .
Dado que (a1 , a2 ) = (a1 , 1)(1, a2 ) vemos que G = G1 G2 . Si (a, b) G1 G2 , entonces
(a, b) = (x, 1) = (1, y), as que a = x = 1 y b = y = 1.
Teorema 6.1.13. Si H, K E G con H K = {1}, entonces hk = kh para toda las h H y
todas las k K.
Demostracin. Sean h H y k K. La normalidad de K implica que hkh1 K y como K es
un subgrupo (hkh1 )k 1 K. Usando la normalidad de H se concluye que h(kh1 k 1 ) H.
As h(kh1 k 1 ) H K = {1}, es decir hkh1 k 1 = 1 que es lo que se quera demostrar.
Teorema 6.1.14. Si G es el producto directo interno de los subgrupos normales H1 , . . . , Hn ,
entonces cada g G puede escribirse de manera nica como g = h1 h2 hn , donde hi Hi .
86
87
Ejemplo 6.1.21. Los grupos D6 y D8 son grupos sin descomposicin, es decir, no son productos
directos. Suponga por ejemplo, que D8 es el producto directo interno de H y K, donde 1 <
|H| , |K| < 8. Sin prdida de generalidad, supongamos que |H| = 2 y |K| = 4. Entonces D8
tendra que ser abeliano, D8
=H K
= Z2 Z4 .
Ejemplo 6.1.22. El grupo didrico D12 de las simetras de un hexgono regular s es un
producto directo.
Ejemplo 6.1.23. El grupo cclico C6 de orden 6 s es un producto directo de grupos. De hecho,
C6
= C2 C3 .
El grupo cclico C4 no es un producto directo pues si lo fuera, tendra que ser isomorfo al
producto directo de dos grupos cclicos cada uno de orden dos, lo cual implicara que C4 tiene
tres elementos de orden 2, lo cual no es cierto.
H K,
Ejemplo 6.1.24. El grupo cclico C27 no es un producto directo. Si lo fuera, C27 =
donde |H| = 3, 9. Cada elemento de H K tiene orden a los ms 9, lo cual no puede ser,
C27 tiene elementos de orden 27. Todo grupo simple es sin descomposicin, es decir, no es un
producto directo. El recproco no es cierto, como lo muestra este ejemplo.
Ms general, los p-grupos cclicos finitos son grupos sin descomposicin, es decir, no son
productos directos.
Suponga que G es cclico de orden pn con n 1. Si G fuera un producto directo, sera
isomorfo a un producto directo de la forma H = Cpr Cps , donde r + s = n y r, s > 0. Esto no
puede ser, pues cada elemento de H tiene orden a lo ms pmax{r,s} .
6.1.1.
Ejercicios
1) Sea G un grupo abeliano finito de orden mn, donde m y n son primos relativos. Pruebe que
G es isomorfo al producto directo de los subgrupos H = {g G | g m = 1} y K = {g G |
g n = 1}.
2) Sea G un grupo finito, y sean H, K subgrupos normales de G tales que G = HK y |G| =
|H| |K|. Pruebe que G es el producto directo interno de H y K.
3) Sea {G1 , G2 , . . . } una coleccin infinita de grupos y sea G el producto cartesiano de los Gi .
a) Pruebe que G con la multiplicacin
(ai )i1 (bi )i1 = (ai bi )i1
es un grupo, al que se le llama el producto directo externo de los grupos Gi s.
b) Sea H el subconjunto de G que consta de todas los elementos (ai )i1 G tales que
ai = 1Gi para toda i, excepto posiblemente, para un nmero finito de valores de i. Pruebe
que H E G.
4) Sea {Ai | i I} una familia arbitraria de conjuntos indexada por un conjunto
no vaco
Q
I. Recuerde que el producto cartesianoSde los conjuntos Ai , denotado por iI Ai , es el
conjunto de todas las funciones f : I iI Ai tales que f (i) Ai para todo i. Si f (i) = ai ,
escribimos f = (ai )iI .
Q
Sea {Gi | i I} una coleccin arbitraria no vaca de grupos y sea G = iI Gi el producto
cartesiano de los conjuntos Gi .
a) Pruebe que G es un grupo con la multiplicacin
(ai )iI (bi )iI = (ai bi )iI .
El grupo
iI
88
iI
Gi
Gk
L
5) Sea {Gi | i I} una familia arbitraria
no vaca de grupos abelianos. Sea
iI Gi el subQ
conjunto del producto directo iI Gi que consiste de todos los elementos (ai )iI tales que
ai = 1 para toda i, excepto posiblemente, para un nmero finito de ndices i.
L
Q
L
a) Pruebe que
Gi es un subgrupo del producto directo Gi . El grupo iI Gi es la suma
directa (externa) de los grupos abelianos Gi .
b) Sean H un grupo abeliano y { : Gi H}iI una familia
L de homomorfismos de Gi en H.
Pruebe que existe exactamente un homomorfismo :
i H tal que k = k
iI G
L
para toda k I, donde k es la inyeccin cannica de Gk en
Gi .
H
k
iI
Gi
Gk
.
=
H1 H2
H1
H2
8) Sean H y K subgrupos de un grupo G tales que hk = kh para toda h H y toda k K.
Suponga que G = HK y H K = {1}. Pruebe que G
= H K.
9) Pruebe que el centro de un producto directo de grupos es el producto directo de los centros:
Z(G1 Gn ) = Z(G1 ) Z(Gn ).
10) Pruebe que D10 el grupo didrico de las simetras de un pentgono regular no es un producto
directo no trivial.
11) Sean G1 y G2 grupos finitos y p un divisor primo del orden de G1 G2 . Pruebe que cualquier
p-subgrupo de Sylow de G1 G2 es de la forma P Q, donde P es un p-subgrupo de Sylow
de G1 y Q es un p-subgrupo de Sylow de G2 .
89
6.2.
En esta seccin se mostrar que todo grupo abeliano finito se descompone como un producto
directo de sus p-subgrupos de Sylow.
Sea G un grupo abeliano finito. Entonces cada subgrupo de G es normal; por lo tanto, G
tiene exactamente un p-subgrupo de Sylow para cada primo p que divida al orden de G. Si Gp
es el nico p-subgrupo de Sylow de G, en particular Gp es un p-subgrupo de orden pe , donde e
es la mxima potencia de p que divide al orden de G. De acuerdo con el Teorema 4.2.4, cada
elemento de Gp tiene orden una potencia de p, es decir,
Gp = {g G : |g| = pk para algn entero k 0}.
Nos referimos al p-subgrupo de Sylow Gp como la componente p-primaria de G.
Teorema 6.2.1 (Teorema de descomposicin primaria). Un grupo abeliano finito es el producto
directo de sus subgrupos de Sylow. Ms precisamente, sea G un grupo abeliano finito y sean
p1 , p2 , . . . , pr todos los primos que dividen al orden de G. Entonces G
= Gp1 Gpr .
e
Demostracin. Sea n = |G| = pe11 perr . Para cada j, 1 j n, sea mj = n/pj j . Resulta
que los nmeros m1 , . . . , mr son primos relativos; por tanto existen enteros s1 , . . . , sr tales que
m1 s1 + + mr sr = 1. Dado g G,
g = g m1 s1 g mr sr
e
como mj pj j = n, se tiene
p
ej
(g mj sj ) j = (g n ) j = 1
Q
Q
as que g mj sj Gpj . Sea g Gpi j6=i Gpj . Entonces g Gpi y g = j6=i gj , donde cada gj
Q
Q
l
Gpj . Sea m = j6=i |gj |. Como el orden de gj es una potencia de pj , se tiene que m = j6=i pjj
li
para enteros lj 0. Note que pi no divide a m. Por un lado, |g| = pi ; por otro lado, dado que
g m = 1, se tiene que |g| | m; luego li = 0 y g = 1. Esto completa la prueba.
Ejemplo 6.2.2. Los grupos abelianos finitos sin descomposicin, son precisamente los p-grupos
cclicos finitos. En efecto, si G es un p-grupo abeliano finito, entonces G tiene exactamente un
subgrupo de Sylow, a saber, G mismo.
Ejemplo 6.2.3. Denotemos con Ci el grupo cclico de orden i. Encuentre la descomposicin de
G = C2 C6 como producto de sus componentes p-primarias. Como |G| = 22 3, G tienes dos
componentes primarias, o lo que es lo mismo, tiene dos subgrupos de Sylow, uno de orden 4 y
otro de orden 3. Supongamos que C2 = hai y C6 = hbi, donde
a es
de orden 2 y b es orden 6. El
elemento (1, b2 ) claramente tiene orden 3. As que G3 = (1, b2 ) = {(1, 1), (1, b2 ), (1, b4 )}. Los
elementos de G2 son los elementos cuyo orden es una potencia de dos. El elemento (a, 1) tiene
orden dos y tambin el elemento (1, b3 ); tambin el elemento (a, b3 ) tiene orden dos. De hecho,
G2 = {(1, 1), (a, 1), (1, b3 ), (a, b3 }
pues el conjunto del lado derecho es un subgrupo de G (es cerrado bajo productos). Observe
que G2 es el 4-grupo de Klein y que G2
= Z2 Z2 . Se tiene entonces
C2 C6 = G2 G3
= (Z2 Z2 ) Z3
= Z2 Z2 Z3 .
90
2 de orden
dos. De
hecho G2 =2 {(1, 1), (a , 1), (1, b ), (a , b2 )}.
2
Se tiene entonces que G3 = (a , 1) y G5 = (1, b ) , ya que (a , 1) es de orden tres y (1, b ) es
de orden 5. Por lo tanto
C6 C10
= G2 G3 G5
= (Z2 Z2 ) Z3 Z5 .
k
bp = bp
n+kn
n pkn
=1
= bp
lo que implica que el orden de bp divide a pnk , de donde se sigue que pm pnk y por lo
tanto pm+k pn .
Lema 6.2.6. Sea G un p-grupo abeliano finito no cclico y sea a G de orden maximal. Si
b = b hai G/ hai es un elemento de orden pr , entonces existe b1 G de orden pr tal que
b hai = b1 hai.
r
Demostracin. Como hai = (b hai)p = bp hai se tiene que bp hai. Luego bp = an , donde
n 0. Note que
(b hai)|b| = b|b| = 1 hai = hai
b |b|.
Entonces el orden b hai en el grupo cociente es menor o igual
que
el
orden
b,
es
decir
pr
r
Por lo tanto si n = 0, se tiene que b = 1 y |b| p = b . En este caso se toma b1 = b.
r
Suponga ahora que n > 0. Se tiene que bp = an 6= 1. Escriba n = pk m, donde p - m.
m
Luego m y |a| son primos relativos y a es otro generador del grupo cclico hai y por lo tanto
|am | = |a|. El orden an es
|an | =
|a|
|a|
= k = pr1 k ,
k
mcd(p m, |a|)
p
r
91
Sin prdida de generalidad, se puede suponer que mi < |ai | (En general si |a| = n, dado
cualquier entero m, se escribe m = nq + r con 0 r < n y am = ar ). Reduciendo mdulo
ha1 i se tiene la siguiente igualdad en el grupo cociente
ha1 i = (a2 ha1 i)m2 (a3 ha1 i)m2 .
Como el producto es directo, la representacin de cada elemento es nica, y como 1 tambin
i
i
se escribe como 1 = a02 a03 , se tiene que am
= a0i , es decir am
= 1 para i = 2, 3. Luego
i
i
|ai | = |ai | | mi y como |ai | < mi , se concluye que mi = 0 para i = 2, 3. Pero entonces se tiene
1
que 1 = am
(si am = 1, tambin am = 1) y m1 = 0. Luego g = 1. El mismo razonamiento
1
1 m2 m3
prueba que si 1 = am
con 0 mi < |ai |, entonces mi = 0. Con esto queda probado
1 a2 a3
que G es el producto directo de los grupos cclicos generados por a1 , a2 y a3 .
Teorema 6.2.8 (Teorema de la descomposicin primaria). Sean p un primo y G un p-grupo
abeliano finito. Entonces
G
= Cpn1 Cpn2 Cpns ,
donde cada Cpni es un grupo cclico de orden pni . El producto directo es nico, excepto por el
orden de los factores. Ms precisamente, si los factores se ordenan de tal manera que n1 n2
ns y si se tiene otra descomposicin en grupos cclicos
G
= Cpk1 Cpk2 Cpkr
tal que k1 k2 kr , entonces s = r y ni = ki para toda i.
92
(*)
Sin perder generalidad, podemos suponer que mi < pri . Reduciendo mdulo H1 la ecuacin (*)
se obtiene
a2 m2 as ms = 1 = H1 .
Para cada i, 2 i s, la ecuacin anterior se reescribe
Y
ai mi =
aj mj
j6=i
93
Ejemplo 6.2.9. Liste todos los grupos abelianos distintos (salvo isomorfismos) de orden p5 .
Ser suficiente hallar todas sucesiones n1 , . . . , ns de enteros positivos tales que n1 n2
ns y n1 + + ns = 5. Entonces 1 s 5. Se tiene
5 = 5,
Zp5
5 = 1 + 4,
Zp Zp4
5 = 2 + 3,
Zp2 Zp3
5 = 1 + 1 + 3,
Zp Zp Zp3
5 = 1 + 2 + 2,
Zp Zp2 Zp2
5 = 1 + 1 + 1 + 2,
Zp Zp Zp Zp2
5 = 1 + 1 + 1 + 1 + 1,
Zp Zp Zp Zp Zp .
(6.1)
donde los pi son primos no necesariamente distintos. La expresin (6.1) es nica, salvo por
el orden de los factores.
2) (Descomposicin en factores invariantes) G es isomorfo a un producto
Zm1 Zm2 Zms
(6.2)
94
Para obtener la descomposicin en factores invariantes del grupo G a partir de la forma dada
en la parte 1) del Teorema 6.2.11, procedemos como sigue. Para cada primo que aparezca en el
orden del grupo, escriba todas las potencias de p, de la menor a la mayor, que aparecen en la
factorizacin de G. Mantenga alineado los extremos derechos de los renglones. Entonces
3
5
3
2
25
9
4
25
A continuacin se calcula el producto de los nmeros en cada columna. En el caso que nos ocupa
los nmeros son 15, 150 y 900.
3
5
15
3
2
25
150
9
4
25
900
Luego G
= Z15 Z150 Z900 .
Ejemplo 6.2.13. Como hay 3 maneras de descomponer a 3 como una suma de enteros positivos,
2 maneras de descomponer a 2 y solamente una manera de descomponer a 1, habr un total de
3 2 1 grupos abelianos de orden 360. Se tiene las seis posibilidades
Z8 Z9 Z5
Z8 Z3 Z3 Z5
Z2 Z4 Z9 Z5
Z2 Z2 Z2 Z9 Z5
Z2 Z4 Z3 Z3 Z5
Z2 Z2 Z2 Z3 Z3 Z5
Teorema 6.2.14. Sea G un grupo abeliano finito. Si m divide al orden de G, entonces G tiene
un subgrupo de ese orden m.
Demostracin. Se deja de ejercicio.
Observacin 6.2.15. El teorema anterior no necesariamente es cierto si G no es abeliano. Se
deja de ejercicio al lector verificar que el grupo alternante A4 no tiene subgrupos de orden 6.
Teorema 6.2.16. Sea G un grupo abeliano finito. Si el orden de G es libre de cuadrados,
entonces G es un grupo cclico.
mr
1
Demostracin. Sea G un grupo abeliano de orden n y sea n = pm
su factorizacin
1 pr
en primos distintos. Como n es libre de cuadrados, mi = 1, as que n = p1 pr . Cada psubgrupo de Sylow es cclico y como G es el producto de sus subgrupos de Sylow se tiene
G
= Zp1 Zpr
= Zp1 pr .
6.2.1.
Ejercicios
95
96
p primo
6.3.
Cuando se trabaja con grupos abelianos, es comn usar la notacin aditiva. En esa seccin
se usar la notacin aditiva para denotar a loos grupos abelianos. El siguiente diccionario entre
las notaciones multiplicativa y aditiva puede ser til al lector.
Notacin multiplicativa
Notacin aditiva
ab
a1
1
an
ab1
m+n
a
= am an
m
(ab) = am bm
HK
aH
a+b
a
0
na
ab
(m + n)a = ma + na
m(a + b) = ma + mb
H +K
a+H
Definicin 6.3.1. Sea G un grupo abeliano. Una familia no vaca X = {xi }iI de elementos de
G es una base
P para G si cada elemento de G tiene una expresin nica como una combinacin
lineal g =
mi xi , con mi Z y mi = 0 para casi toda i. Se dice que un grupo abeliano es libre
si tiene una base.
P En general una combinacin lineal (sobre Z) de los elementos de X es una expresin del tipo
mi xi , donde mi Z y mi = 0 para casi toda i.
Ejemplo 6.3.2. Sea G el conjunto de todos los polinomios en la indeterminada x con coeficientes
en Z, i.e., G = Z[x]. Entonces G es un grupo abeliano con respecto a la suma usual de polinomios.
El conjunto {xn }n0 es una base de G.
Observacin 6.3.3. Observe que si G tiene una Z-base, entonces G debe ser infinito. Por
ejemplo, si X es una base, se toma x X y por definicin de base el conjunto {nx | n Z} es
infinito.
Teorema 6.3.4. Sea G un grupo abeliano y X una familia no vaca de elementos de G. Entonces
X es una base de G si y solamente si
1) G = hXi
97
mx x = 0
xX
98
Ejemplo 6.3.10. Considere el grupo infinito G = Z2 Z. El conjunto {(1, 0), (0, 1)} es un
conjunto generador pues (a, b) = a(1, 0) + b(0, 1), pero no es una base pues 2(1, 0) + 0(0, 1) =
(0, 0). Equivalentemente, los elementos de G no se escriben en forma nica:
(0, 1) = 2(1, 0) + 1(0, 1) = 4(1, 0) + 1(0, 1).
De manera similar, el conjunto {(0, 1), (1, 1)} es un conjunto generador:
(a, b) = (a b)(1, 0) + b(1, 1),
pero tampoco es una base para G; por ejemplo (1, 5) tiene al menos dos representaciones diferentes en trminos: (1, 5) = 4(1, 0) + 5(1, 1) = 2(1, 0) + 5(1, 1).
De hecho G no es libre, es decir, no tiene bases. Para ver esto, suponga que X una base. Por
definicin de base, (1, 0) se escribe en forma nica como una combinacin lineal de los elementos
de la base, digamos que (1, 0) = m1 x1 + +mr xr , donde algn mi 6= 0 y x1 , . . . , xr son elementos
distintos de X. Como (1, 0) = 3(1, 0), entonces (1, 0) = 3(1, 0) = (3m1 )x1 + + (3mr )xr , y se
tiene dos representaciones distintas del mismo elemento.
Ejemplo 6.3.11. Consideremos el anillo de los enteros gaussianos Z[i] = {a + bi | a, b Z}.
El conjunto X = {1, i} genera al grupo aditivo (Z[i], +) pues a + bi = a 1 + b i; adems este
conjunto es Z-linealmente independiente pues si a + bi = 0, entonces a = 0 = b. Luego (Z[i], +)
es un grupo libre.
Ejemplo 6.3.12. Sea V un espacio vectorial real de dimensin 2 y sea v1 , v2 V R-linealmente
independientes. El conjunto
G = {a1 v1 + a2 v2 : a1 , a2 Z},
es un grupo abeliano libre. Una base es {v1 , v2 }. Por ejemplo si V = R2 , y v1 = (1, 1) y
v2 = (1, 1), entonces G = {(a + b, a b) : a, b Z}.
Teorema 6.3.13. Si G es un grupo abeliano libre con una base finita de n elementos, entonces
G es isomorfo a Zn .
Demostracin. Suponga que X = {x1 , . . . , xn }. Defina : Zn G por (m1 , . . . , mn ) = m1 x1 +
+ mn xn . Se ve fcilmente que es un homomorfismo de grupos. Dado g G, escriba g en
trminos de la base X, digamos g = m1 x1 + + mn xn . Entonces g = (m1 , . . . , mn ) y es
sobre. Si m1 x1 + + mn xn = 0, usando que X es Z-linealmente independiente, se concluye
que mi = 0 para toda i, es decir ker = {(0, . . . , 0)}. Esto completa la prueba.
El teorema anterior es un caso particular del siguiente teorema, para el cual se requiere el
concepto de suma directa arbitraria de grupos abelianos.
Teorema 6.3.14. Si G es un grupo abeliano libre y X es una base para G, entonces G
=
L
Z
,
donde
Z
=
Z
para
todo
x
X.
x
x
xX
Demostracin. Para cada x X, la funcin x : Zx G dada por x (m) = mx es un homomorfismo de grupos: x (m+n) = (m+n)x = mx+nx = x (m)+x (n). Por lo tanto,
L de acuerdo
con la propiedad universal de la suma
directa,
existe
un
nico
homomorfismo
:
xX Zx G
L
tal que x = x , donde x : Zx xX Zx es la inyeccin cannica. De hecho,
X
X
((mx )xX ) =
x (mx ) =
mx x.
xX
xX
P
Como X es una base, cada g g se escribe de la forma
P g = xX mx x, as que ((mx )xX ) = g
y es suprayectiva. Sea (mx )xX ker ; entonces xX mx x = 0 y X es una base se concluye
que mx = 0 y por lo tanto (mx )xX = 0 y es inyectiva.
99
G como antes
xX
X
((mx )xX ) =
mx x
xX
La suma en el lado derecho es finita, pues mx = 0 para casi toda x. Es inmediato que es un
homomorfismo de grupos
((mx )xX + (nx )xX ) = ((mx + nx )xX )
X
=
(mx + nx )x
xX
(mx x + nx x)
xX
mx x +
xX
nx x
xX
Ejemplo 6.3.15. En un ejemplo anterior se muestra que el grupo aditivo (Z[i], +) es un grupo
libre y que {1, i} es una base. Por lo tanto, se tiene el siguiente isomorfismo de grupos Z[i]
= ZZ.
Ejemplo 6.3.16. Segn se mostr en un ejemplo
anterior, el grupo abeliano Z[x] es libre y una
L
base es {1, x, x2 , . . . }. Por lo tanto, Z[x]
Z.
= n0
Tenemos la siguiente propiedad universal de los grupos abelianos libres. Se presenta primero
la versin cuando G tiene una base con un nmero finito de elementos. Se puede prescindir de
este teorema y pasar a la versin general, en la que se usa el concepto de suma directa arbitraria
de grupos abelianos.
Teorema 6.3.17 (Propiedad universal de los grupos abelianos libres). Sea X = {x1 , . . . , xn }
una base para un grupo abeliano libre G. Dado cualquier grupo G0 y cualquier funcin f : X G0
existe exactamente un homomorfismo de grupos : G G0 tal que |X = f , es decir, tal que
el siguiente diagrama conmuta:
j
G0
donde j : X G es la funcin inclusin.
Demostracin. Cualquier g G tiene una representacin nica de la forma g = m1 x1 + . . . +
mn xn . Defina : G G0 por
(m1 x1 + + mn xn ) = m1 f (x1 ) + + mn f (xn ).
100
n
X
i=1
n
X
mi f (xi ) +
i=1
n
X
m0i f (xi )
i=1
= (g) + (g 0 ).
Pn
Note
1. Entonces (j(xj )) = (xj ) =
Pn que xj = i=1 mi xi , donde mi = 0 si i 6= j y mj =
0
i=1 mi f (xi ) = f (xj ) y j = f . Suponga que : G G es un homomorfismo de grupos tal
que j = f . Para cada i se tiene
(xi ) = (j(xi )) = f (xi ) = (j(xi )) = (xi ).
Dado que es un homomorfismo se tiene
X
X
X
X
mi xi =
mi xi .
mi (xi ) =
mi (xi ) =
As que (g) = (g) para todo g G.
A continuacin se tiene una versin ms general de la propiedad universal de los grupos
abelianos libres.
Teorema 6.3.18 (Propiedad universal de los grupos abelianos libres). Sea X una base para
un grupo abeliano libre G. Dado cualquier grupo abeliano H y cualquier funcin f : X H
existe exactamente un homomorfismo de grupos : G H tal que |X = f , es decir, tal que
el siguiente diagrama conmuta:
j
H
donde j : X G es la funcin inclusin.
P
Demostracin. Si g G, g = xX mx x. Defina : G H por
!
X
X
mx x =
mx f (x).
xX
xX
P
Es inmediato que es un homomorfismo de grupos. Cada y X, y = xX mx x, P
donde my = 1
y mx = 0 si x 6= y. Por definicin, para cualquier y X, (j(y)) = (y) = xX mx x =
my f (y) = f (y) y queda demostrado que j = f . Si : G H es otro homomorfismo de
grupos tal que j = f , se tiene
(x) = (j(x)) = f (x) = (j(x)) = (x).
Como X genera a G, se sigue que (g) = (g) para todo g G, y queda probado la unicidad
de .
101
Teorema 6.3.19. Sea G un grupo abeliano libre con una base finita. Entonces toda base de G
es finita y cualesquiera dos bases tienen el mismo nmero de elementos.
Demostracin. Sea {x1 , . . . , xn } una base para G. De acuerdo con el Teorema 6.3.18, existe
exactamente un homomorfismo : G Zn /(2Z)n tal que (xi ) = ei + (2Z)n , donde ei es el
vector unitario que tiene 1 en la posicin i y 0 en cualquier
otra posicin. De hecho, (m1 x1 +
P
+ mn xn ) = (m1 , . . . , mn )P
+ (2Z)n . Por
lo
tanto
m
x
(mi Z)
mx x =
s
X
i=1
xX
mxi xi +
mx x H + K.
xX{x1 ,...,xs }
Adems, si g H K, entonces
g=
n
X
mxi xi =
i=1
mx x.
xX{x1 ,...,xs }
de donde
n
X
mxi xi +
i=1
(mx )x = 0.
xX{x1 ,...,xs }
Como X es una base, se sigue que mx = 0 para todo x. As H K = {0}. Luego G es la suma
directa de H y K. Tambin se tiene que 2G es la suma directa de 2H y 2K. Si g = h + k, donde
h H, k K, entonces 2g = 2h + 2k y 2g 2H + 2K. Si 2g (2H) (2K),
2g =
n
X
i=1
2mxi xi =
X
xX{x1 ,...,xs }
2mx x.
102
razonando igual que antes se concluye que 2mx = 0 para toda x, y por tanto mx = 0 para todo
x. En consecuencia, se tiene
K
G H K H
.
=
=
2G
2H 2K
2H
2K
Como G tiene un base finita, la cardinalidad de G/2G es finita y de hecho es 2n . Como la
|H/2H| = 2s , se tiene que n s. Esto implica que X tiene que ser un conjunto finito, pues de
otra manera, sera posible escoger s > n.
Definicin 6.3.20. Un grupo abeliano libre es de rango finito si tiene una base finita. El rango
de un grupo abeliano libre de rango finito, es el nmero de elementos en una base de G.
A continuacin analizamos como se relacionan dos bases de un grupo abeliano libre de rango
finito.
Una matriz cuadrada con entradas enteras cuyo determinante es 1 se dice que unimodular.
Teorema 6.3.21. Sea G un grupo abeliano libre de rango n con base {x1 , . . . , xn }. Sea A
Znn . Los elementos
n
X
aij xi j = 1, . . . , n
yj =
i=1
n
X
(1 j n).
bkj yk ,
k=1
k=1
i=1
i=1
i=1
k=1
Como X es una base y la representacin en trminos de una base es nica, se tiene que
[AB]ij = ij = [I]ij ,
donde ij es la delta de Kronecker. Esto implica que AB = I y tanto A como B son invertibles,
pues su determinante es distinto de cero. Todava ms, dado que las entradas de A y B son
nmeros enteros, det(A) y det(B) son nmeros enteros as que det(A) = det(B) = 1. Esto
prueba que A es unimodular.
Recprocamente,
suponga que A es unimodular, es decir, det(A)P= 1. Veamos Y P
genera a G.
P
n
n
Sea g =
mj xj G y veamos que existen enteros c1 , . . . , cn tales k=1 ck yk = g = j=1 mj xj .
Se tiene
!
n
n
n
n
n
X
X
X
X
X
ck
ajk xj =
ajk ck xj =
mj xj .
k=1
j=1
j=1
k=1
j=1
103
Como A es invertible, el sistema de ecuaciones anterior tiene solucin y adems nica. Por otro
lado, la regla de Cramer muestra que
Pnlas soluciones son enteras. Si hacemos mi = 0 en el sistema
de ecuaciones anterior, vemos que k=1 ck yk = 0 implica que ck = 0 para toda k {1, 2, . . . , n},
probando as que Y tambin es linealmente independiente.
Ejemplo 6.3.22. Sea G = Z Z con la base X = {(1, 0), (0, 1)}. Sea Y ={(2, 1),
(4, 1)}.
2 4
Note que (2, 1) = 2(1, 0) + (0, 1) y (4, 1) = 4(1, 0) + 1(0, 1), por lo que A =
. Como
1 1
det(A) = 2, se concluye que Y no
base para G. Por otro lado, (2, 1) = 2(1, 0) + (0, 1)
es una
2 3
= 1, se concluye que {(2, 1), (3, 1)} s es una base
y (3, 1) = 3(1, 0) + (0, 1), y como
1 1
para G.
A continuacin mostraremos que todo subgrupo no trivial de un grupo abeliano libre de
rango finito tambin es un grupo abeliano libre y que su rango no excede al rango del grupo.
Ejemplo 6.3.23. Considere el grupo abeliano libre G = Z Z con las bases Y1 = {(1, 0), (0, 1)}
y Y2 = {(1, 8), (0, 1)}. Sea H = 5Z 0. Dado h H, este se puede escribir en trminos de Y1 y
Y2 en formas diferentes. Por ejemplo, si h = (10, 0),
h = 10(1, 0) + 0(0, 1) = 10(1, 8) + (80)(0, 1).
Esto en realidad es obvio. Si las bases son diferentes, se espera que las coordenadas de h H
con respecto a una base sean diferentes de las coordenadas con respecto a otra base.
Teorema 6.3.24. Sea G un grupo abeliano libre de rango finito n, y sea H un subgrupo no
nulo de G. Entonces H es un grupo abeliano libre de rango s n. Ms an, existe una base
x1 , . . . , xn de G y enteros positivos m1 , . . . , ms , donde mi divide a mi+1 para i = 1, . . . , s 1,
tales que {m1 x1 , . . . , ms xs } es una base para H.
Demostracin. Por induccin sobre n. Si n = 1, entonces G es cclico y cualquier subgrupo H
de G es cclico. Si G est generado por x, entonces H debe ser de la forma mx.
Sea Y = {y1 , . . . , yn } una base de G, donde n > 1; cada h H distinto de cero, se expresa en
la forma h = m1 y1 + + mn yn , con algn |mi | distinto de cero. Evidentemente los coeficientes
mi dependen tanto de h como de la base Y . Para ser ms precisos, se debe escribir
h = m1 (h, Y )y1 + + mn (h, Y )yn .
De esta manera, cada h H, h 6= 0, produce un vector de enteros no negativos
(|(m1 (h, Y )| , . . . , |mn (h, Y )|) 6= (0, . . . , 0)
De entre todas las bases posibles para G, escoja aquella base en la que se alcance el menor
entero positivo |mi | que aparezca como coeficiente de los elementos no cero de h H. Sea m1
este mnimo. En smbolos
m1 = mn{|mi (h, Y )| : Y base de G, h H, h 6= 0 |mi (h, Y )| > 0, i = 1, . . . , n, }
Si fuera necesario, reordene los elementos de la base, de tal manera que el menor coeficiente
posible aparezca en la primera coordenada. Sea h H tal que
h = m1 y1 + m2 y2 + + mn yn .
Usando el algoritmo de la divisin, para j 2, escriba mj = m1 qj + rj donde 0 rj < m1 .
Entonces
X
h = m1 y1 +
(m1 qj + rj )yj = m1 (y1 + q2 y2 + + qn yn ) + r2 y2 + + rn yn .
j2
104
1 0 0
q2 1 0
..
.. .
..
.
. .
qn
Por la forma en que se seleccion la base Y , y dado que rj < m1 para j 2, se concluye que
rj = 0 y por lo tanto h = m1 x1 . Sea H1 el subgrupo de G generado por m1 x1 ; escribiendo los
elementos de H en trminos de esta nueva base, sea
H2 = {a1 x1 + a2 y2 + + an xn H | a1 = 0} = H G2 G2 ,
donde G2 = hy2 , . . . , yn i es el grupo abeliano libre generado por y2 , . . . , yn . Es claro que H1
H2 = {0}. Veamos que H = H1 +H2 . Como H1 , H2 H, se tiene la inclusin obvia H1 +H2 H.
Escribiendo h H, en trminos de la base {x1 , y2 , . . . , yn } se tiene
h = a1 x1 + a2 y2 + + an yn .
Por el algoritmo de la divisin a1 = m1 q + r, donde 0 r < m1 . As que
h q(m1 x1 ) = rx1 + a2 y2 + + an yn .
Como h y m1 x1 son elementos de H, entonces h q(m1 x1 ) tambin es un elemento de H;
como r < m1 y m1 es el valor del coeficiente ms pequeo que puede aparecer como primera
coordenada, se sigue que r = 0 y h H1 +H2 . Ahora bien, H2 es un subgrupo del grupo abeliano
libre G2 cuyo rango es n 1. Por induccin existen una base {x2 , . . . , xn } de G2 y enteros
m2 , . . . , ms con mi | mi+1 para i = 2, . . . , s 1, de tal manera que
Ps{m2 x2 , . . . , ms xs } es una
base de H2 . Dado h H, h = h1 +h2 , donde h1 = a1 (m1 x1 ) y h2 = i=2 ai (mi xi ), probando as
que {m1 x1 , . . . , ms xs } es un conjunto generador para H. Este conjunto tambin P
es linealmente
independiente pues si a1 (m1 x1 ) + + as (ms xs ) = 0, entonces a1 (m1 x1 ) = aj (mj xs )
H1 H2 = {0}, de donde se sigue que a1 (m1 x1 ) = 0 = a2 (m2 x2 ) + + as (ms xs ) y el resultado
se sigue. As {m1 x1 , . . . , ms xs } es una base para H. Como {x2 , . . . , xn } y {y2 , . . . , yn } son bases
de G2 , escribiendo las xi s en trminos de las yj s
x2 = a22 y2 + + an2 yn
x3 = a23 y2 + + an3 yn
..
.
xn = a2n y2 + + ann yn
se concluye que la matriz A0 = (aij ) Z(n1)(n1) es una matriz cuyo determinante es 1.
Luego,
{x1 , x2 , . . . , xn } se relacionan con la base {x1 , y2 , . . . , yn } via la matriz
los elementos
1 0
A =
, cuyo determinante es 1, por lo que queda probado que {x1 , . . . , xn } es una
0 A0
base de G.
Falta ver que m1 | m2 . Para esto, si m2 = m1 q + r, entonces m1 x1 + m2 x2 = m1 (x1 + qx2 ) +
rx2 . Ahora bien, la coleccin {x1 + qx2 , x2 , . . . , xn } es una base de G y m1 x1 + m2 x2 H, se
sigue que r = 0.
Observacin 6.3.25. Cada subconjunto de Zn de la forma
m1 Z m2 Z mn Z
(6.3)
105
=
m1 Z ms Z 0 0
n
X
i=1
n
X
i=1
s
X
pij xi ,
j = 1, . . . , n
(6.4)
sij ui ,
j = 1, . . . , s
(6.5)
qij vi ,
j = 1, . . . , s
(6.6)
i=1
Las matrices P = (pij ) Znn y Q = (qij ) Zss matrices unimodulares, y la matriz S Zss
es diagonal y sii = mi . Sustituyendo (6.5) y (6.4) (en ese orden) en (6.6), se obtiene
yj =
=
s
X
qkj vk =
s
X
k=1
n
X
k=1
s X
n
X
i=1
k=1 l=1
qkj
n
X
slk ul =
l=1
!
pil slk qkj
xi =
s
X
qkj
k=1
n
X
n
X
slk
l=1
[P SQ]ij xi .
i=1
(G, {zi })
(G, {xi })
1
(G, {ui })
n
X
i=1
pil xi
106
Las columnas de la matriz Q1 = [z1 , . . . , zn ] constituyen una base de G tal que (zi ) =
mi ui .
La forma normal de Smith provee una herramienta para encontrar una base como la que
describe el Teorema 6.3.24.
Considere el anillo R = Zmm . Si decimos que A R es invertible quiere decir que A es
una unidad en el anillo R, es decir que existe B R tal que AB = BA = I. Equivalentemente,
A R es invertible si y solamente si det(A) = 1.
Teorema 6.3.27 (Forma normal de Smith). Para cada matriz A Zmn existen matrices
unimodulares P Zmm y Q Znn , y una matriz diagonal D = diag(m1 , . . . , ms ), donde
m1 1, mi | mi+1 para i = 1, . . . , s 1, tales que
D 0
A = P SQ = P
Q
0 0
A la matriz S se le conoce como la forma normal de Smith de A.
Demostracin. Se omite la prueba.
Sea H un subgrupo no nulo del grupo libre Zn . Entonces H es libre de rango s n. Sea
{y1 , . . . , ys } una base para H. Viendo los elementos de Zn como vectores columna, vemos que
H est generado por las columnas de la matriz entera A = [y1 , . . . , ys ] Zns . Completando
con columnas de ceros, podemos suponer que A es una matriz entera de n n, i.e., A =
[y1 , . . . , ys , 0, . . . , 0]. En general, dada una matriz B Zmn , la funcin B : Zn Zm dada
por B (x) = Bx es homomorfismo de grupos. De esta manera,
H = {a1 y1 + + as ys | a1 , . . . , as Z} = Im A .
Sean P y Q matrices unimodulares y S una matriz diagonal tal que A = P SQ.
Zn
Zn
Zn
P
Zn
107
(Zn , {ei })
(Zn , {ei })
(Zn , {zi })
(Zn , {xi })
1 3 0
4 1 0
1 0 0
1
2 0
A = 2 1 0 = 3 1 0 0 5 0 1 1 0 = P SQ.
1 2 0
1 0 1
0 0 0
0
0 1
Las columnas de P = [x1 , x2 , x3 ] constituyen una base para Z3 de tal manera que x1 , 5x2 es una
base para H. As
* 1 3 + * 4 5 +
H = 2 , 1 = 3 , 5 .
1
2
1
0
1
2
= 1. Se tiene por tanto
Observe que y1 = x1 + 5x2 y y2 = 2x1 (5x2 ) y que
1 1
Z3
= Zx1 + Zx2 + Zx3
H
= Zx1 + 5Zx2 + 0Zx3 .
Note que el homomorfismo determinado por H es : Z3 Z3 dado por
a + 3b
a
b = 2a + b
a + 2b
c
1 2 0
La inversa de Q es Q1 = 1 1 0 = [z1 , z2 , z3 ]. Entonces (z1 ) = x1 , (z2 ) = 5x2 y
0 0 1
(z3 ) = 0, de tal manera que la matriz de con respecto a las {z1 , z2 , z3 } y {x1 , x2 , x3 } es
precisamente la matriz S.
Una vez que conocemos estas bases para Z3 y H, el grupo cociente G/H se calcula fcilmente:
Z3 Z Z Z
=
= Z1 Z5 Z0
= Z5 Z.
H
Z 5Z 0
Ejemplo 6.3.29. Si ahora H es el subgrupo
entera
5
A= 4
1
La forma normal de Smith de A es la
3 2 1
A = 0 1 0
1 0 0
1
2 .
1
matriz S a continuacin
1 0 0
1
2
1
0 2 0 2
1 1 = P SQ.
0 0 10
0 1
0
108
Si P = [x1 , x2 , x3 ] y S = [e1 , 2e2 , 10e3 ], entonces {x1 , x2 , x3 } es un base de Z3 de tal manera que
{x1 , 2x2 , 10x3 } es una base para H. Luego Z3
= Zx1 + Zx2 + Zx3 y H = Zx1 + 2Zx2 + 10Zx3 .
El grupo cociente es
Z3 Z Z Z
=
= Z/1Z Z/5Z Z/10Z
= Z2 Z10 .
H
Z 2Z 10Z
Ejemplo 6.3.30. Sea H = 2Z 3 Z5. Por un lado se tiene
ZZZ
= Z2 Z3 Z5 .
2Z 3 Z5 Z
Por otro lado, H est generado por las columnas de la matriz A = [2e1 , 3e2 , 5e3 ] cuya forma
normal de Smith es la matriz S a continuacin:
2 0 0
4 10 1
1 0 0
2
0
5
3 20 = P SQ
A = 0 3 0 = 0 9 1 0 1 0 10
0 0 5
5
10
1
0 0 30
3 1
6
De esta manera
ZZZ
= Z1 Z1 Z30
= Z30 .
Z Z 30Z
Esto obviamente es consistente con el hecho de que 2, 3 y 5 son primos relativos.
6.4.
En esta seccin se estudian los grupos abelianos finitamente generados; estos incluye a los
grupos abelianos finitos y a los grupos abelianos libres de rango finito.
Un grupo abeliano G est finitamente generado si existe un conjunto finito x1 , . . . , xn tal
que cada elemento de G se expresa en la forma g = m1 x1 + + mn xn , donde m1 , . . . , mn Z.
Ejemplo 6.4.1. Todo grupo finito (aunque no sea abeliano) est finitamente generado.
Ejemplo 6.4.2. El grupo libre Z Z es finitamente generado:
(a, b) = (a, 0) + (0, b) = a(1, 0) + b(0, 1),
a, b Z.
De hecho, todo grupo abeliano libre de rango finito est finitamente generado.
Ejemplo 6.4.3. El grupo G = Z2 Z es un grupo abeliano finitamente generado, que no es ni
finito ni libre, que est finitamente generado. Un conjunto generador es {(1, 0), (0, 1)}, ya que
(m, n) = m(1, 0) + n(0, 1) para cualquier (m, n) G.
Teorema 6.4.4. Sean G un grupo abeliano finitamente generado
Pm y {x1 , . . . , xm } un conjunto
generador. La funcin : Zm G dada por (a1 , . . . , am ) = i=1 ai xi es un epimorfismo de
grupos.
Demostracin. Por la propiedad universal de los grupos abelianos libres, la funcin : Zm G
es un homomorfismo de grupos. Es suprayectivo pues cada elemento de G se escribe como una
Z-combinacin lineal de x1 , . . . , xm .
Teorema 6.4.5 (Teorema fundamental de los grupos abelianos finitamente generados). Todo
grupo abeliano finitamente generado es isomorfo a un grupo de la forma
Zm1 Zm2 Zms Zr
(6.7)
109
Demostracin. Sea G un grupo abeliano finitamente generado por m elementos. Sea H el ncleo
del epimorfismo natural : Zm G. Si H = 0, entonces, es un isomorfismo G
= Zm .
m
Si H 6= 0, de acuerdo con el Teorema 6.3.24, existe una base x1 , . . . , xm para Z y enteros
positivos d1 , . . . , dk tales que {d1 x1 , . . . , dk xk } es una base para H, y di | di+1 . Es claro que H
es una suma directa de los subgrupos Hi , donde Hi = hdi xi i para i = 1, . . . , k y Hi = 0 para
i > k. As H
= d1 Z dk Z 0 0 Aplicando el primer teorema de isomorfismo se
concluye que G es isomorfo con
Z Z Z
Zm
=
= Zd1 Zd2 Zdk Z Z
H
d1 Z d2 Z dk Z 0 0
Puede suceder que d1 = 1, en cuyo caso Z/Z
= Z1 = {0} y puede eliminarse del producto.
Haciendo m1 la primera di > 0, el teorema se sigue.
El siguiente resultado establece que todo subgrupo de un grupo abeliano finitamente generado
es finitamente generado.
Corolario 6.4.6. Sea G un grupo abeliano finitamente generado. Si H es un subgrupo de G,
entonces H es finitamente generado y el nmero de generadores no excede al nmero de generadores de G.
Demostracin. Suponga que G es un grupo finitamente generado, digamos por m elementos. De
acuerdo con el Teorema 6.4.4, existe un epimorfismo : Zm G. Se tiene que 1 (H) es un
subgrupo de Zm y por lo tanto est finitamente generado, digamos por y1 , . . . , yk , donde k m.
Los elementos (y1 ), . . . , (yk ) generan a la imagen de 1 (H). como es un epimorfismo,
(1 (H)) = H y H es finitamente generado.
Ejemplo 6.4.7. Consideremos los subgrupos H1 = 2Z 0 4Z y H2 = 6Z 4Z 10Z del
grupo libre Z Z Z. Entonces
G
ZZZ
=
= Z/2Z Z Z/4Z
H1
2Z 0 4Z
ZZZ
G
=
= Z/6Z Z/4Z Z/10Z.
H2
6Z 4Z 10Z
De tal manera que G/H1 es infinito y G/H2 es finito y su orden es 240.
Si H el subgrupo de G generado por {y1 , y2 , y3 }, donde
y1 = (5, 4, 1),
y2 = (0, 2, 2),
y3 = (1, 2, 1).
Zn
Zm
P
Zm
110
1 3
2 1
1 2
La forma normal de Smith de A es
4
A = P SQ = 3
1
1
1
0
0
1
0 0
1
0
0
1
5
1
0
2
1
Z3 Z3 Z Z Z
=
=
= Z1 Z5 Z0
= Z5 Z.
ker
Im S
Z 5Z 0
Ejemplo 6.4.9. Si ahora H es el subgrupo de Z3 generado por las columnas de la matriz entera
5 0 1
A = 4 2 2 .
1 2
1
La forma normal de Smith de
3
A= 0
1
A es
2
1
0
1
1
0 0
0
0
0
2
0
0
1
0 2
10
0
2
1
1 1 .
1
0
y2 = (3, 1, 2),
y3 = (1, 1, 1).
1
A= 3
1
2 1
1
2
1
1
6.4.1.
111
Ejercicios
1) Sean G y H grupos abelianos libres de rango finito. Pruebe que G H es un grupo abeliano
libre de rango finito.
2) Pruebe que si G y H son dos grupos abelianos libres, entonces G H es un grupo abeliano
libre.
3) Sea G un grupo abeliano finitamente generado tal que ningn elemento distinto de cero es
de orden finito. Pruebe que G es libre.
4) Sea {x, y, z} una base para el grupo abeliano libre G y sea H el subgrupo de G generado por
{2x + y z, 2x + y 18z, x}. Determine la cardinalidad del grupo cociente G/H.
5) Sea G es un grupo abeliano y m un entero positivo.
a) Pruebe que G[m] = {g G | mg = 0} es un subgrupo de G.
b) Pruebe que Zpn [p]
= Zp para cualquier n 1 y cualquier primo p.
c) Pruebe que
(Zpe1 Zpe2 Zpes ) [p]
= Zp Zp Zp = Zsp ,
{z
}
|
s factores
donde ei 1.
6) Sea G un grupo abeliano finitamente generado y sea Gp el subgrupo de G formado por
aquellos elementos cuyo orden es una potencia de p, donde p es un primo. Si
Gp
= Zpm1 Zpm2 Zpms
= Zpn1 Zpn2 Zpnt ,
donde 1 m1 ms y 1 n1 nt . Pruebe que s = t y que mi = ni para toda i
(Sugerencia: Considere pmi Gp ).
2 0
1 1
7) Sea G el grupo multiplicativo generado por las matrices reales a =
yb=
. Si
0 1
0 1
H es el conjunto de todas las matrices en G cuya diagonal principal tiene todas sus entradas
igual a 1, entonces H es un subgrupo que no es finitamente generado.
8) Sea G un grupo abeliano finitamente generado en el cual ningn elemento (excepto el 0) tiene
orden finito. Entonces G es un grupo abeliano libre.
9) Pruebe lo siguiente:
a) Pruebe que el grupo aditivo de los nmeros racionales Q no es finitamente generado.
b) Pruebe que Q no es libre.
c) Concluya que el ejercicio anterior es falso si la hiptesis finitamente generado es omitida.
112
CAPTULO
Grupos libres
En este captulo se introduce la teora bsica de los grupos libres. A travs de estos se estudian
los generadores de los grupos y las relaciones entre stos. A partir de los grupos libres se pueden
construir grupos mediante lo que se conoce como generadores y relaciones.
7.1.
Grupos libres
Sea G un grupo y sea X G. Recuerde que el grupo G est generado por X si cada elemento
de G se puede escribir como un producto finito de elementos de X y de sus inversos (se adopta
la convencin de que el producto vaco es el elemento identidad). Los generadores de G son los
elementos de X. Si existe un conjunto finito de elementos que genera a G, se dice que G es
finitamente generado.
Observe que todo grupo est generado por s mismo. Lo interesante es saber si dado un grupo
arbitrario G existe un subconjunto propio de G que lo genere.
Si empezamos con un conjunto X, nos podemos preguntar Existe algn grupo G del cual
X sea un conjunto generador? La respuesta es s. Dado un conjunto X vamos a construir un
grupo G que sea libre en X y que tenga a X como generador.
La idea bsica de un grupo libre F (X) generado por un conjunto X es que no existen
relaciones entre los elementos de X, es decir, X es libre de relaciones.
Si X es el conjunto vaco, sea F (X) el grupo trivial que consiste de un solo elemento, i.e.,
F (X) = {1}. Si X 6= , se introducen los inversos de los elementos de X de la siguiente manera.
Se escoge un conjunto ajeno a X, el cual ser denotado por X 1 , que tenga la misma cardinalidad
que X (por ejemplo, X {1}) y se selecciona una biyeccin X X 1 ; se denota la imagen
de x X por x1 . De manera similar, si y X 1 , se denota por y 1 al nico elemento de
X tal que y 1 7 y. De esta manera, si se empieza con x X, entonces x1 X 1 y por
lo tanto (x1 )1 = x. Nos referimos al conjunto conjunto X X 1 como el alfabeto y los
elementos de la unin como las letrasletras. Una palabra es una cadena finita de letras escritas,
no necesariamente distintas, en yuxtaposicin, es decir una sucesin finita de letras escritas una
continuacin de la otra. Si se necesita especificar la posicin de una letra en una palabra, el
conteo se hace empezando por la izquierda. Por ejemplo, si X = {x1 , x2 , x3 } las siguientes son
palabras
1
x1 x3 x3 x1
1 x2 ,
x 3 x1 x2 ,
x 2 x1 x3 ,
113
1
x1 x1
1 x2 x2 x2 ,
x 1 x3 x1 .
114
7. Grupos libres
En la primera palabra, x1
aparece en la cuarta posicin. La palabra vaca es la palabra que
1
no tiene letras. Esta palabra se denota con el smbolo 1. Por cuestiones de simplicidad solo
consideremos palabras reducidas. Se dice que una palabra est reducida si ninguna letra tiene
exponente cero y las letras consecutivas que sean iguales se escriben en forma reducida utilizando
el exponente adecuado y que no tiene cancelaciones entre trminos adyacentes. Por ejemplo, la
palabra que aparece en el lado derecho es la versin reducida de la palabra en el lado izquierdo:
2
2
x1 x1 x2 x3 x1
3 x3 x3 x4 = x1 x2 x3 x4 .
Para reducir una palabra, se utilizan ciertas contracciones elementales naturales. Para obtener
m+n
n
una palabra reducida, reemplazamos xm
; tambin se reemplaza x0i por 1. Despus
i xi por xi
de un nmero finito de contracciones elementales, toda palabra se puede cambiar por una palabra
1
2 1 1
reducida. Por ejemplo, la forma reducida de x1 x3 x3 x1
1 x2 es x1 x3 x1 x2 ; la forma reducida
1
1
de x1 x1 x2 x2 x2 es x2 .
Se usa el smbolo F (X) para denotar el conjunto de todas las palabras reducidas formadas
con el alfabeto X. Se convierte a F (X) en un grupo definiendo la multiplicacin de la manera
natural, es decir, concatenando palabras y reduciendo. As, el producto de dos palabras se forma
simplemente escribiendo una palabra a continuacin de la otra y reduciendo la palabra.
Teorema 7.1.1. El conjunto F (X) junto con la multiplicacin natural de palabras es un grupo.
La dificultad principal que se presenta en la prueba es verificar que el producto de palabras
est bien definido y que operacin es asociativa. La prueba formal resulta ser bastante tediosa,
usualmente se usan complicados argumentos de induccin, y anlisis de casos. Un ejemplo de
esta situacin es la siguiente. Se tiene una palabra y se desea encontrar su forma reducida. Se
pueden realizar diferentes reducciones en diferentes ordenes y debera probarse que la palabra
reducida obtenida al final es la misma sin importar en qu orden se efectuaron las reducciones.
Definicin 7.1.2. Al grupo F (X) se le conoce como el grupo libre en el conjunto X o grupo
libre generado por X. De X se dice que es una base del grupo libre.
Ejemplo 7.1.3. Si X es un conjunto con dos elementos, digamos a y b, entonces X 1 =
{a1 , b1 } y las letras del alfabeto son a, b, a1 , b1 . Algunos elementos del grupo libre F (X) =
F (a, b) son
a, b, a1 , b1 , ab, aba, abab, bab, ab1 .
La inversa de la palabra abab1 a es a1 ba1 b1 a1 . La multiplicacin de la palabras b3 a2 abab
y b1 a2 ba
b3 a2 abab b1 a2 ba = b3 a2 aba3 ba.
Se tiene la siguiente propiedad universal de los grupos libres.
Teorema 7.1.4 (Propiedad universal de los grupos libres). Sea G un grupo, X un conjunto y
f : X G una funcin. Existe exactamente un homomorfismo de grupos : F (X) G tal que
|X = f , es decir, tal que el siguiente diagrama conmuta:
X
F (X)
G
donde j : X F (X) es la funcin inclusin.
115
Demostracin. Defina
(xni11 xnikk ) = f (xi1 )n1 f (xik )nk
Es fcil verificar que es un homomorfismo de grupos. Sea : F (X) G un homomorfismo que
extiende a f , es decir, (x) = f (x) para todo x X. Luego, para x X se tiene (x) = f (x) =
(x). Como y coinciden en los generadores del grupo, coinciden en todos los elementos, es
decir, = .
Corolario 7.1.5. Si X y Y son conjuntos que tienen la misma cardinalidad, entonces los grupos
libres F (X) y F (Y ) son isomorfos.
Demostracin. Sea g : X Y una biyeccin de X a Y ; sean j1 : X F (X) y j2 : Y F (Y )
las inclusiones, f = j2 g y f 0 = j1 g 1 .
X
g
j1
F (X)
j2
F (Y )
Y
g 1
j2
f0
j1
F (Y )
F (X)
Para x X se tiene
()(x) = (g(x)) = j1 (g 1 (g(x)) = x.
Se sigue que = 1F (X) . De manera anloga = 1F (Y ) .
Teorema 7.1.6. El grupo libre F ({x}) generado por un elemento es el grupo cclico infinito.
Demostracin. De acuerdo con la propiedad universal para grupos libres existe exactamente un
homomorfismo : F ({x}) Z tal que (x) = 1. Por otro lado, por la propiedad universal de
los grupos abelianos libres, existe exactamente una funcin : Z F ({x}) tal que (1) = x.
{x}
F ({x})
{1}
F ({x})
Se tiene entonces
( )(x) = (1) = x,
( )(1) = (x) = 1.
Como x y 1 generan al grupo libre F ({x}) y al grupo abeliano Z, respectivamente, se sigue que
= 1F y = 1Z y es el inverso de y teorema queda probado.
Teorema 7.1.7. Si G es un grupo libre sobre un conjunto que tiene al menos un elemento,
entonces G es infinito. Si G es un grupo libre sobre un conjunto que tiene al menos dos elementos,
entonces G no es abeliano.
Demostracin. Suponga que G es un grupo libre generado por el conjunto X. Suponga que X
tiene al menos un elemento, digamos x. Sea f : X Z dada por f (x) = 1 y f (y) = 0 para y 6= x.
Entonces f se extiende a un homomorfismo de F (X) en Z; como 1 genera a Z, adems es
suprayectivo. Luego F (X)/ ker
= Z. Si F (X) fuera finito, cualquier cociente lo sera. Luego
F (X) es infinito.
Si x, y son elementos distintos de X, entonces las palabras xy y yx son distintas y G no es
libre.
116
7. Grupos libres
Ejemplo 7.1.8. El grupo Z es un grupo libre. El grupo Z Z no es libre, pues es abeliano. Sin
embargo, es un grupo libre.
Ejemplo 7.1.9. Sea F un grupo abeliano libre en los dos generadores x, y. Sea Y = {xyx1 y 1 }
y sea F 0 (Y ) el subgrupo de F generado por Y . Se tiene que xF 0 y yF 0 generan a F/F 0 pues x, y
generan a F . Dado que xF 0 yF 0 = yF 0 xF 0 ya que xyx1 y 1 F 0 , se sigue que F/F 0 es abeliano.
Si (xF 0 )m (yF 0 )n = 1F 0 , se tiene que xm y n F 0 , as que xm y n se escribe como un producto
finito de elementos de la forma xyx1 y 1 , esto obliga a que m = n = 0 y los elementos xF 0 y
yF 0 forman una base del grupo abeliano F/F 0 . Por lo tanto F/F 0 es un grupo libre.
A continuacin se enuncian los siguientes resultados sin demostracin. El lector interesado
puede recurrir a la literatura respectiva.
Teorema 7.1.10. Si G es un grupo libre en X y tambin es libre en Y , entonces #X = #Y .
En otras palabras, cualesquiera dos bases de un grupo libre tienen la misma cardinalidad.
Con base en el teorema se define el rango de un grupo libre.
Definicin 7.1.11. Si G es un grupo libre en X, entonces la cardinalidad de X es el rango del
grupo libre.
Teorema 7.1.12. Dos grupos libres son isomorfos si y solamente si tiene el mismo rango.
Observacin 7.1.13. De acuerdo con el Corolario 7.1.5, si dos grupos libres tienen el mismo
rango, entonces son isomorfos. La ida es la parte complicada del teorema.
El siguiente resultado no es para nada trivial de probar.
Teorema 7.1.14 (Nielsen-Schreier). Un subgrupo no trivial de un grupo libre es libre.
Ejemplo 7.1.15. Sea G el grupo libre en X = {x, y}. Considere la coleccin de elementos de
G
Y = {y, xyx1 , x2 yx2 , x3 yx3 , . . . } = {xk yxk | k 0}.
Sea H el grupo libre generado por Y , el cual obviamente es un un subgrupo de G, cuyo rango
es mayor que el rango de G.
7.2.
Teorema 7.2.1. Cualquier grupo G es una imagen homomorfa de un grupo libre. Es decir,
existe un grupo libre F (X) y un subgrupo normal N tal que G
= F (X)/N .
Demostracin. Sea X un conjunto generador para G (recuerde que cualquier grupo siempre tiene
al menos un conjunto generador, a saber, el grupo mismo). Sea f : X G la funcin inclusin.
De acuerdo con el Teorema 7.1.4, existe exactamente un homomorfismo : F (X) G, que
adems es suprayectivo ya que X genera a G. Luego G
= F (X)/ ker .
Analicemos ms de cerca el teorema anterior. Sean G = hXi un grupo, : F (X) G un
epimorfismo de grupos y : F (X)/N G el isomorfismo determinado por , donde N es el
ncleo de . Como X genera a F (X), entonces F (X)/N est generado por {xN | x X}.
Ahora bien, G tambin est generado por X. Por lo tanto, podemos identificar los generadores
de G con los generadores de F (X)/N :
F (X)
F (X)
N
x = xN
117
Se puede pensar de esta manera que G est generado por los elementos x con x X. Sea R
F (X) un conjunto generador del ncleo N = ker de . Observe que el ncleo es el subgrupo
normal de F (X) ms pequeo que contiene a R. En efecto, si R H G y y ker , entonces
y = r1e1 rkek , donde ri R; como R es subconjunto del grupo H, entonces r1 , . . . , rk H y
por consecuencia y H. Esto muestra que ker es el subgrupo ms pequeo que contiene a R;
adems, los ncleos siempre son subgrupos normales. Si r = xe11 xekk R, entonces
1 = (r)
= (x1 )e1 (xk )ek
= (x1 N )e1 (xk N )ek
= (x1 e1 xk ek )
Como es un isomorfismo se grupos se tiene
r = x1 e1 xk ek = 1
(7.1)
De la ecuacin (7.1) se dice que es una relacin en los generadores x1 , . . . , xr . Identificando G con
los elementos de F (X)/N , decimos que G est generado X sujeto a las relaciones r = 1, donde
r R. De esta manera, el grupo G puede ser completamente descrito especificando un conjunto
generador X de G y conjunto adecuado R de relaciones en los generadores. La descripcin no
es nica, ya la eleccin de X y R no es nica.
Ejemplo 7.2.2. Sea X un conjunto con elementos, digamos X = {r, s}. Suponga que G es
un grupo y que : F (X) G es un epimorfismo cuyo ncleo est generado por el conjunto
R = {r4 , s2 , (sr)2 }. Entonces
G
=G=
F (X)
hr4 , s2 , (sr)2 i
118
7. Grupos libres
R
j
F (X)
F (X)/R = G
H = hXi
Como H satisface todas las relaciones r = 1, se tiene que R ker . Como ker es un subgrupo
normal del grupo libre F (X), se sigue que la cerradura normal de R en F (X) est contenida
en ker . Luego induce un homomorfismo : F (X)/R H tal que ker = ker /R, Im =
Im = H.
Ejemplo 7.2.5. Sea D8 = {1, r, r2 , r3 , s, sr, sr2 , sr3 } el grupo didrico de las simetras del
cuadrado. Veamos que una presentacin de D8 es
r, s | r4 = s2 = 1, sr = rs1 .
El grupo D8 est generado por r y s. Sea F (X) el grupo libre en X = {r, s}; sea N = R
la cerradura normal de R en F (X). Aplicaremos el Teorema 7.2.4 al grupo H = D8 = hr, si y
al grupo G = F (X)/R el cual ya sabemos que est generado por {r, s} sujeto a las relaciones
r4 = s2 = sr2 = 1 (Vea el Ejemplo 7.2.2). Sea : F (X) D8 el nico homomorfismo tal que
(r) = r y (s) = s. Como D8 est generado por r y s, es suprayectiva. Sea R = {r4 , s2 , (sr)2 }.
Note
(r4 ) = (r)4 = r4 = 1
(s2 ) = (s)2 = s2 = 1
((sr)2 ) = ((s)(r))2 = srsr = ssr1 r = 1.
Luego H = D8 satisface satisface las relaciones De acuerdo con el Teorema 7.2.4, existe un
epimorfismo : G H cuyo ncleo es ker /R. Debemos probar que es inyectiva, y como
8 = |D8 | = |F (X)/ ker |, sea suficiente probar que G = F (X)/R tiene 8 elementos. Como es
suprayectiva, se tiene |G| |D8 | = 8. Por otro lado, usando las relaciones entre los generadores
de G, no es difcil probar que cada elemento de G se reduce a un elemento de la forma si Rrj R,
donde 0 i 1 y 0 j 3. Luego |G| 8. Combinando esto con lo anterior, vemos que
|G| = 8 y es un isomorfismo.
Ejemplo 7.2.6. El grupo H definido por las relaciones x2 = y 3 = xyx1 y 1 es el grupo cclico
de orden 6.
donde R es la cerradura
Sean X = {x, y} y R = {x2 , y 3 , x1 y 1 xy} y sea G = F (X)/R,
normal de R en F .
{x2 , y 3 , x1 y 1 xy}
{a, b}
F (X)
F (X)/R = G
Z6
119
G = x, y | x4 , x2 y 2 , xyxy 1
es el grupo de los cuaternios Q8 de orden 8.
Ejemplo 7.2.8. Pruebe que el grupo cuya presentacin es
hx1 , x2 | x1 x2 = x2 x1 i
es un grupo abeliano libre de rango dos (equivalentemente, que es Z Z).
Sean H un grupo abeliano libre de rango dos y X = {x1 , x2 } una base. Sea G = F (X)/R,
1
donde R = {x1 x2 x1
1 x2 }. Se aplicar el Teorema 7.2.4 a los grupos G y H.
1
{x1 x2 x1
1 x2 }
{x1 , x2 }
F (X)
F (X)/R = G
H = Zx1 + Zx2
Sea : F (X) H el nico homomorfismo tal que (x1 ) = x1 y (x2 ) = x2 . Note que
1
1
(x1 x2 x1
(x2 )1
1 x2 ) = (x1 )(x2 )(x1 )
120
7. Grupos libres
n
xm
1 x2 R, lo que muestra que cada elemento de ker pertenece R, es decir = R, as que es
inyectiva. Esto prueba que el grupo es el grupo abeliano libre de rango dos.
Observe que los elementos x1 R y x2 R son linealmente independientes. Si (x1 R)m (x2 R)n =
n
m n
1R, se tiene que xm
1 x2 N , as que x1 x2 se escribe como un producto finito de elementos de
1 1
la forma x1 x2 x1 x2 , esto obliga a que m = n = 0. Por lo tanto G es un grupo abeliano libre
de rango.
7.2.1.
Ejercicios
1) Sea G un grupo y R G. Sea {Ni | i I} una familia de subgrupos normales de G, tal que
R Ni para toda i I. Pruebe que R = iI Ni es el subgrupo normal de G ms pequeo
que contiene a R. El grupo R es el subgrupo normal generado por R; tambin se le conoce
como la cerradura normal de R.
2) Sea F un grupo libre en X. Pruebe que cada elemento distinto de la identidad tiene orden
infinito.
3) Sea F (X) un grupo libre en el conjunto X y sea Y X.Pruebe que si N el subgrupo normal
de F ms pequeo que contiene a F , entonces F (X)/N es un grupo libre.
4) Pruebe que el grupo
x, y | x2 = y 2 , x1 yx = y 1
Bibliografa
[1] David S. Dummit and Richard M. Foote. Abstract algebra. John Wiley & Sons Inc., Hoboken,
NJ, third edition, 2004.
[2] Minking Eie and Shou-Te Chang. A course on abstract algebra. World Scientific Publishing
Co. Pte. Ltd., Hackensack, NJ, 2010.
[3] John B. Fraleigh. lgebra Abstracta. Addison-Wesley Iberoamericana, Wilmington, Delaware, E.U.A., 1987.
[4] I. N. Herstein. Abstract algebra. Prentice Hall, Inc., Upper Saddle River, NJ, third edition,
1996. With a preface by Barbara Cortzen and David J. Winter.
[5] Thomas W. Hungerford. Algebra, volume 73 of Graduate Texts in Mathematics. SpringerVerlag, New York, 1980. Reprint of the 1974 original.
[6] Serge Lang. Algebra, volume 211 of Graduate Texts in Mathematics. Springer-Verlag, New
York, third edition, 2002.
[7] Patrick Morandi. Field and Galois theory, volume 167 of Graduate Texts in Mathematics.
Springer-Verlag, New York, 1996.
[8] Ellen Maycock Parker. Laboratory experiences in group theory. Classroom Resource Materials Series. Mathematical Association of America, Washington, DC, 1996. A manual to be
used with t Exploring small groups, With 1 IBM-PC floppy disk (3.5 inch; HD), Software
developed by Ladnor D. Geissinger.
[9] Joseph J. Rotman. A first course in abstract algebra. Prentice Hall, Inc., Upper Saddle
River, NJ, 2000.
121
ndice alfabtico
A
accin
de un grupo, 21
fiel, 53
transitiva, 57
C
centralizador, 23
centro, 23
ciclo de longitud r, 69
ciclos ajenos, 70
clase de conjugados, 58
componente p-primaria, 89
congruencia
mdulo n, 10
D
descomposicin, 86
divisores elementales, 92, 93
E
elemento
identidad, 4
invertible, 5
neutro, 4
enteros mdulo n
grupo de los, 8
producto de, 10
suma de, 8
epimorfismo, 39
estructura algebraica, 5
abeliano, 11
alternante, 73
cociente, 40
de permutaciones, 11
de torsin, 45
factor, 40
finitamente generado, 30
libre de torsin, 45
orden de un, 14
simtrico, 11, 69
simple, 46, 51, 65, 78
grupo libre, 114
alfabeto, 113
letras, 113
palabra, 113
palabra reducida, 114
palabra vaca, 114
rango, 116
Grupo soluble, 77
H
homomorfismo, 19
biyectivo, 39
de grupos, 39
inyectivo, 39
suprayectivo, 39
F
factores invariantes, 93
forma normal de Smith, 106
I
inverso, 5
invertible
elemento, 5
isomorfismo, 39
isomorfismo de grupos, 19
G
grupo, 5
L
ley de composicin, 1
122
NDICE ALFABTICO
M
monomorfismo, 39
O
operacin binaria, 1
asociativa, 3
conmutativa, 3
externa, 1
interna, 1
rbita, 57
de un elemento, 22
orden de un grupo, 14
P
permutacin, 69
identidad, 69
impar, 73
multiplicacin de permutaciones, 69
par, 73
permutaciones
grupo de, 11
p-grupo, 60
producto
directo externo, 11, 83, 87
producto directo externo, 18, 84, 87
producto directo interno, 85
propiedad universal de los grupos libres, 114
p-subgrupo
de Sylow, 63
R
reduccin mdulo n, 8
S
serie
abeliana de subgrupos, 77
de subgrupos, 77
subnormal de subgrupos, 77
subgrupo, 22
conjugado, 25
de torsin, 26
normal maximal, 51
subgrupo generado, 30
subgrupo normal generado, 120
T
torre
abeliana de subgrupos, 77
de subgrupos, 77
subnormal de subgrupos, 77
transposicin, 71
123