Notas de Algebra

Cristobal Rivas
Estas notas tienen un doble proposito. Por un lado, los captulos 1, parte del 2, y 3 estan
pensadas para un curso medianamente introductorio de pregrado o magister en matematicas.
29 lecturas (menos 3 pruebas) (de 18 de marzo a 4 de julio mas menos). Por otro lado, los
temas anteriors mas los temas mas profundos del capitulo 2, as como el capitulo 4 forman
un curso de un a
no de nivel magister-doctorado.
Para el curso introductorio se contemplan 3 evaluaciones y se enviaran tareas semanalmente.
Ademas, durante las clases se iran dejando ejercicios que eventualmente se utilizaran indistintamente en argumenteos posteriores.

Indice
1 Introducci
on a los grupos
1.1 Definicion abstracta y ejemplos . . . . . . . . . . . . . . . .
1.2 El Teorema de Cayley y el grupo simetrico . . . . . . . . . .
1.3 Subgrupos normales y grupos cocientes . . . . . . . . . . . .
1.4 Teorema del isomorfismo . . . . . . . . . . . . . . . . . . . .
1.5 El grupo de Automorfismos de Z/pZ: el teorema de Bezout.
1.6 Acciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Los
2.1
2.2
2.3
2.4

teoremas de Sylow y algunas aplicaciones

Los teoremas de Sylow (1870) . . . . . . . . . .
Grupos de cardinalidad p q . . . . . . . . . . . .
Fabricando nuevos grupos . . . . . . . . . . . .
Clasificacion de grupos de orden 12 . . . . . . .

3 Algunos t
opicos en teora de grupos
3.1 Simplicidad de An , n 5. . . . . . . . .
3.2 El grupo libre y presentaciones de grupos
3.3 Clasificacion de grupos Abelianos . . . .
3.4 Grupos solubles y nilpotentes . . . . . .
3.5 Grupos como objetos geometricos . . . .
3.6 Representaciones de grupos . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

3
3
4
5
7
8
9

.
.
.
.

13
13
15
16
17

.
.
.
.
.
.

18
18
19
22
22
23
24

4 Anillos
4.1 Definiciones y Ejemplos . . . . . . . . . . . . . . . . .
4.2 Ideales y anillos cocientes . . . . . . . . . . . . . . . .
4.3 Dominios de Integridad y cuerpo de fracciones . . . . .
4.4 Anillos de Polinomios y Dominios Euclideanos . . . . .
4.5 Dominios de ideales principales y de factorizacon unica
4.6 Todo DIP es DFU . . . . . . . . . . . . . . . . . . . .
4.7 Algunos criterios de irreducibilidad . . . . . . . . . . .
4.8 Un resumen esquematico de ejemplos . . . . . . . . . .

.
.
.
.
.
.
.
.

25
25
27
28
29
30
32
34
38

5 Teora de cuerpos y de Galois

5.1 definiciones basicas y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Automorfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39
39
42

6 Ap
endice: un poco de historia

46

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

Introducci
on a los grupos

1.1

Definicion abstracta y ejemplos

(Preguntar si saben lo que es un grupo.)

Un operacion o regla de composicion en un conjunto G es una funcion op : G G G.
En lo sucesivo, para x, y G, anotaremos op(x, y) simplemente como xy o x+y dependiendo
del contexto.
Definici
on 1.1. Un conjunto G dotado de una operacion op se dice grupo si la operacion
satisface las siguientes propiedades:
1. x, y, z G, (xy)z = x(yz) (la operacion es asociativa).
2. Existe e G tal que para todo x G vale que xe = ex = x.
3. Para todo x G existe y tal que xy = yx = e.
Ejercicio 1.2. Pruebe que el neutro y los inversos son unicos. Los anotaremos con x1 .
Mas aun, pruebe que si e0 es un elemento de G cumple que existe g G tal que e0 g = g, entonces
0
e = idG .
Definici
on 1.3. Dado un grupo G con una operacion op, decimos que H G es un subgrupo de
G si op(h1 , h2 ) H pra todo h1 , h2 H. Anotamos H G.
Ejemplo 1.4.

Z, Q, R, C (N?) (subgrupos)

R , C , S 1 (subgrupos?)
Zn como subgrupo del crculo.
El grupo simetrico: Sn y P erm(X) = SX = Biy(X). Decir que SX act
ua en X.
Dn como subgrupo de Sn y como automorphismos geometricos.
Grupos de homeomorfismos del de una variedad.
Grupos de matrices
Ejercicio 1.5. Pruebe SX (y el resto de los ejemplos) es un grupo.

Observaci
on 1.6. Note un conjunto puede admitir varias reglas de composicion, dependiendo de lo cual sera o no un grupo (ejemplo en Z, op(n, m) = 0 no tiene neutro, o (Z, ) no
tiene inversos.)
Observaci
on 1.7. Note que el orden de los factores si puede alterar el producto. Por
ejemplo en S3 , (12)(23) 6= (23)(12) (escribir como composicion de funciones). Otro ejemplo
facil es Homeo(R). Si xy = yx para todo x, y G, entonces diremos que G es Abeliano (y
muchas, aunque no siempre, veces anotaremos xy como x + y).
Definici
on 1.8. Dados G y K dos grupos cuales quiera, decimos que una funcion : G K
es un homomorfismo si (xy) = (x)(y) para todo x, y G. Dicho homomorfismo, se
dice que es un isomorphismo si ademas is inyectiva y epiyectiva.
3

Ejercicio 1.9. Estudie la relaci

on de subgrupo para los ejemplos ya dados.
Ejemplo 1.10. Sea R+ = {r R | r > 0}. Entonces (R+ , ) es un grupo y que log : R+ R es
un isomorphismo de grupos.
: S 1 S 1 dada por (z) = z 2 , es un homomorphismo de grupos y su kernel es Z2 = {1, 1}.
Proposici
on 1.11. Sea : G H un homomorfismo de grupos. Pruebe que
1. (idG ) = idH .
2. (g 1 ) = (g)1 .
3. Vea que el n
ucleo del homomorfismo, Ker() := {g G | (g) = id}, es un subgrupo de G.
4. Vea que la imagen del homomorfismo, Im() := {(g) | g G}, es un subgrupo de H.
5. Pruebe que es inyectivo si y solo si ker() = {idG }.
Dem:
Ejercicio 1.12. (Tarea) Dado g G, pruebe que la funcion Cg : G G definida por Cg : f
gf g 1 es un isomorfismo. Pruebe ademas que para todo g, la funcion Tg : G G definida por
Tg : f gf , es una biyecci
on de G en G, pero no un homomorfismo de G en G.
Ejercicio 1.13. (Tarea) Puede ser Q isomorfo a R o a Z? Puede ser R isomorfo a R+ , (donde R+
es el grupo de los reales positivos bajo multiplicacion)?.

Ejemplo 1.14. Notar una operacion un grupo G esta completamente determinada por su
tabla de mutiplicacion.
Afirmamos que, modulo isomorfismo, solo existe un grupo con dos elementos, y que lo
mismo es cierto para un grupo con 3 elementos.
Nos apoyaremos en que Tg siempre es una biyeccion de G en G, que [aa = a] [a = id],
y usaremos la t
actica del Sudoku.
Dar ejemplos concretos en cada caso.
Ejemplo 1.15. (El grupo de automorfismos de un grupo) Sea (G, ) un grupo. Denotamos por Aut(G) la coleccion de automorfismos de G, esto es, isomorfismos de G en G.
Aut(G) bajo la composicion es un grupo.
En efecto. Si f, g Aut(G), entonces f g es un homomorfismo de G en G que ademas
es biyectivo. Por otro lado, f 1 es otro automorfismo de G y f f 1 = f 1 f = id, donde
id : g g, el automorfismo identidad de G.
Ejercicio 1.16. ** Pruebe que Aut((Z2 , +)) es isomorfo a (GL2 (Z), ), el grupo de matrices 2 2
con entradas en Z y determinante 1, bajo multiplicacion de matrices.

1.2

El Teorema de Cayley y el grupo sim

etrico

- Introducir buena notacion en Sn y SX .

- Definir parida e impuridad de permutaciones en Sn , usar 4 = i6=j (j i )
Teorema 1.17 (Cayley 1854). Todo grupo es (isomorfo a) un subgrupo de un grupo simetrico.
Mas precisamente, para todo G existe un conjunto X tal que G , SX .
4

Dem: Tomamos X como el conjunto G, y consideramos la representaci

on regular
izquierda T : G SG .
Moraleja: G act
ua en si mismo por traslaciones a izquierda.

Ejercicio 1.18. (Tarea?) Calcule la cardinalidad de Zn y Sn . Ademas, dado m, calcule el menor
n talque:
Zn , Sm
Sn , Sm

1.3

Subgrupos normales y grupos cocientes

Definici
on 1.19. Sea H G y g G. Decimos que el conjunto gH es la clase lateral
izquierda de H, donde (preguntar que piensan que es gH??)
gH = {gh | h H}
Hg = {hg | H} es la clase lateral derecha.
Ejercicio 1.20. Para H G muestre que gH = f H si y solo si f 1 g H.

Proposici
on 1.21. Las clases laterales izquierdas (o derechas) de un subgrupo H en G
forman una partici
on de G. Mas a
un, estas clases laterales tienen la misma cardinalidad.
Dem: Ver que no se intersectan a menos que sean iguales, y que cubren todo G.
Ver que hay una biyeccion entre dos de ellas.

Definici
on 1.22. El conjunto de clases laterals de H en G se denota por G/H. La cardinalidad de este conjunto se llama ndice, y se denota por [G : H].
De la proposicion anterior sigue inmediatamente el
Corolario 1.23. Sea G finito y H G. Entonces |G| = |H| [G : H]. En particular, se
deduce
1. (Teorema de Lagrange1 ) En un grupo finito, el orden de un subgrupo divide al orden
del grupo.
2. En un grupo finito, el orden de cualquier elemento divide al orden del grupo.
3. Suponga que |G| = p, para p un primo. Entonces G es cclico (es decir, existe g G
tal que G = hgi).
Dem: Para demostrar 2. y 3. basta hacer la primera parte del ejercicio siguiente.

Ejercicio 1.24. Para g1 , g2 . . . G anotamos por hg1 , g2 , . . .i el menor subgrupo de G que contiene
a g1 , g2 . . .. Muestre que si g G tiene orden n entonces hgi = {id, g, g 2 , . . . , g n1 }.
Por otro lado, muestre que si el orden de g es infinito, entonces hgi = {. . . , g 2 , g 1 , id, g, g 2 , . . .}
1

Es interesante notar que este teorema fue probado antes de la introduccion del concepto de grupo, y,
en su versi
on original, versaba asi: si a un polinomio de n variables se permutan sus variables en n! formas
distintas, entonces la cantidad de polinomios encontrados divide a n!.

Proposici
on 1.25. Sea G un grupo finito y K H G. Entonces [G : K] = [G : H][H :
K].
Dem: Dar idea y dejar de Tarea

Subgrupos normales. Puesto que un grupo G viene dotado de una operacion, es natural
preguntarse cuando, dado un subgrupo H, el conjunto de las clases laterales a izquierda (o
derecha) de H hereda una estructura de grupo.
La operancion naturalmente heredada en las clases laterales es
opG/H : (f H, gH) f gH.
Esta operacion es natural pues, por ejemplo, si H es el subgrupo trivial, entonces opG/H
coincide con la operacion en G. Lamentablemente esta operacion heredada no siempre induce
una estructura de grupo en G/H. La siguiente definicion captura exactamente cuando esta
operacion heredada induce una estructura de grupo en las clases laterales.
Definici
on 1.26. Un subgrupo H de G se dice normal si para todo g G se tiene
gHg 1 = H,
donde gHg 1 = {ghg 1 | h H}. En esta situacion, anotaremos H E G.
Observaci
on 1.27. Notar que en un grupo Abeliano, todo subgrupo es normal.
Observaci
on 1.28. Notar que el n
ucleo de un homomorfismo es normal.
Proposici
on 1.29. Sea H un subgrupo de G. Las siguientes afirmaciones son equivalentes:
1. H es normal en G.
2. Para todo h H y todo g G, se tiene que ghg 1 H.
3. Para todo g G, gH = Hg.
4. La opreacion (gH, f H) f gH convierte a G/H en un grupo.
Dem: Claramente 1 es lo mismo que 2. Supongamos que H es normal y tomamos g G y
h H. Por 2., ghg 1 = h0 H. Por lo tanto gh = h0 g. Luego gH = Hg. Argumentando de
atras hacia adelante se prueba que 3 tambien implica 1.
Finalmente, probamos la equivalencia de 1 y 4. Supongamos 1 y dotemos a G/H de la
operacion
gHf H = gf H.
(1)
Para ver que esto induce una estructura de grupo, lo primero y mas importante es verificar
que esta definicion depende esclusivamente de la clase lateral, y no de su representante
(ver ejercicio 1.20). Supongamos que g 0 H = gH y f 0 H = f H. Tenemos que demostrar
que gf H = g 0 f 0 H, o sea que g 0 f 0 (gf )1 H. Ello sigue pues g 0 f 0 (gf )1 = g 0 f 0 f 1 g 1 =
(g 0 g 1 )g(f 0 f 1 )g 1 H. Una vez hecho esto, es facil ver que H es el neutro en G/H y que
(gH)1 = g 1 H. Lo que muestra que G/H hereda la estrucura de grupo.
6

