Abstracta PDF

Notas para un curso de Algebra
Abstracta I
Camilo Sanabria y Mario Valencia-Pabon
Universidad de los Andes

Departamento de Matematicas
Bogota - Colombia.
II
Indice general
1. Grupos 1
1.1. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Tabla de operacion . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4. Grupos Cclicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5. Grupos generados y producto directo . . . . . . . . . . . . . . . . 8
1.6. Grupos de permutaciones . . . . . . . . . . . . . . . . . . . . . . 11
1.7. Coconjuntos y el Teorema de Lagrange . . . . . . . . . . . . . . . 14
2. Homomorfismos 17
2.1. Homomorfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2. Propiedades de Homomorfismos . . . . . . . . . . . . . . . . . . . 18
2.3. Subgrupos normales . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.4. Isomorfismos y el Teorema de Cayley . . . . . . . . . . . . . . . . 21
2.5. Grupo Factor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.6. Teorema Fundamental del Homomorfismo . . . . . . . . . . . . . 23
2.7. Calculo de Grupo Factor . . . . . . . . . . . . . . . . . . . . . . . 25
2.8. Grupos simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.9. El centro y el conmutador . . . . . . . . . . . . . . . . . . . . . . 28
2.10. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3. Conjugacion 33
3.1. Elementos y subgrupos conjugados . . . . . . . . . . . . . . . . . 33
3.2. An para n 5 es simple . . . . . . . . . . . . . . . . . . . . . . . 34
3.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4. Accion de grupo sobre un conjunto 37

4.1. G-conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.2. Subgrupo estabilizador y orbitas . . . . . . . . . . . . . . . . . . 39
4.3. La formula de Burnside . . . . . . . . . . . . . . . . . . . . . . . 40
4.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
IV INDICE GENERAL
5. Teoremas de Isomorfismos y Series de Grupos 43

5.1. Teoremas de Isomorfismos . . . . . . . . . . . . . . . . . . . . . . 43
5.2. Series de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.3. Cadena Central Ascendente . . . . . . . . . . . . . . . . . . . . . 51
5.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
6. Teoremas de Sylow y Grupos libres 53

6.1. Teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . 53
6.2. Aplicaciones de la teora de Sylow . . . . . . . . . . . . . . . . . 56
6.3. Grupos abelianos libres . . . . . . . . . . . . . . . . . . . . . . . 57
6.4. Teorema fundamental de los grupos abelianos . . . . . . . . . . . 59
6.5. Grupos libres y representaciones . . . . . . . . . . . . . . . . . . 63
6.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Indice de figuras
1.1. Subgrupos de Z8 y de Z12 . . . . . . . . . . . . . . . . . . . . . . 7

1.2. transformaciones del cuadrado . . . . . . . . . . . . . . . . . . . 14
1.3. retculo de subgrupos de D4 . . . . . . . . . . . . . . . . . . . . . 15
2.1. Fibras y Kernel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

2.2. Teorema Fundamental del Homomorfismo . . . . . . . . . . . . . 24
4.1. Rotaciones del cubo . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.1. Primer Teorema de Isomorfismo . . . . . . . . . . . . . . . . . . . 43

5.2. Tercer Teorema de Isomorfismo . . . . . . . . . . . . . . . . . . . 45
5.3. Lema de la Mariposa . . . . . . . . . . . . . . . . . . . . . . . . . 46
5.4. Teorema de Schreier . . . . . . . . . . . . . . . . . . . . . . . . . 47
6.1. Grupo abeliano libre . . . . . . . . . . . . . . . . . . . . . . . . . 57

6.2. Grupo libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
VI INDICE DE FIGURAS
Captulo 1
Grupos
1.1. Grupos
1.1 Definicion (Grupo): Una estructura < G, , e >, que consta de un
conjunto G, una operacion binaria , y un elemento distintivo e, es un grupo,
si satisface los siguientes axiomas:
G1: es asociativa
x, y, z G(x (y z) = (x y) z)
G2: e es neutro en
x G(x e = x e x = x)
G3: existencia de inversa
x G y G(x y = e y x = e)
Teorema 1.2 (Unicidad del neutro y de las inversas) Sea < G, , e > un
grupo, entonces:
i) Si e0 es tal que para todo x G, x e0 = e0 x = x, entonces e0 = e.
ii) Dado un x G, si y, y 0 G son tales que x y = y x = e = x y 0 = y 0 x,
entonces y 0 = y.
Demostracion: Por hipotesis e e0 = e y por G2, e e0 = e0 , luego e = e0 .

Por hipotesis x y 0 = e y por G2, y = y e, luego y = y (x y 0 ), as por G1,
y = (y x) y 0 , pero y x = e por hipotesis, entonces por G2 y = y 0 . F
1.3 Notacion y observacion. En general, a < G, , e >, la denotaremos

simplemente G, excepto cuando se deba especificar para evitar confusiones. Si
no especificamos un nombre diferente para el elemento distintivo, lo denotaremos
2 Captulo 1. Grupos
e. A x y, lo denotaremos xy, cuando sea claro el contexto, ademas dado que la

operacion binaria es asociativa, x(yz) o (xy)z lo denotaremos xyz.
Por otro lado el teorema anterior, justifica la siguiente definicion.
1.4 Definicion (el neutro, la inversa) y notacion: Sea < G, , e > un

grupo,
i) a e lo llamamos el elemento neutro o la identidad.
ii) Dado g G, al elemento g 0 G tal que gg 0 = g 0 g = e, lo llamamos la

inversa, o el inverso, de g,y lo notamos g 1 .
1.5 Ejemplos: Las siguientes estructuras son grupos, cuya demostracion se

deja al lector.
i) < Z, +, 0 >, < Q, +, 0 >, < R, +, 0 >, < C, +, 0 >.
ii) < Q , , 1 >, < R , , 1 >, < C , , 1 >.
iii) < Zn , +n , [0]=n >, donde a =n b si n|a b y Zn = Z/ =n .
iu) < GLn (R), , In >, donde GLn (R) es el conjunto de matrices invertibles
de dimension n n.
u) < S 1 , , 1 >, donde S 1 = {z C : |z| = 1}.
ui) Si V es un espacio vectorial, el conjunto de las transformaciones lineales

uno a uno, con la composicion como la operacion y la identidad como el
neutro.
Teorema 1.6 (ley cancelativa) Sea G un grupo. Si x, y, z G son tales que

xz = yz, entonces x = y.
Demostracion: Si xz = yz, entonces x = xe = (xz)z 1 = (yz)z 1 = ye = y. F
1.7 Notacion y observacion. Si x G y n N, notamos:

n e si n = 0
x =
x xn1 de lo contrario
Dado que xn (x1 )n = xn (xn )1 = e, entonces extendemos la notacion a todo Z

con xn = (x1 )n . Cuando la operacion se denote aditiva (ver ejemplo 1.5 i)),
notaremos xn por nx, y x1 por x.
Observe que xn xm = xn+m , para todo n, m Z, pero (xy)n no es necesaria-
mente igual a xn y n , por ejemplo:
Teorema 1.8 (xy)1 = y 1 x1
Demostracion: (xy)(y 1 x1 ) = e. F
Subgrupos 3
1.9 Posiblemente ya se habra dado cuenta de cual es la condicion para que

(xy)n = xn y n para todo x, y G. En honor al noruego Niels Henrik Abel
(1802-1829):
1.10 Definicion (Grupo abeliano): Un grupo G, en el cual la operacion

sea conmutativa (i.e. a, b G(ab = ba)), se dice abeliano.
1.11 En el ejemplo 1.5, los grupo de i), ii), iii) y u) son abelianos, los de iu)
y u) no lo son. Si V = Rn estos dos ultimos grupos son bastante parecidos (ya
formalizaremos eso).
1.12 Ejercicios:
1. Pruebe que si G es un grupo finito con identidad e y con un numero par de
elementos, entonces existe un elemento a G, con a 6= e, tal que a2 = e.
2. Pruebe que todo grupo G con identidad e y tal que a2 = e para todo
a G, es abeliano.
3. Sea G un grupo finito y sea x un elemento de G cuyo orden es n, donde n
es impar. Pruebe que existe k N tal que x = (x2 )k .
1.2. Subgrupos
1.13 Definicion (Subgrupo): Si < G, , e > es un grupo, diremos que
< H, , e0 > es un subgrupo de G, y lo notaremos H G, si:
i) H G
ii) < H, , e0 > es grupo
iii) = HH
1.14 Observacion a la definicion 1.13. Sea H G y h H, como h =

h e0 = h e0 , y h = h e entonces por la ley cancelativa, e = e0 . As un subgrupo
esta unvocamente determinado por el conjunto H, pues la identidad es la misma
que en G y la operacion es la restriccion. Esto justifica nuestra notacion H G.
Por otro lado < {e}, {e}{e} , e > es subgrupo de G.
1.15 Definicion (Grupo trivial, subgrupo propio)

i) Al grupo < {e}, , e >, lo llamamos grupo trivial.
ii) Si H G y H 6= G, decimos que H es subgrupo propio de G, y lo
notamos H < G.
1.16 Cada grupo de 1.5 i) es subgrupo del siguiente. Lo mismo sucede en

1.5 ii). Demostrar que un grupo es subgrupo de otro puede ser bastante en-
gorroso bajo nuestra definicion, afortunadamente existen caracterizaciones mas
adecuadas para esto:
4 Captulo 1. Grupos
Teorema 1.17 Sea < G, , e > un grupo. Las siguientes afirmaciones son equi-
valentes:
i) H G
ii) H no es vaco, es cerrado mediante la operacion de G, y mediante inver-
sion. Esto es:
H 6= , x, y H(xy H), x H(x1 H)
iii) H 6= , x, y H(xy 1 H)
Demostracion:
i) ii): Como H G, e H luego H no es vaco. Las otras dos condiciones
se siguen inmediatamente del hecho que H sea grupo y que la operacion en H
es la restriccion de la G.
ii) iii): Si x, y H, y 1 H luego xy 1 H.
iii) i): Tomemos = HH , veamos que es una operacion binaria en
H. Sea x H, el cual existe pues H no es vaco. Entonces e = x x1 H, y
as x1 = ex1 H. Luego si x, y H, y 1 H y xy = xy = x(y 1 )1 H,
entonces es una operacion binaria en H, as se cumple G1. Ademas, e H y
tambien se cumple G2 pues = HH . Por esto ultimo vemos tambien que se
cumple G3 pues dado x H, x1 H. F
1.3. Tabla de operacion

1.18 Dado un grupo G finito podemos representar completamente la operacion
gracias a una tabla, al igual que solamos hacer tablas de multiplicacion en
los numeros naturales. Esto es, en la primera entrada (la superior izquierda),
ponemos el signo de la operacion, en el resto de la primera columna de la tabla
ponemos los elementos de G y hacemos lo mismo, y en el mismo orden, en la
primera fila. Luego llenamos el resto de la tabla como indica la operacion.
Por el axioma G3 sabemos que en cada fila debe aparecer e una vez, y por la
unicidad de la inversa, una unica vez. Segun la ley cancelativa, lo mismo sucede
con cada elemento. Este mismo fenomeno se repite con las columnas. Si el grupo
es abeliano la tabla sera simetrica. Estas pautas nos permiten generar grupos
nuevos (ver el cuadro 1.3).
+4 0 1 2 3 e a b c
0 0 1 2 3 e e a b c
Z4 1 1 2 3 0 4-grupo de Klein V a a e c b
2 2 3 0 1 b b c e a
3 3 0 1 2 c c b a e
Cuadro 1.1: Los dos unicos grupos de cuatro elementos

Grupos Cclicos 5
1.4. Grupos Cclicos

1.19 Definicion (Orden de un grupo, orden de un elemento):
i) el orden de un grupo G, que notamos ord(G) (o simplemente |G|), es el
numero de elementos de G, si G es infinito notamos ord(G) = +,
ii) el orden de un elemento g G, que notamos ord(g), es el mnimo n N
tal que g n = e. Si dicho n no existe notamos ord(g) = +.
Lema 1.20 Si am = e, ord(a) | m.
Demostracion: Sea n = ord(a). Por definicion, n es el menor entero positivo

tal que an = e y por lo tanto m n. Usando el algoritmo de la division,
podemos escribir a m como m = qn + r, donde q 1 y 0 r < n. Ahora,
e = am = aqn+r = (an )q ar = eq ar = ar . Si r 6= 0, entonces se tiene una
contradiccion a la minimalidad de n. Luego r = 0 y as n | m. F
Teorema 1.21 Sea a G, y H = {an }nZ . Entonces H G y ord(H) =

ord(a).
Demostracion: Como e = a0 H, an am = an+m H y (an )1 = an , por el

teorema 1.17, H G.
Suponga que ord(a) = +. Si i, j Z con i j son tales que ai = aj , aji = e
luego j i = 0. Entonces si i 6= j, ai 6= aj , luego ord(H) = +.
Ahora sea n = ord(a). Si i, j {0, 1, . . . , n 1} con i j, son tales que ai = aj ,
por el lema anterior n|j i, luego j i = 0, esto es i = j. Entonces n |H|. Y
si m n, y m = qn + r, con 0 r < n, am = ar , luego |H| = n. F
1.22 Definicion (Grupo generado por un elemento, grupo cclico):

Sea G un grupo.
i) Dado a G, llamamos a {an }nZ , el grupo generado por a, y lo notamos
< a >.
ii) Decimos que G es cclico si es un grupo generado por un elemento.
1.23 Ejemplos.
i) Z =< 1 >, es un grupo cclico de orden infinito.
ii) Zn =< 1 >, es un grupo cclico de orden n.
Ya veremos que todo grupo cclico tiene esta forma.
1.24 Ahora nos interesaremos en la estructura de los grupos cclicos, esto

es, estudiaremos como son sus subgrupos. Estos grupos, fuera de tener una
estructura bastante visualisable e intuitiva, son supremamente importantes.
Teorema 1.25 Todo grupo cclico es abeliano.

6 Captulo 1. Grupos
Demostracion: Sea G =< a >. As dos elementos elementos arbitrarios en G,

son de la forma am , y an , con m, n Z. Pero como vimos en 1.7, am an =
am+n = an am . Luego G es abeliano. F
Teorema 1.26 Un subgrupo de un grupo cclico es cclico.
Demostracion: Sea G =< a > y H G. Si H es el grupo trivial, H =< e >, es

cclico. Suponga que H no es trivial, es decir, H contiene al menos un elemento
diferente de e. Como H G y G =< a >, entonces todos los elementos de H
son potencias de a. Sea m el menor entero positivo tal que am H. Se probara
entonces que b = am genera H, es decir, H =< b >. Para ello, tomemos un
elemento arbitrario c H y probemos que c es una potencia de b. Como c H,
H G y G =< a >, entonces c = an para algun n entero positivo. Por la
minimalidad de m, podemos usar el algoritmo de la division, y escribir n como
n = qm + r, donde q > 0 y 0 r < m. Entonces, an = aqm+r = (am )q ar .
Por lo tanto, como an H y (am )q H puesto que am H, entonces,
ar = (am )q an H, puesto que H es grupo. Si r 6= 0, entonces se tiene una
contradiccion a la minimalidad de m. Por lo tanto, r = 0, y n = qm, obteniendo
si que c = an = aqm = (am )q = bq , es decir, c es una potencia de b, lo cual
implica que H =< b > y por lo tanto H es cclico. F
Corolario 1.27 Si G =< a > es de orden infinito todo subgrupo de G es de

orden infinito.
1.28 Observacion. Todo subgrupo de Z es de la forma < n >= nZ = {nk :

k Z}, para algun n. Aqu usamos la notacion aditiva.
Teorema 1.29 Sea G =< a > de orden n. Entonces:

n1
i) Si s | n, entonces < as >= {e, as , a2s , . . . , a s s } tiene tamano n/s.
n
ii) Todo subgrupo de G es de la forma < ar >, con r Z, | < ar > | = (n,r)
y < ar >=< a(n,r) >.
iii) Todo subgrupo de G es de la forma < as > donde s | n.
iu) El orden de todo subgrupo de G divide el orden de G.
u) Por cada divisor s de n, existe exactamente un subgrupo de G de tamano
n
s, que es < a s >.
ui) si H, K G entonces, H K si y solo si |H| | |K|.
Demostracion: Note que una vez probado ii); i), iii) y iu) son consecuencias
inmediatas, tomando s = (n, r) y recordando el teorema 1.21.
Probemos entonces ii). Ya vimos en el teorema 1.26 que todo subgrupo, de G
es de la forma < ar >. Ahora sea s = (n, r), entonces existe q tal que r = qs.
As ar = (as )q , luego < ar >< as >. Por otro lado existen u, v Z tales que
un + vr = s luego as = (an )u (ar )v = (ar )v , y as < as >< ar >. Es claro que
Grupos Cclicos 7
n
enunciado de i) que | < a(n,r) > | = (n,r)
Probemos ahora la unicidad que se afirma en u). Por lo que acabamos de ver
n n
si s | n, (n, n/s) = n/s y as | < a s > | = n/s = s. Ahora, si < ar > es un
subgrupo de G de orden s, entonces por ii) s = n/(n, r), luego (n, r) = n/s y
n
as, < ar >=< a s >.
Finalmente veamos ui). Suponga que K =< ak > y H =< ah > con k, h
divisores de n, suponsicion valida en vista de u). As si H K por iu), poniendo
K como G, |H| | |K|. Ahora, si |H| | |K|. existe q tal que ord(ah )q = ord(ak ),
pero por u), ord(ah ) = n/h y ord(ak ) = n/k, luego kq = h, as (ak )q = ah ,
entonces < ah >< ak >. F
1.30 Observaciones.
i) Dado un grupo G, como todo grupo tiene por subgrupo el trivial, pode-
mos representar sus cadenas de subgrupos por un retculo (i.e. lattice, en
ingles).
ii) El resultado 1.29 iu) se pueden generalizar a todos los grupos de orden
finito como se vera en el Teorema de Lagrange. Con el teorema anterior
quedan completamente caracterizados los grupos cclicos (ver figura 1.1),
en este momento el lector ya se puede hacer la idea de porque todo grupo
cclico es de la forma de Z, o de Zn .
PSfrag replacements
Z8 Z12
<2> <3> <2>
<4> <6> <4>
{0}
{0}
Figura 1.1: Subgrupos de Z8 y de Z12
1.31 Ejercicios:
1. Pruebe que si H y K son subgrupos de un grupo abeliano G, entonces
HK = {hk : n H y k K} es un subgrupo de G.
2. Pruebe que un grupo cclico con unicamente un generador puede tener a
los sumo dos elementos.
3. Pruebe que si G es un grupo abeliano con identidad e, entonces todos los
elementos x G tales que x2 = e forman un subgrupo de G. Generalice
al caso donde n 1 es un entero fijo y H = {x G : xn = e}.
8 Captulo 1. Grupos
4. Sea G un grupo y sea a un elemento de fijo de G. Pruebe que Ha = {x

G : xa = ax} es un subgrupo de G. Sea S G, y sea HS = {x G :
xs = sx para todo s S}. Pruebe que HS G. Si S = G, entonces HG
es llamado el centro de G. Pruebe que HG es un grupo abeliano.
5. Pruebe que un grupo sin subgrupos propios no triviales es cclico.
6. Pruebe que un grupo que tiene un numero finito de subgrupos es finito.
7. Pruebe que Zp no tiene subgrupos propios no triviales si p es primo.
8. Sea G un grupo abeliano y sean H y K subgrupos cclicos finitos con
|H| = r y |K| = s.
(a) Pruebe que si (r, s) = 1, entonces G contiene un subgrupo cclico de
orden rs.
(b) Pruebe que G contiene un subgrupo cclico de orden [r, s] (recuerde
que [r, s] denota al maximo comun multiplo de r y s).
1.5. Grupos generados y producto directo

1.32 Dado que los subgrupos de un grupo forman un retculo, podemos buscar
los mnimos subgrupos, en la relacion ser subgrupo, que contienen un subcon-
junto de los elementos del grupo.
Teorema 1.33 Sea {Hi }iJ una coleccion indexada de subgrupos de G, enton-
ces: \
Hi G
iJ
T
Demostracion:
T Como cada Hi contiene e, iJ Hi 6= . Ahora sean x, y
1 1
iJ Hi , como y Hi , y T Hi , para cada i J. As xy
T Hi , para
1
todo i J, esto es xy iJ Hi , luego por el teorema 1.17 iJ Hi G. F
Corolario
T 1.34 Sea A G, con A 6= y H = {H G : A H}. Entonces
HH H G.
Teorema 1.35 Sea A G, con A 6= y H = T {H G : A H}. Si HA H