Conversamente, supongamos que (1) induce una estructura de grupo en G/H (note que
al asumir esto estamos tacitamente asumiendo que dicha multiplicacion no depende del
representante). Entonces el coset H G/H es el neutro para dicha multiplicacion. En
particular, para todo g G y todo h H, gH = hHgH = hgH. Asi, sigue del Ejercio 1.20,
que ghg 1 H. Como g y h eran cualquiera, esto prueba que H es normal en G.

Ejercicio 1.30. Pruebe que para H G y g G, se tiene que gHg 1 G. Deduzca ademas que
si G tiene un u
nico subgrupo de cardinalidad r, entonces este subgrupo es normal (compare con
Ejercicio 1.12).
Ejemplo 1.31. R2 cortado con un subespacio de dimension 1. Ver independencia del representante.
Ejemplo 1.32. Notar que por ser Abeliano, todo subgrupo de Z es normal. Sea nZ el subgrupo
{. . . , 2n, n, 0, n, 2n, . . .}. De este modo, Z/nZ hereda la suma en Z, pero identificando a(nZ)
con b(nZ) si y solo si a b nZ, lo que equivale a que a b = kn para algun k. Decimos que a b
modulo n.
Usando el algoritmo de la divisi
on, es facil ver que todo a Z es equivalente modulo n a un
u
nico b R = {0, 1, 2, . . . , n 1}. En particular n = [Z : nZ] = |Z/nZ|. Usualmente anotaremos
a(nZ) como a. De la Proposici
on 1.29, se sigue que a + b = a + b.
Ver suma Reloj.
Ejemplo 1.33. Definir Aut(G). Probar que Inn(G) es un subgrupo normal.
Ejercicio 1.34. ** Pruebe que Aut(Z2 ) es GL2 (Z), las matrices invertibles 2x2 con entradas en
Z.
Ejercicio 1.35. (Tarea) Recuerde que

n1
Zn = exp ( 2ik/n) k=0
bajo la multiplicaci
on (e identificaci
on) de numeros complejos. Pruebe que Zn ' Z/nZ.
Ejercicio 1.36. (Tarea) Sea H G y N C G. Verifique que HN es un subgrupo de G. Vale lo
mismo si solo se asume que N G?.
Ejercicio 1.37. (Tarea) Pruebe que la condicion N C G puede ser relajada: basta asumir que
H N ormG (N ) := {g G | gng 1 = N } para concluir que HN es un subgrupo de G.

1.4

Teorema del isomorfismo

Teorema 1.38 (del isomorfismo). Sea : G H un homomorfismo. Entonces, Im() '

G/Ker().
Dem: Sea K = ker(). Definimos : G/K H por (gK) = (g). Verificamos que
- esta bien definido.
- es un homo inyectivo .
- es sobreyectivo sobre Im().

Observaci
on 1.39. Todo subgrupo normal es el kernel de algun homomorfismo: el homomorfismo proyeccion: a cada elemento le asocio su clase.
7

Observaci
on 1.40. Sea : G H un homomorfismo. Sea K H. Entonces 1 (K) =
{g G | (g) K} es un subgrupo de G.
Corolario 1.41. Sea N C G. Entonces existe una biyeccion entre los subgrupos H G/N y
los subgrupos de G que contienen a N . Mas aun, esta biyeccion manda subgrupos normales
en subgrupos normales.
Dem: Idea: usar el Teorema del isomorfismo para : G G/N , donde (g) = gN .
Sea SNG := {H G | N H}, y S G/N = {H G/N }.
Antes de deducir otros dos importantes corolarios (usualmente conocidos como segundo
y tercer teorema del isomorfismo), introducimos el siguiente subgrupo. Para H G y N C G
anotamos HN := {hn | h H, n N }.
Corolario 1.42. H/(H N ) ' (HN )/N (Mostrar Diagrama).
Dem: Sea : H HN/N definida por (h) = hN . Verificamos que es un homo
sobreyectivo y que ker() = H N .
Corolario 1.43. Sean H y N subgrupos normales de G tal que N H. Entonces G/H '
(G/N )/(H/N ).
Dem: Definimos : G/N G/H por (gN ) = gH.
es homo, sobreyectivo. Ker() = H/N .

1.5

El grupo de Automorfismos de Z/pZ: el teorema de Bezout.

Ver como ejercicio Aut(Z), Aut(Q)(?).

Antes de seguir, vamos a estudiar Aut(G) para G sencillo: G ' Z/nZ. Comenzamos con
la identidad de Meziriac (tambien conocida como de Bezout2 ).
Definici
on 1.44. Decimos que a, b N son coprimos, si M CM (a, b) = ab, o, equivalentemente (ejercicio), si M CD(a, b) = 1.
Proposici
on 1.45 (Meziriac, Bezout). Para a, b N, coprimos, existe x, y Z tales que
1 = ax + by.
Dem: Sea D = {ax + by | x, y Z}. Observe que d D d D. Sea d0 = min{|d| |
d D}. Si d0 = 1 listo.
Supongamos que d0 > 1, d0 = ax0 + by0 .
Sea ra el resto de dividir a por d0 . ra D pues ra = a ld0 = a ax0 by0 . Como
es resto vale que |ra | < d0 . Lo mismo siendo cierto para rb , el resto al dividir b por d0 . Por
minimalidad de d0 , concluimos entonces que ra y rb son cero.
Esto es, d0 divide a a y b. Ahora, si c es un comun divisor, de a y b, entonces c divide a
d0 = ax0 + by0 . Luego d0 = M CD(a, b) = 1.

Definici
on 1.46. Para n N definimos (Z/nZ) = {a Z/nZ | a y n son coprimos}.
Por ejemplo para p primo, (Z/pZ) = {1, . . . , p 1}.
2

Meziriac probo la identidad para n

umeros y Bezout para polinomios.

Como aplicacion del teorema de Bezout, podemos probar la

Teorema 1.47. (Z/pZ) es un grupo bajo el producto k k 0 = kk 0 .
Este grupo es isomorfo a Aut(Z/pZ). (Dejar caso Zn como Tarea)
Dem: Primero probamos que es grupo
Ver que la definicion del producto , no depende del representante (facil).
Cerradura: k, k 0 (Zp ) p no divide a k ni k 0 p no divide a kk 0 kk 0 6= 0.
1 es la identidad.
Inversos. Para ver que hay inversos podemos hacer de dos maneras:
Usando Bezout: Para k 6= 0 tomamos x, y tales que kx + py = 1. Asi, kx = 1.
Usamos que multiplicar define una aplicacion invectiva: Sea Mk : ZP Zp dada
por x 7 kx. Esta aplicacion es invectiva pues si kx = ky entonces kx = ky + p`.
Luego k(x y) = p`, lo que implica que x = y (pues k no es divisible por p).
Veamos que (Zp ) es isomorfo a Aut(Zp ). Sea M : (Zp ) Aut(Zp ), Mk : x kx.
Mk Aut(Zp ) pues Mk (x + y) := k(x + y) = kx + ky = Mk (x) + Mk (y), por lo tanto
a) = 0 a
= 0.
Mk es homomorfismo. Ademas Mk es biyectivo pues Mk (
M es homomorfismo, inyectivo.
M es epiyectivo: Si Aut(Zp ), definimos k = (1). Sea 0 a p 1. Por un lado
Mk (a) = ka, y por otro, (a) = (1 + . . . + 1) = k + . . . + k = k + . . . + k, a-veces.
Luego (a) = ka.


1.6

Acciones

(una o dos clases)

Definici
on 1.48. Decimos que un grupo G act
ua por izquierda en un espacio X si existe
un homomorfismo : G SX . Usualmente anotaremos (g)(x) simplemente como g(x).
Decimos ademas que la accion es fiel si para todo g G, g 6= id, existe x X tal que
g(x) 6= x.
Ejercicio 1.49. (Tarea) Pruebe que G act
ua por izquierda en X si y solo si existe una aplicacion
G X X, (g, x) 7 g.x, que satisface:
Para todo x X y para todo g, h G, vale gh.x = g.(h.x)
id.x = x para todo x X.

Observaci
on 1.50. Sea : G SX una accion de G en X. Entonces, la accion es fiel si y
solo si, ker() = {id}.
9

En este nuevo lenguaje el Teorema de Cayley se expresa como

Teorema 1.51 (Cayley). Todo grupo actua fiel en algun espacio X.
Dem: X = G y la accion es la accion por traslacion a izquierda.

Definici
on 1.52. Sea : G SX una accion de G en X, y sea x X. Llamamos
orbita
bajo G de x al conjunto OrbG (x) := {g(x) | g G} (Hacer Dibujo!).
Llamamos estabilizador en G de x al conjunto StabG (x) = {g G | g(x) = x}.
Observaci
on 1.53. StabG (x) es un subgrupo de G.
Ejemplo 1.54. (Este es un buen ejemplo) Muchas veces, cuando el espacio X tiene alguna
propiedad interesante (e.g. metrica) estudiamos acciones que preserven esa estructura.
Por ejemplo, una accion de Z por homomorfismos de X = R, no es mas que ...
Se imaginan una accion de Z2 por homeos de R ??.
ACA se puede hacer un APARTADO y hablar de conjunto generador (finito) de un
grupo.
Decir que encontrar una accion equivale a encontrar una pareja de homeos que conmutan.
Proposici
on 1.55. Suponga que G act
ua en X, y sea x X. Entonces, existe una biyeccion
entre OrbG (x) y G/StabG (x). En particular, si G es finito, la cardinalidad de una orbita
divide a la cardinalidad del grupo.
Dem: Para comenzar hacemos la siguiente observacion.
f (x) = g(x) f 1 g StabG (x).
Luego definimos la aplicacion : OrbG (x) G/StabG (x), : g(x) gStabG (x).
esta bien definida.
es biyeccion
Para ver que la cardinalidad de la orbita divide a la del grupo, basta notar que
|G| = [G : Stab(x)] |Stab(x)| = |Orb(x)| |Stab(x)|.

Proposici
on 1.56. Las orbitas de G en X particionan X. Asi, para X finito vale
X
|X| =
|OrbG (x)|.
orbitas

Aplicaci
on:
10

(2)

Teorema 1.57 (Cauchy, 1845). Si un primo p divide al orden de un grupo G, entonces

existe g G con |g| = p.
Dem: Sea p un primo que divide al orden del grupo G. Sea X := {(x1 , . . . , xp ) Gp |
x1 . . . xp = id}. Como tenemos total libertad en elegir los p1 componenetes de un elemento
en X, tenemos que |X| = |G|p1 .
Ahora notamos que si (x1 , . . . , xp ) X, entonces (x2 , . . . , xp , x1 ) X. Luego, X admite
una accion del grupo cclico de p elementos Cp (decir que la accion en X es una mmica de
la accion de Cp en si mismos por traslaciones).
Finalmente notamos que las obritas bajo Cp tienen cardinalidad 1 o p, y que, un punto
de X es fijo si y solo si es de la forma (a, . . . , a) con ap = id.
Con esto tenemos que
X
|X| = |G|p1 =
|Orb(x)|,
orbitas

es divisible por p, pero, el lado derecho se escribe como 1+cosas de cardinalidad 1 o p (Verlo
tambien como una ecuacion modulo p). Asi se conluye que existen al menos p 1 unos en
este lado derecho, lo que prueba el teorema

Algunas acciones naturales:
G actuando por izquierda en G, o en las clases laterales de H G.
G actuando por conjugacion en G, o en K C G: definir Centro (Z(G)) y centralizador
de g G (Centr(g))o de H G (Centr(H)).
Aut(G) actuando en G y GL2 (R) actuando en R2 , Homeo(M ) actuando en M .
Para H, K G la accion por traslacion de K en G/H. Ver StabK (H) = K H.
La ecuaci
on de clases: Es contar orbitas bajo la accion de conjugacion:
X
|G| =
|C|
Clases de conjugacion

Ejemplo 1.58. La ecuacion de clases de S3 , el grupo de simetrias del triangulo, es |S3 | =

6 = 1 + 3 + 2: correspondiendo a la identidad, las reflexiones, y dos rotaciones no triviales.
De S4 : Introducir buena notacion.
Ejercicio 1.59. La ecuacion de clases de D4 , el grupo de simetrias del cuadrado.
|D4 | = 8 = 1+.... ?
Aplicaci
on:
Ya hemos visto que todo grupo de orden primo es cclico, y por lo tanto Abeliano. Como
aplicacion veremos
Teorema 1.60. Todo grupo de ordep p2 , p un primo, es Abeliano.
Necesitamos el siguiente
11

Lema 1.61. Todo grupo G de orden pn , p primo, tiene centro no trivial.

Dem: Consideramos la ecuacion de clase para G, y observamos que, dada una clase de
conjugacion C G, |C| divide a |G| (pues Orb(x) esta en biyeccion con G/Stab(x)). De
este modo, puesto que |C(id)| = 1, concluimos que debe existir C con |C| = 1, o sea central.
(Usamos que no hay entero p tal que pn = 1 + pk. Se ve reduciendo mod p.)

Dem del teo: Suponemos |G| = p2 , y que Z(G) no es todo G. Sea x G \ Z(G). Centr(x)
en es subgrupo estrictamente mas grande que Z(G), de modo que es G, lo que implica que
x Z(G) que es contrario a nuestra suposicion.


12

Los teoremas de Sylow y algunas aplicaciones

Los teoremas de Sylow son una herramienta fundamental a al hora de comprender las posibles
estructuras de grupo en un conjunto de carnalidad.

2.1

Los teoremas de Sylow (1870)

Una nociono importante a la hora de probar (y enunciar) los teoremas de Sylow es la de

p-grupo.
Definici
on 2.1. Sea p un primo. Decimos que un grupo finito es un p-grupo, si |G| = pk .
Proposici
on 2.2. Sea G un p-grupo finito acutando en un espacio X. entonces vale
|X| |F ixX (G)| (mod p),
donde F ixX (G) := {x X | G.x = x}.
P
Dem: En efecto, sabemos que en general |X| = orbitas |OrbG (x)|, y que la cardinalidad de
una orbita divide a la del grupo. Luego, en un p-grupo la cardinalidad de una orbitas es
o bien 1 (en el caso la orbita es fija) o bien divisible por p. La proposicion sigue pasando
modulo p.

Teorema 2.3 (Sylow I). Sea p un primo y G un grupo finito digamos de cardinalidad pk m,
donde p no divide a m. Entonces, existe H G con |H| = pk . A un tal H lo llamamos un
p-subgrupo de Sylow.
Dem: Probaremos algo mas fuerte, a saber, que para todo i k existe un H G con
|H| = pi . La prueba es por induccion.
Comenzamos invocando el Teorema de Cauchy, que nos dice que G contiene un subgrupo
de orden p. Llamemoslo H1 . Ahora, tomemos i < k y supongamos como hypotesis de
induccion que existe Hi un subgrupo de orden pi . Consideramos la accion por traslacion a
izquierda de Hi en G/Hi , las clases laterales de Hi . La Proposicion 2.2 nos dice que
|G/Hi | |F ixHi (G/Hi )| (mod p).
Como i < k, la parte derecha, luego la parte izquierda, es divisible por p. Concluimos
entonces que Hi fija al menos p de sus clases laterales. Pero que Hi fije una clase lateral gHi ,
quiere decir que
hgHi = gHi h Hi ,
lo que equivale a decir que
g 1 hg Hi h Hi ,
es decir g N ormG (Hi ) = {g G | gHi g 1 = Hi } el normalizador de Hi . Concluimos
entonces que
F ixHi (G/Hi ) = {gHi | g N ormG (Hi )}.
Pero ciertamente {gHi | g N ormG (Hi )} = N ormG (Hi )/Hi , por lo tanto | N ormG (Hi )/Hi |
es divisible por p. Ahora, como Hi C N ormG (Hi ), nuevamente por el Teorema de Cauchy,
sabemos que existe H N ormG (Hi ) subgrupo de cardinalidad p. Tomando la imagen
inversa, encontramos H G tal que Hi H y [H : Hi ] = p. Luego Hi+1 = H tiene
cardinalidad pi+1 .

13

Teorema 2.4 (Sylow II). Sean P y Q dos p-subgrupos de Sylow de un grupo finito G.
Entonces, P y Q son conjugados.
Dem: Considere la accion por multiplicacion a izquierda de Q en G/P . La Proposicion 2.2
nos dice que
|G/P | |F ixG/P (Q)| (mod p).
Puesto que el lado izquierdo no es divisible por p, concluimos que existe algun punto fijo
gP G/P para la accion de Q. Esto dice que para todo q Q, qgP = gP , de donde sigue
que g 1 qg P para todo q Q. Concluimos entonces que g 1 Qg P . La igualdad sigue
de la finitud de P y Q.

Corolario 2.5. Sea G es un grupo finito, p un primo que divide a |G| y P un p-Sylow de
G. Entonces vale que P C G si y solo si P es el unico p-Sylow de G.
Teorema 2.6 (Sylow III). Para p primo, sea np N la cantidad de p-subgruops de Sylow
en un grupo finito G, digamos |G| = pk m, donde p no divide a m. Entonces
1. np = 1 (mod p),
2. np divide a m,
3. np = [G : N ormG (P )], donde P es cualquier p-subgrupo de Sylow.
Dem: Probamos 1). Sea P un p-subgruop de Sylow. Considere la accion por conjugacion de
P en Sylp (G), el conjunto de todos los p-subgrupos de Sylow. Nuevamente por la Proposicion
2.2, tenemos que
np = |Sylp (G)| |F ixSylp (G) (P )| (mod p).
Afirmamos que el unico p-Sylow fijo por P es P . En efecto, si Q Sylp (G) es fijo por P ,
tenemos que P N ormG (Q). Pero Q es un subgrupo normal de N ormG (Q). Pero, por otro
lado, por el Teorema de Sylow II aplicado a N ormG (Q), tenemos que P y Q son conjugados
dentro de N ormG (Q), lo que contradice la normalidad de Q en N ormG (Q). Esto prueba
que Q = P . Concluimos entonces que |F ixSylp (G) (P )| = 1, y por ende que np 1 (mod p).
Para probar 3), consideramos la accion por conjugacion de G en Sypp (G). Pro el Teorema
de Sylow II, esta accion tiene una sola orbita. Luego tenemos que
np = |Sylp (G)| = [G : StabG (P )].
Pero para esta accion, el estabilizador de P claramente es N ormG (P ). Luego np = [G :
N ormG (P )].
El punto 2) sigue inmediatamente del 3). En efecto
m = [G : P ] = [G : N ormG (P )][N ormG (P ) : P ] = np [N ormG (P ) : P ].
Comparar con un diagrama.