es tal que, si H H, HA H entonces HA = HH H G.
T
T es trivial, puesTHA H, luego HH HT HA . Por otro
Demostracion: Esto
T como A HH H, entonces HH H H as HA HH H, y HA =
lado
HH H G. F
1.36 Observacion. Los dos teoremas anteriores justifican nuestra proxima

definicion, el teorema que le sigue la explica. Note como se extiende el concepto
de 1.22
1.37 Definicion (grupo generado, grupo finitamente generado):

Grupos generados y producto directo 9
i) Dado A G, con A 6= . Al mnimo subgrupo que contiene A lo llamamos

el grupo generado por A, y lo notamos < A >.
ii) Decimos que un grupo G es finitamente generado si G =< A > para
algun A G finito.
Teorema 1.38 Dado A G, < A >= {am 1 m2 mn
1 a2 . . . an : ai A, mi Z}.
Demostracion: Sea HA = {am 1 m2 mn

1 a2 . . . an : ai A, mi Z}. Como A 6=
p
m1 m2
, HA 6= . Si x, y HA , x = a1 a2 . . . am n
n
e y = bp11 bp22 . . . bq q , para
p q q
algunos ai , bj A y mi , pi Z. As, y 1 = bq . . . b2 b1 , luego xy 1 =
q 2 1
mn pq
am 1 m2
1 a 2 . . . a n bq . . . bq 2 q1
2 b1 HA . Entonces HA G. Ahora como A HA ,
< A > HA . Por otro lado un elemento arbitrario de HA es de la forma de
x, pero cada ai A, luego como un subgrupo es cerrado por multiplicacion,
x < A >. As HA < A > y HA =< A >. F
Teorema 1.39 Sea {Gi }i{1,2,...,n} una coleccion de grupos. G1 G2 . . .Gn
bajo la operacion ((x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn )) 7 (x1 y1 , x2 y2 , . . . , xn yn ) es
un grupo.
Demostracion: La operacion es asociativa, pues la operacion de cada G i lo es.
Si ei es el neutro de Gi , (e1 , e2 , . . . , en ) es el neutro para nuestra operacion. Fi-
nalmente (x1 , x2 , . . . , xn )(x1 1 1
1 , x2 , . . . , xn ) = (e1 , e2 , . . . , en ), luego cada ele-
mento tiene inversa. Esto completa la demostracion. F
1.40 Definicion (Producto directo): Dada {Gi }i{1,2,...,n} una coleccion
de grupos. Al grupo G1 G2 . . . Gn bajo la operacion:
((x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn )) 7 (x1 y1 , x2 y2 , . . . , xn yn )
lo llamamos el producto directo (externo) de G1 , G2 , . . . , Gn .
1.41 Cuando decamos que dos grupos tienen la misma forma, formalmente
nos referamos a lo siguiente (a esto volveremos luego con mas detalle):
1.42 Definicion (Isomorfismo, isomorfo): Sean < G, , e >, < G0 , , e0 >
dos grupos dados. Una biyeccion : G G0 es un isomorfismo si (x y) =
(x) (y), para todo x, y G. Dos grupos se dicen isomorfos si existe un
isomorfismo entre ellos.
1.43 Ejemplo: : R R+ definida por (x) = ex , es un isomorfismo entre
< R, +, 0 > y < R+ , , 1 > pues ex+y = ex ey .
Teorema 1.44 Sea G =< a >. Si ord(G) = +, G es isomorfo a Z, si
ord(G) = n, G es isomorfo a Zn .
Demostracion: Si ord(G) = +, defina : Z G, por (k) = ak y si ord(G) =
n, defina : Zn G, por (k) = ak . Es claro que es sobreyectiva, ahora
si (m1 ) = (m2 ), entonces am1 m2 = e. As si + = ord(G) = ord(a),
m1 m2 = 0 o m1 = m2 . Si n = ord(a), por el lema 1.20, n | m1 m2 luego
m1 = m2 . De esto concluimos que es biyectiva. Finalmente como ak1 ak2 =
ak1 +k2 , es isomorfismo. F
10 Captulo 1. Grupos
Teorema 1.45 Sean m, n Z. Existe un isomorfismo entre Zm Zn y Zmn si

y solo si (m, n) = 1.
Demostracion: Por el teorema 1.44, basta ver que Zm Zn es cclico de orden

mn si y solo si (m, n) = 1. Suponga primero (m, n) = 1 y sea k = ord((1, 1)).
As (1, 1)k = (0, 0) luego m | k y n | k pero si k 0 Z es tal que m | k 0 y n | k 0 ,
0
(1, 1)k = (0, 0) luego k es el mnimo comun multiplo de m y n, este es mn.
Entonces Zm Zn =< (1, 1) >
Ahora suponga que Zm Zn es cclico de orden mn con Zm Zn =< (a, b) >.
Entonces en particular Zm =< a > y Zn =< b >. As, si k es el mnimo comun
multiplo de m y n, (a, b)k = (0, 0) luego por el lema 1.20, mn | k. As k = mn
y (m, n) = 1. F
Corolario 1.46 Zm1 Zm2 . . . Zmn es isomorfo a Zm1 m2 ...mn si y solo si

(m1 , m2 , . . . , mn ) = 1
1.47 Los grupos abelianos finitamente generados tienen una estructura par-
ticular. El siguiente teorema los caracteriza y nos dice que los Zpn , con p primo,
son como los ladrillos para construirlos. Su demostracion la pospondremos para
cuando tengamos un poco mas de experiencia, y esta nos parezca mas natu-
ral. Dicho teorema se conoce como el Teorema Fundamental de los grupos
abelianos finitamente generados, y al cual nos referiremos como al teorema
TFGAFG por comodidad.
Teorema 1.48 (TFGAFG) Todo grupo abeliano finitamente generado es iso-

morfo a un unico grupo de la forma Zpr11 Zpr22 . . . Zprnn Z . . . Z,
con los pi , para i {1, . . . , n}, primos tales que pi pi+1 , y los ri naturales no
nulos tales que ri ri+1 si pi = pi+1 .
1.49 Ejemplos:
Qn
i) Si i=1 pri i es la expresion
Q de m en potencias de primos con pi < pi+1 ,
Zm es isomorfo a ni=1 Zpri .
i
ii) El 4-grupo de Klein V es isomorfo a Z2 Z2 .
1.50 Ejercicios:
1. Encuentre el orden del elemento (3, 10, 9) en el grupo Z4 Z12 Z15 .
2. Pruebe que un grupo abeliano finito no es cclico si y solo si este contiene
un subgrupo isomorfo a Zp Zp para algun primo p.
3. Pruebe que si un grupo abeliano finito tiene orden una potencia de un
primo p, entonces el orden de cada elemento en el grupo es una potencia
de p.
4. Sean G, H, y K grupos abelianos finitamente generados. Pruebe que si
G K es isomorfo a H K, entonces G es isomorfo a H.
Grupos de permutaciones 11
1.6. Grupos de permutaciones

1.51 Definicion (Permutacion): Sea A un conjunto. Una permutacion
de A es una funcion biyectiva de A en A. Al conjunto de las permutaciones de
A lo notamos SA . Si A = {1, 2, . . . , n}, SA lo notamos Sn .
1.52 Observaciones.
i) |Sn | = n!
ii) La composicion de dos permutaciones es una permutacion. La identidad
es una permutacion y la inversa de un permutacion es una permutacion.
En resumen, se tiene lo siguiente:
1.53 Definicion (Grupo de Permutacion). Sea A un conjunto. Al grupo

< SA , , id >, donde es la composicion, lo llamamos el grupo de permuta-
ciones de A.
Teorema 1.54 Si A = {ai }i{1,...,n} , SA y Sn son isomorfos.
Demostracion: Defina : Sn SA por ( ) : (i) 7 a (i) . Sea SA y

defina : {1, . . . , n} {1, . . . , n} por (i) = j si (ai ) = aj . Como es
una permutacion tambien y () = , luego es sobreyectiva. Verificar que
tambien es inyectiva es pura rutina, as que se lo dejamos al lector. Ahora:
( 0 )(ai ) = a0 (i) = ()(a0 (i) ) = () ( 0 )(ai )
as ( 0 ) = () (). Luego es un isomorfismo. F

1 2 ... n
1.55 Notacion. A la permutacion Sn , la notamos .
(1) (2) . . . (n)

123 123
1.56 Ejemplo: S3 = {id, , 2 , , , 2 } con id = ,= ,
123 231

123 123 123 123
2 = , = , = , y 2 = . Note
312 213 321 132
que = 2 .
1.57 Definicion (Orbita): Sea SA y sea a A. Al conjunto { k (a) :

k Z} lo llamamos la orbita de a segun .
Teorema 1.58 Sea SA . Las orbitas de forman una particion de A.
Demostracion: Defina en A la relacion por: a b si existe k Z tal que

k (a) = b. As a b si y solo si b esta en la orbita de a segun . Ahora 0 = id
luego es reflexiva. Si b = k (a), entonces a = k (b), luego es simetrica.
Ahora bien si b = k1 (a) y c = k2 (b), c = k2 +k1 (a), luego es transitiva.
Ahora como es relacion de equivalencia, sus clases, que son las orbitas de
forman un particion de A. F
1.59 Definicion (Ciclo, transposicion):

i) Una permutacion con a lo mas una orbita de mas de un elemento es un

ciclo. Si SA es un ciclo tal que la orbita con mas de un elemento es
{ i (a)}i{0,1,...,n1} , notamos por (a (a) 2 (a) . . . n1 (a)), y decimos
que es un n-ciclo.
ii) Una transposicion es un 2-ciclo.
iii) Dos ciclos se dicen disyuntos si sus orbitas de mas de un elemento son
disyuntas.
1.60 Ejemplo. Continuando con 1.56, en S3 , = (1 2 3), 2 = (1 3 2),

= (1 2), = (1 3) y 2 = (2 3).
Lema 1.61 Todo n-ciclo se puede expresar como producto de n 1 transposi-

ciones.
Demostracion: Sea SA un n-ciclo, con = (a1 a2 . . . an ). Tenemos entonces

= (a1 an )(a1 an1 ) . . . (a1 a2 ). F
Teorema 1.62 Toda permutacion en Sn se puede escribir como producto ciclos

disyuntos.
Demostracion: Sea Sn , y {Oi }i{1,...,m} la coleccion de sus orbitas. Sea

i Sn tal que i (a) =Q(a) si a Oi y i (a) = a de lo contrario. As los i son
ciclos disyuntos y = i{1,...,m} i (observe que como los ciclos son disyuntos
no importa el orden en que los multipliquemos, por eso tenemos el derecho de
usar la productoria aunque el grupo no sea abeliano). F
Corolario 1.63 Toda permutacion en Sn , con n > 1, se puede expresar como

producto de transposiciones.
1.64 Veamos ahora que Sn se divide en dos clases disyuntas, las permutaciones
que son el producto de un numero par de transposiciones, y las que son el
producto de un numero impar.
1.65 Definicion (Signo) Sea Sn , el signo de que notamos sg(), esta

definido por:
Y (i) (j)
sg() =
ij
1i<jn
Lema 1.66 sg() es 1 o 1.
Demostracion: si i j aparece en el denominador, en el numerador aparece o

bien ( 1 (i)) ( 1 (j)), o bien ( 1 (j)) ( 1 (i)). F
Lema 1.67 sg() = sg()sg().

Grupos de permutaciones 13
Demostracion:
Y (i) (j) (i) (j)
sg() =
ij (i) (j)
1i<jn
Y (i) (j) Y (i) (j)
=
(i) (j) ij
ii<jn ii<jn
= sg()sg()
Q (i)(j) (i)(j) (j)(i)

sg() = ii<jn (i)(j) , pues (i)(j) = (j)(i) . F
1.68 Observaciones.
i) Si Sn es una transposicion, sg() = 1.
ii) Si sg() = sg() = 1, sg() = 1.
iii) sg(id) = 1, as sg( 1 ) = sg().
Teorema 1.69 Una permutacion en Sn es el producto de un numero par de

transposiciones, o el producto de un numero impar, pero no ambos.
Demostracion: Sea Sn , si es un producto par de transposiciones sg() =

1, si es un producto impar de transposiciones sg() = 1. Luego las dos
posibilidades son excluyentes. F
1.70 Definicion (permutacion par, permutacion impar, subgrupo Al-

ternador):
i) Una permutacion Sn es par si sg() = 1, impar si sg() = 1.
ii) El conjunto de las permutaciones pares de Sn es el grupo alternador (o
alternante), y lo notamos An .
1.71 Considere un polgono regular de n vertices. Las rotaciones y las simetras

del polgono que caen sobre el mismo, al etiquetar cada vertice con un numero
del 1 al n, se pueden identificar naturalmente con un subgrupo de Sn de 2n
elementos (ver figura 1.2).
1.72 Definicion (Subgrupo diedral): Al subgrupo de Sn que se puede

identificar naturalmente con las rotaciones y simetras de un polgono regular
de n vertices en si mismo, se le llama el grupo diedral y se nota Dn .
1.73 Ejemplo: D4 = {0 , 1 , 2 , 3 , 1 , 2 , 1 , 2 }, donde 1 = (1 2 3 4),

1 = (1 2)(4 3), 2 = (1 4)(2 3), 1 = (1 3), 2 = (2 4) y, para i {0, 2, 3}
i = i1 (ver cuadro 1.6 y figura 1.3).
PSfrag replacements4 3 3 2 3 4
1 2 4
1 2 1

1234 1234
id
2341 2143
Figura 1.2: transformaciones del cuadrado
0 1 2 3 1 2 1 2
0 0 1 2 3 1 2 1 2
1 1 2 3 0 1 2 1 2
2 2 3 0 1 2 1 2 1
3 3 0 1 2 2 1 1 2
1 1 2 2 1 0 2 3 1
2 2 1 1 2 2 0 1 3
1 1 1 2 2 1 3 0 2
2 2 2 1 1 3 1 2 0
Cuadro 1.2: Tabla de operacion de D4
1.74 Ejercicios:
1. Pruebe que Sn no es un grupo abeliano para n 3.
2. Si A es un conjunto, entonces un subgrupo H de SA es transitivo sobre
A , si para cada a, b A existe H tal que (a) = b. Pruebe que si A
no es un conjunto vaco, entonces existe un subgrupo finito cclico K de
SA que es transitivo sobre A, tal que |H| = |A|.
3. Pruebe que para todo subgrupo H de Sn , con n 2, se cumple que todas
las permutaciones en H son pares o bien exactamente la mitad de ellas
son pares.
1.7. Coconjuntos y el Teorema de Lagrange

1.75 Definicion (Coconjunto): Sea H G. Definimos el coconjunto iz-
quierdo de H determinado por b, que notamos bH, por:
bH := {bh : h H}
, y el coconjunto derecho por Hb := {hb : h H}.
Teorema 1.76 Sea H G. Entonces:

i) {bH}bG es una particion de G.
Coconjuntos y el Teorema de Lagrange 15
D4
PSfrag replacements
{0 , 2 , 1 , 2 } {0 , 1 , 2 , 3 } {0 , 2 , 1 , 2 }
{0 , 1 } {0 , 2 } {0 , 2 } {0 , 1 } {0 , 2 }
{0 }
Figura 1.3: retculo de subgrupos de D4
ii) Todos los coconjuntos izquierdos de H son equipotentes.

Un resultado similar se tiene para los coconjuntos derechos.
Demostracion: Defina en G la relacion por a b si a1 b H. Como e H,

es reflexiva. Si a1 b H, (a1 b)1 = b1 a H, luego es simetrica. Si
a1 b, b1 c H, a1 bb1 c = a1 c H, luego es transitiva. Entonces es
relacion de equivalencia. Suponga a [b] esto equivale a b1 a = h para algun
h H, o a = bh que es lo mismo que a bH, luego [b] = bH. Con esto
concluimos i).
Ahora defina f : H bH por f (h) = bh. Es claro que f es sobreyectiva, la
inyectividad es consecuencia inmediata de 1.6. Luego f es un biyeccion y as H
y bH son equipotentes.
Para los coconjuntos derechos considere: a b : ab1 H. F
1.77 Definicion (Indice): Sea H G. Definimos el indice de H como

numero de coconjuntos izquierdos de H.
1.78 Observaciones y notacion.

i) {bH}bG lo notamos G/H, {Hb}bG lo notamos H\G
ii) Al ndice de H lo notamos (G : H). Si (G : H) es finito, entonces (G :
H) := |G/H|.
iii) Observe que |G/H| = |H\G|.
iu) Si a bH, entonces aH = bH. De igual forma, si a Hb, Ha = Hb.
Teorema 1.79 (Teorema de Lagrange) Sea G un grupo de orden finito. Si

H G, entonces |H| | |G|, mas aun |G| = |H|(G : H).
Demostracion:
P Por el teorema
P 1.76:
|G| = bHG/H |bH| = bHG/H |H| = (G : H)|H| F
1.80 Los coconjuntos son parte fundamental de la teora del algebra, toca
entonces entenderlos y sentirlos. De esto se dara cuenta el lector a lo largo de
su estudio
1.81 Ejercicios:
1. Sean K H G grupos tales que (H : K) y (G : H) son finitos. Probar
que (G : K) = (H : K)(G : H).
2. Sean H y K dos subgrupos finitos de un grupo G. Sea HK un subconjunto
|H||K|
de G definido por HK = {hk : h H, k K}. Probar que |HK| = |HK| .
Captulo 2
Homomorfismos
2.1. Homomorfismos
2.1 Definicion (homomorfismo): Sean G y G0 dos grupos. Una funcion
: G G0 es un homomorfismo si para todo a, b G se tiene que:
(ab) = (a)(b) (2.1)
2.2 Observaciones sobre definicion 2.1.
i) Note que en el lado izquierdo de (2.1) la operacion es la de G, mientras

que en el lado derecho la operacion es la de G0 .
ii) Para todo par de grupos G, G0 , existe al menos un homomorfismo : G

G0 , denominado el homomorfismo trivial definido por (g) = e0 , para
todo g G, donde e0 es el elemento identidad en G0 . Sin embargo, este
homomorfismo trivial no nos proporciona mucha informacion estructural
sobre G y G0 .
2.3 Ejemplos:
i) Sea r Z y sea r : Z Z definido por r (k) = rk, para todo k Z.

Entonces para todo m, n Z se tiene que r (m + n) = r(m + n) =
rm + rn = r (m) + r (n). As, r es homomorfismo. Note que 0 es el
homomorfismo trivial, 1 es le funcion identidad, y 1 es una funcion
sobreyectiva de Z en Z. Para r 6= 1, r no es sobreyectiva.
ii) Sea G = G1 G2 . . . Gi . . . Gn un producto directo de n grupos. La

funcion proyeccion i : G Gi , definida por i : (g1 , . . . , gi , . . . , gn ) = gi
es un homomorfismo para cada i {1, . . . , n}.
iii) Sea : Z Zn dado por (m) = r, donde r es el residuo de la division

de m entre n.
18 Captulo 2. Homomorfismos
2.2. Propiedades de Homomorfismos

2.4 Definicion (Imagen, rango, imagen inversa): Sea : X Y una
funcion del conjunto X al conjunto Y . Sean A X y B Y .
i) La imagen [A] de A en Y bajo es el conjunto {(a) : a A}.
ii) El conjunto [X] es el rango de .
iii) La imagen inversa 1 [B] de B en X es el conjunto {x X : (x) B}.
Teorema 2.5 Sea : G G0 un homomorfismo de grupos. Entonces:
i) Si e es la identidad en G entonces (e) es la identidad e0 de G0 .
ii) Si a G, entonces (a1 ) = (a)1 .
iii) Si H es un subgrupo de G, entonces [H] es un subgrupo de G0 .
iv) Si K 0 es un subgrupo de G0 , entonces 1 [K 0 ] es un subgrupo de G.
Demostracion: Como a = ae, para todo a G, entonces (a) = (ae) =

(a)(e). Ahora multiplicando a ambos lados por (a)1 a derecha, se tiene
que e0 = (e), que es lo que dice i).
Para ver ii), e0 = (e) = (aa1 ) = (a)(a1 ), y multiplicando a ambos lados
por (a)1 a derecha se tiene (a)1 = (a1 ).
Sea H G y sean (a) y (b) dos elementos en [H]. Entonces (a)(b) = (ab),
luego (a)(b) [H] pues ab H, esto es [H] es cerrado bajo operacion de
G0 . Ahora, como e0 = (e) y (a)1 = (a1 ) entonces [H] G0 , verificando
iii).
Sea K 0 G0 y sean a, b 1 [K 0 ]. Entonces (a)(b) K 0 , puesto que K 0
es grupo. Ahora, la ecuacion (2.1) prueba que ab 1 [K 0 ]. As, 1 [K 0 ] es
cerrado bajo la operacion de G. Ademas, e0 K 0 luego como e0 = (e), entonces
e 1 [{e0 }] 1 [K 0 ]. Y finalmente si a 1 [K 0 ], entonces (a) K 0 y
(a)1 K 0 . Pero (a)1 = (a1 ) y as a1 1 [K 0 ]. Lo que completa la
demostracion de iv). F
2.6 Definicion (Fibra): Sea : G G0 un homomorfismo y sea a0 G0 .

La imagen inversa 1 [{a0 }] es la fibra sobre a0 bajo . De ahora en adelante
notaremos 1 [{a0 }] por 1 (a0 ).
2.7 Nota. Como {e0 } es un subgrupo de G0 , el teorema 2.5 muestra que

la fibra 1 (e0 ) bajo un homomorfismo : G G0 es un subgrupo de G.
Demostraremos a continuacion que las fibras de G bajo son los coconjuntos
del grupo 1 (e0 ). As las fibras de G bajo forman una particion de G (ver
figura 2.1).
PSfrag replacements
Propiedades de Homomorfismos 19
G Ker() 1 (x0 )
e
b
a

G0
e0 (a) (b) x0
Figura 2.1: Fibras y Kernel
2.8 Definicion (Kernel): Sea : G G0 un homomorfismo, y e0 el neutro

en G. El kernel de es la fibra sobre e0 bajo , y lo notamos Ker(). Formal-
mente:
Ker() := {g G : (g) = e0 }
Teorema 2.9 Sean : G G0 un homomorfismo, H = Ker() y a G.

Entonces la fibra sobre (a) bajo es el coconjunto izquierdo aH de H, y es el
coconjunto derecho Ha de H. Como consecuencia, las dos particiones de G en
coconjuntos izquierdos y derechos de H son la misma.
Demostracion: Se desea probar que {g G : (g) = (a)} = aH.

Suponga que a, g G son tales que (g) = (a). Entonces (a)1 (g) = e0 ,
donde e0 es la identidad en G0 . Por el teorema 2.5, sabemos que (a)1 =
(a1 ), y entonces se tiene (a1 )(g) = e0 . Ademas, como es homomorfis-
mo, (a1 )(g) = (a1 g), luego (a1 g) = e0 . Esto es a1 g H, o a1 g = h,
para algun h H, luego g = ah aH. As {g G : (g) = (a)} aH.
Para comprobar la inclusion opuesta, considere g aH, entonces g = ah pa-
ra algun h H. Esto implica (g) = (ah) = (a)(h) = (a)e0 = (a).
As g {g G : (g) = (a)}, luego aH {g G : (g) = (a)}.
Una demostracion similar demuestra el mismo resultado para coconjuntos de-
rechos. F
Corolario 2.10 Un homomorfismo : G G0 es inyectivo si y solo si Ker() =

{e}.
Demostracion: Suponga que Ker() = {e}, entonces si a, g G son tales que

(a) = (g), g aKer(). Pero aKer() = a{e} = {a}. Luego g = a.
Para demostrar la implicacion inversa, suponga que es inyectiva. Por el teore-
ma 2.5 (e) = e0 , la identidad de G0 . Pero es inyectiva, luego el unico elemento
enviado a e0 por es e, luego Ker() = {e}. F
2.3. Subgrupos normales

2.11 Definicion (Subgrupo normal): Un subgrupo H de G es normal si
sus coconjuntos derechos e izquierdos coinciden, lo que notaremos por H C G.
Es decir:
H C G : g G, gH = Hg
2.12 Observacion. Todo subgrupo de un grupo abeliano es normal.
Corolario 2.13 (al Teorema 2.9) Ker() C G para cualquier homomorfis-

mo con dominio G.
Teorema 2.14 H C G (h, g) H G, ghg 1 H
Demostracion: Suponga que H C G. Sea h H y g G. Como gh gH y por

definicion gH = Hg, entonces gh = h0 g, para algun h0 H. Luego ghg 1 = h0 ,
esto implica ghg 1 H.
Ahora suponga que para todo h H y para todo g G, ghg 1 H. Considere
algun g G. Sea gh gH, con h H, as ghg 1 H, o ghg 1 = h0 , para algun
h0 H, luego gh = h0 g Hg. As gH Hg. De forma similar establecemos
Hg gH. Luego gH = Hg. F
Corolario 2.15 H C G g G, gHg 1 = H
2.16 Nota. Frecuentemente consideraremos la caracterizacion del teorema

2.14 y de su corolario 2.15 para hacer demostraciones.
2.17 Ejemplo: Sea S3 el grupo simetrico sobre {1, 2, 3} y sea H el subgrupo

que consiste de la permutacion identidad y de la transposicion (1 2). Entonces
H no es normal pues (2 3)1 (1 2)(2 3) = (2 3)(1 2)(2 3) = (1 3) y (1 3) / H.
Lema 2.18 Sea H C G y sean g1 , g2 G. Entonces g1 Hg2 H = (g1 g2 )H.
Demostracion: g2 H = Hg2 as:

g1 Hg2 H = g1 (Hg2 )H = g1 (g2 H)H = (g1 g2 )H. F
Teorema 2.19 Sea H C G. Entonces el conjunto de todos los coconjuntos de

H en G es un grupo bajo la operacion que a (g1 H, g2 H) le asocia (g1 g2 )H.
El elemento identidad de este grupo es H, y el inverso de gH es g 1 H, para
cualquier g G.
Demostracion: Por el lema anterior el conjunto de los coconjuntos es cerrado

bajo la operacion. Sea g G. El subgrupo H es un coconjunto de H pues H =
eH. Ademas, gHH = gHeH = (ge)H = gH, HgH = eHgH = (eg)H = H,
gHg 1 H = (gg 1 )H = eH = H y finalmente g 1 HgH = (g 1 g)H = eH = H.
As, el conjunto de todos los coconjuntos de H es un grupo. F
Isomorfismos y el Teorema de Cayley 21
2.20 Observacion. Es interesante en este momento observar que el resultado

anterior es otra forma de caracterizar los grupos normales, es decir un subgru-
po es normal si y solo la operacion del teorema anterior resulta bien definida.
Formalmente: Sea B = {Bi }iI una particion de G tal que (Bi , Bj ) 7 Bi Bj es
una operacion bien definida de B B en B. Entonces B0 , la clase de e es un
subgrupo normal de G, B = G/B0 y la operacion es (g1 B0 , g2 B0 ) 7 (g1 g2 )B0
(ver ejercicio ??).
Teorema 2.21 Sean K, N G, con N C G. Entonces:
i) N K C K
ii) N C< N K >
iii) N K =< N K >= KN
iv) si K C G y N K = {e}. Entonces: nk = kn, (n, k) K N
Demostracion: Como N C G entonces por la caracterizacion 2.14, gng 1 N ,

para todo n N y g G. Luego si n N K N y k K, knk 1 N .
As knk 1 N K, pues knk 1 K, de donde i) es verificado.
Como N < N K >, ii) es trivialmente concluido segun el teorema 2.14.
Para demostrar iii), observe primero que N K < N K >, con lo cual unica-
mente debemos ver que < N K > N K. Ahora, un elemento h < N K >
es un producto de la forma n1 k1 n2 k2 . . . nr kr , con ni N y ki K, para
i {1, . . . , r}. Como N C G, entonces, como se vio en la demostracion de 2.14,
si k K y n N , kn = n0 k para algun n0 N . En terminos practicos esto es,
podemos correr los ki s hacia la izquierda y as h = n(k1 k2 . . . kr ), para algun
n N , luego h N K, de forma similar h KN . Y as la inclusion que faltaba
es verificada.
Suponga las hipotesis adicionales para iv), y sean k K y n N . Entonces
nkn1 K y kn1 k 1 N , luego (nkn1 )k 1 K y n(kn1 k 1 ) N , pero
N K = {e} luego nkn1 k 1 = e o nk = kn. F
Teorema 2.22 Sean H, K G, entonces |HK| |H K| = |H| |K|, y as (H :

H K) = |HK|/|K| si H y K son finitos.
Demostracion: Defina la relacion de equivalencia en H K por (h, k) (h 0 , k 0 )

si hk = h0 k 0 , esto es si (h0 )1 h = k 0 k 1 , o mas aun si (h0 , k 0 ) = (gh, gk 1 )
para algun g H K. Entonces cada una de las |HK| clases de equivalencia
es de tamano |H K|. Ahora considere f : H K/ HK definida por
f ([(h, k)] ) = hk. As, f es biyectiva y |HK| |H K| = |H| |K|. F
2.4. Isomorfismos y el Teorema de Cayley

2.23 Definicion (Isomorfismo): Un isomorfismo es un homomorfismo
biyectivo.
Teorema 2.24 Sea C una coleccion de grupos, y defina la relacion ' en C por
G ' G0 si existe un isomorfismo : G G0 . Tenemos que ' es una relacion
de equivalencia sobre C.
Demostracion: La identidad es un isomorfismo, luego ' es reflexiva.

Si : G G0 es un isomorfismo, su inversa tambien, luego ' es simetrica.
La composicion de dos isomorfismos es un isomorfismo, luego ' es transitiva.F
2.25 Observaciones.
i) Toda coleccion de grupos se puede particionar mediante la relacion '.
ii) La estructura de dos grupos isomorfos es la misma, luego podemos iden-

tificarlos como uno solo, pues su unica diferencia es el nombre de los ele-
mentos.
2.26 Para probar que dos grupos G y G0 son isomorfos debemos:
i. Definir una funcion : G G0
ii. Probar que es un homomorfismo.
iii. Probar que es biyectiva.
Note lo util que puede resultar el corolario 2.10 al teorema 2.9 para probar iii..
Teorema 2.27 Todo grupo cclico infinito es isomorfo a < Z, + >.
Demostracion: Sea a un generador de G, as G = {an : n Z}. Defina :

G Z por (an ) = n. Ahora (an am ) = (an+m ) = n + m = (an ) + (am ).
Finalmente observe que (an ) = 0 si y solo si n = 0, luego es inyectiva, y
ademas dado n Z, (an ) = n, luego es sobreyectiva. F
Teorema 2.28 (Teorema de Cayley) Todo grupo es isomorfo a un subgrupo

de un grupo de permutaciones.
Demostracion: Sea G un grupo y SG es grupo simetrico sobre G. Si a G defina

a : G G por a (g) = ag. Ahora si a (g) = a (g 0 ) entonces ag = ag 0 luego
g = g 0 , y a (a1 g) = g, as vemos que a es una permutacion, pues es una
biyeccion.
Sea G0 = {a : a G}, como 1 a = a1 y e = Id entonces G0 SG . Y
as mismo vemos que g 7 g es un isomorfismo. F
2.29 Observacion. El teorema de Cayley parece decir algo bastante general.

Pero en la teora que estamos estudiando aca no es de mucha utilidad.
Grupo Factor 23
2.5. Grupo Factor

2.30 En el teorema 2.19 vimos que si H C G entonces el conjunto de los
coconjuntos de H bajo la operacion (aH, bH) 7 abH es un grupo. Esto motiva
la siguiente:
2.31 Definicion (Grupo factor): Sea G un grupo. Dado H C G el grupo de

los coconjuntos de H bajo la operacion (aH, bH) 7 abH es el grupos factor
de G modulo H. Lo notaremos G/H.
2.32 Observacion. Segun el corolario 2.13 dado un homomorfismo con ker-

nel H, podemos definir el grupo factor de G modulo H. Este grupo factor
jugara un rol supremamente importante en el resto de la teora, como empe-
zaremos viendolo en el teorema fundamental del homomorfismo (ver teorema
2.36).
2.33 Ejemplo: Z4 Z2 es abeliano, luego todos sus subgrupos son normales,

en particular {0} Z2 . Entonces (Z4 Z2 )/({0} Z2 ), es un grupo y ademas
es tambien abeliano, y as lo podemos clasificar de acuerdo al teorema de los
grupos abelianos finitamente generados (teorema 1.48). Ahora,
Z4 Z2 = {(0, 0), (0, 1), (1, 0), (1, 1), (2, 0), (2, 1), (3, 0), (3, 1)}
y
{0} Z2 = {(0, 0), (0, 1)}
si podemos G = Z4 Z2 y
H = {0} Z2
H1 = H + (1, 0) = {(1, 0), (1, 1)}
H2 = H + (2, 0) = {(2, 0), (2, 1)}
H3 = H + (3, 0) = {(3, 0), (3, 1)}
tenemos G/H = {H, H1 , H2 , H3 }, as como G/H tiene cuatro elementos, solo

hay dos alternativas: G/H ' Z2 Z2 o G/H ' Z4 . Pero G/H =< H1 > luego
es cclico, y as es isomorfo Z4 .
2.6. Teorema Fundamental del Homomorfismo

Lema 2.34 Si H C G, : G G/H definida por (g) = gH es un homomor-
fismo con kernel H.
Demostracion: Es consecuencia directa del teorema 2.19. F
2.35 Definicion (proyeccion canonica): Si H C G, a H : G G/H

definida por (g) = gH la llamamos proyeccion canonica, o homomorfismo
canonico, de kernel H.
Teorema 2.36 (Teorema Fundamental del Homomorfismo) Sea : G

G0 un homomorfismo con kernel H. Entonces la funcion : G/H [G] tal
que = H , es un isomorfismo.
Demostracion Sean g, g 0 G tales que gH = g 0 H, as g 1 g 0 H esto equivale

a (g)1 (g 0 ) = (g 1 g 0 ) = e0 . Esto es (g) = (g 0 ), entonces podemos definir
por (gH) := (g). Pero H (g) = gH, luego = H .
Ahora por el teorema 2.19 es un homomorfismo. Es evidente que es sobre-
yectivo, y la inyectividad la podemos deducir de la equivalencia entre gH = g 0 H
y (g) = (g 0 ). As es isomorfismo.
Su unicidad es evidente, pues si : G/H [G] es tal que = H ,
(gH) = (g). F
Corolario 2.37 Si : G G0 es un homomorfismo sobreyectivo con kernel

H, G/H ' G0 .
2.38 Observacion. El teorema fundamental del homomorfismo nos habla de

la dinamica del grupo G: si tenemos un homomorfismo sobreyectivo de G en
G0 con kernel H, podemos descomponer la operacion de G en dos partes una
primera que tiene la dinamica de H con consecuencias en otra despues que tiene
la de G0 . Por ejemplo sea a, c G, b aH con b = ah0 y d cH con d = ch,
entonces bd acH y si h00 H es tal que ch00 = h0 c, bd = ac(h00 h) (ver figura
2.2). Una visualizacion de esto es la operacion de suma en los reales que se
puede
PSfrag descomponer en una parte decimal y en otra entera (1, 75 0, 75 + Z,
replacements
2, 43 0, 43 + Z, 4, 18 = 1, 75 + 2, 43 1, 18 + Z = 0, 18 + Z).
bd = ac(h00 h)
acH
uv
.
.
.
b = ah0
aH u
cH v
d = ch
.
.
.
e0
h00 h
H h00
h

G G0
Figura 2.2: Teorema Fundamental del Homomorfismo

Calculo de Grupo Factor 25
2.7. Calculo de Grupo Factor

2.39 Ejemplos:
i) El subgrupo trivial {0} de Z es un subgrupo normal. Calculemos Z/{0}.

Como N = {0} tiene unicamente un elemento, todo coconjunto de N tiene
un solo elemento. Es decir, los coconjuntos son de la forma {m} para algun
m entero. As Z/{0} ' Z
ii) Sea n N . El conjunto nR = {nr : r R} es un subgrupo de R con

la adicion. nR es normal puesto que R es abeliano. Calculemos R/nR.
Note que cada x R es de la forma n( nx ) con nx R. De ah que para
cualquier x R tenemos que x nR. Entonces nR = R y en consecuencia
R/nR consta de un unico elemento, a saber, nR. A nR/R no le queda mas
alternativa que ser el grupo trivial.
2.40 Observacion. Por el teorema fundamental del homomorfismo, podemos

pensar en el grupo factor G/H como un grupo en el cual cada coconjunto de
H colapsa a un solo elemento. En particular H colapsa a un neutro. Como
acabamos de ver el colapso puede variar de inexistente (cuando H = {e}), a
catastrofico (cuando H = G). Es claro que estos dos tipos de colapsos no nos
proporcionan mayor informacion sobre la dinamica en G.
2.41 Ejemplos:
i) Comencemos observando lo siguiente: Si G es un grupo finito y G/N tiene

solo dos elementos, entonces |G| = 2|N |. Note ademas que cualquier sub-
grupo conteniendo la mitad de los elementos de G es forzosamente normal,
puesto que dado a G, a esta en H o no esta en H. En el primer caso se
tendra a H, aH = H = Ha, y en el segundo a / H, aH = Ha forzo-
samente. Ahora bien, como sabemos que |Sn | = 2|An |, entonces el grupo
alternante An es un subgrupo normal de Sn y el grupo cociente tiene dos
elementos. Sabiendo que cualquier grupo de orden dos es isomorfo a Z2
conocemos completamente la operacion en Sn /An . Tomando / An una
permutacion impar y si renombramos An por impar y An por par
verificamos la siguiente propiedad de la dinamamica de Sn :
(par)(par) = par (impar)(par) = impar

(par)(impar) = impar (impar)(impar) = par
Vemos como conocimiento acerca de la operacion en el grupo factor S n /An

refleja una propiedad de la operacion en Sn .
ii) El recproco del teorema de Lagrange no es cierto. Veamos que

no es cierto que k | |G| implique que exista algun H G tal que |H| =
k. Mostraremos que A4 no tiene subgrupos de orden seis. Suponga por
contradiccion que H es un subgrupo de A4 de orden seis. Como |A4 | = 12,
H es normal. As A4 /H tiene solo dos elementos H y H para algun
/ H. Como en un grupo de orden dos el cuadrado de todo elemento

es la identidad, entonces HH = H y HH = H. Ahora, el producto
en el grupo factor se puede lograr mediante el producto de elementos
representativos de los los coconjuntos, luego tenemos que para cualquier
A4 , 2 H. Pero en A4 se tiene (123) = (132)2 y (132) = (123)2 luego
(123) y (132) estan en H. De la misma forma se verifica que (124), (142),
(134), (143), (234) estan todos en H. Esto muestra que H tiene al menos
ocho elementos, contradiciendo la hipotesis de que H tenia seis elementos.
iii) Calculemos el grupo factor Z4 Z6 / < (0, 1) >. Sea H =< (0, 1) >,
as H = {(0, 0), (0, 1), (0, 2), (0, 3), (0, 4), (0, 5)} Como H tiene 6 elementos,
todos los coconjuntos de H tambien deben tener 6 elementos y |(Z4
Z6 )/H| = 4. Como Z4 Z6 es abeliano, entonces Z4 Z6 /H tambien. Los
coconjuntos de H en Z4 Z6 son:
H = (0, 0) + H
H1 = (1, 0) + H
H2 = (2, 0) + H
H3 = (3, 0) + H
As Z4 Z6 / < (0, 1) > es cclico, luego es isomorfo a Z4 .
Teorema 2.42 Sea G = H K el producto de dos grupos H y K. Entonces

H = {(h, e) : h H} es un subgrupo normal de G. Ademas, G/H es isomorfo
a K. Similarmente, G/K ' H
Demostracion: Considere el homomorfismo 2 : H K K, donde 2 (h, k) =

k. Como Ker(2 ) = H y 2 es sobreyectiva, el teorema 2.36 nos dice que
H K/H ' K. F
Teorema 2.43 Un grupo factor de un grupo cclico es cclico.
Demostracion: Sea G =< a >, y N G. As N C G, y como a genera todo G,

aN genera todo G/N . Luego G/N =< aN > es cclico. F
2.44 Observacion. Ya vimos que un grupo factor de un grupo no cclico bien

podra ser cclico (por ejemplo, Sn /An , para n 3). El teorema 2.42 nos muestra
como algunos grupos factor colapsan separadamente, este no siempre es el caso
como lo veremos ahora mismo.
2.45 Ejemplos:
i) Calculemos Z4 Z6 / < (0, 2) >. Sea H =< (0, 2) >= {(0, 0), (0, 2), (0, 4)}.
En primera instancia note que Z4 Z6 es abeliano, luego el grupo factor
tambien es abeliano, y como |H| = 3, es de orden 8. Usando el teorema
fundamental de los grupos abelianos finitamente generados, sabemos que
Grupos simples 27
el grupo factor debe ser isomorfo a uno de los siguientes grupos: Z8 , Z4 Z2