14

2.2

Grupos de cardinalidad p q

En esta seccion utilizamos los resultados de Sylow para probar

Teorema 2.7. Sean p q dos n
umeros primos tales que p no divide a q 1 y G un
grupo de cardinalidad p q. Entonces G es Abeliano. Si ademas p y q son distintos, entonces
G ' Zp Zq .
Observaci
on 2.8. Esto no vale para 2 y 3 pues existe S3 que no es Abeliano. El caso donde
p divide a q 1 tampoco vale en general por el Teorema de Cauchy. Veremos donde aparecen
estos casos en la demostracion.
Para comenzar, hablaremos un poco del producto directo:
Sea N C G y H G. En este caso N H G.
Ademas tenenmos : H Aut(N ), h 7 h : n 7 hnh1 .
es un homomorfismo.
Esta accion aparece naturalmente al verificar que N H es un grupo!.
Proposici
on 2.9. Suponga que en la situacion precedente vale que es trivial. Suponga
tambien que H N = {id}. Entonces N H ' N H.
Dem: Observamos primero que en este caso (nh)(n0 h0 ) = nn0 hh0 . Lo que dice que N
conmuta con H.
Definimos : N H N H por (nh) = (n, h). Como H N es trivial, esta aplicacion
es una funcion bien definida.
es homomorfismo.
Epiyectivo.
Inyectivo.
(N ) = (N, id), (H) = (id, H).

Observaci
on 2.10. Esto NO vale si no es trivial, pues en dicho caso existe h talque
h 6= Id, lo que dice que existe n tal que h (n) 6= n, lo que dice que h y n no conmutan.
Observaci
on 2.11. La proposicion anterior NO dice que N y H sean Abelianos, solo dice
que entre ellos conmutan.
Ahora estamos listos para terminar la demostracion del Teorema 2.7.
El caso p = q fue tratado en el Teorema 1.60. En lo que sigue, supondremos p < q.
Por Sylow I existen Hp p-Sylow y Hq q-Sylow. Por Sylow III, nq = 1, o sea Hq C G.
Observamos que Hq Hp = {id}, lo que implica que Hq Hp = G. De este modo, para
ver que G ' Hq Hp , basta probar que : Hp Aut(Hq ), el automorfismo inducido
por conjugacion, es trivial. Pero, si no fuera trivial, tendriamos que su imagen tiene
cardinalidad p, que por hypotesis no divede a q 1, la cardinalidad de Aut(Hq ) ' (Z/qZ) .


15

2.3

Fabricando nuevos grupos

Sea N C G y H G. Queremos entender mejor el grupo HN cuando la accion por conjugacion de H en N no es trivial. Para ello introducimos la siguiente construccion.
Producto semi-directo de grupos:
Sea H y G grupos. Sea : G Aut(H) un homomorfismo.
Definimos en el producto semi-directo de H por G via , H o G como sigue: El conjunto
subyacente a H o G no es mas que H G. La estructura de grupo en cambio viene dada
por
(h, g)(h0 , g 0 ) := (hg (h0 ), gg 0 ).
Observe que con esta definicion de producto se tiene que
H o G contiene copias isomorfas de G y H, a saber (id, G) y (H, id).
La accion por conjugacion de la copia de G en la copia de H es via el grupo de
automorfismo de H dado por . Mas precisamente
(id, g) (h, id) (id, g)1 = (g (h), id)
Si la imagen de es trivial, H o G ' H G.
Proposici
on 2.12. H o G es un grupo.
Cerradura se cumple por def.
Asociatividad (largo y facil).
Neutro e Inversos (facil).
Proposici
on 2.13. Sea N C G y H G, tales que H N = {id}. Entonces HN ' N o H,
donde es el homomorfismo natural de H en Aut(N ).
Dem: Como H N es trivial, se tiene que la aplicacion : HN N o H esta bien
definida.
es homomorfismo. Inyectivo y epiyectivo.

Ejemplo 2.14. S3 ' Z3 o Z2 , donde es al automorfismo inversion.
Sea N = h(123)i = {(123), (132), id} C S3 y H = h(12)i = {(12), id}.
El grupo del farolero (producto en corona):

16

2.4

Clasificacion de grupos de orden 12

Sea G un conjunto de orden 12. En esta seccion clasificamos todas las posibles estructuras
de grupo posibles en G (modulo isomorfismo).
Sea H2 el 2-Sylow y H3 el 3-Sylow de G.
n3 puede ser 1 o 4. Si es 4 solo cabe un u
nico 2-Sylow. Luego, siempre hay un Sylow
normal.
Caso H4 C G: Este caso se divide en dos casos:
1. H4 ' Z4 : En este caso tenemos que H3 conmuta con H2 , luego G ' Z4 Z3 . En
efecto, basta probar que Aut(Z4 ) no contiene elementos de orden 3. Esto ultimo es
facil si notamos que (1) puede ser 1 o 4. Luego 2 (1) = 1.
2. H4 ' Z2 Z2 : De igual modo que el caso anterior, probaremos que Aut(Z2 Z2 ) no
contiene elementos de orden 3, y por lo tanto G ' H3 H2 .
Observamos que manda base en base. Luego si escribimos H2 como haihbi entonces
(a) puede ser a o b o a + b = (a, b).
aa, ba+ba+a+b=b
Case H3 C G:

17

Algunos t
opicos en teora de grupos

3.1

Simplicidad de An , n 5.

Def: simplicidad.
Ejemplo 3.1. Zp , pero el es fome pues es Abeliano. Ademas, el no tiene subgrupos!! Ver que si G
no hay subgrupos entonces es ciclico finito.

El grupo de rotaciones de una figura geom

etrica:
Rotaciones del triangulo: accion de Z3
Rotaciones y reflexiones del triangulo: accion de S3 = D3 .
Rotaciones y reflexiones del cuadrado: accion de D4 S4 .
El dodecaedro: Ver maqueta:
Caras: 12
Vertices: 20
aristas: 30
El grupo de rotaciones del dodecaedro:
Teorema 3.2. El grupo de rotaciones del dodecaedro, G, es simple.
Dem: Paso 1: Calculamos la cardinalidad de G.
- Caras: por cada cara hay 4 rotaciones por 6 caras (no contamos dos veces las caras).
O sea 24.
- Vertices: 2 por cada uno por 10: 20 rotaciones mas.
- Aristas: 1 por 15: 15 rotaciones mas.
Esto suman 60. Ejercicio: todo otro movimento del dodecaedro es uno de estos.
Paso 2: Calculamos la ecuacion de clases de G.
60 = 1 + 20 + 12 + 12 + 15.
En efecto, las reflexiones de aristas son todas conjugadas, por eso el 15.
Las rotaciones en los vertices tambien, por eso el 20.
Las rotaciones en las caras forman 2 orbitas: en efecto, una rotacion en 2/5, R, en una
cara, manda cualquier vertice de esa cara en otro vecino, lo que no es cierto para R2 . Ello
ciertamente es un invariante por conjugacion, puesto que ser vecino es preservado. Por otra
parte, R es conjugada a R1 . Por eso 24 = 12 + 12.
Para ver que la estructura de grafo es necesaria trabajamos el siguiente
Ejemplo 3.3. En S5 , la rotacion (12345) es conjugada a su cuadrado (13524). En efecto
(24)(25)(23)(12345)(23)(25)(24) = (13524).
Notar que (24)(25)(23) no preserva la vecindad.