o Z2 Z2 Z2 . Con un poco de paciencia calculamos los coconjuntos:
H = (0, 0) + H = {(0, 0), (0, 2), (0, 4)} H4 = (2, 0) + H = {(2, 0), (2, 2), (2, 4)}
H1 = (0, 1) + H = {(0, 1), (0, 3), (0, 5)} H5 = (2, 1) + H = {(2, 1), (2, 3), (2, 5)}
H2 = (1, 0) + H = {(1, 0), (1, 2), (1, 4)} H6 = (3, 0) + H = {(3, 0), (3, 2), (3, 4)}
H3 = (1, 1) + H = {(1, 1), (1, 3), (1, 5)} H7 = (3, 1) + H = {(3, 1), (3, 3), (3, 5)}
y los subgrupos generados son:
< H1 >= {H, H1 }

< H2 >= {H, H2 , H4 , H6 }
< H3 >= {H, H3 , H4 , H7 }
< H4 >= {H, H4 }
< H5 >= {H, H5 }
< H6 >=< H2 >
< H7 >=< H3 >
Como no hay ningun elemento de orden 8, entonces no puede ser isomorfo a

Z8 . Como no todo elemento tiene orden 2, entonces tampoco lo puede ser a
Z2 Z2 Z2 . Entonces no quedendo mas alternativa, es isomorfo a Z4 Z2 .
Este es un ejemplo de como los coconjuntos colapsan separadamente.
ii) Calculemos el grupo factor (Z4 Z6 )/ < (2, 3) >. Sea H =< (2, 3) >, en-
tonces H = {(0, 0), (2, 3)}. Como H es de orden 2, entonces (Z4 Z6 )/H
es de orden 12. Se podra cometer el error de pensar que Z4 y Z6 sepa-
radamente colapsan en grupos isomorfos a Z2 y que y entonces el grupo
factor sera isomorfo a Z2 Z2 . De esta manera el grupo factor tendra
orden 4 y no 12 como de hecho es. Tenga cuidado en no pensar que los fac-
tores siempre colapsan separadamente!! Ahora bien, los grupos abelianos
de orden 12 son: Z4 Z3 (que es isomorfo a Z12 ), Z6 Z2 y Z2 Z2 Z3 .
Ademas Z4 Z3 es el unico que tiene un elemento de orden 4. Probaremos
que el coconjunto (1, 0) + H es un elemento de orden 4. Para encontrar
la potencia mas pequena de un coconjunto que de la identidad, basta es-
coger la potencia mas pequena del representante que este en H. Ahora,
4(1, 0) = (1, 0) + (1, 0) + (1, 0) + (1, 0) = (0, 0). Por lo tanto (Z4 Z6 )/H
tiene un elemento de orden 4 y as es isomorfo a Z4 Z3 .
2.8. Grupos simples

Teorema 2.46 Sea : G G0 un homomorfismo. Si N C G, [N ] C [G]. Si
N 0 C [G], 1 [N 0 ] C G.
Demostracion: Sean N C G y N 0 C [G]. [N ] [G] y 1 [N 0 ] G por el

teorema 2.5. Ahora si ((g), (n)) [G] [N ], gng 1 N y (gng 1 ) =
(g)(n)(g)1 [N ], luego [N ] C [G]. Por otro lado si g, n G 1 [N 0 ],
(gng 1 ) = (g)(n)(g)1 N 0 y gng 1 1 [N 0 ], luego 1 [N 0 ] C G. F
2.47 Ejemplo: En S3 considere = (2 3). Defina el homomorfismo : Z2

S3 por (0) = 0 y (1) = . Ahora bien Z2 C Z2 , pero {id, } = [Z2 ] no es
subgrupo normal de S3 , como ya se vio previamente.
2.48 Observaciones.
i) Como lo muestra el ejemplo anterior, aun si N C G, [N ] puede no ser
subgrupo normal de G0 .
ii) Sabiendo que construir grupos factor nos ilustra sobre la dinamica del
grupo, podemos preguntarnos en que condiciones un grupo no admite sino
colapsos triviales.
2.49 Definiciones (Grupo simple, subgrupo normal maximal):

i) Un grupo G es llamado simple si su unico subgrupo propio normal es {e}.
ii) Un subgrupo propio normal M de G es llamado maximal, si:
N CGM <N N =G
2.50 Observaciones a la definicion 2.49.

i) Semejante a los numeros primos, el grupo trivial no es simple.
ii) Un subgrupo es normal maximal si y solo si el unico subgrupo normal que
lo contiene propiamente es todo el grupo.
Teorema 2.51 M es un subgrupo normal maximal de G si y solo si G/M es

simple.
Demostracion: Sea M un subgrupo normal maximal de G. Considere la proyec-

cion canonica M , y tome N 0 C G/M . Ahora, por el teorema 2.46, 1 [N 0 ] C G.
Entonces si N 0 = {M }, 1 [N 0 ] = Ker(M ) = M , de lo contrario M < 1 (N 0 )
lo cual implica 1 (N 0 ) = G, y as N 0 = G/M . As el unico subgrupo propio
normal de G/M es {M }.
Para verificar el converso, suponga que G/M es simple, y tome N C G tal que
M < N . As M [N ] C G/M y N 6= {M }, luego M [N ] = G/M . Entonces N es
un subgrupo de G que contiene a M y a un representante de cada coconjunto
de M , luego N = G. As M es normal maximal. F
2.9. El centro y el conmutador

2.52 Todo grupo tiene dos subgrupos normales importantes, el centro y el
conmutador, que nos indican de cierto modo que tan abeliano es G. Por
un lado nos podemos preguntar que elementos conmutan en G, y por otro,
como podriamos abelianizar G (i.e encontrar un grupo factor de G abeliano
y parecido a G).
El centro y el conmutador 29
2.53 Notacion. Dados a, b G notaremos aba1 b1 por [a : b] y lo llamare-

mos conmutador de a y b.
Teorema 2.54 K = {z G : zg = gz, g G} y H =< {[a : b] : a, b G} >

son subgrupos normales de G.
Demostracion: Comencemos con K, si g G, eg = ge, luego e K. Ahora

si k1 , k2 K y g G, k1 g = gk1 , as multiplicando a izquierda y derecha
por k11 obtenemos, gk11 = k11 g, luego k11 K, y k1 k2 g = k1 gk2 = gk1 k2 ,
as k1 k2 K. Entonces K G.
Ahora sea (g, k) G K. Entonces si g 0 G, (gkg 1 )g 0 = kg 0 = g 0 k =
g 0 (gkg 1 ), luego gkg 1 K. As K C G.
Ahora preocupemonos por H. H G por definicion. Si a, b G, e = [a : a] H,
[a : b]1 = [b : a] H. Luego por el teorema 1.38, H consiste de todos los pro-
ductos finitos de conmutadores.
Si x, y, g G, gxyg 1 = (gxg 1 )(gyg 1 ), entonces concluiremos que H es nor-
mal si g[x : y]g 1 es un producto de conmutadores. Pero,
g[x : y]g 1 = gxyx1 y 1 g 1

= gxyx1 (g 1 y 1 yg)y 1 g 1
= ((gx)y(gx)1 y 1 )(ygy 1 g 1 )
= [gx : y][y : g]
luego H C G. F
2.55 Definiciones (Centro y conmutador):

i) El centro de G es el subgrupo Z(G) definido por:
Z(G) := {z G : zg = gz, g G}
ii) El conmutador de G es el subgrupo C(G) definido por:
[G : G] :=< {[a : b] : a, b G} >
2.56 Observacion: En el caso en que G es abeliano, su centro es todo G y

su conmutador es {e}. Bajos estas condiciones estos subgrupos, como se poda
esperar, no son de mucha utilidad.
2.57 Ejemplo: Por verificacion (continuando el ejemplo 1.56), vemos que

Z(S3 ) = {id}
Teorema 2.58 Sea G un grupo:

i) G/[G : G] es abeliano.
ii) G/N es abeliano si y solo si [G : G] N
Demostracion: Sean a, b G, como [a : b] [G : G], ab(ba)1 [G : G] = [G : G],

luego ab[G : G] = ba[G : G]. As G/[G : G] es abeliano.
Ahora suponga que G/N es abeliano, esto equivale a: para todo a, b G, abN =
baN ; que sucede si y solo si [a : b] = ab(ba)1 N para todo a, b G, que es
[G : G] N . F
2.59 Ejemplo: S3 /A3 es abeliano luego [G : G] A3 . Con la notacion de

1.56, [ : ] = 2 = = 2 y [2 : ] = 2 = 2 = = . Luego
A3 [G : G]. Concluimos que [G : G] = A3 .
2.10. Ejercicios
1. Sea : G G0 un homomorfismo de grupos. Pruebe que:
(a) Si |G| es finito, entonces |[G]| es finito y es un divisor de |G|.

(b) Si |G0 | es finito, entonces |[G]| es finito y es un divisor de |G0 |.
2. Pruebe que todo homomorfismo : G G0 donde |G| es un primo debe

ser o bien el homomorfismo trivial o bien un homomorfismo inyectivo.
3. Sea G un grupo y sea g un elemento fijo de G. Pruebe que la aplicacion

ig : G G definida por ig (x) = gxg 1 es un isomorfismo de grupos. (Un
isomorfismo de un grupo G en si mismo es llamado un automorfismo de
G. El automorfismo ig es llamado el automorfismo interno de G por
g).
4. Sea H un subgrupo de un grupo G. Pruebe que H C G si y solo si

ig [H] = H, para todo g G. (Es decir, H es normal en G si y solo si H
es invariante bajo todos los automorfismos internos de G).
5. Un subgrupo H es dicho conjugado con un subgrupo K de un grupo

G si existe un automorfismo interno ig de G tal que ig [H] = K. Pruebe
que la conjugacion es una relacion de equivalencia sobre la coleccion de
subgrupos de G.
6. Sea H un subgrupo normal de un grupo G, y sea m = (G : H). Pruebe

que am H para todo a G.
7. Pruebe que la interseccion de subgrupos normales de un grupo G es un

subgrupo normal de G.
8. Pruebe que si un grupo G tiene exactamente un solo subgrupo H de un

orden dado, entonces H C G.
9. Pruebe que si H y N son subgrupos de un grupo G, donde N es normal

en G, entonces H N es normal en H. Pruebe con un ejemplo que H N
no es necesariamente normal en todo G.
Ejercicios 31
10. Pruebe que el conjunto de todos los automorfismos de un grupo G forman

un grupo bajo la operacion de composicion.( Dicho grupo se denota por
AUT(G)).
11. Pruebe que los automorfismos internos de un grupo G forman un subgrupo
normal de AUT(G). (Pruebe primero que el conjunto de los automorfismos
internos de G es un subgrupo de AUT(G)).
12. Sean G y G0 dos grupos y sean H y H 0 subgrupos normales de G y G0
respectivamente. Sea un homomorfismo de G en G0 tal que [H] H 0 .
Pruebe que induce un homomorfismo natural : G/H G0 /H 0 .
13. Pruebe que si un grupo finito G contiene un subgrupo propio de ndice 2
en G, entonces G no es simple.
14. Pruebe que si un grupo G no es abeliano, entonces el grupo factor G/Z(G)
no es cclico.
15. Use el ejercicio anterior para probar que un grupo G no abeliano de orden
pq, donde p y q son primos, tiene un centro trivial.
Captulo 3
Conjugacion
3.1. Elementos y subgrupos conjugados

3.1 Definicion (Elementos conjugados): Dos elementos k, h de un mismo
grupo G son conjugados si k = ghg 1 para algun g G.
3.2 Observaciones a la definicicion 3.1.

i) La relacion ser conjugados es una relacion de equivalencia en el grupo, la
verificacion de esta trivialidad se le deja al lector. Las clases de equiva-
lencia de esta relacion las denominaremos clases de conjugacion y la
notaremos [h].
ii) La clase de conjugacion de la identidad contiene solamente a la identidad.
Ademas es la unica clase de conjugacion que es un grupo, ya que las otras
no contienen a la identidad.
iii) Un grupo es abeliano si y solo si todas sus clases de conjugacion son
conjuntos unipuntuales (ejercicio).
3.3 Definicion (Centralizador): Sea G un grupo y h G. El Centraliza-

dor de h, que notaremos C(h), esta definido por:
C(h) := {g G : hg = gh}
3.4 Ejemplo: Considere S3 , el grupo de permutaciones sobre el conjunto

{1, 2, 3}. Sea h = (1 2). Entonces, el centralizador de h es C(h) = {id, (1 2)}. Cla-
ramente C(h) S3 , pero C(h) no es subgrupo normal en S3 pues (1 3)(1 2)(1 3)1 =
(2 3).
3.5 Observacion. El Centralizador de h son justamente los elementos de G

que conmutan con h. Evidentemente e C(h), ahora si g, g 0 C(h) entonces
hgg 0 = ghg 0 = gg 0 h, esto es gg 0 C(h). Lo anterior muestra que C(h) G. El
34 Captulo 3. Conjugacion
centralizador tiene apariencia de ser un subgrupo normal, aunque el ejemplo

anterior muestra que no siempre es el caso. Pero, aunque C(h) no es subgrupo
normal, si podemos definir las siguientes aplicaciones que seran de gran utilidad
en el futuro:
3.6
h : G G
g 7 hgh1
Note que si hgh1 = hg 0 h1 entonces g = g 0 y si g 0 = h1 gh entonces hg 0 h1 =

g, luego h es una biyeccion. Ademas para g, g 0 G arbitrarios hgg 0 h1 =
(hgh1 )(hg 0 h1 ), luego h es isomorfismo de G en G (es decir, h es un auto-
morfismo de G).
Ahora bien, si b gC(h) entonces b = gk para algun k C(h) as bhb1 =
gkh(gk)1 = gkhk 1 g 1 = ghg 1 . Luego:
fh : G/C(h) G
gC(h) 7 g (h)
esto es fh (gC(h)) = ghg 1 , esta bien definida. Note que fh no es necesariamen-

te un homomorfismo pues G/C(h) no tiene porque tener estructura de grupo,
puesto que C(h) no es necesariamente normal en G.
Teorema 3.7 Sea G un grupo finito, y h G. Entonces: |[h]| = (G : C(h)).
Demostracion: Es claro que para demostrar esto basta ver que la aplicacion
fh definida en 3.6 es biyectiva, ya que cuando g recorre G, fh (g) recorre [h].
Suponga que fh (aC(h)) = fh (bC(h)), esto es aha1 = bhb1 o b1 ah = hb1 a,
luego b1 a C(h) lo que equivale a aC(h) = bC(h). Ahora sea a [h] as a =
ghg 1 para algun g G, luego g (h) = a o fh (gC(h)) = a. F
3.8 El hecho que g sea un isomorfismo, implica que si H G entonces

gHg 1 G, lo que nos sugiere expandir nuestra relacion de ser conjugados a la
siguiente, que tambien es de equivalencia:
3.9 Definicion (Subgrupos conjugados): Dos subgrupos H, K de un mis-

mo grupo G son conjugados si K = gHg 1 para algun g G.
3.2. An para n 5 es simple

3.10 Recordemos los siguientes resultados ya obtenidos:
i) Toda permutacion de un conjunto finito es la permutacion identidad, un
ciclo, o un producto de dos o mas ciclos disyuntos.
An para n 5 es simple 35
ii) Toda permutacion de un conjunto finito con mas de un elemento puede

expresarse como un producto finito de transposiciones.
iii) Una permutacion de un conjunto finito es un producto o bien de un numero
par de transposiciones o bien de un numero impar de transposiciones, pero
no las dos.
iu) Un n-ciclo es, par si n 1 es par; impar si n 1 es impar.
u) Toda permutacion par de un conjunto finito con al menos tres elementos
puede expresarse como un producto de 3-ciclos.
((a b)(a c) = (a b c), (a b)(c d) = (a c b)(a c d))
Lema 3.11 Si k n 2 es impar, todos los k-ciclos en An pertenecen a una
misma clase de conjugacion.
Demostracion: Sea k como en las hipotesis. Demostraremos que todo k-ciclo
es conjugado de h = (1 2 . . . k). Considere un ciclo k = (m1 m2 . . . mk ) en
An . Sea g An tal que g(i) = mi (Por que existe un tal elemento en An ?).
As g 1 (mi ) = i. Ahora si i k 1, ghg 1 (mi ) = gh(i) = g(i + 1) = mi+1
y ghg 1 (mk ) = gh(k) = g(1) = m1 . Pero si d {1, . . . , n} es tal que d 6= mi ,
para todo i {1, . . . , k}, g 1 (d) k + 1, y as hg 1 (d) = g 1 (d) entonces
ghg 1 (d) = d. Luego ghg 1 = k, esto es k y h son conjugados. F
3.12 Observacion: A4 no es simple. Considere
V4 := {id, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}

Sea g A4 , entonces g(1 2)(3 4)g 1 = (g(1) g(2))(g(3) g(4)) es un elemento
de V4 y algo similar sucede con las otras dos permutaciones de V4 diferentes a
la identidad. Luego V4 C A4 . (Ejercicio: pruebe que V4 es el unico subgrupo
normal propio no trivial de A4 ).
Lema 3.13 Sea n 5 y N C An no trivial. Entonces, existen g N \{id} y
a {1, 2, . . . , n}, tales que g(a) = a.
Demostracion: Dividimos la prueba en dos casos: uno, todo elemento h N es
tal que h2 = id; dos, el caso en que no.
Suponga que primero que no, y sean h N y a {1, 2, . . . , n} tales que h2 (a) 6=
a. Sea b = h(a), c = h(b), as a, b y c son distintos. Ahora como n 5, existen
otros dos elementos d, e distintos a los tres anteriores. Sea h0 = (c d e)h(c d e)1
as h0 N y h0 (a) = b, h0 (b) = d. Luego h0 6= h y si g = h1 h0 , entonces g N ,
donde g no es la identidad y g(a) = a.
Ahora suponga el otro caso, y sea h N \{id} y a {1, 2, . . . , n} tal que
h(a) 6= a. Sea b = h(a). Ahora como h es par h 6= (a b) y as existen dos
elementos mas c y d, distintos, tales que h(c) = d. Sea e un quinto elemento
distinto de a, b, c, y d, y sea h0 = (c d e)h(c d e)1 . Entonces h0 N es tal que
h0 (a) = b y h0 (d) = e luego h0 6= h y si g = h1 h0 , entonces g N , donde g no
es la identidad y g(a) = a. F
36 Captulo 3. Conjugacion
Lema 3.14 Sea n 5 y N C An . Si N contiene un 3-ciclo, N = An .
Demostracion: Por el lema 3.11 si N contiene un 3-ciclo, al ser normal tambien

contiene los demas 3-ciclos. Ahora por 3.10 u), estos generan An . F
Teorema 3.15 Si n 5, An es simple.
Demostracion: Procederemos por induccion sobre n.

Sea N C A5 no trivial. Por el lema 3.13, existen g N \ {id} y a {1, . . . , 5}
tales que g(a) = a. Sea h A5 tal que h(a) = 5, y g 0 = hgh1 , luego g 0 (5) = 5
y g 0 N \ {id}. Defina H = {g A5 : g(5) = 5}, as H G y H '
A4 . Luego N H C H, y g 0 N H, y como el unico subgrupo propio
no trivial normal de A4 es V4 , {(1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} N H.
Ahora (1 2)(4 5) = (3 4 5)(1 2)(3 4)(3 4 5)1 , luego (1 2)(4 5) N . Ademas
(3 4 5) = (1 2)(3 4)(1 2)(4 5), as (3 4 5) N . Entonces por el lema 3.14,
N = A5 .
Sea n > 5. Suponga que An1 es simple. Sea N C An no trivial y H = {g
An : g(n) = n}. Por el lema 3.13, existen g N \ {id} y a {1, . . . , n} tales
que g(a) = a. Sea h An tal que h(a) = n, y g 0 = hgh1 , luego g 0 (n) = n y
g 0 N \ {id}. Luego N H C H, y g 0 N H, entonces N H = H, pues
H ' An1 y An1 es simple, as N contiene un 3-ciclo y entonces por el lema
3.14, N = An . F
3.16 Observaciones.
i) Actualmente debe ser claro para el lectorQlo elegante de la conjugacion
en los grupos de permutaciones. Si h = ni=1 (ai bi ), entonces ghg 1 =
Q n
i=1 (g(ai ) g(bi )). Es impreciso hablar de una productoria en un grupo
no abeliano, para que la identidad sea cierta se requiere que se considere
el mismo orden en el producto que expresa ghg 1 que el que se uso para
h. Lo anterior, evidentemente, no es lo unico impresionante en todo esto.
ii) Uno de los objetivos de los primeros cursos en Algebra Abstracta es de-
mostrar la insolubilidad de los polinomios de grado mayor o igual a cinco
(la insolubilidad de la quintica). Por extrano que nos parezca actual-
mente, el hecho que An sea simple para n 5 es una de las razones para
ello. Elegante, no?. Sigamos entonces con nuestro estudio.
3.3. Ejercicios
1. Pruebe que un grupo G es abeliano si y solo si todas sus clases de conju-
gacion contienen exactamente un elemento de G.
2. Sea H un subgrupo de un grupo G. Para cada g G, el subconjunto
gHg 1 es un conjugado de H. Probar que cada conjugado de H es un
subgrupo de G y que la interseccion de los conjugados de H es un subgrupo
normal de G.
Captulo 4
Accion de grupo sobre un

conjunto
4.1. G-conjuntos
4.1 Definicion (Accion de Grupo y G-conjunto): Sea X un conjunto y
G un grupo. Una accion de G sobre X es una aplicacion : G X X tal
que:
i) e x = x, x X
ii) (g1 g2 ) x = g1 (g2 x), x X, g1 , g2 G
Bajo estas condiciones, X es un G-conjunto. Cuando no halla lugar a confucion
notaremos g x por gx.
4.2 Nota. Aqu definimos la accion actuando por la izquierda, algunos

libros la prefieren actuando por la derecha. Por lo general esto ultimo se hace
cuando tambien se prefiere la composicion por derecha (i.e. f g(x) = g(f (x))).
4.3 Ejemplo: Sea X un conjunto, y H un subgrupo de SX . Entonces X es

un H-conjunto, donde la accion de H sobre X es la definida por gx = g(x). La
condicion ii) de la definicion 4.1, es una consecuencia inmediata de la definicion
de multiplicacion de permutaciones vista como composicion, y la condicion i),
de la definicion de la permutacion identidad como la funcion identidad. Note
que en particular, {1, . . . , n} es un Sn -conjunto.
4.4 El siguiente teorema muestra que para cada G-conjunto X, dado un g G

la aplicacion g : X X definida por g (x) = gx es una permutacion de X,
y que existe un homomorfismo : G SX tal que la accon de G sobre X
es basicamente la descrita en el ejemplo 4.3 con H = [G]. Por lo tanto, las
acciones de los subgrupos de SX sobre X describen todas las posibles acciones de
un grupo G sobre X. As al momento de estudiar el conjunto X, acciones usando
38 Captulo 4. Accion de grupo sobre un conjunto
subgrupos de SX seran suficientes. Sin embargo, algunas veces, un conjunto X

es usado para estudiar G va una accion de grupo G sobre X.
Teorema 4.5 Sea X un G-conjunto. Para cada g G, la funcion g : X X

definida por g (x) = gx es una permutacion de X. Ademas, la aplicacion :
G SX definida por (g) = g es un homomorfismo. As (g)(x) = gx, esto
es:
: G SX
g 7 g : X X
x 7 gx
Demostracion: Dado g G, demostremos que x 7 gx es una biyeccion. Sean

x, y X, tales que gx = gy. As por 4.1 ii), ex = g 1 gx = g 1 gy = ey, luego
por 4.1 i), x=y. Ahora, sea x X, tome x0 = g 1 x, as gx0 = gg 1 x = ex = x.
Visto entonces que x 7 gx es una biyeccion, tiene sentido nuestra funcion ,
pues x 7 gx es una permutacion.
Ahora, de la condicion ii) de la definicion 4.1 se sigue inmediatamente que es
un homomorfismo. F
4.6 Definiciones (Accion fiel, accion transitiva): Sea X un G-conjunto.

i) Decimos que G actua fielmente sobre X si: dado un g G tal que gx = x
para todo x, implica g = e.
ii) Decimos que G actua transitivamente sobre X si: para cada x1 , x2 X,
existe un g G tal que gx1 = x2 .
4.7 Observacion. Sea X un G-conjunto. Segun el teorema 4.5 y el corolario

2.13, el subconjunto N de G que deja todo elemento de X fijo es un subgrupo
normal. Ahora, por el teorema fundamental del homomorfismo, a X lo podemos
ver como un G/N -conjunto, donde gN x = gx. As G/N actua fielmente sobre
X.
4.8 Ejemplos:
i) Considere g : G G definida por g (g 0 ) = gg 0 . Ahora e = id y g1
g2 = g1 g2 , luego si definimos g x = g (x), G es un G-conjunto. Si
H G, de misma forma podemos ver a G como un H-conjunto. Note que
con las g : G G, definidas por g (g 0 ) = g 0 g podemos definir un accion
a derecha pero no a izquierda.
ii) Recuerde g : G G definida por g (g 0 ) = gg 0 g 1 . Entonces, e = id y
g1 g2 = g1 g2 , luego si definimos g x = g (x), G es un G-conjunto.
iii) Sea V un espacio vectorial sobre R, los axiomas 1~v y (rs)~v = r(s~v ), mues-
tran que V se puede ver como un R -conjunto, con el grupo < R , ., 1 >.
Subgrupo estabilizador y orbitas 39
iu) Sea S n = {x Rn+1 : kxk = 1} la esfera n-dimensional. Considere

SOn+1 (R) = {U Mn+1n+1 : det(U ) = 1 U U t = I} el conjunto
de matrices ortonormales de dimension n + 1 n + 1. As bajo la accion
U x = U x, S n es un SOn+1 (R)-conjunto.
u) Sea H G y LH el conjunto de los coconjuntos izquierdos de H en G.
Bajo la accion g xH = (gx)H, LH es un G-conjunto. Esta accion sera de
gran utilidad (cf. Captulo 6).
4.2. Subgrupo estabilizador y orbitas

4.9 Notacion. Sea X un G-conjunto, notaremos:
Xg := {x X : gx = x}, y Gx := {g G : gx = x}
Teorema 4.10 Sea X un G-conjunto. Entonces, Gx G, para todo x X.
Demostracion Sea x X. ex = x luego e Gx , si g Gx , g 1 x = g 1 gx = x,

luego g 1 Gx , y finalmente si g1 , g2 Gx , g1 g2 x = g1 x = x, entonces g1 g2
Gx . F
4.11 Definicion (Subgrupo estabilizador): Dado X un G-conjunto. A Gx

lo llamamos el subgrupo estabilizador de x.
Teorema 4.12 Sea X un G-conjunto. La relacion definida por x1 x2 si

existe un g X tal que gx1 = x2 , es de equivalencia.
Demostracion: ex = x, para todo x X, luego la relacion es reflexiva.Sea

x1 , x2 , x3 X. Si gx1 = x2 , x1 = g 1 x2 , entonces la relacion es simetrica.
Ahora si g1 x1 = x2 y g2 x2 = x3 , tenemos que g2 g1 x1 = x3 , luego la relacion es
tambien transitiva. F
4.13 Definicion (Orbitas): A la clase de equivalencia de x de la relacion

definida en 4.12, la llamamos orbita de x, y la notaremos Gx. As:
Gx := {a X| g G : gx = a}
4.14 Aunque la notacion de la orbita y del estabilizador se parecen, no hay que

confundirlos. Existen otras notaciones para estos conjuntos pero esta nos parece
bastante descriptiva. Ahora bien, un lector prudente que ya se desenvuelva en
esta teora, le parecera el siguiente resultado muy natural.
Teorema 4.15 |Gx| = (G : Gx )
Demostracion: Si x0 Gx, con x0 = g1 x = g2 x entonces g11 g2 Gx , luego

g1 Gx = g2 Gx . As podemos definir : Gx {gGx }gG por (gx) = gGx .
Veamos que es una biyeccion. Sea x1 , x2 Gx, tales que (x1 ) = (x2 ).
Ahora, suponga que x1 = g1 x y x2 = g2 x, as g1 Gx = g2 Gx luego existe un
g Gx tal que g2 = g1 g, entonces x2 = g1 gx = g1 x = x1 . La sobreyectividad es
evidente, dado g G, (gx) = gGx . F
4.3. Aplicaciones de G-conjuntos en combinato-

ria: La formula de Burnside
4.16 Suponga que queremos saber de cuantas maneras se puede marcar un
dado cubico de forma que cada marcada sea distinguible de las otras, sin impor-
tarnos que lados opuestos sumen siete. Para marcar la primera cara disponemos
de 6 numeros, para la segunda de 5, y as sucesivamente vemos que tenemos
6! = 720 formas de marcarlos, pero varias de estas marcadas no son distinguibles
pues algunas se pueden obtener de otras mediante rotacion. As si consideramos
las diferentes rotaciones del cubo como un grupo, y las 720 marcadas como un
conjunto, dos de estas no son distinguibles si estan en la misma orbita de la
accion rotar el cubo. Aqu es donde el problema se une con nuestra teora, y
para resolverlo usamos la formula de Burnside.
Teorema 4.17 (La formula de Burnside) Sea G un grupo P finito y X un G-

conjunto. Si r es el numero de orbitas en X, entonces: r|G| = gG |Xg |.
Demostracion: Considere todos los pares (g, x) tales que gx = x, y sea N el

numero de dichos pares. Para cada g G, hay |Xg | pares teniendo a g como
primer elemento. Entonces: X
N= |Xg | (4.1)
xX
Por otro lado, para cada x X, hay |Gx | pares teniendo a x como segundo
elemento. Entonces: X
N= |Gx | (4.2)
xX
Ahora, por el teorema 4.15, |Gx| = (G : Gx ), y por el teorema de Lagrange

(G : Gx ) = |G|/|Gx |, as |Gx | = |G|/|Gx|, y remplazando en (4.2):
X |G| X 1
N= = |G| (4.3)
|Gx| |Gx|
xX xX
P
Ahora |Gx| es el mismo para todo x0 Gx, luego x0 Gx 1/|Gx| = 1, as de
(4.3), N = |G|r, y combinando esto con (4.1) obtenemos el resultado buscado.
F
Corolario 4.18 Si G es un grupo finito y X un G-conjunto, entonces:

1 X
(numero de orbitas en X bajo G) = |Xg |
|G|
gG
4.19 Ejemplo: Continuemos con el problema del dado. Estabamos en que

dos marcadas son distinguibles si y solo si pertenecen a orbitas distintas, luego
nuestro problema se reduce a contar el numero de estas. Formalicemos la idea de
actuar por rotacion del cubo. Primero note que hay 24 posibles posiciones para
el cubo mediante rotaciones: cada cara se puede poner abajo (6 posibilidades),
La formula de Burnside 41
y despues, la posicion del cubo queda completamente determinada por la cara

que se ponga al frente (4 posibilidades). Estas rotaciones, si etiquetamos cada
vertice del cubo, se pueden identificar naturalmente con un subgrupo G de S8
de 24 elementos (ver figura 4.1). As |G| = 24, y ademas, dado g G con g 6= e,
se tiene |Xg | = 0, pues toda rotacion diferente a la identidad cambia de posicion
el dado. Sin embargo |Xe | = 720. Entonces por el corolario 4.18, el numero de
1
orbitas es 24 720 = 30. Luego el numero de marcadas distinguibles es 30.
5 8 8 7 7 6 6 5
PSfrag replacements6 7 5 6 8 5 7 8
4 3 3 2 2 1 1 4
1 2 4 1 3 4 2 3

12345678 12345678 12345678
id
23416785 34127856 41238567
Figura 4.1: Rotaciones del cubo
Teorema 4.20 Sea G un grupo. Sea A un G-conjunto y B un conjunto, ambos

finitos. B A es un G-conjunto bajo g f definida por gf (x) = f (g 1 x). Ademas,
si dado un k N , denotamos Ck (G) el conjunto de permutaciones en [G],
donde es el homomorfismo del teorema 4.5, teniendo exactamente k ciclos en
su descomposicion cclica. Entonces:
+
1 X
(numero de orbitas en B A bajo G) = |Ck (G)||B|k
|G|
k=1
Demostracion: Como ef (x) = f (e1 x) = f (x) y (g1 g2 )f (x) = f ((g1 g2 )1 x) =

f (g21 g11 x) = g2 f (g11 x) entonces vemos que lo que se definio en el enunciado
del teorema es una accion.
Ahora bien, por la formula de Burnside, es suficiente demostrar que para un
k N dado: X
|Ck (G)||B|k = |Xg |
gCk (G)
Note que si es una permutacion en A, como en la descomposicion los cclos

son disyuntos, f ((a)) = f (a) para todo a A si y solo si f es constante sobre
cada cclo de . Suponga que g Ck (g), entonces BgA = {f B A : gf = f }, y
BgA esta compuesta por todas las aplicaciones que son constantes en cada uno
de los k cclos de (g 1 ), y estas son |B|k . F
4.21 Ejemplo: Sean n crculos iguales dispuestos en crculo. Queremos ver

cual es el numero de coloraciones distinguibles que se logran con c colores. Note
que si consideramos los n crculos como los vertices de un polgono convexo

regular con n lados, entonces podemos usar el grupo diedral Dn para representar
las distintas configuraciones de los crculos.
Sean entonces A el conjunto de los n crculos, G = Dn (|G| = 2n) y B el
conjunto de los c colores. Ahora cada coloracion se puede ver como un elemento
de PB A , luego si el numero de coloraciones distinguibles es N , tenemos N =
1 n k
2n k=1 |Ck (G)|c .
El numero de rotaciones que son k nk -ciclos es el numero de elementos en Zn
que generan un subgrupo de orden nk , esto es |Nk | donde Nk = {a {1, . . . , n} :
(a, n) = k}. Ahora si n es impar, cada una de las n simetras pasa por un vertice,
luego es n12 2-ciclos y un 1-ciclo. Y si n es par, cada una de las n/2 simetras
que pasan por un vertice es n2 2 2-ciclos y dos 1-ciclos, y cada una de las n/2
simetras que no pasan por algun vertice es n2 2-ciclos. Esto abarca todos los
elementos de Dn . Entonces:

1 P n+1
2n ( k|n |Nk |ck + c 2 ) si n es impar
N=
1 (P |Nk |ck + n (c n2 + c n2 +1 )) si n es par.

2n k|n 2
4.4. Ejercicios
1. Sea X un G-conjunto, y sean x1 , x2 X tales que x1 y x2 se encuentran
en la misma orbita. Probar que los estabilizadores Gx1 y Gx2 de x1 y x2
respectivamente, son subgrupos conjugados en G. Deducir que Gx1 y Gx2
tienen el mismo orden.
2. Sea X un G-conjunto, donde G es un grupo de permutaciones. Sea O una
orbita de X bajo la accion de G. Si x, y O, entonces pruebe que el
conjunto de permutaciones en G que envan x a y (es decir, el conjunto
{ G : (x) = y}) es un coset derecho de Gx . Contrariamente, pruebe
que todos los elementos de un coset derecho de Gx envan x al mismo
punto en O.
3. Sea G un grupo de permutaciones actuando transitivamente sobre un con-
junto X. Entonces, G actua sobre X X, y una orbita de X X bajo la
accion de G es llamada un orbital (para diferenciarla de una orbita de X
bajo G). Sea x X. Pruebe que existe una biyeccion entre los orbitales de
X X bajo G y las orbitas de X bajo la accion del subgrupo estabilizador
Gx .
Captulo 5
Teoremas de Isomorfismos y
Series de Grupos
5.1. Teoremas de Isomorfismos

Teorema 5.1 (Primer Teorema de Isomorfismo) Sea : G G0 un ho-
momorfismo con kernel K, y sea K : G G/K la proyeccion canonica (i.e.
K (g) = gK). Entonces, hay un unico isomorfismo : G/K [G] tal que
= K (ver figura 5.1).
PSfrag replacements

G [G] G0

G/K
Figura 5.1: Primer Teorema de Isomorfismo
5.2 Definicion (join): Sean H, N G. Se define el join H N de H y de

N por:
H N :=< HN >
5.3 Observacion. H N es el subgrupo mas pequeno de G que contiene HN .

Ademas H N es el subgrupo mas pequeno de G conteniendo tanto a H como
a N , puesto que cada uno de tales subgrupos debe contener HN . En general,
HN no es un subgrupo de G.
Lema 5.4 Si N C G, y H G, entonces H N = HN = N H. Ademas, si

H C G, entonces HN C G.
44 Captulo 5. Teoremas de Isomorfismos y Series de Grupos
Demostracion: La primera parte del lema no es sino una reformulacion del teo-
rema 2.21 iii).
Ahora, supongamos ademas que H C G, y sea h H, n N y g G, luego
ghng 1 = (ghg 1 )(gng 1 ) HN , y as HN C G. F
Teorema 5.5 (Segundo Teorema de Isomorfismo) Si H G y N C G,

entonces HN/N ' H/(H N ).
Demostracion: Como N C G entonces H N C H. Sean h, h1 H y n, n1 N ,

y suponga que h1 n1 = hn. Eso es equivalente a h1 h1 = nn1 1 , as h
1
h1 esta en
H y en N , es decir, h1 h1 H N que es lo mismo que h(H N ) = h1 (H N )
elemento de H/(H N ). Luego podemos definir : HN H/(H N ) por
(hn) = h(H N ).
Veamos que es un homomorfismo. Sean n1 , n2 N y h1 , h2 H. Como en el
lema 5.4, se puede escribir n1 h2 = h2 n3 para algun n3 N , puesto que N C G.
Entonces:
((h1 n1 )(h2 n2 )) = ((h1 h2 )(n3 n2 )) = h1 h2 (H N ) = h1 (H N )h2 (H N ) =
(h1 n1 )(h2 n2 ).
Luego es homomorfismo, y es evidente que es sobreyectivo. Ahora, si hn HN
es tal (hn) = N , esto es hnN = N o hN = N luego h H N . As Ker() =
(H N )N = N , y ademas [HN ] = H/(H N ), luego por el teorema 5.1
HN/N ' H(H N ). F
5.6 Ejemplos:
i) Sea G = Z Z Z, H = Z Z {0}, y N = {0} Z Z. As HN = G

y H N = {0} Z {0}. Se tiene entonces que (HN )/N ' Z y tambien
que H/(H N ) ' Z.
ii) Si H, K C G y K H, entonces H/K C G/K (compruebelo).
Teorema 5.7 (Tercer Teorema de Isomorfismo) Sean H, K C G, con K

H, entonces G/H ' (G/K)(H/K).
Demostracion: Sea : G (G/K)(H/K) dada por (a) = (aK)(H/K), para

a G. Claramente, es sobreyectiva, y para a, b G, se tiene que:
(ab) = [(ab)K](H/K) = [(aK)(bK)](H/K) = [(aK)(H/K)][(bK)(H/K)] =
(a)(b)
Entonces es homomorfismo. Ahora, si x G es tal que (x) = H/K, x H,
luego por el teorema 5.1 se tiene que G/H ' (G/K)(H/K). F
5.8 Nota. Una buena manera de ver el teorema 5.7 es mirando la aplicacion
canonica H : G G/H siendo factorizada por un subgrupo normal K de G,
obteniendose H = H/K K , como se ilustra en 5.2
PSfrag replacements
Series de Grupos 45
G H G/H
Homomorfismo natural
K
G/K (G/K)(H/K)
H/K
Figura 5.2: Tercer Teorema de Isomorfismo
5.2. Series de Grupos

5.9 Definiciones (Series normales y subnormales):
i) Una serie subnormal de un grupo G es una secuencia finita H0 , H1 , . . . , Hn

de subgrupos de G tal que Hi < Hi+1 , para todo i {0, 1, . . . , n 1}, y
tal que
{e} = H0 C H1 C H2 C C Hn1 C Hn = G
ii) Una serie normal es una serie subnormal donde ademas:

Hi C G, i {0, 1, . . . , n}.
5.10 Observaciones.
i) Para un grupo abeliano, las nociones de series subnormales y normales

coincide, puesto que todo subgrupo es normal.
ii) Una serie normal es siempre subnormal. Pero lo contrario no es cierto (ver
5.11).
5.11 Ejemplos:
i) {0} C 8Z C 4Z C Z, y {0} C 9Z C Z, son series subnormales (y normales

a la vez).
ii) Considere D4 , el grupo de isometras del cuadrado (el grupo diedral). La