18

Paso 3: Si H C G entonces |H| es suma de ecuaciones de clase: OBVIO.

De este modo concluimos: 60 = 2 2 3 5.

Ejercicio 3.4. Ver que Dn esta generado por una reflexion y una rotacion de angulo minimo.
Introducir la buena notacion.
Calcular cosas en Sn .
Teorema 3.5. Para n 5, An es simple.
Dem: Ver Artin.

3.2

El grupo libre y presentaciones de grupos

Construcci
on del grupo libre: Construiremos F2 y quedara de ejercicio el caso general.
Sea W (x, y) el conjunto de todas las palabras en x, y, x1 e y 1 . Este conjunto es cerrado
bajo yuxtaposicion: (u, v) 7 u v. Ademas, W (x, y) posee un neutro para esta operacion, a
saber, , la palabra vaca. El problema es que W (x, y) no tiene inversos. Para hacer aparecer
los inversos, debemos cocientar por una relacion de equivalenca adecuada. Quisieramos que
xx1 = x1 x = , lo mismo para y e y 1 .
Introducimos la siguente relacion de equivalencia. Decimos que dos palabras u y v estan
relacionadas: u v si v se puede obtener de u usando una cantidad finita de los siguientes
cambios:
1. Insertar xx1 , x1 x, yy 1 o y 1 y al comienzo, al final o entremedio de las letras de u.
2. Borrar xx1 , x1 x,yy 1 o y 1 y.
Veamos que es una relacion de equivalencia. Claramente u u. Ademas u v
implica v u pues los movimientos 1 y 2 son inversos uno del otro. Finalmente u v y
v w implica que puedo pasar por un numero finito de movimientos de u a v y luego de
v a w, lo que prueba que u w. Ademas, notamos que esta relacion se lleva bien con la
yuxtaposicion. Precisamente se tiene que
u v , u0 v 0 u u0 v v 0 .

(3)

Denotamos por u, la clase de equivalencia de u. Tenemos

Proposici
on 3.6. W (x, y)/ es un grupo bajo la operacion uv := u v. Denotaremos a este
grupo por F2 , el grupo libre a dos generadores.
Dem: Por definicion, la operacion es cerrada, y no depende del representante por (3).
La asociatividad sigue de la asociatividad de la yuxtaposicion.
el neutro es .
el inverso sigue tb.

Hemos construido el grupo libre F2 . Como ejercicio queda la construccion del grupo libre
en n generadores.
19

Convencion: De ahora en mas, a los elementos de un grupo libre, por ejemplo F (a1 , a2 , . . .),
los designaremos por palabras en a1
i , y no por su clase de equivalencia. Tendremos el cuidado
eso si, de identificar palabras en una misma clase de equivalencia, por ejemplo a1 a1
1 a2 = a2 .
El grupo F2 posee una interesante propiedad que es la razon de porque el apodo libre.
Teorema 3.7. Sea G un grupo que admite un sistema generador con dos elementos. Entonces, existe : F2 G, un homomorfismo sobreyectivo. En particular G ' F2 /ker().
El teorema sigue directamente del siguiente
Lema 3.8. Sea F2 el grupo libre sobre {x, y}. Sea G un grupo cualquiera y f : {
x, y} G
una funcion. Entonces, existe homomorfismo : F2 G que extiende a f , esto es (
x) =
f (
x) y (
y ) = f (
y ).
Dem de Lema 3.8: Vamos a definir en una palabra de W (x, y), y ver que esto tiene las
propiedades que necesitamos.
Sea w = w(x, y) una palabra cualquiera en las letras x1 e y 1 . Definimos (w) simplemente como w(f (
x), f (
y )), es decir, la misma palabra pero en las letras f (
x)1 y f (
y )1 .
0
0
Observamos lo siguiente: Si w w entonces (w) = (w ).
En efecto w w0 implica que puedo pasar de una a la otra mediante un numero finito de
cambios 1 y/o 2 descritos mas arriba. Luego basta probar que (w) = (w0 ) en el caso que
un solo cambio me lleva de w a w0 . Y esto es muy facil pues en cualquier grupo f (
x)f (
x)1
representa siempre el elemento trivial.
Esto nos dice que en realidad esta definida en F2 = W (x, y)/ : (w(x, y)) =
w(f (
x), f (
y )). Esta definicion ciertamente extiende a f pues (
x) = f (
x), (
y ) = f (
y ).
Veamos que es homomorfismo.
(u(x, y) v(x, y)) = (u(x, y) v(x, y)) = u(f (x), f (y)) v(f (x), f (y)) = (u(x, y))(v(x, y)).