serie {0 } C {0 , 1 } C {0 , 2 , 1 , 2 } C D4 es subnormal, pero no es
normal, puesto que {0 , 1 } no es normal en D4 .
5.12 Definicion (Refinamiento): Una serie subnormal (normal) {Kj }j{0,1,...,m}

es un refinamiento de una serie subnormal (normal) {Hi }i{0,1,...,n} de
un grupo G si {Hi }i{0,1,...,n} {Kj }j{0,1,...,m} (i.e. cada Hi es uno de los Kj )
5.13 Ejemplo: La serie {0} C 72Z C 24Z C 8Z C 4Z C Z es un refinamiento

de la serie {0} C 72Z C 8Z C Z (note que los subgrupos 4Z y 24Z han sido
insertados).
5.14 Para estudiar le estructura de un grupo G, los grupos factor Hi+1 /Hi
son de mucha utilidad.
5.15 Definicion (Series isomorfas): Dos series subnormales (normales)

{Hi }i{0,1,...,n} y {Kj }j{0,1,...,n} de un mismo grupo G son isomorfas si existe
una correspondencia biunvoca entre las colecciones de grupos factores, esto
es entre {Hi+1 /Hi }i{0,1,...,n1} y {Kj+1 /Kj }j{0,1,...,n1} tal que los grupos
correspondientes son isomorfos
5.16 Observacion. Claramente dos series subnormales (normales) isomorfas

deben contener el mismo numero de grupos.
5.17 Ejemplo: Las dos series de Z15 : {0} C< 5 >C Z15 y {0} C< 3 >C Z15 ,
son isomorfas. Tanto Z15 / < 5 > como < 3 > /{0} son isomorfos a Z5 , y
Z15 / < 3 > es isomorfo a < 5 > /{0}, o a Z3 .
Teorema 5.18 (Lema de Zassenhaus (mariposa)) Sean H y K dos sub-

grupos de un grupo G y sean H y K subgrupos normales de H y K respecti-
vamente. Entonces (ver figura 5.3):
i) H (H K ) C H (H K)
ii) K (H K) C K (H K)
iii) H (H K)H (H K ) ' K (H K)/K (H K)

' (H K)/[(H K )(H K)]
H K
PSfrag replacements

H (H K) K (H K)
HK
H (H K ) K (H K)
H K
H K H K

(H K )(H K)
Figura 5.3: Lema de la Mariposa
Demostracion: H C H y H K es un subgrupo tanto de H como de K, luego

por el lema 5.4 H (H K) es grupo. De manera analoga vemos que H (H K ),
K (H K), y K (H K) tambien lo son.
Ahora si r H K y s H K, entonces sr s1 esta en H y en K, pero
esto es sr s1 H K. Luego H K C H K. Con un mismo argumento
Series de Grupos 47
vemos que H K C H K. Y as por el lema 5.4 (H K)(H K ) =

(H K )(H K) =: L C H K.
Veamos ahora que las tres inclusiones marcadas con negrita en la figura 5.18
son normales y sus grupos factores isomorfos, con eso habremos probado el
lema. Para eso nos valdremos de un homomorfismo adecuadamente definido y
del primer teorema de isomorfismo.
Sean h1 , h2 H y x1 , x2 H K tales que h1 x1 = h2 x2 , esto es h1 2 h1 =
x2 x1
1 H (H K) = H L L. Luego x1 L = x2 L. Luego podemos definir
: H (H K) (H K)/L por (h x) = xL donde h H y x H K.
Sean h1 , h2 H y x1 , x2 H K, como H C H, entonces existe h H tal
que x1 h2 = hx1 . As ((h1 x1 )(h2 x2 ) = ((h1 h)(x1 x2 )) = (x1 x2 )L = x1 Lx2 L =
(h1 x1 )(h2 x2 ). Entonces es homomorfismo. Claramente es sobreyectivo.
Ahora si h H , y x H K, son tales que (hx) = L, la condicion es
equivalente a x L o a hx H L = H (H K)(H K ) = H (H
K). Luego Ker() = H (H K). Entonces como es sobreyectivo con kernel
H (H K), por el teorema 5.1 H (H K)/H (H K) ' (H K)/L y ademas
Ker() C Dom(). Y con un homomorfismo similar de K (H K) en (H K)/L
demostramos lo que falta de la prueba. F
5.19 Suponga que tiene dos cadenas de subgrupos de un mismo grupo G:

Hi1 C Hi C Hi+1 y Kj C Kj+1 . Teniendo en mente el lema 5.18, note Hm,n :=
Hm (Hm+1 Kn ) y Km,n := Km (Km+1 Hn ). As, tendremos unas cadenas como
las que se muestran en la figura 5.4 donde los grupos factor formados por los
grupos unidos por lineas de mismo espesor son isomorfos. Vale la pena notar que
en caso de tener series y no simples cadenas, las lineas en negrita de cada lado
de la figura estaran conectadas, ya que las series empiezan en {e} y terminan
en G. Esto es lo que se explica formalmente en el Teorema 5.20.
Teorema 5.20 (Teorema de Schreier) Dos series subnormales (normales)

de un mismo grupo tienen refinamientos isomorfos.
PSfrag replacements
H

Hi+1
"!"! "!"! i,j+1 Kj,i+1

K
"!"!"! "!"!"!
j+1
"!"!"! "!"!"!
"!"! "!"! $#$#
"!"! "!"! H $#$##$
Kj,i
H
$#
i,j

i
H

Kj
i1,j+1 Kj,i1

H i1
H
i1,j
Figura 5.4: Teorema de Schreier

Demostracion: Sea G un grupo y sean:
{e} = H0 C H1 C . . . C Hn = G (5.1)
{e} = K0 C K1 C . . . C Km = G (5.2)
dos series subnormales para G. Para i {0, 1, . . . , n 1} forme la cadena de
grupos:
Hi = Hi (Hi+1 K0 ) C Hi (Hi+1 K1 ) C Hi (Hi+1 K2 ) C . . . C Hi (Hi+1
Km ) = Hi+1 .
Despues de hacer todas estas cadenas para cada i {0, 1, . . . , n 1} y notando
Hi,j := Hi (Hi+1 Kj ), se obtendra la siguiente cadena de grupos:
{e} = H0,0 C H0,1 C H0,2 C . . . C H0,m1 C H1,0

C H1,1 C H1,2 C . . . C H1,m1 C H2,0
C H2,1 C H2,2 C . . . C H2,m1 C H3,0
..
.
C Hn1,1 C Hn1,2 C . . . C Hn1,m1 C Hn1,m = G
(5.3)
Esta cadena 5.3 contiene nm + 1 grupos, no necesariamente distintos, donde

Hi,0 = Hi , para cada i {0, 1, . . . , n 1}. Por el lema de Zassenhaus, la cadena
5.3 es una subnormal, es decir, cada grupo es normal en el siguiente grupo (lo
que justifica el uso del signo C en lo que sabemos ahora que es una serie).
Entonces la cadena 5.3 es un refinamiento de la cadena 5.1.
En forma simetrica, si Kj,i = Kj (Kj+1 Ki ), para j {0, 1, . . . , , m 1} e
i {0, 1, . . . , , n}, tenemos la siguiente serie subnormal:
{e} = K0,0 C K0,1 C K0,2 C . . . C K0,n1 C K1,0

C K1,1 C K1,2 C . . . C K1,n1 C K2,0
C K2,1 C K2,2 C . . . C K2,n1 C K3,0
..
.
C Km1,1 C Km1,2 C . . . C Km1,n1 C Km1,n = G
(5.4)
La cadena 5.4 contiene tambien mn + 1 grupos, no necesariamente distintos,

donde Kj,0 = Kj , para cada j {0, 1, . . . , m 1}. Entonces por un argumento
similar, la cadena 5.4 es un refinamiento de la cadena 5.2.
Por el lema de Zassenhaus, se tiene que: Hi (Hi+1 Kj+1 )/Hi (Hi+1 Kj ) '
Kj (Kj+1 Hi+1 )/Kj (Kj+1 Hi ) o lo que es equivalente:
Hi,j+1 /Hi,j ' Kj,i+1 /Kj,i , (i; j) {0, . . . , n 1} {0, . . . , m 1} (5.5)
La relacion 5.5 de isomorfismo, proporciona una correspondencia biunvoca de

grupos factor isomorfos entre las series subnormales 5.3 y 5.4. Para verificar esta
Series de Grupos 49
correspondencia note que Hi,0 = Hi y Hi,m = Hi+1 , mientras que Kj,0 = Kj

y Kj,n = Kj+1 . Cada cadena en 5.3 y 5.4 contiene un arreglo rectangular de
mn smbolos C. Cada C produce un factor. Los grupos factor inducidos por C
en la i-esima fila en 5.3 corresponden a los grupos factor inducidos por C en
la misma columna en 5.4. Eliminando subgrupos repetidos de las cadenas 5.3
y 5.4, se obtiene series subnormales de grupos distintos que son refinamientos
isomorfos de las cadenas 5.1 y 5.2, con lo que se pruebe el teorema para series
subnormales.
Para series normales, donde los Hi s y los Kj s son normales en G, se tiene que
todos los grupos Hi,j y Kj,i formados anteriormente son normales en G, por lo
tanto, el teorema tambien se cumple para estas series. La normalidad de Hi,j y
Kj,i se obtiene por el lema 5.4 y por el hecho que la interseccion de subgrupos
normales de un grupo, es tambien subgrupo normal. F
5.21 Definicion (Serie compuesta y serie principal)
i) Una serie subnormal {Hi }i{0,1,...,n} de un grupo G es una serie com-

puesta si todos los grupos factor Hi+1 /Hi son simples.
ii) Una series normal {Hi }i{0,1,...,n} de G es una serie principal si todos
los grupos factor Hi+1 /Hi son simples
5.22 Observaciones.
i) Hi+1 /Hi es simple si y solo si Hi es normal maximal en Hi+1 .
ii) En los grupos abelianos, los conceptos de serie compuesta y serie principal
coinciden.
iii) Como cada serie normal es subnormal, cada serie principal es una serie
compuesta para todo grupo, abeliano o no.
5.23 Ejemplos:
i) Z no tiene serie compuesta ni serie principal: Sea {0} = H0 C H1 C

. . . C Hn1 C Hn = Z una serie subnormal. H1 debe ser de la forma rZ
para algun r Z+ . Pero H1 /H0 ' Z, es un grupo cclico infinito con
muchos subgrupos normales no triviales, por ejemplo 2rZ. Entonces Z no
contiene series compuestas, ni tampoco principales.
ii) {id} C An C Sn , con n 5, es una serie compuesta y tambien principal

de Sn , puesto que An /{id} ' An , es simple para n 5, y Sn /An ' Z2
tambien.
5.24 Observaciones.
i) Como se observo anteriormente, en una serie compuesta, cada Hi debe

ser normal maximal en Hi+1 . Entonces, para formar una serie compuesta
de un grupo G, se debe tratar de encontrar un subgrupo normal maximal
Hn1 de G, despues Hn2 subgrupo normal maximal de Hn1 y as su-

cesivamente. Si el proceso anterior termina en un numero finito de pasos,
se tiene una serie compuesta. De la misma forma, se puede construir una
serie principal de G con la restriccion que cada i, Hi C G.
ii) Ademas, como Hi es normal maximal en Hi+1 si y solo si Hi+1 /Hi es

simple (ver teorema 2.51), una serie compuesta, no puede tener ningun
refinamiento.
Teorema 5.25 (Teorema de Jordan-Holder) Cualquier par de series com-

puestas (principales) de un grupo G son isomorfas.
Demostracion Sean {Hi }i{0,...,n} y {Ki }i{0,...,m} dos series compuestas (prin-
cipales) de G. Por el Teorema de Schreier (5.20), estas series tienen refinamientos
isomorfos. Pero como todos los grupos factor son simples, entonces por el teore-
ma 2.51, estas series no pueden ser refinadas, lo cual implica que {Hi }i{0,...,n}
y {Ki }i{0,...,m} son isomorfas (y por lo tanto n = m). F
5.26 En el caso de grupos finitos, se puede ver una serie compuesta como una
factorizacion de un grupos en grupos factor simples, analoga a la factorizacion de
un entero positivo en primos. En ambos casos, la factorizacion es unica modulo
el orden de los factores. No hace entonces falta enfatizar mas en la importancia
del teorema de Jordan-Holder.
Teorema 5.27 Si G tiene una serie compuesta (principal), y si N es un sub-

grupo normal propio de G, entonces existe una serie compuesta (principal) con-
teniendo a N .
Demostracion: La serie {e} C N C G es una serie tanto subnormal como normal

de G. Como G tiene una serie compuesta {Hi }i{0,...,n} , entonces por el teorema
de Schreier (5.20), existe un refinamiento de {e} C N C G en una serie subnor-
mal isomorfa al refinamiento de {Hi }i{0,...,n} . Pero como {Hi }i{0,...,n} es una
serie compuesta esta no se puede refinar mas. Por lo tanto, la serie {e} C N C G
puede refinarse a una serie subnormal donde todos sus grupos factores son sim-
ples, esto es a una serie compuesta. Un argumento similar se tiene en el caso en
que {Hi }i{0,...,n} sea principal. F
5.28 Ejemplo: Una serie compuesta (tambien principal) de Z4 Z9 conte-

niendo al subgrupo < (0, 1) > es:
(0, 0) C< (0, 3) >C< (0, 1) >C< 2 > < 1 >C< 1 > < 1 >= Z4 Z9
A continuacion se define la solubilidad de un grupo. Se daran dos definiciones

de solubilidad: solubilidad fuerte usada por Fraleigh, y la solubilidad clasica
la cual llamaremos simplemente solubilidad.
5.29 Definicion (Grupo soluble fuerte): Un grupo se dice soluble fuer-

te si tiene una serie compuesta {Hi }i{0,...,n} tal que todos los grupos factor
Cadena Central Ascendente 51
Hi+1 /Hi son abelianos.
Definicion (Grupo soluble): Un grupo se dice soluble si tiene una serie

subnormal {Hi }i{0,...,n} tal que todos los grupos factor Hi+1 /Hi son abelianos.
5.30 Observacion. Por el teorema de Jordan-Holder (5.25), se tiene que para

un grupo soluble fuerte, toda serie compuesta {Hi }i{0,...,n} debe tener grupos
factor Hi+1 /Hi abelianos.
5.31 Ejemplos:
i) S3 es soluble fuerte, puesto que la serie compuesta {e} C A3 C S3 tiene

grupos factor A3 /{e} ' Z3 y S3 /A3 ' Z2 , los cuales son abelianos.
ii) S5 no es soluble fuerte, puesto que A5 es simple y la serie {e} C A5 C S5

es compuesta, pero A5 /{e} ' A5 no es abeliano.
5.3. Cadena Central Ascendente

5.32 Recordemos que el centro de un grupo G es: Z(G) := {z G : zg =
gz, g G}. Sabemos que Z(G) C G, entonces G/Z(G) es un grupo fac-
tor. Ahora, se podra encontrar el centro del grupo factor G/Z(G), es decir,
Z(G/Z(G)). Como Z(G/Z(G)) C G/Z(G), entonces si G/Z(G) : G G/Z(G)
es el homomorfismo canonico, 1G/Z(G) [Z(G/Z(G))] =: Z1 (G) es un subgrupo
normal G. Se puede entonces formar el grupo factor G/Z1 (G) y encontrar su
centro, y si G/Z1 (G) : G G/Z1 (G) es el homomorfismo canonico, tomando
1
G/Z1 (G) de dicho centro obtener Z2 (G), y as sucesivamente.
5.33 Definicion (Cadena central ascendente): Sean:
Z0 := {e}
Zn+1 := 1
n [Z(G/(Zn (G)))], donde n : G G/Zn (G) es el homomorfis-
mo canonico
La cadena {e} Z1 (G) Z2 (G) . . . es la cadena central ascendente.(Note

que Z1 (G) = Z(G))
5.34 Ejemplos:
i) Z(S3 ) = {id}, entonces la cadena central ascendente de S3 es: {id}

{id} . . .
ii) Z(D4 ) = {id, (1 3)(2 4)}, entonces la cadena central ascendente de D4 es:
{id} {id, (1 3)(2 4)} D4
5.4. Ejercicios
1. Sea H C G y sea K = {a G : ax = xa, para todo x H}. Sea A el
grupo de automorfismos de H y sea I el grupo de automorfismos internos
de H. Para cada a G, sea a el automorfismo de H tal que para todo
x H, a (x) = axa1 . Denote por : G A la aplicacion definida por:
a 7 a .
a) Determinar Ker().
b) Probar que HK es un subgrupo normal de G.
c) Probar que existe un homomorfismo inyectivo de G/HK en A/I.
d ) Probar que HK/K = I.
2. Sean G1 y G2 dos grupos no isomorfos de centros Z(G1 ) y Z(G2 ) respec-
tivamente. Pruebe que Z(G1 G2 ) es isomorfo a Z(G1 ) Z(G2 ).
3. Sea H un subgrupo de un grupo G. Sea = {aH : a G} el conjunto de
cosets izquierdos de H en G. Defina la accion de G sobre por traslacion,
es decir, para cada g G y para cada aH , g(aH) = (ga)H.
a) Determine el subgrupo estabilizador GaH para el elemento fijo aH

.
b) Sea la aplicacion de G en el conjunto de permutaciones de defi-
nida por: g G, a G, (g)(aH) = (ga)H. Entonces, (i) pruebe
que
\ es un homomorfismo de grupos; (ii) Pruebe que Ker() =
aHa1 .
aG
c) Sea N un subgrupo normal
\ de G tal que N es un subgrupo\
propio de
H. Pruebe que N aHa1 . Deduzca que el grupo aHa1
aG aG
es el subgrupo normal mas grande de G contenido en H.
Captulo 6
Teoremas de Sylow y
Grupos libres
6.1. Teoremas de Sylow

6.1 Teniendo ya completamente caracterizados los grupos abelianos, podemos
buscar un estudio mas general de los no-abelianos. Sabiendo que el recproco
del teorema de Lagrange no es cierto, es natural preguntarnos de que orden
tiene subgrupos (normales o no) un grupo dado , y que relacion hay entre ellos.
Nuestro objetivo inmediato es ver que por cada potencia de un primo que divida
el orden de un grupo dado, ese grupo tiene un subgrupo de orden esa potencia.
En toda esta seccion p es primo.
6.2 Observacion. Sea X un G-conjunto finito. Sea r es el numero de orbitas

en X y XG := gG Xg el conjunto de los elementos de orbitas unipuntua-
les. Si {xi }i{1,...,r} es un conjunto de representantes de las orbitas de X con
{xi }i{1,...,|XG |} = XG entonces:
r
X
|X| = |XG | + |Gxi | (6.1)
i=|XG |+1
Teorema 6.3 Si G es un grupo de orden pn y X un G-conjunto finito, |X|

|XG |(mod p).
Demostracion: Por el teorema 4.15, |Gx| | P |G| = pn , luego |Gx| = pm , para

r
algun m {0, 1, . . . , n}. As en (6.1), p | i=|XG |+1 |Gxi |, de donde |X|
|XG |(mod p). F
6.4 Definicion (p-grupo, p-subgrupo): Sea p primo. Un grupo en el cual

todos los elementos tienen orden una potencia de p, es un p-grupo. Un subgrupo
que es un p-grupo, lo llamamos p-subgrupo.
54 Captulo 6. Teoremas de Sylow y Grupos libres
Teorema 6.5 (Teorema de Cauchy) Si G es un grupo finito y p | |G|, en-

tonces G tiene un elemento de orden p y por lo tanto, un subgrupo de orden
p.
Demostracion: Sea X = {(g1 , g2 , . . . , gp ) Gp | g1 g2 . . . gp = e}. Sean g1 , . . . , gp1 ,

p 1 elementos en G, as (g1 , g2 , . . . , gp ) X si y solo si gp = (g1 . . . gp1 )1 ,
vemos entonces que |X| = |G|p1 , luego p tambien divide |X|. Sea el ciclo
(1 2 . . . p) en Sp . Si (g1 , g2 , . . . , gp ) X, g(1) g(2) . . . g(p) = g2 . . . gp g1 = e,
luego bajo la accion k (g1 , g2 , . . . , gp ) = gk (1) gk (2) . . . gk (p) , X es un < >-
conjunto.
Ahora, | < > | = p y as por el teorema 6.3, 0 |X| |X<> |(mod p), esto
es p | |X<> |. Pero como los elementos de X<> son de la forma (g, g, . . . , g),
y (e, e, . . . , e) X<> entonces |X<> | > 1 y as existe a 6= e tal que ap = e.
| < a > | = ord(a) = p. F
Corolario 6.6 Sea G un grupo finito. G es p-grupo si y solo si |G| = pn para

algun n N.
Demostracion: Suponga G p-grupo y pn q1r1 . . . qsrs una descomposicion de |G|

en potencias de primos distintos. Suponga por contradiccion que ri > 0 para
algun i {1, . . . , s}, por el teorema de Cauchy, existe b G tal que ord(b) = q i ,
lo cual contradice la hipotesis de G p-grupo. El converso es una consecuencia
inmediata del teorema de Lagrange. F
6.7 Definicion (Normalizador): Sea H G, el normalizador de H es el

subgrupo N [H] definido por:
N [H] := {g G| gHg 1 = H}
6.8 Observacion: Es facil ver que N [H] es el subgrupo de G mas grande en

el cual H es normal.
Lema 6.9 Si H un p-subgrupo de un grupo finito G, entonces (N [H] : H)

(G : H)(mod p).
Demostracion: Considere (G/H) el conjunto de los coconjuntos izquierdos de

H en G. Bajo h gH = (hg)H, G/H es un H-conjunto. Sea gH (G/H)H ,
esto es (hg)H = gH para todo h H, o g 1 hg H. Entonces gH (G/H)H
si y solo si g N [H]. Luego |(G/H)H | = (N [H] : H). Ahora el orden de H,
por ser p-subgrupo, es una potencia de p, luego por el teorema 6.3 |(G/H)H |
|(G/H)|(mod p), que es lo que queramos establecer. F
Corolario 6.10 Si H es un p-subgrupo de un grupo finito G tal que p | (G : H),

entonces N [H] 6= H.
Demostracion: 0 (G : H) (N [H] : H)(mod p), luego (N [H] : H) 6= 1, de

donde N [H] 6= H. F
Teoremas de Sylow 55
Teorema 6.11 (Primer teorema de Sylow) Sea G un grupo tal que |G| =
pn m, donde n 1, p primo y p 6 | m. Tenemos que:
i) G contiene un subgrupo de orden pi , para cada i {1, . . . , n}.
ii) Todo subgrupo de G de orden pi es normal en un subgrupo de orden pi+1 ,

para i {1, . . . , n 1}.
Demostracion: Haremos induccion en i. Por el teorema de Cauchy, G contiene

un subgrupo de orden p. Ahora suponga que H es un subgrupo de orden pi1 ,
con i n, as como |G| = pn m, p | (G : H), entonces por el lema 6.9, p | (N [H] :
H) = |N [H]/H|. Luego N [H]/H contiene un subgrupo K de orden p. Considere
H la proyeccion canonica con dominio N [H], as 1
H [K] es subgrupo de G de
orden p.ord(H) = pi en el cual H es normal. F
6.12 Definicion (p-subgrupo de Sylow): Un p-subgrupo es de Sylow si es

maximal (i.e. Ningun otro p-subgrupo lo contiene).
6.13 Observacion y nota. Por el teorema 6.11, todos los p-subgrupos de

Sylow de un grupo dado, tienen el mismo cardinal. Esta teora fue desarrollada
por el noruego Ludvig Mejdell Sylow (1832-1918).
Teorema 6.14 (Segundo teorema de Sylow) Si P1 y P2 son dos p-subgrupos

de Sylow de un grupo finito G, entonces P1 y P2 son conjugados.
Demostracion: Considere la accion de P2 sobre (G/P1 ) definida por y xP1 =

(yx)P1 . As por el teorema 6.3, |(G/P1 )P2 | |(G/P1 )|(mod p). Ahora por el
teorema 6.11, |G/P1 | = (G : P1 ) no es divisible por p, pues de lo contrario P1 no
seria maximal. Luego |(G/P1 )P2 | 6= 0. Si xP1 (G/P1 )P2 entonces yx P1 =
x P1 , o x1 yx P1 , para todo y P2 , luego x1 P2 x P1 . Pero |P2 | = |P1 |,
entonces x1 P2 x = P1 . F
Teorema 6.15 (Tercer teorema de Sylow) Si G es un grupo finito y p |

|G|, entonces el numero de p-subgrupos de Sylow es congruente con 1 modulo p
y divide |G|.
Demostracion: Sea P un p-subgrupo de Sylow y L el conjunto de p-subgrupos

de Sylow en G. Considere P actuando por conjugacion sobre L. As |LP |
|L|(mod p).
Ahora si T LP , entonces xT x1 = T , para todo x P , as P N [T ] (ver
observacion 6.8). T N [T ], entonces T y P son p-subgrupos de Sylow, luego,
por el segundo teorema de Sylow, son conjugados en N [T ]. Pero T C N [T ],
entonces T = P . De donde, LP ={P }. Entonces 1 |LP | |L|(mod p).
Si ponemos a G actuar por conjugacion, como todos los p-subgrupos de Sylow
son conjugados, bajo esta accion hay una unica orbita en L. Para P L, su
estabilizador es N [P ], luego por el teorema 4.15 |L| = (G : N [P ]), (G : N [P ]) |
|G|, luego |L| | |G|. F
6.2. Aplicaciones de la teora de Sylow

6.16 Ejemplo: Veamos que ningun grupo G de orden 15 = 3 5 es simple.
Por el primer teorema de Sylow, G tiene un 5-subgrupo, cuantos mas?, segun
el tercer teorema de Sylow estos son, 1, 6 o 11, pero de estas opciones la unica
que divide 15 es 1. Luego G tiene un unico 5-subgrupo, que es de Sylow. Su
conjugado tambien es otro 5-subgrupo de Sylow, pero como hay uno solo, este
es normal. Luego G no es simple.
Teorema 6.17 Todo grupo G con orden potencia de un primo p, es fuertemente

soluble.
Demostracion: Si |G| = pn , G es un p-grupo y entonces por el primer teorema

de Sylow, tiene una serie normal con factores de orden p. As los factores son
abelianos y simples (por que?). Luego la serie es compuesta y sus factores
abelianos, esto es G es fuertemente soluble. F
6.18 Definicion (Ecuacion de clase): Sea X el G-conjunto donde G esta

actuando por conjugacion sobre X = G. Si tomamos c = |Z(G)| = |XG | y
ni = |Gxi | como en (6.1), tenemos:
|G| = c + nc+1 + nc+2 + . . . + nr
que es lo que llamamos la ecuacion de clase de G.
6.19 Observacion a la definicion 6.18. Como ni = (G : Gxi ) entonces por

el teorema de Lagrange ni | |G|. La ecuacion de clase nos dice algo muy natural:
el cardinal de G es la suma de los cardinales de sus clases de conjugacion.
6.20 Ejemplo: Las clases de conjugacion de S3 son {0 }, {1 , 2 } y {1 , 2 , 3 }.

Su ecuacion de clase es entonces |S3 | = 1 + 2 + 3.
Teorema 6.21 El centro de un p-grupo no trivial es no trivial.

P
Demostracion: Sea G un p-grupo no trivial y |G| = c + i ni su ecuacion de
clase. Como cada ni | |G| y |G| = pn para algun n N entonces c 0(mod p).
Ahora, e Z(G) luego c p pues |Z(G)| 1 y p | c. Como p 2, Z(G) es no
trivial. F
Lema 6.22 Sea G un grupo. Si G tiene dos subgrupos normales H y K tales

que H K = {e} y H K = G entonces G ' H K.
Demostracion: Defina : H K G por (h, k) = hk. Por el teorema 2.21

iu), ((h, k)(h0 , k 0 )) = (hh0 , kk 0 ) = hh0 kk 0 = hkh0 k 0 = (h, k)(h0 , k 0 ). Ahora
suponga que hk = e, luego h = k 1 H K, as h = k = e, luego es inyectivo.
Y como HK = H K, es tambien sobreyectivo. F
6.23 Observacion. Dadas las hipotesis del lema anterior, decimos que G es
el producto interno de H y K. Aunque este concepto no lo usaremos mucho aca,
es valido observar que algo semejante se tiene en el algebra lineal.
Grupos abelianos libres 57
Teorema 6.24 Sea p un primo. Todo grupo de orden p2 es abeliano.

Demostracion: Sea G un grupo de orden p2 . Suponga que G no es cclico, as todo
elemento de G excepto la identidad tiene orden p. Luego, si a G es distinto de
la identidad, < a > no es todo G, y si b <
/ a >, < b > < a >= {e}. Por otro
lado por el primer teorema de Sylow, < a > y < b > son subgrupos normales
de G, ademas | < a > < b > | = p2 (Por que?), entonces por el lema 6.22,
G '< a > < b >. Luego G es abeliano. F
Teorema 6.25 Si p y q son primos con p < q, entonces todo grupo de orden pq
tiene un unico subgrupo de orden q. Mas aun el subgrupo de orden q es normal,
luego G no es simple y si q 6 1(mod p), G es cclico.
Demostracion: Por los teoremas de Sylow, G contiene un numero n de q-

subgrupos de Sylow que es congruente a 1 modulo q y que divide a pq. De
esto ultimo n|p, pero p < q luego n = 1. As por el segundo teorema de Sylow,
si Q es el q-subgrupo de Sylow de G, Q C G.
De la misma forma, el numero m de p-subgrupos de Sylow divide a q y es con-
gruente a 1 modulo p. As m {1, q}. Entonces si q 6 1(mod p), m = 1. As si
P es el p-subgrupo de Sylow de G, P C G, y Q P = {e}. As G ' P Q '
Zp Zq ' Zpq . F
6.3. Grupos abelianos libres

6.26 Imaginemonos que quisieramos sumar entidades sin ninguna relacion
entre ellas, diga usted cuadrados y triangulos. Probablemente no querramos
que la suma de un cuadrado, un triangulo, y otro cuadrado diera algo diferen-
te a dos cuadrados y un triangulo. Estamos sumando triangulos y cuadrados
formalmente, y algo as es lo que ahora consideraremos.
6.27 Definicion (Grupo abeliano libre, base): Una terna (G, A, i) que
consta de un grupo abeliano G, un conjunto A y un funcion i : A G, se llama
un grupo abeliano libre si para todo grupo abeliano H y toda funcion de
f : A H, existe un unico homomorfismo fe : G H tal que (ver figura 6.1):
fe i = f
El conjunto A es la base de G.
PSfrag replacements
fe
G H
i
f
Figura 6.1: Grupo abeliano libre

Teorema 6.28 Si (G, A, i) es un grupo abeliano libre, entonces:
i) i es inyectiva.
ii) G =< i[A] >
iii) si (G0 , A, j) es grupo abeliano libre, G ' G0
iu) (G, i[A], j) es grupo abeliano libre, donde j es la inclusion.
Demostracion: Suponga que i no es inyectiva, y sean a, b A tales que i(a) =

i(b) pero a 6= b. Defina f : A Z2 por f (a) = 0 y f (b) = 1, y sea fe : G Z2
homomorfismo tal que fe i = f . Entonces f (a) = fe i(a) = fe i(b) = f (b).
Contradiccion, i es inyectiva.
Suponga que G 6=< i[A] >, luego G/ < i[A] > es un grupo abeliano no trivial.
Ahora si define f : A G/ < i[A] >, por f (a) = 0 para todo a A, el
homomorfismo trivial, 0, y la proyeccion canonica con kernel < i[A] >, <i[A]>
son homomorfismos diferentes tales que 0 i = <i[A]> i = f . Contradiccion,
G =< i[A] >.
Ahora, considere ei : G G0 y e j : G0 G tales que ei i = j y e j j = i.
Entonces ei e j j = j, por un lado, y por otro, idG0 , la identidad en G0 , es el
unico homomorfismo tal que idG0 j = j, luego ei e j = idG0 . De la misma forma
e
j ei = idG , luego G ' G0 .
Sean j : i[A] G, la inclucion, H un grupo abeliano y f : i[A] H una funcion.
Considere g : A H definida por g = f i, y fe : G H homomorfismo tal
que fe i = g. As, como i es inyectiva, fe j = fe (i i 1 1 e
i[A] ) = g i i[A] = f . f
es el homomorfismo buscado. F
6.29 Nota. En vista del teorema anterior, si (G, A, i) es grupo abeliano libre,
podemos considerar A G e i como la inclusion. En este caso decimos que G
es un grupo abeliano libre sobre A.
Teorema 6.30 Sea G un grupo abeliano y A = {ai }i{1,...,n} subconjunto de

G. Las siguientes aserciones son equivalentes:
i) G es libre sobre A, con |A| < .

Pn
ii) Todo elemento g en G se puede expresar de forma unica como g = i=1 ni a i ,
con cada ni Z
P
iii) G =< A > y ni=1 ni ai = 0 si y solo si cada ni = 0.
Demostracion:
ii) i) : Sean j : A G la inclusion y H grupo abeliano. Dada f : H A
Pn Pn
defina fe : G H por f ( i=1 ni ai ) = i=1 ni f (ai ), as fe j = f . De donde G
es abeliano libre sobre A.
Pn iii) : en el teorema 6.28 ya vimos G =< A >. Ahora suponga que 0 =
i)
i=1 ni ai , defina para k {1, . . . , n}, fk : A Z por fk (x) = 0 si x 6= ak y
Teorema fundamental de los grupos abelianos 59
fk (ak ) = 1 y considere fek : G Z tal que fek j = f , donde j : A G es la

Pn
inclusion. Entonces 0 = fek (0) = i=1 ni fek (ai ) = nk .
iii) ii) : Como G =<PA >, lo unico Pnque hace falta demostrar
Pn es la unicidad
n
de la expresion. Si g = i=1 ni ai = i=1 mi ai entonces i=1 (ni mi )ai = 0
y as ni = mi para cada i {1, . . . , n}. F
6.31 Ejemplo (existencia de grupos abelianos libres): Sea A un con-

junto y defina G = ZA e i : A G por i(a)(x) = 0 si x 6= a e i(a)(a) = 1.
< G, +, 0 > donde la suma es la usual entre funciones y 0 es la funcion que
enva todo al 0, es un grupo abeliano. Ahora P si H es un grupo Pabeliano, da-
da f : A H, defina fe : G H por f ( aA na i(a)) = aA na f (a),
e
as f i = f . (G, A, i) es entonces grupo abeliano libre. Observe que si |A| < ,
y A = {ai }i{1,...,n} , bajo el isomorfismo que enva g G al elemento cuya
k-esima entrada es g(ak ), G ' Z Z . . . Z.
| {z }
|A|
Teorema 6.32 Sea (G, A, i) grupo abeliano libre. Si (G, B, j) es grupo abeliano
libre entonces |A| = |B|.
Demostracion: ZB y ZA son equipotentes si y solo si |A| = |B|. Teniendo en

mente lo que se acaba de decir en el ejemplo 6.31, el teorema se sigue entonces
del teorema 6.28 iii). F
6.33 Definicion (Rango): Sea (G, A, i) un grupo abeliano libre. Definimos

el rango de G como la cardinalidad de A.
6.34 Nota. En vista de lo ultimo que se probo, de ahora en adelante cuando

hablamos de un grupo abeliano libre omitiremos la referencia a la base A y a
la funcion i, que por lo general la tomaremos como la inclusion. Para cualquier
lector en este momento ya debe ser claro lo similar que es un grupo abeliano
libre a un espacio vectorial.
Teorema 6.35 Dos grupos abelianos libres son isomorfos si y solo si tienen
mismo rango.
Demostracion: Los mismos argumentos que se usaron para demostrar el teorema

6.32, sirven para este. F
6.4. Teorema fundamental de los grupos abelia-

nos finitamente generados
6.36 Ya tenemos las herramientas necesarias para demostrar el teorema 1.48,
lo que haremos en general es dado un grupo abeliano G finitamente generado,
factorizaremos un grupo abeliano libre hasta obtener G. Comencemos.
6.37 Definicion (Subgrupo de torsion, grupo libre de torsion): Sea G

un grupo abeliano. El subgrupo de torsion de G, T , esta definido por:
T := {g G : ord(g) < +}
Decimos que G es libre de torsion si T es trivial.
6.38 Nota. Para un grupo cualquiera, se acostumbra decir que es de torsion

(o periodico) si todos sus elementos tienen orden finito, y libre de torsion (o
aperiodico) si todos sus elementos, menos la identidad, tienen orden infinito.
Lema 6.39 Si G es un grupo abeliano, T su subgrupo de torsion y T =<

T c {0} >, G ' T T y as G/T ' T es libre de torsion.
Demostracion: Como T C G, T C G, T T = {0} y T T = G, por el

lema 6.22, G ' T T . Ahora si g / T para todo n Z , luego G/T
/ T , ng
es libre de torsion. F
Qn
Lema 6.40 Sea G un grupo abeliano de torsion. Entonces si |G| = i=1 pri i es
una descomposicion en potencias de primos con pi < pi+1 para i {1, . . . , n1},
G ' Tp1 Tp2 . . . Tpn donde Tpi = {g G : ord(g) = pni , n N}.
Demostracion: Es claro que los Tpi son subgrupos Qn de G, y que Tpi Tpj = {0},
si i 6= j. Ahora bien, si g G con ord(g) = i=1 psi i , tomando si
Pnmi = ord(g)/pi ,
como (m1 , m P existen ki Z tales que 1 = i=1 ki mi , de esta
2 , . . . , mn ) = 1, P
n n
forma g = i=1 i k (m i g) = i=1 ki gi donde gi = mi g. De esta forma como
si
ord(gi ) = pi , gi Tpi y G = Tp1 + Tp2 + . . . + Tpn . Luego, por el lema 6.22,
G ' T p1 T p2 . . . T pn . F
Lema 6.41 Si G es un grupo abeliano libre sobre A = {ai }i{1,...,n} , i 6= j y

t Z, B = {a1 , . . . , ai1 , ai + taj , ai+1 , . . . , an }, tambien es base para G.
Demostracion: ai = (ai + taj ) taj , luego < B >= G. Ahora si (n1 )a1 + . . . +
ni1 ai1 + ni (ai + taj ) + ni+1 ai+1 + . . . + nn an = 0, entonces como A es base,
nk = 0 si k 6= j y tni + nj = 0. De donde nj = 0 y por el teorema 6.30, B es
base para G. F
Teorema 6.42 Sea G un grupo abeliano libre de rango finito n. Si K G, K es

tambien abeliano libre. Mas aun si K es de rango m, existen A = {a i }i{1,...,n}
base para G y {di }i{1,...,m} N , tales que di | di+1 y {di ai }i{1,...,m} es una
base para K.
Demostracion:
Pn Dada una base A = {ai }i{1,...,n} de G, y g G con g =
n a
i=1 i i , definimos |g|A := mn{|ni | : i {1, . . . , n}, ni 6= 0}. Ahora si
K G, definimos |K|A := mn{|k|A : k K \ {0}}.
Tome B1 = {bi,1 }i{1,...,n} base dePG tal que |K|B1 sea minimal, con k1 K
n
tal que |k1 |B1 = |K|B1 y k1 = i=1 ni,1 bi,1 donde |n1,1 | = |K|B1 . Ahora
Teorema fundamental de los grupos abelianos 61
si ni,1 = qi,1 n1,1 + ri,1 , Pcon 0 ri,1 < |n1,1 |, aplicando n 1 veces el le-
n
ma 6.41, A1 = {b1,1 + P i=2 qi,1 bi,1 , b2,1 , . . . , bn,1 } es tambien base para G.
n 1
Entonces si aP 1 = b1,1 + i=2 qi,1 bi,1 , ai,1 = bi,1 para i 2, y d1 = n1 ,
n
k1 = d1 a1 + i=2 ri,1 ai,1 donde ri,1 < |d1 |. As como d1 = |k1 |P A1 , ri,1 = 0
n
y k1 = d1 a1 K. Observe ademas que si k K con k = m1 a1 i=2 mi ai,1 ,
entonces d1 | m1 (Por que?)
Si < d1 a1 >= K terminamos, de lo contrario escoja B2 = {bi,2 }i{1,...,n} base
para G tal que |K| PnB2 sea minimal entre las bases que contengan a1 . Puede su-
poner que k2 = i=2 ni,2 bi,2 es un elemento en el cual este mnimo se alcanza
y que lo alcanza en el coeficiente d2 del segundo elemento de la base (el pri-
mero es a1 ), pues podemos restar (o sumar) cuantas veces sea necesario d1 a1
a fin de volverPnnulo el coeficiente en a1 . As se define, semejante a lo anterior,
a2 = b2,2 + i=3 qi,2 bi,2 , donde qi,2 es el cociente de la division de ni,2 por
d2 , y as k2 = d2 a2 . Entonces A2 = {a1 , a2 , b3,2 , . . . , bn,2 } es base para G. Pero
ademas si d2 = qd1 + r, donde 0 r < |d1 |, Y = {a1 + qa2 , a2 , b3,2 , . . . , bn,2 },
es tambien base para G en la cual k = d1 a1 + d2 a2 = d1 (a1 + qa2 ) + ra2 K.
Entonces si r 6= 0, |k|Y = r < |d1 | lo que llevara a una contradiccion con la
eleccion de B1 . As d1 | d2 .
Si < d1 a1 , d2 a2 >= K terminamos, de lo contrario continuamos as sucesiva-
mente. Mostrando una base para K queda de paso demostrado que es abeliano
libre por el teorema 6.30. F
Lema 6.43 Si G es un grupo abeliano finitamente generado entonces:
G ' Z m1 Z m2 . . . Z mn Z . . . Z
con mi | mi+1 , para i {1, . . . , n 1}.
Demostracion: Suponga que G =< A > donde A = {ai }i{1,...,n} . Considere