Observaci
on 3.9. F1 ' Z.
Observaci
on 3.10. Claramente F2 se mete en Fn para n 2. Pero hay un teorema que
dice que Fn se mete en F2 para ttodo n.
Ejercicio 3.11. (Tarea) Decimos que una palabra es reducida si no contiene ``1 con `
{x1 , y 1 }. Pruebe que para todo w W (x, y), existe w0 w con w0 reducida.
Presentaciones de grupos. Una presentacion de un grupo es una expresion de la forma
D
E
a1 , a2 , . . . | r1 , r2 , . . . ,
(4)
donde cada ri pertenece a F (a1 , a2 , . . .), grupo libre sobre el conjunto {a1 , a2 . . .}. Por
definicion el grupo con presentacion (4) es el grupo
F (a1 , a2 , . . .)/N (r1 , r2 , . . .),
20

donde N (r1 , r2 , . . .) := hhr1 , r2 , . . .ii, es el subgrupo normal generado por los ri s. Los ai
se llaman generadores y los ri se llaman relaciones. Decimos que un grupo es finito
presentable si admite una presentacion con finitos generadores y finitas relaciones.
Ejemplo 3.12. F2 = F (x, y), el grupo libre a dos generadores admite la presentacion hx, y |
i. En efecto, F2 ' F2 /{id}.
Observaci
on 3.13. Sea G el grupo con presentacion (4), y sea N = N (r1 , r2 , . . .). Entonces, tenemos un homomorfismo canonico de F (a1 , a2 , . . .) en G, a saber, ai 7 ai N . Dada
cualquier palabra w = w(ai ), el homomorfismo canonico manda w(ai ) en w(ai N ), la misma
palabra pero en las letras ai N s. Mas a
un, puesto que es un homomorfismo se tiene que
w(ai N ) = w(ai )N . En particular tenemos que S = {ai N } es un conjunto generador de G.
Observamos tambien lo siguiente (recall Tarea). Si w F (a1 , a2 , . . .) es tal que w 7
wN = id G, entonces w N . Por el ejercicio de la tarea, esto dice que w = g1 ri1 g11 . . . gk rik gk1
para algunos gj F (a1 , a2 , . . .) y algunos rij {r11 , r21 , . . .}. Esto sugiere la siguiente interpretacion de G.
Vamos a mirar G, el grupo con la presentacion (4), como un cociente de W = W (a1 , a2 , . . .),
el monoide libre en {a1 , a2 , . . .}. Diremos que dos palabras u y v en W estan relacionadas,
y anotaremos u v si puedo obtener v a partir de u usando una cantidad finita de los
siguientes movimientos:
1. Insertar algun ri , ri1 o alguna palabra trivial (i.e un palabra del tipo ai a1
i ) al principio,
final o entremedio de u.
2. Borrar algun ri , ri1 , o alguna palabra trivial de la palabra u.
Proposici
on 3.14. es una relacion de equivalencia. Mas aun, esta relacion de equivalencia cumple que u v y u0 v 0 entonces u v u0 v 0 .
Dem: u u.
u v v u.
u v y v w u w. Luego es relacion de equivalencia.
Finalmente la ultima parte tambien sigue.

En lo que sigue, denotaremos a la clase de equivalencia de u W por u.

Proposici
on 3.15. W (a1 , a2 , . . .)/ es un grupo bajo la operacion u v := u v. Este grupo
es isomorfo a G, el grupo con la presentacion (4).
Dem: Veamos primero que W/ es un grupo.
La operacion esta bien definida por la proposicion anterior. Ella es cerrada por definicion.
Si  es la palabra vacia,  es el neutro.
El inverso sigue.
Veamos que (W (a1 , a2 , . . .)/ ) ' G = F (a1 , a2 , . . .)/N (r1 , r2 , . . .). Para probar esto,
dada w W , designaremos por w la clase en W/ y por wN la clase en G. Definimos
: W (a1 , a2 , . . .)/ G, definida por (w)
= wN .
21

 esta bien definida. En efecto, basta ver cuando estan a distancia 1, en cuyo caso se
tiene que si w w0 entonces w0 se obtiene de w, digamos al introducir r en alguna parte:
w0 = w1 rw2 , con w = w1 w2 . Vemos entonces que w0 N = w1 rw2 N = w1 N rN w2 N =
w1 N w2 N = wN .
es homomorfismo (facil)
Epiyectiva (facil)
Inyectiva (Es la tarea: si w N entonces w hhri ii, ergo w = )

Ejemplo 3.16. En general, una presentacion de grupo puede estar representando al grupo
trivial. Por ejemplo ha | ai. Otro ejemplo es G = ha | a2 , a3 i, pues se tiene que a = a2 a =
a3 = id, luego G = {id}.
Observaci
on 3.17. Muchas veces las presentaciones vienen dadas de la forma ha, b | r1 =
r2 i. En estos casos se entiende que la presentacion es ha, b | r1 r21 i.
Observamos que en este caso wr1 w0 wr2 w0 . En efecto ...
Ejemplo 3.18. Z2 ' G = ha, b | ab = bai. En efecto, de la observacion anterior se sigue
que toda palabra w se relaciona a una palabra de la forma an bm , es decir w an bm , donde
an = a a . . . a n veces.
Definimos : Z2 G, (n, m) 7 an bm .
Es homo, epi (facil)
Para ver que es inyectiva, notamos que r = aba1 b1 es balanceada (esto es la suma de
los exponentes de a y b es cero). Luego, toda palabra w  es balanceada tambien (puesto
que  lo es). Asi, si w = an bm  se tiene que n = 0 = m.
Ejemplo 3.19. Otro ejemplo de una presentacion del grupo trivial es la presentacion siguiente
ha, b, c | a3 , b3 , c4 , ac = ca1 , aba1 = bcb1 i.
En efecto, en dicho grupo se tiene id = ab3 a1 = (aba1 )3 = (bcb1 )3 = ac3 b1 , luego c3 = id,
luego c = id, luego a = a1 , luego a = id. luego b = id.

3.3

Clasificacion de grupos Abelianos

3.4

Grupos solubles y nilpotentes

Dado G un grupo y g, h G, definimos el conmutador de g y h como

[g, h] = ghg 1 h1 .
Con esto, definimos el subgrupo derivado (o conmutador) de G como
[G, G] = h[g, h] | g, h Gi,
el subgrupo generado por todos los conmutadores de G. Mas generalmente dados H, K G,
definimos [H, K] = h[h, k] | h H k Ki.
22

Proposici
on 3.20. Sea [G, G] el grupo derivado de G. Entonces
1. [G, G] es un subgrupo normal (caracteristico) de G.
2. G/[G, G] es Abeliano,
3. Si K C G y G/K es Abeliano, entonces K [G; G].
Dem: super facil

Asociamos a un grupo G, dos filtraciones:

La serie derivada:
. . . C Gi C Gi1 C . . . C G1 C G,
con G1 = [G, G] y Gi = [Gi1 , Gi1 ].
La serie central:
. . . C G(i) C G(i1) C . . . C G(1) C G,
con G(1) = [G, G] y G(i) = [G, G(i1) ].
Definici
on 3.21. Dado G un grupo, decimos que G es soluble si existe k 1 tal que
k
G = {id}. Decimos que G es nilpotente si existe k 1 tal que G(k) = {id}. Al menor k
que hace la gracia, se le llama grado de solubilidad o de nilpotencia seg
un corresponda.
Ejemplo 3.22. Todo grupo Abeliano es nilpotente y soluble, en ambos casos de grado 1.
Por otro lado si G no es Abeliano (i.e. [G, G] 6= {id}) y no posee subgrupos normales no
triviales, entonces G = [G, G], y por ende G no es soluble ni nilpotente.
Todo grupo nilpotente es soluble: en efecto se tiene que G1 = G(1) y en general
Gk G(k) (induccion facil).
El grupo S3 = D3 es soluble pero no nilpotente: en efecto, K = h(1, 2, 3)i es
normal y el cociente es Abeliano. Por otro lado, S3 no tiene centro (facil, hay dos tipos
de movimientos del triangulo, ninguno central), luego S3 no puede ser central, pues
G(k1) esta en el centro de un grupo nilpotente de grado k.
Vamos a ver que todo p-grupo (finito) es nilpotente. Para ello necesitamos una equivalencia a ser nilpotente. Para ello definmos recusrivamente unos subgrupos de G.
Z 1 = Z(G) el centro de G. Z j es el subgrupo de G que proyecta sobre Z(G/Z j1 ), es
decir Z j /Z j1 es el centro de G/Z j1 .
Teorema de Lie para grupos solubles de matrices.

3.5

Grupos como objetos geometricos

Teorema 3.23 (Cayley). Todo grupo finito generado act

ua fielmente por isometrias de un
espacio metrico.
Demostraci
on: El grafo de Cayley.
El grupo libre y su propiedad universal.
Teorema 3.24 (Dehn?). Todo grupo finito generado es un cociente de algun grupo libre.
Teorema 3.25 (poincare?, klein?). SL2 (Z) es virtualmente libre. (Ejercicio?)
23

3.6

Representaciones de grupos

Caracteres.

24

Anillos

4.1

Definiciones y Ejemplos

Definici
on 4.1. Un conjunto A dotado de dos operaciones + y , se llama anillo si el triple
(A, +, ) satisface:
1. + y son cerradas.
2. A con la operacion + es un grupo Abeliano. En particular existe un neutro al que
llamaremos 0.
3. A es un monoide bajo . Es decir, es asociativa, y existe un neutro que llamaremos
1.
4. distribuye sobre +, es decir
a (b + c) = a b + a c y (b + c) a = b a + c a.
Ejercicio 4.2. (Tarea) Pruebe que las siguientes afirmaciones valen en un anillo (A, +, ).
1. Existe una u
nica identidad aditiva. Lo mismo vale para el inverso aditivo y para la
identidad multiplicativa.
2. Para todo a A, a 0 = 0 = 0 a.
3. Si 0 = 1 entonces A tiene solo un elemento. En este caso decimos que A es el anillo
cero.
Definici
on 4.3. En el caso donde (A \ {0}, ) ademas posea inversos, es decir (A \ {0}, )
sea un grupo, diremos que (A, +, ) es un cuerpo (Abeliano o no, dependiendo de ).
Ejemplos:
Z.
R, C, Los cuaterniones H (cuerpos).
Z/pZ para p primo es cuerpo. En general Z/nZ es un anillo.
Z[x], R[x] o C[x] o A[x].
Mn (A) matrices n por n con coeficientes en A.
Ejemplo 4.4. (Los cuateriones de Hamilton 1843: el primer cuerpo no conmutativo de la
historia y el unico, aparte de los numeros complejos, cuerpo de dimension finita que contiene
a los reales).
Sean i, j, y k n
umeros tales que i2 = j 2 = k 2 = ijk = 1. Observe que esto implica lo
siguiente (TAREA):
k = ij, i = jk, j = ki. Ademas vale que xy = yx para x, y {i, j, k}.
25

H = {a + bi + cj + dk | a, b, c, d R}. La suma es la suma por coordenadas y la

multiplicacion es simplemente aplicar la regla de distribucion, teniendo cuidado de el orden
en que se multiplica (vea Wikipedia para una formula explicita).
Demuestre que H es un cuerpo (TAREA).
Definici
on 4.5. Sean A y B dos anillos. Decimos que : A B es un homomorfismo
de anillos si (a + a0 ) = (a) + (a0 ) y (a a0 ) = (a) (a0 ).
Decimos que dos anillos son isomorfos si existe un homomorfismo biyectivo entre ellos.
Ejercicio 4.6. (TAREA) Sea A el conjunto de matrices de la forma


x y
, con x, y R.
y x
Pruebe que A es un cuerpo bajo suma y multiplicacion de matrices. Prueba que este cuerpo
es isomorfo al cuerpo de los numeros complejos C.
Ejemplo 4.7. (Anillo de grupos) Sea G, un grupo y (A, +, ) un anillo. Vamos a definir un
nuevo anillo que contiene a G como grupo y a A como anillo.
Sea A[G] el conjunto de funciones de G a A con soporte finito, esto es
A[G] := { : G A | f (g) = 0 salvo en un numero finito de g G}.
Dados y en A[G] definimos + y como sigue:
+ : g 7 (g) + (g),
X
X
:g
7
(g1 ) (g2 ) =
(gg21 ) (g2 ).
g2 G

g1 g2 =g

Veamos que esto define un anillo. Para A[G], denotamos su soporte por sop().
+ A[G] pues sop( + ) sop() sop()
A[G]. En efecto, para cada g G, (g) es un elemento de A pues la suma
solo toma finitos valores distintos de 0.
Por otra parte, tiene soporte finito, pues si (g) 6= 0, entonces existe g1 y g2
tales que g = g1 g2 y (g1 ) (g2 ) 6= 0. Esto implica que
sop( ) sop() sop() := {g1 g2 | g1 sop() , g2 sop()}.
(A[G], +) es un grupo (facil). Su neutro es la funcion constante 0.
(A[G], ), es un monoide. Su neutro es la funcion id .
distribuye sobre + (facil).
Observe G vive dentro de A[G] via g 7 g , y A vive dentro de A[G] via a 7 a id .
Ejercicio 4.8. (TAREA) Pruebe que A[x] ' A[Z]
26

4.2

Ideales y anillos cocientes

Definici
on 4.9. Un subconjunto S de un anillo A se dice subanillo si es un anillo con la +
y de A.
Un subconjunto I de un anillo A se dice ideal (motivar definicion viendo kernels de homomorfismo) si I es un subanillo de A tal que
aIb I para todo a, b A. En este caso decimos que I es un ideal (bilatero).
aI I para todo a A. En este caso decimos que I es un ideal izquierdo.
Ia I para todo a A. En este caso decimos que I es un ideal derecho.
Ejemplo 4.10. En A, A y {0} son siempre ideales.
Otro ejemplo es ker().
Teorema 4.11. Un anillo no trivial A es un cuerpo si y solo si sus u
nicos ideales izquierdos
son los triviales, y sus u
nicos ideales derechos son los triviales.
Dem: Sea I un ideal izquierdo de un cuerpo k que contiene un elemento a 6= 0. Luego
1 = a1 a I, lo que implica que I = k. Esto muestra que en un cuerpo solo hay dos ideales
izquierdos.
Suponga A es un anillo no trivial que contiene solo dos ideales izquierdos: {0} y A. Sea
a A un elemento no nulo, queremos probar que a es invertible. Para ello consideramos
(a) = Aa = {b A | b = ra , con r A}.
Afirmamos que (a) es un ideal de A. En efecto, es cerrado bajo producto, y bajo suma
(factorizando). Luego (a) = A, lo que implica que existe r A tal que ra = 1. Para ver que
a es invertible a derecha, repetimos el argumento con aA. Asi, encontramos un inverso de a
por izquierda, r y otro por derecha s. Finalmente vemos que ras = 1 s y por ende r = s. 
Teorema 4.12. Sea I un ideal bilatero de A. Entonces, existe un anillo B y un morfismo
: A B tal que ker() = I.
Dem: I = ker() es obvio.
Para ver la conversa, fabricamos el anillo cociente. Sea I un ideal bilatero, y sea
A/I := {a + I | a A}.
En A/I definimos + y :
(a + I) + (b I) = a + b + I
(a i) (b + I) = ab I.
Se comprueba facilmente que esto es un anillo y que ademas a a + I es un morfismo
de anillos de A en A/I con n
ucleo I.

Proposici
on 4.13. Sea A un anillo y I un ideal bilatero maximal. Entonces M/I es un
cuerpo.

27

4.3

Dominios de Integridad y cuerpo de fracciones

Pregunta (Malcev): Cuando un anillo se realiza como un subanillo de un cuerpo?

Una condicion necesaria para que un anillo A este incrustado en un cuerpo k es que
en A no haya divisores de cero. Es decir, dos elementos a, b A distintos de 0 tales que
ab = 0. En efecto, en este caso no puede haber un inverso de a, pues si ca = 1 entonces
b = cab = c 0 = 0, contradiciendo que b 6= 0.
En esta seccion veremos que para anillos conmutativos, la ausencia de divisores de 0
basta para responder afirmativamente la pregunta.
Definici
on 4.14. Sea A un anillo. Decimos que A es un Dominio de Integridad si
A es Abeliano, i.e. ab = ba para todo a, b A.
A no tiene divisores de 0, i.e. para todo a, b A \ {0}, ab 6= 0.
Observaci
on 4.15. En un Dominio de Integridad A hay cancelacion:
ab = ac b = c.
Esto no vale si hay divisores de 0:
0 = ab = a0
Teorema 4.16. Sea A un Dominio de Integridad. Entonces existe k un cuerpo (conmutativo)
tal que A se incrusta en k.
Dem: Construimos el cuerpo de fracciones de A.
Sea X = A A. En X introducimos la siguiente relacion de equivalencia:
(a, b) (c, d) ad = cb.
Veamos que esto es una relacion de equivalencia:
Es refleja.
Es simetrica (conmutatividad!)
Es transitiva (usamos que hay cancelacion).
En X/ definimos las siguientes operaciones.
(a, b) + (c, d) = (ad + cb, bd)
(a, b)(c, d) = (ac, bd).
Estas definiciones no dependen del representante.
Afirmamos que k = X/ es un cuerpo. Lo llamamos el cuerpo de fracciones de A:
F rac(A).
Neutro aditivo (0, 1), inverso facil.
28

 Neutro multiplicativo (1, 1). Inverso facil.

distribucion y asociatividades.
Finalmente notamos que a 7 (a, 1) es una inyeccion de A en F rac(A).

Corolario 4.17. El cuerpo de fracciones de un Dominio de Integridad A, es el menor cuerpo

Abeliano que contiene a A. Mas precisamente, para todo cuerpo Abeliano k tal que A , k,
se tiene que F rac(A) , k.
Dem: Sea : A k una inyeccion de A en k. Definimos ((a, b)) = (a)(b)1 . Basta ver
que es un homomorfismo (pues es no trivial):
((a, b)(c, d)) = ac(bd)1
((a, b) + (c, d)) = ((ad + bc, bd)) = (ad + bc)(bd)1 = ab1 + cd1 .


4.4

Anillos de Polinomios y Dominios Euclideanos

Comenzemos por caracterizar los ideales de Z. Notemos previamente que Z es un anillo

Abeliano, por ende las tres nociones de ideales coinciden.
Proposici
on 4.18. Sea I un ideal de Z. Sea a el menor entero positivo en I. Entonces
I = (a).
Dem: Buscando una contradiccion, supongamos que existe b un elemento de I que no es de
la forma na. SPG b es positivo y mayor que a. Dividimos b en a. b = na + r, con r positivo
menor que a. Esto implica que b na = r I, contradiciendo que a era el menor positivo.

Definici
on 4.19. Un Dominio de Integridad A se dice Dominio Euclideano si existe f :
A \ {0} N tal que
Para todo a, b A \ {0} existen q y r A tal que a = bq + r con r = 0 o f (r) < f (b).
Para todo a, b A \ {0}, vale que f (a) f (ab).
Decimos que f es una valuacion de A.
Ejemplo 4.20. Z con el valor absoluto.
Otro ejemplo son los polinomios sobre un cuerpo y el grado.
Algoritmo de la division para polinomios:
Sea k un cuerpo, y k[x] el anillo de polinomios con coeficientes en k. Para p(x) =
an xn +. . .+a0 , an 6= 0, definimos gr(p(x)) = n, el grado de p(x). Se tiene que gr(p(x)q(x)) =
gr(p(x)) + gr(q(x)).
Para ver que k[x] es un Dominio Euclideano, falta probar que gr se comporta bien con
la division de polinomios. Para ello, introducimos el algoritmo de la division: Mostrar
con ejemplos.
29

El anillo de enteros Gaussianos Z[i]:

Ver que es anillo.
Para z = a + bi C definimos N (z) = a2 + b2 . Observe que N (zw) = N (z)N (w).
Veamos que N se comporta bien con la division.
Sea a y b dos enteros gaussianos no nulos. Sea z el numero complejo a/b. Si z Z[i]
entonces tenemos que a = zb + 0.
En caso que z no sea entero, tomamos z0 el entero gaussiano mas proximo a z en C. En
particular, tenemos que N (z z0 ) < 1. Se tiene:
a = zb = z0 b z0 b + zb = z0 b + b(z z0 ).
Sea r = b(z z0 ). Tenemos que a = z0 b + r. En particular r Z[i]. Mas aun, N (r) =
N (b)N (z z0 ) < N (b), lo que dice que Z[i] es un Dominio Euclideano.
Observaci
on 4.21. En un dominio Euclideano A con valuacion f vale que los elementos
invertibles de A son precisamente los elementos que realizan el mnimo de f .
En efecto, sea N 3 n0 = minf (A \ {0}). Si b es invertible y a0 realiza el mnimo de f ,
entonces vale que f (b) f (bb1 a0 ) = n0 . Contrariamente, si f (a) = n0 , entonces al dividir
1 por a se tiene que 1 = ba + r, con r = 0, lo que dice que a era invertible.
Proposici
on 4.22. Todo ideal en un Dominio Euclideano es principal.
Dem: Sea I un ideal en un Dominio Euclideano A, y sea f : A Z su valuacion. Sea
a A un elemento realizando el minimo de f (I). Sea b I. Dividiendo b en a obtenemos
que b = ca + r con f (r) < f (a). Por otra parte, tenemos que r = b ca I, de lo que se
deduce que r = 0, lo que a su vez implica prueba la proposicion.

Observaci
on 4.23. Note que para ver que k[x] es un Dominio Euclideano, usamos el hecho
que k era cuerpo. En efecto, los polinomios con coeficiente no necesariamente en un cuerpo,
no forman siempre un Dominio Euclideano.
Por ejemplo los polinomios con coeficientes en Z, x no es divisible por 2x. Pero podra
haber una valuacion distinta. El siguiente argumento prueba que no: Consideremos I =
h2, xi el ideal generado por 2 y por x. Supongamos que existe p(x) tal que I = hp(x)i.
Claramente gr(p(x)) = 0, pues de lo contrario 2
/ hp(x)i. Por otro lado I no es todo Z[x],
por lo que p(x) = 2. Pero x no es m
ultiplo de 2.
Ejercicio 4.24. (Enteros de Eisenstein) Sea w C una raz cubica de la unidad 6= 1. Sea
Z[w] = {a + bw | a, b Z}. Vea que Z[w] es un anillo. Pruebe ademas Z[w] es un Dominio
Euclideano con la valuacion f (a + bw) = a2 ab + b2 .
Ejercicio 4.25. Pruebe que R[x, y], los polinomios en dos variables (que conmutan) es un
anillo sin divisores de cero. Pruebe que el no es un Dominio Euclideano.

4.5

Dominios de ideales principales y de factorizac

on unica

Hemos definido la clase de Dominios de Integridad, y la clase de Dominios Euclideanos.

Vimos ademas, que todo ideal en un Dominio Euclideano era generado por un solo elemento.
La conversa no es valida pues tenemos el siguiente teorema cuya demostracion pospondremos
por el momento.
30

Definici
on 4.26. Decimos que un Dominio Integridad es un Dominio de Ideales Principales, si todo ideal es generado por un solo elemento.

Teorema 4.27. El cuerpo Q[ 19] contiene un anillo que es un Dominio de ideales principales, pero no es un dominio Euclideano (el anillo en cuestion son los enteros algebraicos
del cuerpo).
A continuacion introducimos una tercera clase de Dominios de Integridad, los llamados
Dominios de Factorizaci
on Unica. Para ello necesitamos algunas definiciones.
Definici
on 4.28 (Generalizando la nocion de primo para Z). Sea A un Dominio de Integridad (D.I.), sean a, b A. Denotamos por A el conjunto de unidades de A, esto es, el
conjunto de elementos invertibles para la multiplicacion en A.
Decimos que a divide a b si existe c A tal que b = ac (Obs: en un contexto no
conmutativo, habria que decir si a es un divisor a derecha de b o a izquierda).
Decimos que a A \ A es irreducible si [ a = bc ] [ b o c A ].
Decimos que a es primo si a divide a bc implica a divide a b o a c.
Observaci
on 4.29. Observe que para A = Z la nocion de primo e irreducible coinciden.
En general, para A un D.I. y a A, vale que a primo implica a irreducible.
En efecto, si a es primo y a = bc, entonces a divide a b o a c. Si a divide a b se tiene
b = ad, por lo que a = adc lo que implica 1 = dc, lo que dice que c A .
Ejemplo
4.30. La
recproca de la observacion anterior no es cierta. Por
ejemplo en A =

Z[ 5] = {a + b 5 | a, b Z} se tiene que 6 = 2 3 = (1 + 5)(1 5).

Afirmamos que 2 es irreducible,

pero
que
no
divide
a
(1
+
5)
ni
a
(1

5), lo que

dice que 2 no es primo en Z[ 5].

d
Suponga que 2 = (a +b 5)(c +
5). Queremos probarque uno de los factores es
invertible. Tenemos (a+b 5)(c+d 5) = ac10bd+(ad+bd) 5. De donde obtenemos
dos ecuaciones:
2 = ac 10bd
0 = ad + bc
Que hay que verificar que no tienen soluciones enteras. Sin embargo,
esto es un poco
tedioso, por lo que mejor haremos un analisis geometrico. Dado que Z[ 5] es un subanillo
de C, tenemos a nuestra disposicion la norma al cuadrado en C, a saber

N (a + b 5) = a2 + 5b2 .

Tenemos que si z Z[ 5] no es cero, entonces N (z) 1, y si ademas z no es real, entonces

N (z) 5. Ademas la norma separa multiplicacion.

De lo anterior se sigue que si 2 = (a + b 5)(c + d 5), entonces

4 = N (2) = N (a + b 5) N (c + d 5).
31

La unica posibilidad es que ambos factores sean reales, es decir, b = d

= 0, lo que dice que
2 = ac, lo que dice que a o c es 1, que ciertamente es una unidad en Z[ 5], lo que prueba
que 2 es irreducible.

5
ni
a
1

Para
ver
que
2
no
divide
a
1
+

5, observamos simplemente que 2(a +

b 5) = 2a + 2b 5, que nunca sera igual a 1 5, lo que prueba que 2 no es primo.

Ahora introducimos la nueva clase de anillos.
Definici
on 4.31. Decimos que un D.I. A es un Dominio de Factorizacion Unica (DFU),
si para todo a A \ (A {0}) existe una factorizacion de a en irreducibles y esta factorizacion es unica modulo unidades. Mas precisamente si a A \ (A {0}), entonces existen
irreducibles f1 , . . . , fk tales que
a = f1 . . . fk ,
y si
a = e1 . . . e` ,
con ei irreducibles, entonces ` = k, y modulo reordenamiento fi = i ei , con i A .
Proposici
on 4.32. En un DFU todo irreducible es primo.
Dem: En efecto, suponga que a es irreducible y que a divide a bc, es decir existe v tal que
av = bc. Queremos probar que a divide a b o a c.
Factorizamos va = bc = b01 . . . b0k c01 . . . c0n en irreducibles de b y de c. Como a es irreducible
a tiene que apareces, modulo una unidad, en la descomposicion anterior. Esto implica que a
aparece en la descomposicion de b o de c, lo que prueba que a divide a b o c, lo que prueba
que a es primo.


Corolario 4.33. Z[ 5] no es un DFU.

4.6

Todo DIP es DFU

En esta seccion vamos a probar

Teorema 4.34 (Kaplansky). Todo DIP es DFU.
Comenzamos la prueba dando una caracterizacion de los DFU.
Proposici
on 4.35. Un Dominio de Integridad A es un DFU si y solo si todo elemento no
invertivle de A se puede factorizar como producto de primos.
Dem: Suponga que A es un DFU. Por la Proposicion 4.32, se tiene que todo irreducible es
primo, luego todo elemento se factoriza como producto de primos.
Reciprocamente, suponga que A es un DI donde todo elemento no invertible se factoriza
como producto (finito) de primos. Como todo primo es irreducible, solo falta probar que la
factorizacion en primos es u
nica modulo unidades.

Sea a A \ A un elemento no nulo, y sea p1 . . . pn = q1 . . . qm dos factorizaciones en

primos del elemento a. Tenemos que probar que n = m y que, modulo reordenar, pi = qi .
Claramente p1 divide a q1 . . . qm , luego p1 divide a algun qi , digamos q1 . Esto es, existe
1 talque 1 p1 = q1 . Pero q1 es irreducible, luego 1 A .
32

La proposicion sigue repitiendo el argumento para p2 y q2 . . . qm , y asi sucesivamente. 

El siguiente teorema implica facilmente el Teorema de Kaplansky de mas arriba. Vamos
a decir que que un ideal I de un Dominio de Integridad A es primo, si cada vez que ab I
se tiene que a o b esta en I.
Teorema 4.36 (Kaplansky). Un Dominio de Integridad A es un DFU si y solo si para todo
ideal primo P se tiene que existe un primo p A tal que p P .
Veamos como este teorema implica el Teorema 4.34: Sea A es un DIP, queremos ver
que A es DFU. Sea P C A es un ideal primo. Como A es DIP, P = hci. Como P es primo,
se tiene que si ab P , entonces a o b estan en P . Esto dice que si c divide a ab enonces c
divide a a o b. Luego c es primo. Luego el Teorema 4.36 dice que A es DFU.

Antes de probar el Teorema 4.36, necesitamos un u
ltimo lemma que es muy importante
en varias ramas de la matematica y una observacion trivial:
Lema 4.37 (Zorn, 1935). Si P es un conjunto parcialmente ordenado, tal que toda cadena
ascendente tiene un elemento maximo en P, entonces P tiene al menos un elemento maximal.
Observaci
on 4.38. Sean I y J dos ideales bilateros de un anillo A. Entonces I + J =
{i + j | i I , j J} es un ideal bilatero.
Dem del Teorema 4.36: Sea A es DFU y P C A es un ideal primo. Queremos demostrar
que P contiene un primo. Sea a P un elemento no nulo ni invertible (en ambos casos se
concluye facilmente). Factorizamos a = p1 . . . pn como producto de irreducibles. Sabemos
que los pi s ademas son primos. Luego como P es primo, ya sea p1 o p2 . . . pn esta en P . En
el primer caso ganamos y en el segundo iteramos el argumento para probar que existe un
primo pi P .
Reciprocamente suponga que A es un Dominio de Integridad con la propiedad que todo
ideal primo contiene un primo. Queremos ver que A es un DFU.
Sea S = {a A \ {0} | a A o a se factoriza en primos}. Observe que S es cerrado
bajo producto. Si S = A \ {0}, la Proposicion 4.35 dice que A es un DFU. En caso contrario,
existe a0 A \ S, a0 6= 0. Veamos qu esto lleva a una contradiccion.
Sea M un ideal maximal que contiene a a0 y que no intersecta a S. Dicho M existe por
el lema de Zorn: I, la coleccion de ideales que no intercepta a S y que contienen a a0 , es una
coleccion no vaca (pues contiene a ha0 i) que cumple las hypotesis del Lema de Zorn (pues
la union de ideales encajados es un ideal).
Afirmacion: M es un ideal primo. Note que esto implica que M contiene un primo p y por
ende M intercecta a S, que es la contradiccion que buscabamos.
Finalmente probamos que M es un ideal primo por contradiccion. Si M no es primo,
entonces existe u, v tales que uv M pero ni u ni v estan en M . Por maximalidad, los
ideales M +hui y M +hvi intersectan a S. Asi, existen x (M +hui)S y y (M +hvi)S.
Luego
xy = (m + u)(m0 + 0 v) = m00 + 0 uv M,
pero S es cerrado bajo producto, lo que dice que xy S, lo que contradice que M no
intercepta a S.

Corolario 4.39 (de la prueba). Todo anillo tiene un ideal maximal.
33

Dem: En efecto, por el lema de Zorn, podemos encontrar un elemento ideal maximal en la
clase de anillos que no contienen a 1. Ciertamente, dicho ideal es Maximal (pensar porque
esto no vale en un grupo).

Proposici
on 4.40. Sea A un Dominio de Integridad e I un ideal maximal. Entonces A/I
es un cuerpo.
Dem: Basta ver que A/I no tiene ideales no triviales. Mirar el homomorfismo proyeccion.

Proposici
on 4.41. Sea k un cuerpo conmutativo, k[x] su anillo de polinomios, y p(x) un
polinomio. Entonces, el ideal hp(x)i es maximal si y solo si p(x) es irreducible. En consecuencia, todo ideal primo de k[x] es maximal.
Dem: En general, si p es un elemento reducible en un Dominio de Integridad A, entonces
existe a, b A ambos no invertibles tales que p = ab. Afirmamos que hpi esta estrictamente
contenido en hai. En efecto, si fueran iguales, tendramos que a = mp = mba luego b era
invertible. Esto prueba que si hpi es un ideal maximal, entonces p es irreducible.
En la otra direccion, usamos que k[x] es un Dominio de Ideales Principales. Pues si p es
irreducible y M es un ideal maximal que contiene a p, entonces existe f tal que M = hf i.
Esto dice que p = qf , pero, siendo p irreducible, y M maximal (en particular no es todo el
anillo), se tiene que q es una unidad. Lo que dice que M = hpi.

Ejemplo 4.42. En R[x], el polinomio p(x) = x2 + 1 es irreducible, pues de escribirse como
producto de dos polinomios no invertibles, estos tendran que tener grado uno, lo que dira
que p(x) tendra races reales.
Por lo tanto, el ideal hx2 + 1i es maximal. Esto implica que R[x]/hx2 + 1i es un cuerpo.
Afirmamos que C ' R[x]/hx2 + 1i.
En efecto, denotamos por I a hx2 + 1i, y notamos que (x + I)2 = x2 + I = 1 + I. Asi,
si quisieramos asociar r + I a r para cada real r, tiene sentido asociar x + I a i. Veamos
que esto funciona. Notamos primero que p(x) + I siempre puede ser representado por un
p0 (x) + I con gr(p0 (x)) 1. Ademas, este representante es u
nico.
Definimos : R[x]/I C via ax + b 7 ai + b

4.7

Algunos criterios de irreducibilidad

Hemos visto que en un anillo de polinomios k[x], los ideales maximales son ideales generados
por un primo o irreducible. Esto nos provee de una construccion de un gran numero de
cuerpos (por ejemplo C). En esta seccion revisaremos algunos criterios de irreducibilidad
para polinomios en Q[x]. Esto nos provee, veremos, de una cantidad infinita de cuerpos que
contienen a Q. Veremos tambien que estos cuerpos pueden ser realizados como subcuerpos
de los n
umeros complejos.
Nuestro primer resultado importante sera que irreducibilidad en Q[x] equivale a irreducibilidad en Z[x] (salvo en el caso de las constantes).
Definici
on 4.43. Un polonimio f (x) = an xn + . . . + a0 Q[x] se dice primitivo si sus
coeficientes son enteros, si el maximo comun divisor de sus coeficientes es 1 y si an es
positivo.
34

Lema 4.44 (Gauss). Un entero (i.e. polinomio de grado cero) es un primo en Z[x] si y solo
si es un entero primo. En particular
1. un primo p Z divide a p(x)q(x) si y solo si divide a uno de ellos.
2. el producto de elementos primitivos en Q[x] es primitivo.
Dem: Sea p Z un entero primo. Suponga que p divide a q(x)r(x), pero no a q(x) ni r(x).
Entonces hay coeficientes ri0 y qj0 que no son divisibles por p. Elegimos i y j lo mas chico
posible. Pero el coeficiente de xi+j en q(x)r(x) es
X
X
ri qj = (ri0 + jj0 ) +
ri qj .
i+j=io +jo

i+j=i0 +j0 , i6=i0

Pero la ultima sumatoria es divisible por p, pues si i > i0 entonces j < j0 y viceversa. Esto
entrega una contradiccion. Reciprocament, si n Z no es entero primo, entonces claramente
no es primo en Z[x]. Las afirmaciones 1 y 2 siguen inmediatamente.

Lema 4.45. Sea f (x) un polinomio no constante con coeficientes en Q. Luego, f (x) = cf0 (x)
con c un racional y f0 (x) un polinomio primitivo. Esta descomposicion es u
nica. Mas aun,
c es un entero si y solo si f (x) tiene coeficientes enteros, en cuyo caso c corresponde al
maximo com
un divisor de los coeficientes de f (x).
Dem: Primero multiplicamos f (x) por un entero d de modo que los coeficientes de f1 (x) =
df (x) sean entero. Luego extraemos el maximo com
un divisor de los coeficientes de f1 (x) y
ajustamos el signo de modo que f1 (x) = cf0 tenga coeficiente lider positivo. Asi obtenemos
que f (x) = dc f0 (x) como queriamos.
La unicidad de esta descomposicion sigue pues si f0 (x) y f00 (x) son polinomios primitivos
tales que cf0 (x) = c0 f00 (x), entonces existe un entero d tal que dc f0 (x) = dc0 f00 (x) tiene
coeficientes enteros. Observamos ahora que si un entero primo p divide dc f0 (x) = dc0 f00 (x),
si y solo si divide a dc y a dc0 . Esto dice que los divisores primos de dc son los mismos que
los de dc0 , lo que implica que dc = dc0 , lo que a su vez implica f0 (x) = f00 (x).
El resto de las afirmaciones sigue inmediatamente de lo hecho hasta ahora.
.
Teorema 4.46. Sea f0 (x) un polinomio primitivo y g(x) un polinomio con coeficientes enteros. Si f0 (x) divide a g(x) en Q[x], entonces tambien lo divide en Z[x]. Ademas, si dos
polinomios enteros f (x) y g(x) tienen un divisor com
un no constante en Q[x] entonces tienen
un divisor com
un no constante en Z[x]. En particular, si f (x) es reducible en Q[x], tambien
lo es en Z[x].
Dem: Suponga que g(x) = f0 (x)q(x) con q(x) un polinomio con coeficientes racionales.
Veremos que q(x) tiene coefiientes enteros. Escribimos g(x) = cg0 (x) y q(x) = c0 q0 (x), con
g0 y q0 primitovos. Luego g(x) = cg0 (x) = c0 f0 (x)q0 (x). Como f0 (x)q0 (x) es primitivo, por
la unicidad de la proposicion anterior se tiene que g0 (x) = f0 q0 y c = c0 . Pero c era entero
pues g(x) lo era, luego q(x) era entero.
La segunda afirmacion sigue de la primera, pues si h(x) divide a f (x) y g(x), entonces su
primitivo asociado h0 (x) divide a f y g en Q[x]. Luego los divide en Z[x]. Asi, h0 es divisor
com
un de f y g en Z[x].

35

Proposici
on 4.47. Sea f (x) Z[x] un polinomio con coeficiente lider positivo. Entonces
f (x) es irreducible en Z[x] si y solo si es un entero primo o es un polinomio primitivo que es
irreducible en Q[x]. En consecuencia, todo irreducible de Z[x] es primo.
Dem: La proposicion, en el caso que f (x) sea constante, sigue del Lema de Gauss. Sea f (x)
un polinomio no constante. Supongamos que f (x) es irreducible en Z[x]. En particular, no
es divisible por ning
un entero primo. Puesto que su coeficiente lder es positivo, se tiene que
f (x) es primitivo. Finalmente el Teorema 4.46 implica que f (x) es irreducible en Q[x].
Reciprocamente, todo polinomio no constante, primitivo y reducible en Z[x], es tambien
reducible en Q[x].
Veamos ahora que todo polinomio no constante e irreducible en Z[x] es primo. Sea f (x)
un tal polinomio y suponga que f (x) divide a q(x)r(x). Ya vimos que en este caso, f (x)
es irreducible en Q[x], y , como Q[x] es un DFU (es un DIP!) tenemos que f (x) es primo
en Q[x]. Luego divide a q(x) o a r(x) en Q[x]. Pero el Teorema 4.46 dice que entonce f (x)
divide a q(x) o a r(x) en Z[x].

Corolario 4.48. Z[x] es un DFU (que ya vimos que no es DIP). Todo polinomio f (x) se
factoriza unicamente como
f (x) = p1 . . . pn q1 (x) . . . qm (x),
con pi enteros primos y qi (x) primitivos e irreducibles.
Dem: En efecto un polinomio de primitivo de grado n se factoriza a lo mas en n polinomios.
Esto dice que la factorizacion en irreducibles existe. La proposicion anterior dice que los
irreducibles son primos. Asi el corolario sigue de la Proposicion 4.35

Hemos visto, entre otras cosas, que los irreducibles de Q[x] corresponden de manera
canonica a irreducibles en Z[x]. Ahora damos dos criterios muy u
tiles de irreducibilidad.
Para enunciar el primero, dado p un entero primo, y Fp = Z/pZ, el cuerpo con p elementos. Definimos p : Z[x] Fp [x], por
p (an xn + . . . + a0 ) = a
n xn + . . . + a
0 ,
donde a
i es el residuo p. Queda como ejercicio de la gua verificar que p es un homomorfismo
de anillos.
Proposici
on 4.49. Sea p un primo y f (x) = an xn + . . . + a0 |inZ[x] un polinomio con
coeficiente lider no divisible por p. Si f = p (f ) es irreducible en Fp [x], entonces f es
irreducible en Q[x].
Dem: Sea f como en la proposicion. Probaremos que si f es reducible, entonces f tambien.
Si f = gh es una factorizacion no trivial en Q[x], en particular, el grdo de g y h es
positivo. Ademas, podemos suponer por el Teorema 4.46 que dicha factorizacion ocurre en
Z[x].
y gr(f ) = gr(f) =
Como p es un homomorfismo y a
n 6= 0, tenenmos que f = gh,

gr(
g )+gr(h). Esto implica que gr(g) = gr(
g ) y gr(h) = gr(h), lo que dice que la factorizacion
en Fp [x] era no trivial

36

Lema 4.50 (Criterio de Einsestein). Sea f (x) = an xn +. . .+a0 un polinomio con coeficientes
entros. Sea p un entero primo. Suponga que los coeficientes de f (x) satisfacen lo siguiente
p no dicide a an ,
p divide a an1 , . . . , a0 ,
p2 no divide a a0 .
Entonces f (x) es irreducible en Q[x].
Por ejemplo x4 + 5x3 + 5x2 + 5 y x + 2 son irreducibles.
Dem: Sea f (x) = an xn +. . .+a0 un polinomio satisfaciendo las hypotesis, en particular f (x)
no es constante. Denotamos por f (x) su residuo modulo p. Se tiene que f (x) = a
n xn 6= 0.
Si f (x) fuera reducible en Q[x] entonces por el Teorema 4.46, se tiene que f (x) se factoriza
en polinomios no constantes en Z[x], digamos f (x) = g(x)h(x), donde b(x) = br xr + . . . + b0 ,

h(x) = hk xk + . . . + h0 . Psando modulo p esto queda f(x) = g(x)h(x)

=a
n xn . Esto implica
que

k xk ,
g(x) = br xr y h(x)
=h
es decir, p divide a todos los coeficientes, salvo el primero, de g y h. Pero esto implica que
a0 es divisible por p2 , lo que contradice las hypotesis. Luego f era irreducible.

Damos ahora una aplicaci
on: para un primo p, el polinomio
p (x) = xp1 + xp1 + . . . + x + 1
es irreducible en Q[x]. Estos polinomios se llamand ciclotomicos.
cambiar x por y + 1.

37

4.8

Un resumen esquematico de ejemplos

Z[ 5]

DI

DFU
Z[x, y]
Z[S5 ]

Z[x]
DIP

Mnn (R)

Q[ 19]
DE
R[x, y]
Z[i]
Z

R[x]

38

Teora de cuerpos y de Galois

5.1

definiciones b
asicas y ejemplos

Definici
on 5.1. Si K y F son cuerpos tales que F K, entonces decimos que K es una
extension de F . Anotamos la dimension de K como F -espacio vectorial la anotaremos por
[K : F ] y usualmente lo llamaremos grado de la extension.
Ejemplo 5.2.
1. Las extensiones finitas de Q las llamamos cuerpos algebraicos (o de
n
umeros). C es una extension de grado 2 de R, mientras que R es una extension de
grado infinito de Q (no se puede enumerar!).
2. Para k un cuerpo, anotamos k[x] su anillo de polinomios y por k(x) = {f (x)/g(x) |
f, g k[x], g 6= 0} el cuerpo de fracciones de k[x].
3. Anotamos por k((x)) el cuerpo de sumas formales con coeficiones en k o el cuerpo de
series de Laurent en k:

nX

k((x)) =

o
an xn | n0 Z, an k ,

n=n0

con la suma obvia y el producto

X
n=n0

an x

 X

bn x

n=n1

n=n0 +n1

i+j=n

ai b j x n .

Observamos que k((x)) tiene inversos. En efecto, podemos restringirnos a elementos

de la forma f (x) = 1 + a1 x + a2 x2 + . . ., y en este caso tenemos que g(x) = f 1 (x) =
b0 +b1 x+. . . se obtiene por recurrencia usando la regla del producto, pues el coeficiente
de xn en f (x)g(x) es:
bn a0 + bn1 a1 + . . . + b0 an = 0,
lo que implica que si sabemos b0 , . . . , bn1 , podemos despejar bn . Finalmente notamos
que k((x)) es una extension de k(x).
4. Sea a C, y sea
n P ai
o
X
i
i
|

Q
,

b
=
6
0
.
Q(a) := Pi
i
i
i
i
i i a
Luego
Q(a) es una extension de Q que puede ser de grado finito o infinito. Por ejemplo
si a = 1, entonces [Q(a) : Q] = 2. En efecto, {1, a} es una base para esta extension
pues

P
P
P
i ai

2i + i
2i 1
i
i
P
,
= P

i
i + P i 1

i i a
i
i

que facilmente se puede escribir de la forma x + y 1.

39

5. Sea p(t) = t3 2 en Q[t]. Luego, p(t) es irreducible al no tener races racionales.

Entonces el ideal hp(t)i en Q[t] es maximal y por lo tanto K = Q[t]/hp(t)i es un
cuerpo.
Mas aun, es facil ver que el conjunto de clases laterales {a + hp(t)i | a Q} es isomorfo
a Q bajo la identificacion a 7 a + hp(t)i. De este modo, podemos ver Q[t]/hp(t)i como
una extension de Q.
Ahora, usando el algoritmo de la division, todo f (t) Q[t] se escribe como f (t) =
q(t)p(t) + r(t) con r = 0 o grado(r(t)) < 3. Mas aun, f (t) y r(t) generan el mismo
coset en K = Q[t]/hp(t)i. De esto se sigue que todo elemento en K es de la forma
a0 + a1 t + a2 t2 + hp(t)i. Por lo tanto [K : Q] = 3 pues 1 + hp(t)i, t + hp(t)i, t2 + hp(t)i
forman una base de K.
Finalmente observamos que si a = t + hp(t)i K, entonces
a3 2 = t3 hp(t)i (2 + hp(t)i) = t3 2 hp(t)i = 0.
Luego a es una raz de t3 2 en K.
Definici
on 5.3. Sea K una extension de F y X un subconjunto de K. Anotamos por F [X]
(resp. F (X)) la interseccion todos los subanillos (resp. subcuerpos) de K que contienen
a F y a X. En el caso que X = {a1 , . . . , an } anotamos F [X] = F [a1 , . . . , an ] y F (X) =
F (a1 , . . . , an ).
La siguiente proposicion hermana la notacion recien introducida con la notacion usada
en el punto 4 del ejemplo anterior
Proposici
on 5.4. Sea K una extension de F y a K. Entonces
F [a] = {f (a) | f (x) F [x]} y F (a) = {f (a)/g(a) | f, g F [x] , g 6= 0}.
Mas aun, F (a) es el cuerpo cociente de F [a].
Dem: La aplicacion evaluacion en a, eva : F [x] K es un morfismo de anillos que ademas
es F -lineal. De esto se sigue facil todas las coclusiones.

Ejercicio 5.5. Generalize la proposicion anterior para conjuntos X de mas de un elemento.
Proposici
on 5.6. Sea K una extension de F , y sea X K. Entonces
[
F (X) = {F (a1 , . . . , an ) | a1 , . . . , an X},
donde la union se toma sobre todos los subconjuntos finitos de X. En particular, para
a F (X) vale que a F (a1 , . . . , an ) para algunos a1 , . . . , an X.
Dem: Se sigue de que la union es sobre familias finitas, que dicha union es un cuerpo. Luego
la igualdad es trivial. Luego la ultima conclusion tambien es trivial.


40

Definici
on 5.7. Si K es una extension de F , decimos que a K es algebraico sobre F si
existe f (x) F [x] tal que f (a) = 0. Si a no es algebraico decimos que es trascendental sobre
F . Si todo a K es algebraico sobre F decimos que K es algebraico sobre F o que K/F es
una extension algebraica.
Dado a K algebraico sobre F , el polinomio minimal de a sobre F es el polinomio
monico p(x) F [X] de menor grado tal que p(a) = 0. Denotamos este polinomio por
min(F, a). Equivalentemente, min(F, a) es el generador monico del kernel de la aplicaicon
eva : F [x] K.
Proposici
on 5.8. Sea K una extension de F y a K algebraico sobre F . Entonces
1. El polinomio min(a, F ) es irreducible en F [x].
2. Para g(x) F [x] vale que g(a) = 0 si y solo si g(x) hmin(a, f )i.
3. Si n = grado(min(a, f )), entonces los elementos 1, a, . . . , an1 forman una base de
F (a) sobre F , es decir [F (a) : F ] = grado(min(a, F ). Mas aun, F (a) = F [a].
Dem: 1. es obvio pues min(a, F ) tiene grado minimo. 2. se sigue de que los ideales en F [x]
son principales.
Para probar 3., primero observamos que F [a] = F (a). En efecto, F [a] es la imagen de
F [x] por eva . El kernel de eva es un ideal maximal pues esta generado por un irreducible, ver
Proposicion 4.41 (la prueba es facil sabiendo que F[x] es DIP!!), as F [a] es cuerpo. Ahora,
si b F (a), entonces sabemos que b = f (a) para alg
un f F [x]. Usando el algoritmo de
la division, podemos suponer que f (x) = 0 o grado(f (x)) < n = grado(min(a, F )). Por lo
tanto b se escribe como una F -combinacion lineal de 1, a, a2 , . . . , an1


Ejemplo 5.9. 3 2 satisfaceel polinomio x3 2, que es irreducible sobre Q. Luego, x3 2

es el polinomio minimal de 3 2 sobre Q y [Q( 3 2) : Q] = 3.
Ejercicio 5.10. Pruebe que para p un primo, xn p es irreducible (use criterio de Einsenstein) .
Lema 5.11. Si K es una extension finita de F , entonces dicha extension es algebraica. Mas
aun, K = F (X) para alg
un X K finito.
Dem: Si [K : F ] = n, entonces ciertamente todo a en K se anula en un polinomio de
grado n. Luego K es algebraico. Por otra parte, si a1 , . . . , an es un base de K, entonces
K = F (a1 , . . . , an ).

Proposici
on 5.12. Sea F L K extensiones de cuerpo. Entonces
[K : F ] = [K : L][L : F ].
Dem: Sea {ai | i I} una base para L/F y {bj | j J} una base pare K/L. Afirmamos
que {ai bj | i I, j J} es una base para K/F . Que es un conjunto generador es inmediato
(usando que las combinaciones lineales son finitas, ver P
Proposocion 4.6), y para ver que es
un conjunto linealmente
P independiente suponemos que i,j i,j ai bj = 0. Por independencia
de los bj se tiene que i i,j ai = 0... repetimos.

41

Proposici
on 5.13. Sea K/F una extension. Si cada ai es algebraico sobre F , entonces
F [a1 , . . . , an ] es un cuerpo de dimension finita sobre F . Ademas
[F [a1 , . . . , an ] : F ] [F (ai ) : F ].
Dem: Muy facil: induccion mas F [ai ] = F (ai )

Teorema 5.14. Sea F L K extensiones de cuerpo. Si K/L y L/F son algebraicos,

entonce K/F es algebriaco.
Dem: Sea K y sea f (x) = a0 + a1 x + . . . + an xn en L[x] el polinomio minimal de
enL. Por la proposicion anterior, L0 := F (a0 , . . . , an ) es una extension finita de F . Ahora,
f (x) L0 [x], por lo tanto es algebraico sobre L0 . Mas aun
[L0 () : F ] = [L0 () : L0 ][L0 : F ] < .
Finalmente, puesto que F () L0 () tenemos que [F () : F ] < , luego es algebraico
sobre F .

Composito de cuerpos
Sea L1 y L2 dos cuerpos que extienden a F y que estan contenidos en un cuerpo K.
Entonces, el composito L1 L2 de los Li es el cuerpo generado por L1 y L2 en K, esto es:
L1 L2 = L1 (L2 ) = L2 (L1 ).

Ejemplo
5.15. Sea
w = e2i/3 , la raz primitiva de 1. Luego el compositor de Q( 3 2) y

Q(w 3 2) es Q(w, 3 2). En efecto, ciertamente el compositor

esta contenido en dicho cuerpo.
Para ver la otra contencion observamos que w = w 3 2/ 3 2, luego el composito de dichos
3
cuerpos contiene a w y por ende a Q(w,
2).

3
Podemos tambien probar que Q(w, 2) = Q(w + 3 2). En efecto, si a = w + 3 2, entonces
(a w)3 = 2, luego, usando la identidad w2 = 1 w, obtenemos
(a w)3 = a3 3a2 w + 3a(1 w) 1 = 2
podemos despejar w en terminos (lineales) de a. Luego w Q(a) y tambien

5.2

2 = a w.

Automorfismos

Un automorfismo de extensiones de cuerpos K/F y L/F es un homomorfismo de anillos

: K L tal que fija a F punto a punto. En particular, es F -lineal e inyectivo. Se
sigue que si K = L y [K : F ] < , entonces es un isomorfismo.
Definici
on 5.16. Si K/F es una extension de cuerpos, denotamos por Gal(K/F ) al conjunto
de F -automorphismos de K. Lo llamamos el grupos de Galois de la extension.
Lema 5.17. Si K = F (X), entonces un F -automorpfismo queda determinado por su accion
en X.

42

Dem: En efecto si las restricciones de dos automorfismos, y , en X coinciden, y a K,

entonces a F (a1 , . . . , an ) y por lo tanto
(a) = (f (a1 , . . . , an )/g(a1 , . . . , an )) = f ((a1 ), . . . , (an ))/g((a1 ), . . . , (an )) = (a).

Lema 5.18. Sea un F -automorfismo de K/F , a K algebraico y f (x) F [x] tal que
f (a) = 0, entonces f ( (a)) = 0. En particular, min(a, F ) = min( (a), F ).
Dem: 0 = (f (a)) = f ( (a)). De esto se sigue que min(a; F ) divide a min( (a), F ). La
otra division se sigue usando 1 o la irreducibilidad.

Corolario 5.19. Si K/F es una extension finita, entonces Gal(K/F ) es finito.
Dem: Como la extension es finita, K = F (a1 , . . . , an ) con los ai algebraicos. Por ende un
automorphismo permuta las raices de cada min(ai , F ), luego ([K : F ]!)[K:F ] es una cota (muy
grosera) para la cardinalidad de Gal(K/F ).

Ejemplo 5.20.
Gal(C/R) ' Z2 donde el automorfismo no trivial es la conjugacion
compleja.

3
2)/Q) es trivial pues ni w 3 2 ni w2 3 2 viven en dicha extension. En efecto,
Gal(Q(

si w 3 2 viviese en la extension, entonces w debiese vivir tambien, pero [Q(w) : Q] = 2,

que no divide a 3.
Gal(F2 (t)/F2 (t2 )) es trivial (y no Z2 !!), pues [F2 (t) : F2 (t2 )] = 2 y min(t, F2 (t2 )) =
x2 t2 , pero t = t en estos cuepos.
Definici
on 5.21. Sea K un cuerpo y S Aut(K). El cuerpo fijo de S es
F ix(S) = {a K | S(a) = a}.
Lema 5.22. K cuerpo
1. L1 L2 , subcuerpos de K, entonces Gal(K/L2 ) Gal(K/L1 ).
2. L K, entonces L F ix(Gal(K/L)).
3. S1 S2 , subconjuntos de Aut(K), enotnces F ix(S2 ) F ix(S1 ).
4. S Aut(K) entonces S Gal(K/F ix(S)).
5. Si L = F ix(S) entonces L = F ix(Gal(K/L)).
6. Si H = Gal(K/L) entonces H = Gal(K/F ix(H)).
Dem: 5: Una inclusion sigue de 2. La otra sigue de 4 y luego 3.
6: la parte no obvia es 2 y luego 1.

43

Corolario 5.23. Para K/F extension de cuerpos, consideramos

F := {K 0 K | F K 0 , K 0 = F ix(S) para algun S Aut(K)}
G := {G Gal(K/F ) | G = Gal(K/L) para algun L K}.
Entonces hay una correspondencia uno a uno entre F y G dada por L 7 Gal(K/L) y su
inversa G 7 F ix(G).
Definici
on 5.24. Dado un grupo G y un cuerpo K, un caracter es un amorfismo de G K .
Lema 5.25 (Dedekind). Sean 1 . P
. . , n caracteres distintos de G a K . Entonces, los caracteres son l.i sobre K, esto es, si
ci i (g) = 0 para todo g G, entonces todos los ci son
cero.
Dem: Notar que un solo caracter es siempre l.i. Para probar el lema suponemos que n es
el menor numero donde los n distintos caracteres forman un conjunto l.d. Pero como son
distintos, primeros despejar llegar a que una combinacion de n 1 da 0. ....

Esto se usa para
Proposici
on 5.26. Si K/F es extension finita, entonces | Gal(K/F ) | [K : F ].
Dem: Sabemos que Gal(K/F ) es finito, digamos {g1 , . . . , gn }. Ademas, cada gi puede ser
visto como un caracter de K (en K ),
Sea m = [K : F ] y {1 , . . . , m } una base de la extension.
Si m < n, entonces la matriz formada por (i (j )) de K m K n tiene filas l.d. y como
los son base, eso contradice el lema de Dedekind.


44

45

Ap
endice: un poco de historia

La presencia de grupos esta implcita desde siempre en Matematicas. Para H. Poincare,

la historia de las matematicas no es mas que una historia sobre los grupos. Sin embargo,
esta presencia pasaba casi siempre inadvertida quedando velada por urgencia de resolver
problemas concretos.
Galois
La primera vez que el concepto de grupo aparece explcito, es en los trabajos de E.
alrededor de 1830. El problema concreto de la epoca, era determinar si para un polinomio
de grado 5 o mayor se poda encontrar sus raices mediante manipulaciones simples de sus
coeficientes. A esto se le llama resolverlo por radicales. Por ejemplo un polinomio de grado
2
ax2 + bx + c
tiene dos raices que se expresan
x =

b2 4ac
.
2a

Galois se dio cuenta de que la respuesta a si un polinomio dado podia ser resuelto por
radicales yaca escondida en
El problema de encontrar raices de un polinomio. Ejemplo en el polinomio cuadratico
(resolverlo!). Algunos avances hasta la quntica. Galois (su peque
na historia). Cambios de
variables que dejan fijas las raices (preguntar a Friedman). 30 a
nos para su comprensin:
Camille Jordan (a
nos!).
El sue
no de Lie: replicar Galois en ecuaciones (en esa epoca no existian los sistemas
dinamicos!!...pero esa es otra historia...).
Galois: Grupos finitos
Lie: Grupos de trasformaciones, infinitos, localmente como Rn (definidos por parametros).
Klein, grupos de geometrias.
Poincare, la historia de la matematicas, es una historia de los grupos.
Topologia y el grupo fundamental: clasificacion de superficies compactas. Conjetura de
Poincare.
[Ref]

Referencias
[Ref]

A si que si.

46