un grupo abeliano libre (C, A, i) y tome : C G el homomorfismo tal que
i = idA , donde idA es la inclusion de A en G. es sobreyectiva, luego por
el teorema fundamental del homomorfismo C/Ker() ' G. Entonces por el
teorema 6.42, existe X = {xi }i{1,...,n} base para G con {mi }i{1,...,m} , tales
que mi | mi+1 y {mi xi }i{1,...,m} es una base de Ker().
Ahora como C '< x1 > . . . < xn >, K '< d1 x1 > . . . < dm xm > y
< di xi >C< xi >, entonces C/Ker() ' Zm1 Zm2 . . . Zmm Z . . . Z.
Si mi = 1 podemos obviar el factor Zmi , modulo isomorfismo. F
6.44 Ahora s probaremos el teorema fundamental de los grupos abelianos fi-

nitamente generados. La existencia de la descomposicion es consecuencia inme-
diata de lo que ya hemos probado. Es frecuente en matematicas que la unicidad
se deba a una trivialidad una vez probada la existencia, pero en este teorema no
es el caso, por intuitiva que sea. Teoremas que concluyan una clasificacion tan
exhaustiva son una rareza en matematicas en general y en la teora de grupos
en particular.
Teorema 6.45 (Teorema fundamental de los grupos abelianos finitamente generados)

Si G es un grupo abeliano finitamente generado:
G ' Zpr11 Zpr22 . . . Zprnn Z . . . Z

| {z }
r
donde los pi , para i {1, . . . , n}, son primos tales que pi pi+1 , y los ri son
naturales no nulos tales que ri ri+1 si pi = pi+1 . Mas aun los pi , los ri y r
estan unvocamente determinados. A r se le llama numero de Betti de G.
Demostracion: Sea G un grupo abeliano finitamente generado. El subgrupo de

torsion T de G es finito pues si T =< {x1 , x2 , . . . , xm } >, y Ti =< xi >, cada
Ti es finito y T = T1 + T2 + . . . + Tm . Ahora, por los lemas 6.39 y 6.40,
G ' T p1 T p2 . . . T pn T (6.2)
Qn
donde |T | = i=1 psi i , con cada pi primo tal que pi < pi+1 , Tpi = {g G :
ord(g) = pni , n N}, y T es libre de torsion.
Cada Tpi es de torsion, luego, como |Tpi | < +, por el lema 6.43,
Tpi ' Zpri 1 Zpri 2 . . . Zprki (6.3)

i
con ri ri+1 . Ahora como T es libre de torsion, por el lema 6.43, si T no es

trivial,
T ' Z ... Z (6.4)
Luego T es abeliano libre y por el teorema 6.35 el numero de Zs en la produc-
toria (6.4), es decir el numero de Betti de G, esta unvocamente determinado
(si T es trivial, r = 0).
Cuando probemos la unicidad de la descomposicion en (6.3), habremos termi-
nado la demostracion. Defina para p primo, el pn -zocalo Tpi [pn ] de Tpi , por
Tpi [pn ] := {g Tpi : pn g = 0}. As Tpi [pn ] Tpi y cada elemento del pi -zocalo
tiene orden pi o 1. Entonces por el lema 6.43, Tpi [pi ] ' Zpi . . . Zpi donde
el numero de elementos en la productoria esta unvocamente determinado por
el orden del pi -zocalo. Entonces como (Zpri 1 Zpri 2 . . . Zprk )[pi ] es isomorfo
i
al producto directo de ki Zpi s, el numero de elementos de la productoria (6.3)
esta unvocamente determinado.
Ahora bien dado n N , Tpi [pni ] ' Zpd1 , . . . Zpdk , con 0 di < ri y
i i
n = qi ri + di . De donde,
Tpi /(Tpi [pni ]) ' Zpr1 d1 . . . Zprk dk (6.5)

i i
As el numero de Zprj s en (6.3) para los cuales n 0(mod rj ) esta determinado

i
por el numero de elementos en la productoria (6.5) que colapsaron en triviales,
dado por el numero de elementos no triviales, que ya vimos que es propio de todo
grupo abeliano finitamente generado. De esta forma cada rj queda unvocamente
determinado cuando se recorre n por {1, . . . , logpi (ord(Tpi ))}. F
Grupos libres y representaciones 63
6.46 Con un estudio mas profundo de los grupos abelianos de torsion, de los
libres de torsion y de los abelianos libres, se puede exponer una demostracion
mucho mas corta del teorema fundamental de los grupos abelianos. Pero el
enfoque que se le da aca ilustra bien, en un primer (y se espera que no unico)
acercamiento, el funcionamiento de los grupos abelianos finitamente generados.
6.5. Grupos libres y representaciones

6.47 Definicion (Grupo libre): Una terna (F, X, i), que consta de un grupo
F , un conjunto X y una funcion i : X F , es un grupo libre si para todo
grupo G y toda funcion f : X G, existe un unico homomorfismo fe : F G
tal que (ver figura 6.2):
fe i = f
PSfrag replacements
fe
F G
i
f
Figura 6.2: Grupo libre
Teorema 6.48 Si (F, X, i) es un grupo libre, entonces:

i) i es inyectiva.
ii) si (F 0 , X, j) es grupo libre entonces F 0 ' F .
iii) (F, i[X], j) es grupo libre, donde j es la inclusion.
Demostracion: Una demostracion similar a la del teorema 6.28 verifica este. F
6.49 Observacion. A diferencia del teorema 6.28, en el 6.48 no esta F =<

i[X] >, en el caso de los grupos libres esto no es tan evidente a priori. Por otro
lado, nada en la definicion de grupo libre nos indica que existen. Con el siguiente
teorema se visualizan los grupos libres, y estos problemas quedan resueltos.
Teorema 6.50 Sea X un conjunto. Existe F grupo e i : X F funcion, tales

que (F, X, i) sea grupo libre con F =< i[X] >.
Demostracion: Considere otro conjunto equipotente a X, por ejemplo X 1 =

{x1 : x X}. El smbolo 1 no tiene ningun significado, es solo para distin-
guirlo de los elementos de X. Por letra enteremos un elemento de X X 1 y por
palabra entenderemos una sucesion finita de letras o la palabra vaca que notare-
mos e (si en X esta ese smbolo se le puede poner otro a la palabra vaca). As si
w es una palabra tenemos w = xe11 xe22 . . . xenn , donde ei es o bien ningun smbolo,
o bien el smbolo 1. Sea W el conjunto de todas las palabras. Si w, v W ,
definimos wv como la palabra que se obtiene al concatenar w y v, esto es si
w = xe11 xe22 . . . xenn y v = y1e1 y2e2 . . . ym
em
, wv = xe11 xe22 . . . xenn y1e1 y2e2 . . . ym
em
. Tam-
1 1 en e2 e1
bien definimos w por w = xn . . . x2 x1 , donde ei es 1 si ei no es
smbolo y ningun smbolo si ei es 1. Ahora, en W defina la relacion , donde
w v si de w puedo obtener v mediante las operaciones:
(a) agregar entre dos letras xx1 o x1 x donde x es una letra.
(b) eliminar una ocurrencia de xx1 o x1 x que suceda en la palabra.

Es claro que es una relacion de equivalencia. Definimos F = W/ y [w] =
[w] . F sera nuestro grupo. Definimos la operacion por [w][v] = [wv], y as [e]
es la identidad y [w 1 ] = [w]1 . Tambien se puede verificar facilmente que
[wv][u] = [w][uv], con lo cual se comprueba que F es un grupo. Y mas aun si
i : X F es tal que i(x) = [x], vemos que F =< i[X] >.
Ahora bien si < G, , eG > es un grupo y f : X G es una funcion, defina
: W G por (xe11 xe22 . . . xenn ) = g1e1 g2e2 . . . gnen donde gi = f (xi ) y
(e) = eG . As pues (xx 1) = eG , luego podemos definir fe : F G por
e e1 xe2 . . . xen ]) = g e1 g e2 . . . g en y f([e])
f([x e = eG . Por construccion fe es
1 2 n 1 2 n
e
homomorfismo y f i = f . Por otro lado si g es otro homomorfismo tal que
g i = f , como g coincide con fe en i[X], y F =< i[X] >, fe = g. Luego (F, X, i)
es grupo libre. F
Teorema 6.51 Sea (F, X, i) un grupo libre. Si (F, X 0 , j) es grupo libre, |X| =
|X 0 |
Demostracion: Considere el conjunto V compuesto por los homomorfismo de

F en Z2 . V se puede ver canonicamente como un espacio vectorial sobre Z2 .
Dado X, defina f : X Z por f (x) = 0 si x 6= y f () = 1 y sea
P
BX = {fe }X donde fe i = f . Dado f V , f = X f ()fe , y ademas si
P
= X a fe es tal que para todo x F , (x) = 0, entonces () = a = 0,
luego BX es una base de V . Una base similar BX 0 , se puede definir con X 0 .
As |BX | = |BX 0 |, pero |BX | = |X| y |BX 0 | = |X 0 |. F
6.52 Definicion (rango): Si (F, X, i) es un grupo libre a |X| lo llamamos

rango de F .
Teorema 6.53 Dos grupos libres son isomorfos si y solo si tienen mismo rango.
Demostracion: Es facil ver que si dos grupos libres son isomorfos tienen mismo
rango (Por que?). Ahora bien considere (F1 , X1 , i1 ) y (F2 , X2 , i2 ) dos grupos
libres tales que exista f : X1 X2 biyeccion. As existen dos unicas f1 :
F1 F2 , y f2 : F2 F1 tales que f1 i1 = i2 f y f2 i2 = i1 f 1 .
As (f2 f1 ) i1 = f2 i2 f = i1 f 1 f = i1 , pero idF1 i1 = i1 luego
idF1 = f2 f1 . De forma similar idF2 = f1 f2 . As F1 ' F2 . F
Grupos libres y representaciones 65
6.54 El gran interes que despierta los grupos libres esta resumido en el si-
guiente teorema.
Teorema 6.55 Sea G un grupo tal que G =< X > y (F, Y, i) un grupo libre.
Si f : Y X es sobreyectiva, entonces existe un homomorfismo : F G
sobreyectivo tal que i = f . En particular todo grupo es imagen de un grupo
libre.
Demostracion: Viendo f con codominio G, existe un unico homomorfismo :

F G tal que i = f . Ahora bien G =< X >, luego es sobreyectiva, pues
(F, Y, i) es libre. F
6.56 Observacion. Dadas las condiciones del teorema anterior, G ' F/Ker().
As todo grupo es de la forma F/K donde K C F . Para generar un grupo en-
tonces consideremos un grupo libre (F, X, i), S F , y R el mnimo subgrupo
normal de F que contiene < i[S] > (la clausura normal de S), nuestro grupo es
F/R que esta unvocamente determinado unicamente por X y S. En esto nos
concentramos ahora.
6.57 Definicion (representacion, relacionador): Sea < G, , 1 > un gru-

po. Un homomorfismo sobreyectivo : F G, donde (F, X, i) es grupo libre,
es una representacion de G. A los elementos de Ker() los llamamos rela-
cionadores. Si S F es tal que su clausura normal es Ker() decimos que
(, X, S) determina un conjunto generador y define los relacionadores para G,
que notamos:
G =< X|S >
6.58 Observaciones a la definicion 6.57.
i) Si X = {xg : e 6= g G}, (F, X, i) grupo libre, y : F G definida por

(xg ) = g, es la representacion estandar de G.
ii) Ahora bajo el contexto de la definicion 6.57, A = i[X] es un conjunto

generador de G, y (s) = 1 para todo s S. Luego (6.57) tambien lo
notamos:
G =< A|s = 1, s S >
6.59 Ejemplos:
i) Una representacion de Zn es < a|an = 1 >.
ii) Considere el D =< x, y|x2 = 1, y 2 = 1 >, llamado diedral infinito. Si

a = xy, D =< a, x >, y x1 ax = yx = a1 , luego otra representacion
es < x, a|x2 = 1, x1 ax = a1 >, pues de x1 ax = a1 deducimos y 2 =
(x1 a)2 = 1. Por otro lado x1 = x, ax = xa1 y a1 x = xa1 luego un
elemento tpico de G es de la forma xr as . donde r {0, 1} y s Z.
iii) Dos representaciones de Dn son < x, y|x2 = y 2 = (xy)n = 1 > y

< x, a|x2 = an = 1, x1 ax = a1 >. Se debe sentir porque esto es una
representacion del grupo diedral, x representa una reflexion y a la prime-
ra rotacion. Los otras rotaciones son am y las otras reflexiones xam . La
prueba formal requiere un poco mas de trabajo.
6.60 El tema de grupos libres y representaciones es bastante mas extenso. Por

ejemplo en 6.59 mostramos que un grupo puede tener varias representaciones,
eso lo llamamos representaciones isomorfas. Tambien podemos preguntarnos si
dado S podemos determinar si un elemento de F es o no es un relacionador, en
un numero finito de pasos.
6.6. Ejercicios
1. Sea S un Sylow p-subgrupo de un grupo finito G. Pruebe que todo subgru-
po de NG (S) de orden una potencia de p es un subgrupo de S. (Recuerde
que NG (S) es el normalizador de S en G, es decir, NG (S) = {g G :
gSg 1 = S})
2. Sea G un grupo de orden 12. Cuales son los valores posibles para los
numeros de 2-subgrupos y de 3-subgrupos de Sylow en G? Pruebe que
existen exactamente 5 estructuras de grupos diferentes de orden 12.
3. Sea G un grupo finito y p un primo que divide |G|. Pruebe que si H es un
p-subgrupo normal de G, entonces H esta contenido en todo p-subgrupo
de Sylow de G.
4. Sea G un grupo finito y sea p un primo que divide |G|. Sea P un p-subgrupo
de Sylow de G. Pruebe que N [N [P ]] = N [P ].
5. Sea G un grupo finito y sea p un primo que divide |G|. Sea P un p-subgrupo
de Sylow de G y sea H un p-subgrupo de G. Pruebe que existe g G tal
que gHg 1 P .
6. Pruebe que todo grupo de orden (35)3 tiene un subgrupo normal de orden
125.
7. Pruebe que no hay grupos simples de orden 255 = (3)(5)(17).
8. Pruebe que un grupo finito de orden pn contiene subgrupos normales Hi ,
para 0 i n, tales que |Hi | = pi y Hi < Hi+1 para 0 i < n. (Ayuda:
recuerde (o pruebe) que el centro de un p-grupo finito no trivial es no
trivial, y use este hecho).
9. Pruebe que todo elemento diferente a la identidad de un grupo libre es de
orden infinito.
10. Pruebe que si G y G0 son grupos abelianos libres, entonces G G0 es
abeliano libre.
Ejercicios 67
11. Pruebe que Q bajo la adicion no es un grupo abeliano libre. (Ayuda:

pruebe que ningun par de numeros racionales distintos n/m y r/s pueden
estar en un conjunto que cumpla con las condiciones de ser base.)

Abstracta PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Abstracta PDF

Cargado por

Copyright:

Formatos disponibles

Notas para un curso de Algebra

Camilo Sanabria y Mario Valencia-Pabon

Universidad de los Andes

4. Accion de grupo sobre un conjunto 37

5. Teoremas de Isomorfismos y Series de Grupos 43

6. Teoremas de Sylow y Grupos libres 53

1.1. Subgrupos de Z8 y de Z12 . . . . . . . . . . . . . . . . . . . . . . 7

2.1. Fibras y Kernel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

4.1. Rotaciones del cubo . . . . . . . . . . . . . . . . . . . . . . . . . 41

5.1. Primer Teorema de Isomorfismo . . . . . . . . . . . . . . . . . . . 43

6.1. Grupo abeliano libre . . . . . . . . . . . . . . . . . . . . . . . . . 57

G3: existencia de inversa

Demostracion: Por hipotesis e e0 = e y por G2, e e0 = e0 , luego e = e0 .

1.3 Notacion y observacion. En general, a < G, , e >, la denotaremos

e. A x y, lo denotaremos xy, cuando sea claro el contexto, ademas dado que la

1.4 Definicion (el neutro, la inversa) y notacion: Sea < G, , e > un

i) a e lo llamamos el elemento neutro o la identidad.

ii) Dado g G, al elemento g 0 G tal que gg 0 = g 0 g = e, lo llamamos la

1.5 Ejemplos: Las siguientes estructuras son grupos, cuya demostracion se

i) < Z, +, 0 >, < Q, +, 0 >, < R, +, 0 >, < C, +, 0 >.

ii) < Q , , 1 >, < R , , 1 >, < C , , 1 >.

iii) < Zn , +n , [0]=n >, donde a =n b si n|a b y Zn = Z/ =n .

u) < S 1 , , 1 >, donde S 1 = {z C : |z| = 1}.

ui) Si V es un espacio vectorial, el conjunto de las transformaciones lineales

Teorema 1.6 (ley cancelativa) Sea G un grupo. Si x, y, z G son tales que

Demostracion: Si xz = yz, entonces x = xe = (xz)z 1 = (yz)z 1 = ye = y. F

1.7 Notacion y observacion. Si x G y n N, notamos:

Dado que xn (x1 )n = xn (xn )1 = e, entonces extendemos la notacion a todo Z

Teorema 1.8 (xy)1 = y 1 x1

1.9 Posiblemente ya se habra dado cuenta de cual es la condicion para que

1.10 Definicion (Grupo abeliano): Un grupo G, en el cual la operacion

1.14 Observacion a la definicion 1.13. Sea H G y h H, como h =

1.15 Definicion (Grupo trivial, subgrupo propio)

1.16 Cada grupo de 1.5 i) es subgrupo del siguiente. Lo mismo sucede en

H 6= , x, y H(xy H), x H(x1 H)

1.3. Tabla de operacion

Cuadro 1.1: Los dos unicos grupos de cuatro elementos

1.4. Grupos Cclicos

Lema 1.20 Si am = e, ord(a) | m.

Demostracion: Sea n = ord(a). Por definicion, n es el menor entero positivo

Teorema 1.21 Sea a G, y H = {an }nZ . Entonces H G y ord(H) =

Demostracion: Como e = a0 H, an am = an+m H y (an )1 = an , por el

1.22 Definicion (Grupo generado por un elemento, grupo cclico):

1.24 Ahora nos interesaremos en la estructura de los grupos cclicos, esto

Teorema 1.25 Todo grupo cclico es abeliano.

Demostracion: Sea G =< a >. As dos elementos elementos arbitrarios en G,

Teorema 1.26 Un subgrupo de un grupo cclico es cclico.

Demostracion: Sea G =< a > y H G. Si H es el grupo trivial, H =< e >, es

Corolario 1.27 Si G =< a > es de orden infinito todo subgrupo de G es de

1.28 Observacion. Todo subgrupo de Z es de la forma < n >= nZ = {nk :

Teorema 1.29 Sea G =< a > de orden n. Entonces:

<2> <3> <2>

<4> <6> <4>

Figura 1.1: Subgrupos de Z8 y de Z12

4. Sea G un grupo y sea a un elemento de fijo de G. Pruebe que Ha = {x

1.5. Grupos generados y producto directo

Teorema 1.35 Sea A G, con A 6= y H = T {H G : A H}. Si HA H

1.36 Observacion. Los dos teoremas anteriores justifican nuestra proxima

1.37 Definicion (grupo generado, grupo finitamente generado):

i) Dado A G, con A 6= . Al mnimo subgrupo que contiene A lo llamamos

Demostracion: Sea HA = {am 1 m2 mn

Teorema 1.45 Sean m, n Z. Existe un isomorfismo entre Zm Zn y Zmn si

Demostracion: Por el teorema 1.44, basta ver que Zm Zn es cclico de orden