Apuntes Algebra y Geometría UChile

Apunte Grupos y Anillos
basado en los apuntes de Alicia Labra en 2015
Giancarlo Lucchini
2017
Indice
1. Introduccion 3
2. Grupos 4
2.1. Definiciones y propiedades basicas . . . . . . . . . . . . . . . . . . . 4
2.2. Acciones de grupos sobre conjuntos . . . . . . . . . . . . . . . . . . 9
2.3. Ecuacion de clases y aplicaciones . . . . . . . . . . . . . . . . . . . 16
2.4. p-grupos y Teorema de Sylow . . . . . . . . . . . . . . . . . . . . . 18
2.5. Productos semidirectos . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.6. Grupos solubles y nilpotentes . . . . . . . . . . . . . . . . . . . . . 29
3. Anillos 44
3.1. Definiciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2. Subanillos, homomorfismos de anillos e ideales . . . . . . . . . . . . 49
3.3. Ideales principales, primos y maximales . . . . . . . . . . . . . . . . 53
3.4. Ideales radicales, nilradical y radical de Jacobson . . . . . . . . . . 55
3.5. Teorema chino de los restos . . . . . . . . . . . . . . . . . . . . . . 56
3.6. Cuerpo de fracciones de un dominio de integridad . . . . . . . . . . 58
3.7. Dominios euclideanos . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.8. Dominios de ideales principales . . . . . . . . . . . . . . . . . . . . 63
3.9. Dominios de factorizacion unica . . . . . . . . . . . . . . . . . . . . 67
3.9.1. Elementos primos y elementos irreducibles . . . . . . . . . . 67
3.9.2. Dominios de factorizacion
unica. . . . . . . . . . . . . . . . . 69
1+ 19
3.10. Ejemplos: Z[i] y Z[ 2 ] . . . . . . . . . . . . . . . . . . . . . . . 72
3.10.1. Factorizacion en Z[i] . . . . . . . . . . . . . . . . . . . . . . 72
3.10.2. Un ejemplo de DIP no euclideano . . . . . . . . . . . . . . . 75
3.11. Polinomios sobre un dominio de factorizacion unica. . . . . . . . . . 79
1
4. Modulos 87
4.1. Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.2. Homomorfismos y cocientes de modulos . . . . . . . . . . . . . . . . 91
2
1. Introduccion
Este curso necesita del curso previo Estructuras algebraicas sobre algunas no-
ciones de 3 estructuras algebraicas: grupos, anillos y cuerpos. Es un curso mas
avanzado sobre grupos y anillos, necesario para una mayor comprension de estas
dos estructuras algebraicas y de preparacion para cuerpos y algebras.
Objetivos Generales:
1. Conocer mas profundamente propiedades de grupos y acciones de grupos, as

como su uso en los Teoremas de Sylow.
2. Tener una buena base sobre los anillos para aplicarla en la teora de modulos,
principalmente en los modulos sobre dominios de ideales principales.
Objetivos Especficos:
1. Conocer y aplicar los teoremas de Sylow.
2. Conocer y saber diferenciar los productos directos y semi-directos.
3. Comprender las series de grupos y los grupos solubles y nilpotentes.
4. Conocer la relacion entre dominios euclideanos, dominios de ideales princi-

pales y dominios de factorizacion unica.
5. Saber trabajar con el anillo de polinomios y aplicar algunos criterios de irre-

ducibilidad.
6. Conocer y trabajar con modulos finitamente generados, modulos libres.
7. Conocer la teora de modulos sobre dominios de ideales principales.
8. Saber y aplicar el teorema de la existencia de los factores invariantes y diviso-

res elementales y su aplicacion en los grupos abelianos finitamente generados.
3
2. Grupos
2.1. Definiciones y propiedades basicas
Definicion 2.1.1. Un grupo es un par ordenado (G, ), donde G es un conjunto
(no vaco) y es una funcion
GGG
(a, b) 7 a b,
llamada operacion binaria, que satisface:
1. a, b, c G a (b c) = (a b) c. (Asociatividad)
2. Existe en G un elemento denotado e tal que, para todo a G, ea = ae = a.
(Este elemento es unico y se llama neutro)
3. Para todo a G, existe un elemento a0 G tal que a0 a = a a0 = e. (El
elemento a0 es unico para cada a y se llama el inverso de a)
Notacion. Cuando se usa una notacion aditiva (+) para la operacion, el neutro
e suele ser notado 0 y el inverso a0 suele ser notado a. Si se usa una notacion
multiplicativa (), el neutro puede ser denotado por 1 y a0 se denota por a1 . En este
ultimo caso se suele notar a b simplemente como ab si esto no presenta confusion.
Esta es la notacion de preferencia para un grupo cualquiera. La notacion aditiva
se reserva exclusivamente para grupos abelianos (lo que no impide que usemos
notacion multiplicativa para grupos abelianos de vez en cuando).
En general, cuando la operacion binaria se deduce del contexto, uno suele notar
G en lugar de (G, ).
Ejercicio. Demuestre la unicidad del neutro y del inverso.
Recordemos otras definiciones basicas
Definicion 2.1.2. Un subgrupo de un grupo G es un subconjunto H G tal que
enva H H en H (Clausura) y tal que la restriccion de a H H hace de (H, )
un grupo. En particular, H debe contener el neutro de G. Escribimos H < G para
denotar que H es un subgrupo de G.
El orden de un grupo G es el cardinal del conjunto asociado. Usualmente se
denota por |G|. (Recordaremos mas adelante la nocion de orden de un elemento
a G)
Un grupo (G, ) es llamado abeliano 1 o conmutativo si y solo si, a, b G,
a b = b a.
1
Este nombre se da en honor del matematico noruego Niels Henrik Abel (1802-1829), quien
fue el primero en trabajar, de manera sistematica, con este tipo de grupos al abordar el problema
de la solubilidad por radicales de ecuaciones polinomiales.
4
Proposicion 2.1.3. Sea G un grupo y H un subconjunto de G. Entonces H es un
subgrupo si y solo si
1. H 6= ;
2. a, b H, xy 1 H.
Demostracion. Ejercicio. ^

Recordemos algunos ejemplos:

Ejemplo 2.1.4. Enteros modulo m: (Z/mZ, +) es un grupo abeliano de orden m.
Su neutro es la clase 0.
Ejemplo 2.1.5. Enteros invertibles modulo m: (Z/mZ , ) es un grupo abeliano
de orden (m). En particular, si p es un numero primo, (Z/pZ , ) es un grupo
abeliano de orden p 1. Su neutro es la clase 1.
Ejemplo 2.1.6. Grupo de permutaciones o grupo simetrico:
Sn := { : {1, 2 , n} {1, 2 , n} | es biyectiva}.
Es un grupo no abeliano si n 3 (pregunta bonus: Que pasa si n = 2?) cuya
operacion es la composicion de funciones . Su orden es n! y su elemento neutro es
la aplicacion identidad (que enva i a i).
Ejemplo de no-conmutatividad:
(12) (123) = (23), pero (123) (12) = (13).
Ejemplo 2.1.7. Grupo alternante:
An := { Sn | es una permutacion par}.
Es subgrupo del anterior, no abeliano si n 4 (pregunta bonus: Que pasa si
n = 3?), de orden n!/2.
(12)(34) (123) = (243), pero (123) (12)(34) = (134).
Ejemplo 2.1.8. Grupo lineal de un cuerpo F :
GLn (F ) = {A Mnn (F ) | det(A) 6= 0}.
Es un grupo no abeliano si n 2 (pregunta bonus: Que pasa si n = 1?) cuya
1 0
operacion es el producto de matrices y su neutro es la matriz .
0 1

1 0 1 1 1 1 1 1 1 0 2 1
= , pero = .
1 1 0 1 1 2 0 1 1 1 1 1
5
Ejemplo 2.1.9. Grupo especial lineal de un cuerpo F :
SLn (F ) = {A Mnn | det(A) = 1}.
Es un grupo no abeliano si n 2, subgrupo del anterior.

Sigamos recordando algunos conceptos y resultados basicos.
Definicion 2.1.10 (Orden de un elemento). Sea G un grupo y sea a G. El orden
de a es el menor entero positivo n tal que an = 1 (o na = 0 si usamos notacion
aditiva). Si existe un tal entero, se escribe |a| = n. Si no, se dice que el orden de a
es infinito.
Observacion.
Sea G un grupo. Sean a, b G dos elementos que conmutan entre si, es decir tales
que ab = ba. Supongamos ademas que |a| y |b| son finitos. Entonces |ab| divide
|a| |b|.
|a|
En particular, para r Z {0}, se tiene que |ar | = (|a|,r) , donde (x, y) es el
maximo comun divisor de x e y.
Ejercicio. Sean
0 1 0 1
A= , B= ,
1 1 1 0
elementos de GL2 (R). Pruebe que |A| = 3, |B| = 4, pero |AB| es infinito.
Definicion 2.1.11 (Producto directo de grupos). Sean (G1 , 1 ) , (Gn , n ) gru-
pos. Entonces
G1 Gn := {(g1 , . . . , gn ) | gi Gi },
es un grupo con la operacion
(g1 , , gn ) (g10 , . . . , gn0 ) := (g1 1 g10 , . . . , gn n gn0 ).
Se llama el producto directo de los grupos (G1 , 1 ), . . . , (Gn , n ).

Definicion 2.1.12 (Conjunto generador). Sea G un grupo. Un conjunto generador
de G es un subconjunto S G con la propiedad de que cada elemento de G puede
escribirse como un producto (finito) de elementos de S y de sus inversos. Para todo
tal conjunto, escribimos G = hSi y decimos que G es generado por S, o que S es
un conjunto generador de G.
Cuando G es generado por un solo elemento a, se dice que G es un grupo
cclico generado por a. Notese que en este caso G = {an | n Z} y el orden de G
es entonces igual al orden de a.
Sea S = {a1 , . . . , an } un subconjunto de G. Entonces ha1 , . . . , an i denota en
general un subgrupo de G, llamado el subgrupo generado por a1 , . . . , an .
6
Recordemos ahora uno de los resultados importantes del curso de Elementos
del Algebra que concierne el orden de elementos y de los subgrupos de un grupo G
dado. La demostracion utiliza la nocion de clases laterales, las cuales recordaremos
en la proxima seccion.
Teorema 2.1.13 (Lagrange). Sea G grupo finito y H un subgrupo de G. Entonces
|H| divide a |G|. En particular, para todo a G, |a| divide a |G|.
Corolario 2.1.14. Sea G un grupo de orden p con p primo. Entonces G es cclico.
Demostracion. Sea a G un elemento no neutro. Entonces |a| divide a p y |a| =
6 1.
Por ende |a| = p. lo que implica que hai G es de orden p y por ende igual a G,
lo que prueba que G es cclico. ^

Ejemplo 2.1.15. El grupo de permutaciones S3 es generado por las permutaciones

(12) y (123). Es decir S3 = h(12), (123)i. Ademas, |(12)| = 2 y |(123)| = 3.
Ejemplo 2.1.16. El grupo aditivo Z/mZ es un grupo cclico generado por 1.
En particular, |1| = m. Si p es un numero primo, cualquier clase no nula es un
generador tambien. Por ejemplo, Z/5Z es generado por 2.
Ejemplo 2.1.17. El grupo producto (Z/5Z) (Z/6Z) es generado (aditivamen-
te) por (1, 0) y (0, 1),2 osea que (Z/5Z) (Z/6Z) = h(1, 0), (0, 1)i. Pero tambien
tenemos (Z/5Z) (Z/6Z) = h(1, 1)i (demuestrelo usted mismo!).
Ejemplo 2.1.18. Para todo grupo G y todo elemento a G, el grupo hai es un
subgrupo cclico generado (obviamente) por a. En particular, |hai| = |a|.
Ejemplo 2.1.19 (Ejemplo de generadores y relaciones). Sea n 3. El grupo
diedral D2n , o grupo de simetras de un n-agono regular, es generado por una
rotacion de 2
n
, denotada r, y por una reflexion respecto a un eje de simetra,
denotada s. En otras palabras, D2n = hr, si.
El problema de tal notacion, es que si uno se encuentra con ella sin saber lo
que representan r y s, no hay forma de entender la estructura del grupo. Es por
ello que uno agrega relaciones en los casos mas abstractos. En este caso, sabemos
por ejemplo que rn = e y que s2 = e, pero sabemos tambien que r y s estan
relacionados por la formula rs = sr1 (pruebelo usted mismo). Con estos datos y
un poco de trabajo, uno puede deducir que
D2n = {1, r, r2 , . . . , rn1 , s, sr, . . . srn1 }.
(Notese que son 2n elementos, lo que explica la notacion D2n ). Pero para evitar
anotar todos los elementos, basta con anotar los generadores y las relaciones de la
siguiente forma:
D2n = hr, s | rn = s2 = e, rs = sr1 i.
2
Atencion! La barra no significa lo mismo en cada coordenada.
7
Ejercicio. Sea G un grupo y S un subconjunto de G. Demuestre que hSi co-
rresponde a la interseccion de todos los subgrupos de G que contienen a S. Es
decir: \
hSi = H.
SH<G
Recordemos finalmente la nocion de homomorfismo de grupos.

Definicion 2.1.20. Sean (G1 , 1 ), (G2 , 2 ) dos grupos. Una funcion f : G1 G2
es un homomorfismo de grupos si
f (x 1 y) = f (x) 2 f (y), x, y G.
La imagen de f es denotada Imf . La pre-imagen del elemento neutro e2 de G2 , es

decir f 1 (e2 ), es llamada el nucleo de f y denotada ker f .
Si un homomorfismo f es epiyectivo se habla de epimorfismo de grupos, si f
es inyectivo, de monomorfismo y si f es biyectivo, de isomorfismo de grupos. Un
homomorfismo entre un grupo G y s mismo es llamado un endomorfismo de G. Si
se trata ademas de un isomorfismo, se llama automorfismo de G.
Observacion.
Sea G un grupo y
Aut(G) := {f : G G | f es un automorfismo de G}.
Entonces Aut(G) es un grupo bajo la composicion de funciones.

Sea f : G G0 un homomorfismo de grupos. Entonces ker f es un subgrupo
de G y Imf es un subgrupo de G0 .
Notacion. Sean G y H dos grupos. Si existe un isomorfismo entre G y H, decimos
que G y H son isomorfos y notamos G ' H.
Ejercicio. Sean G, H, G1 , H1 grupos tales que G ' G1 , H ' H1 . Pruebe que
G H ' G1 H1 .
Ejercicio. Pruebe que (Z/2Z) (Z/3Z)
= Z/6Z.
Grupos de orden 8. Recordemos que todo grupo de orden p, con p primo,

es cclico.
1. |G| = 1 G = {e}.
2. |G| = 2 G ' Z/2Z.
3. |G| = 3 G ' Z/3Z.
8
4. Si |G| = 4, hay dos grupos no isomorfos: G1 ' Z/4Z y G2 ' Z/2Z Z/2Z.
Este ultimo es llamado grupo de Klein y en el todos los elementos distintos
de e tienen orden 2. G1 y G2 no son isomorfos pues G1 es cclico y G2 no.
Todo grupo de orden 4 es isomorfo a uno de estos.
5. |G| = 5 G ' Z/5Z.
6. Si |G| = 6, hay dos grupos no isomorfos: G1 = Z/6Z y G2 = S3 . G1 y G2 no

son isomorfos pues G1 es abeliano y G2 no. Ademas S3 ' D6 (el grupo de
simetras del triangulo).
7. |G| = 7 G ' Z/7Z.
8. Si |G| = 8, hay 5 grupos no isomorfos entre ellos, tres abelianos y dos no:
G1 = Z/8Z;
G2 = Z/4Z Z/2Z;
G3 = Z/2Z Z/2Z Z/2Z;
G4 = D8 = hr, s | r4 = s2 = 1, rs = sr3 i;
G5 = Q8 = hi, j | i4 = 1, i2 = j 2 , ij = ji3 i (el grupo de cuaterniones de
orden 8).
Ejercicio. Pruebe que Q8 = {1, 1, i, i, j, j, k, k}, donde la multiplicacion en

Q8 satisface: ij = k, ji = k, ik = j, ki = j, jk = i, kj = i i2 = j 2 = k 2 = 1.
2.2. Acciones de grupos sobre conjuntos

En esta seccion, G denotara un grupo y X un conjunto no vaco.
Definicion 2.2.1. Una accion (por la izquierda) de G sobre X es una funcion
GX X
(g, x) 7 g x,
tal que:
1. g1 , g2 G, x X, g1 (g2 x) = (g1 g2 ) x.
2. x X, e x = x.
Dada una tal funcion, decimos que G actua sobre X por la izquierda o que X es
un G-conjunto por la izquierda. Una accion de G sobre X por la derecha se define
de forma similar.
9
Supongamos que G actua sobre X por la izquierda. Podemos transformar esta
accion en una accion por la derecha (x, g) 7 x g imponiendo:
g G, x X, x g := g 1 x.
Ejemplo 2.2.2. SX actua sobre X va la accion
G, x X, x = (x).
Ejemplo 2.2.3. D2n actua sobre los vertices {v1 , . . . , vn } de un n-agono regular.
El elemento r actua de forma que r vi = vi+1 y el elemento s actua de forma que
s vi = vn+2i (en ambos casos, vn+1 := v1 ).
Ejemplo 2.2.4 (Accion por multiplicacion). Todo grupo G actua sobre s mismo
por la izquierda (y tambien por la derecha) va su propia operacion binairia: la
funcion G G G : (a, b) 7 a b verifica de hecho los dos axiomas de una accion.
En particular, para todo subgrupo H de G, la restriccion de la operacion binaria
a H G define una accion de H sobre G.
Ejemplo 2.2.5 (Accion por conjugacion). Todo grupo G actua sobre s mismo,
de una forma distinta a la del ejemplo precedente, va la siguiente formula:
G G G : (g, x) 7 gxg 1 .
De forma analoga al ejemplo anterior, tenemos que todo subgrupo H actua tambien
sobre G por conjugacion. Si, por el contrario, usamos la formula de conjugacion
para intentar definir una accion de G sobre H, esto solo funcionara si H es un
subgrupo normal, cuya definicion daremos enseguida.
Ejemplo 2.2.6 (Accion trivial). Dado un grupo G y un conjunto X, G puede
actuar de forma trivial sobre X, es decir que g G, x X, g x = x. Eviden-
temente, una tal accion no es muy interesante. . .
Sea G un grupo y H un subgrupo de G. Las orbitas (cuya definicion recorda-
remos mas adelante) de la accion de H sobre G por multiplicacion nos permiten
definir el conjunto cociente G/H. Esto nos lleva tambien a recordar una clase de
subgrupos muy particular: los subgrupos normales.
Definicion 2.2.7 (Clases laterales y subgrupos normales). Las clases laterales
izquierdas de un subgrupo H de G son los conjuntos de la forma
gH = {gh | h H},
para algun elemento g G. De forma analoga, las clases laterales derechas se
definen como los conjuntos
Hg = {hg | h H},
10
para algun elemento g G.
Un subgrupo H de G es llamado un subgrupo normal si sus clases izquierdas
son iguales a sus clases derechas, es decir, si gH = Hg, g G. En este caso,
notamos H C G.
Observacion.
Notemos que H es subgrupo normal de G si y solo si, g G, h H, ghg 1 H.
En particular, todo subgrupo de un grupo abeliano es normal.
En general, trabajaremos con las clases laterales izquierdas. Recordemos en

particular que
g1 H = g2 H g11 g2 H g21 g1 H.
Definicion 2.2.8 (Conjunto cociente). El conjunto G/H := {gH | g G} de las

clases laterales izquierdas es llamado el conjunto cociente de G por H.
El cardinal del conjunto G/H es llamado el ndice de H en G y es notado
[G : H].
Proposicion 2.2.9. El conjunto G/H posee una estructura de grupo dada por la
operacion
g1 H g2 H := (g1 g2 )H, g1 , g2 G,
si y solo si H es un subgrupo normal.
Ejemplo 2.2.10 (Accion por multiplicacion generalizada). Sea G un grupo, H un

subgrupo de G y G/H el conjunto cociente. Entonces G actua sobre G/H va la
formula: g, x G, g xH := gxH.
Ejemplo 2.2.11 (Accion por conjugacion generalizada). Sea G un grupo, H un

subgrupo normal de G y G/H el grupo cociente. Entonces G actua sobre G/H va
la formula: g, x G, g xH := gxg 1 H.
Ejercicio. Sea G un grupo y H un subgrupo de G. Pruebe que H es un subgrupo

normal de G si y solo si existe un grupo G0 y un homomorfismo : G G0 tal
que H = Ker().
Veamos un primer ejemplo no trivial de aplicacion de un grupo cociente demos-

trando un caso particular del teorema de Cauchy (Teorema 2.3.4 que demostrare-
mos mas adelante), el cual es es un complemento al teorema de Lagrange.
Teorema 2.2.12 (Teorema de Cauchy para grupos abelianos). Sea G un grupo

abeliano finito y sea p un primo que divide el orden de G. Entonces existe un
elemento a G de orden p.
11
Demostracion. Usaremos induccion sobre el orden de G. Si |G| = p con p primo
entonces G es cclico (cf. Corolario 2.1.14). Entonces G = hai con |a| = p.
Hipotesis de induccion: El teorema es valido para grupos abelianos de orden
estrictamente menor que |G|.
Como ya demostramos el caso en que |G| es primo, escribamos |G| = pn con
n > 1 y p primo. Sea y G un elemento no neutro y sea K = hyi.
Caso a). Si G = hyi, entonces y |G| = e e y t 6= e para todo 0 < t < |G|. En
particular, x = y |G|/p 6= e es tal que xp = e, lo que prueba el teorema en este caso.
Caso b). Si G 6= hyi, entonces |K| < |G|. Se presentan entonces dos subcasos:
Si p divide a |K|, como |K| < |G|, por hipotesis de induccion para K obte-
nemos el teorema, es decir, existe a K G tal que |a| = p.
Si no, como G es finito, se tiene que |G| = [G : K] |K| = |G/K| |K|. Como
p no divide a |K|, entonces p divide a |G/K| y |G/K| < |G|. Notese ahora
que, como G es abeliano, K / G y por ende G/K es un grupo. Luego, por
hipotesis de induccion para G/K, existe xK G/K tal que |xK| = p. Por
lo tanto, xp K = K, lo que implica que xp K. Por el Teorema de Lagrange
aplicado a G, (xp )|K| = e y por ende xp|K| = e.
Sea a = x|K| . Afirmamos que a es el elemento que buscamos. En efecto,
tenemos a G y ap = e. Por otra parte, supongamos que existe 0 < t < p
tal que at = e. Luego e = at = xt|K| , lo que implica que xt|K| K, es decir,
(xK)t|K| = K. Pero |xK| = p, lo que nos dice que p divide a t|K| y, como
p no divide a |K|, se tiene que p divide a t, lo que es contradictorio ya que
0 < t < p. As, tenemos que |a| = p y el teorema vale tambien en este caso.
Luego, por el principio de induccion completa, el teorema vale para grupos

abelianos de orden 2. ^

Corolario 2.2.13. Sea G un grupo abeliano finito y sea p un primo que divide el
orden de G. Entonces existe un subgrupo H de G de orden p.
Volvamos a las acciones. Sea G un grupo, X un conjunto y supongamos que

G actua sobre X. A cada g G, le podemos asociar una funcion g : X X,
definida por g (x) := g x.
Proposicion 2.2.14. La funcion g es un elemento de SX . Ademas, la funcion

: G SX definida por (g) := g es un homomorfismo de grupos.
Definicion 2.2.15. La funcion se llama la representacion permutacion de G con

respecto a su accion sobre X.
12
Demostracion. Para probar que g SX , necesitamos probar que g es invertible.
Consideremos la funcion g1 . Tenemos entonces que, para todo x G,
g g1 (x) = g (g1 (x)) = g (g 1 x) = g (g 1 x) = gg 1 x = e x = x.
Similarmente se prueba que (g1 )(x) = x. Entonces g es invertible, y por ende

biyectiva.
Consideremos ahora la funcion : G SX definida en el enunciado (la cual
esta bien definida gracias a lo que acaboamos de demostrar). Debemos probar que
es un homomorfismo de grupos. Para g1 , g2 , x G, tenemos
(g1 g2 )(x) = g1 g2 (x) = (g1 g2 )x = g1 (g2 x) = g1 (g2 x) = g1 (g2 (x)) = g1 g2 (x).
Por ende, (g1 g2 ) = g1 g2 , lo que significa que es un homomorfismo de

grupos. ^
Observacion.
Si : G SX es un homomorfismo de grupos, entonces la funcion
GX X
(g, x) 7 g x := (g)(x),
es una accion de G sobre X.

De esto, concluimos que las acciones de un grupo G sobre un conjunto X estan
en correspondencia biunvoca con los homomorfismos de G al grupo simetrico SX .
Lema 2.2.16. Supongamos que G actua sobre X. En el conjunto X definimos una
relacion R de la siguiente manera: para x1 , x2 X,
x1 Rx2 g G, g x1 = x2
Entonces R es una relacion de equivalencia en X.

Por el lema anterior, tenemos una particion de X en clases de equivalencia, lo
que nos permite dar la siguiente definicion.
Definicion 2.2.17. Un orbita de X con respecto a una accion de G es una clase de
equivalencia de la relacion R del lema precedente. En otras palabras, para x X,
la orbita de x corresponde a:
O(x) := {g x | g G}.
Para x X, definimos tambien el estabilizador de x como el conjunto de los g G

que no mueven x. Es decir:
StabG (x) := {g G | g x = x}.
13
Ejemplo 2.2.18. Sea G un grupo y H < G. Para g G, la clase lateral derecha
Hg corresponde a la orbita de g para la accion de H sobre G por multiplicacion.
Proposicion 2.2.19. Para todo x X, StabG (x) es un subgrupo de G.
Demostracion. StabG (x) es no vaco pues e x = x y por ende e StabG (x). Sean
g1 , g2 StabG (x), entonces g1 x = x = g2 x. Por lo tanto,
(g1 g21 )x = g1 (g21 x) = g1 (g21 (g2 x)) = g1 ((g2 g21 )x) = g1 (ex) = g1 x = x,
por ende StabG (x) es un subgrupo de G por la proposicion 2.1.3. ^

Definicion 2.2.20. Se llama nucleo de la accion de G sobre X al conjunto de
elementos de G que actuan trivialmente sobre X. Es decir, al conjunto
{g G | g x = x x X}.
Si el nucleo de una accion es {e}, se dice que la accion es fiel.
Observacion.
El nucleo de la accion de G sobre X corresponde a ker(), donde denota la
representacion permutacion de G con respecto a la misma accion (de ah viene su
nombre).
Ademas, si uno nota que actuar trivialmente sobre X significa actuar tri-
vialmente sobre cada x X, uno deduce rapidamente que
\
ker() = StabG (x).
xX
Lema 2.2.21. Supongamos que G actua sobre X y sea x X. Entonces existe

una biyeccion
: G/StabG (x) O(x),
gStabG (x) 7 g x.
En particular, el ndice [G : StabG (x)] corresponde al numero de elementos de
O(x).
Demostracion. Sea H = StabG (x). Primero debemos mostrar que la funcion esta
bien definida, es decir, que es independiente de la eleccion del elemento g G que
describe gH. Sean entonces g1 , g2 G tales que g1 H = g2 H. Debemos mostrar que
g1 x = g2 x. Ahora,
g1 H = g2 H g11 g2 H
(g11 g2 ) x = x
g11 (g2 x) = x
g1 (g11 (g2 x)) = g1 x
(g1 g11 ) (g2 x) = g1 x
g2 x = g1 x.
14
Esto prueba que esta bien definida, pero ademas que es inyectiva. La epiyecti-
vidad es facil: todo elemento de O(x) se escribe g x para algun g G. Entonces
gH se enva a ese elemento. ^

Consideremos ahora la accion por conjugacion de G sobre s mismo.
Definicion 2.2.22. Para x G, la orbita con respecto a la accion por conjugacion

se llama la clase de conjugacion de x y corresponde al conjunto
O(x) = {gxg 1 | g G}.
Por otra parte, llamamos centralizador de x en G y denotamos CG (x) al sub-

grupo que corresponde al estabilizador de x con respecto a esta accion. Es decir,
al subgrupo dado por:
CG (x) = StabG (x) = {g G | gxg 1 = x} = {g G | gx = xg}.
El centro de G, denotado Z(G), es el nucleo de esta accion, es decir, la inter-

seccion de todos los centralizadores:
\
Z(G) = CG (x) = {g G | x G, gx = xg}.
xG
Observacion.
Si el grupo G es abeliano, entonces cada orbita de la accion por conjugacion consiste
en un solo elemento, a saber O(x) = {x}. En particular, dado el lema 2.2.21, todo
centralizador es el grupo G entero y G es por ende su propio centro.
Ejemplo 2.2.23. Consideremos la accion por conjugacion en el grupo S3 . Entonces
O(e) = {e},
O((1, 2)) = {(1, 2), (1, 3), (2, 3)},
O((1, 2, 3)) = {(1, 2, 3), (1, 3, 2)}.
En particular, dado el lema 2.2.21, [S3 : StabS3 ((1, 2))] = 3 y [S3 : StabS3 ((1, 2, 3))] =
2.
Ejercicio. Sea G un grupo. Demuestre que todo subgrupo de Z(G) es normal en

G.
Ejercicio. Calcule el centro de los siguientes grupos: Z/6Z, S3 , S4 , D8 , Q8 .
15
2.3. Ecuacion de clases y aplicaciones
Consideremos G actuando sobre s mismo va la accion por conjugacion.
Lema 2.3.1. Sea G un grupo finito. Entonces existe un subconjunto (finito) S G
tal que X
|G| = [G : CG (x)].
xS
Demostracion. G actua sobre s mismo por por conjugacion. Para cada orbita Oi
de esta accion escojamos un representante xi G, de forma que Oi = {gxi g 1 | g
G}. Sea S G el conjunto de los xi . Por definicion, las orbitas de esta accion
definen una particion de G, es decir,
G
G= {gxg 1 | g G}.
xS
Luego, como la union es disjunta,

X X
|G| = |{gxg 1 | g G}| = [G : CG (x)],
xS xS
donde la ultima igualdad viene del lema 2.2.21. ^

Proposicion 2.3.2 (Ecuacion de clases). Sea G un grupo finito. Entonces existen

elementos x1 , . . . , xk G tales que
k
X
|G| = |Z(G)| + [G : CG (xi )],
i=1
donde [G : CG (xi )] > 1 para todo 1 i k.

Demostracion. En efecto, del lema anterior tenemos que existe un subconjunto
finito S G tal que X
|G| = [G : CG (x)].
xS
Ahora, el conjunto S es la reunion disjunta de S1 y S2 , donde
S1 = {x S | [G : CG (xi )] = 1},
S2 = {x S | [G : CG (xi )] > 1}.
Como S es finito, podemos nombrar x1 , . . . , xk los elementos de S2 para algun

entero positivo k. Tenemos entonces que
X X k
X
|G| = [G : CG (x)] + [G : CG (x)] = |S1 | + [G : CG (xi )].
xS1 xS2 i=1
16
Basta entonces demostrar que S1 = Z(G). Ahora, si O(x) denota la clase de
conjugacion de x, sabemos por el lema 2.2.21 que
[G : CG (x)] = 1 |O(x)| = 1 g G, gxg 1 = x x Z(G),
lo que concluye la demostracion. ^

Aplicaciones de la ecuacion de clases

La primera aplicacion nos muestra que el centro de todo p-grupo es no trivial.
Lema 2.3.3. Sea G un grupo finito de orden pk con p primo y sea k 1. Entonces
p divide a |Z(G)|.
Demostracion. Si k = 1, entonces |G| = p, lo que implica que G es cclico. G es

entonces un grupo abeliano, lo que nos dice que G = Z(G) y por ende |Z(G)| = p.
Supongamos ahora que k > 1. La proposicion 2.3.2 nos dice que
k
X
|G| = |Z(G)| + [G : CG (xi )],
i=1
donde [G : CG (xi )] > 1 para todo 1 i k. En particular, cada CG (xi ) es un

subgrupo propio de G, por ende |CG (xi )| = pt para algun t < k por el teorema de
Lagrange.
Por otro lado, tenemos que |G| = [G : CG (xi )] |CG (xi )|, lo P
que implica que p
divide a [G : CG (xi )] para cada i. Esto nos dice que p divide a ki=1 [G : CG (xi )].
Como ademas p divide a |G|, la misma ecuacion de clases nos dice que p divide a
|Z(G)|. ^
Ejercicio. Sea G un grupo.
1. Pruebe que si G/Z(G) es cclico, entonces G es abeliano.
2. Pruebe que si |G| = p2 con p primo, entonces G es abeliano.
3. Pruebe que si G es no abeliano de orden p3 con p primo, entonces |Z(G)| = p.
Ejercicio. Pruebe que todo grupo de orden pn con p primo, tiene un subgrupo
normal de orden pn1 .
La segunda aplicacion importante concierne la pregunta inversa al teorema de

Lagrange: dado un grupo G y un divisor d de |G|, existe un subgrupo H de G
de orden d? El teorema de Cauchy da una respuesta parcial a esta pregunta (cuya
respuesta general es no necesariamente).
17
Teorema 2.3.4 (Cauchy). Sea G un grupo finito y sea p un primo que divide a
|G|. Entonces existe un elemento a G de orden p.
Demostracion. La demostracion se divide en dos casos disjuntos:
1. Para todo subgrupo propio H < G se tiene que p divide a [G : H].
2. Existe un subgrupo propio T < G tal que p no divide a [G : T ].
Para el caso 1 consideremos la ecuacion de clase (Prop. 2.3.2):
k
X
|G| = |Z(G)| + [G : CG (xi )],
i=1
donde [G : CG (xi )] > 1 para todo 1 i k. En particular, CG (xi ) es un subgrupo

propio de G para todo xi , lo que nos dice
P que p divide a [G : CG (xi )] por hipotesis.
Obtenemos entonces que p divide a ki=1 [G : CG (xi )]. Como tambien p divide a
|G|, la formula de clases nos dice que p divide a Z(G). La version abeliana del
teorema de Cauchy (Teo. 2.2.12) nos dice entonces que existe a Z(G) G tal
que |a| = p, lo que prueba el teorema en este caso.
Para el caso 2 usamos induccion sobre |G|. Si |G| = p con p primo entonces
G = hai y |a| = p, lo que concluye en este caso.
Hipotesis de induccion: El teorema es valido para grupos de orden estrictamente
menor que |G|.
Sabemos por hipotesis que existe un subgrupo propio T de G tal que p no divide
a [G : T ]. Ahora, |G| = [G : T ] |T | y, como p divide a |G|, se tiene que p divide
a |T |. Pero para T vale el teorema por nuestra hipotesis de induccion, por ende
existe a T G tal que |a| = p.
Por lo tanto, por el principio de induccion completa, el teorema vale para todo
grupo de orden 2 en este caso tambien. ^
Corolario 2.3.5. Sea G un grupo finito y sea p un primo que divide el orden de
G. Entonces existe un subgrupo H de G de orden p.
Demostracion. Evidente. ^

2.4. p-grupos y Teorema de Sylow

Junto con el teorema de Cauchy, el teorema de Sylow es una segunda respuesta
parcial a la pregunta inversa al teorema de Lagrange. Mientras Cauchy asegura la
existencia de subgrupos de G de orden p para todo primo p que divide a |G|, el
teorema de Sylow nos dara el enunciado analogo para la maxima potencia de p
que divide a G. Demos algunas definiciones para poder expresar este resultado de
forma simple.
18
Definicion 2.4.1. Sea p un numero primo.
1. Un p-grupo es un grupo G tal que |G| = pt para algun t 0.
2. Un subgrupo H de G es un p-subgrupo de G si H es un p-grupo.
3. S es un p-subgrupo de Sylow, o p-Sylow, de G si S es un p-subgrupo maximal

de G, es decir, si P es un p-subgrupo de G y S P , entonces S = P .
Observacion.
Como |G| = |H| [G : H] para H < G, vemos que el orden y el ndice de todo
subgrupo H de un p-grupo G es una potencia de p. En particular, Z(G) es un
p-subgrupo que es no trivial ya que p divide a |Z(G)| segun el lema 2.3.3.
Proposicion 2.4.2. Sea G un grupo finito. Entonces G es un p-grupo si y solo si

el orden de todo elemento de G es una potencia de p.
Demostracion. En efecto, si |G| = pt , el orden de todo elemento de G es una

potencia de p por el teorema de Lagrange (notese que 1 = p0 ). Recprocamente,
supongamos que todo elemento de G tiene orden potencia de p. Si existe un primo
q 6= p tal que q divide a |G| entonces el teorema de Cauchy nos dice que existe un
elemento de orden q, lo que contradice la hipotesis. Por ende |G| es una potencia
de p. ^
Definicion 2.4.3. Sea G un grupo y H un subgrupo de G. El normalizador de H

en G, denotado NG (H), es el subconjunto de los elementos que dejan a H estable
por conjugacion. Es decir:
NG (H) := {g G | gHg 1 = H}.
Ejercicio. Pruebe que NG (H) es un subgrupo de G.
Observacion.
Notese que gHg 1 = H no es lo mismo que ghg 1 = h para todo h H. La segunda
propiedad es aquella que define al centralizador CG (H). En general, tenemos que
CG (H) C NG (H) y H C NG (H).
Ejercicio. Sean H, K subgrupos de G.
1. Pruebe que HK = KH si y solo si HK es un subgrupo de G.
2. Pruebe que si H < NG (K), entonces HK es subgrupo de G. Esto ocurre en

particular si K C G.
3. Pruebe que si H y K son normales en G y tales que H K = {e} y |G| =

|H| |K|, entonces G ' H K.
19
Teorema 2.4.4 (Sylow). Sea G un grupo de orden pt m, con (p, m) = 1. Entonces:
1. Existe un p-subgrupo de Sylow S de G de orden pt .
2. Sea S un p-Sylow de G, entonces todo p-subgrupo de Sylow T de G es un

conjugado de S, es decir, T = gSg 1 para algun g G.
3. Si np es el numero de p-subgrupos de Sylow de G, entonces
np = [G : NG (S)];
np divide a m;
np 1 mod p.
Antes de dar la (larga) demostracion de este teorema, veamos algunas aplica-

ciones.
Proposicion 2.4.5. Sea G un grupo que contiene un unico p-subgrupo de Sylow

S. Entonces S es normal en G.
Demostracion. El subgrupo gSg 1 es un p-Sylow de G para todo g G. Pero como

np = 1, tenemos que gSg 1 = S para todo g G. Esto nos dice que S es normal
en G. ^

Ejercicio. Sea G grupo de orden 50 con un unico subgrupo H de orden 2. Pruebe

que G es abeliano.
Ejercicio. Sea G un grupo tal que |G| = pq con p, q primos y p > q. Pruebe que,
si q no divide a p 1, entonces G es cclico.
Este ultimo ejercicio corresponde a la parte facil de la siguiente proposicion que

describe todos los grupos de orden pq con p y q primos distintos.
Proposicion 2.4.6. Sea G un grupo tal que |G| = pq con p, q primos y p > q.
Entonces una de las dos opciones siguientes es cierta:
1. G es cclico.
2. Existe 2 i p 1 tal que iq 1 mod p y
G = ha, b | ap = bq = e, ba = ai bi.
En particular, p 1 mod q.
Demostracion. Como |G| = pq, el teorema de Sylow nos dice que existen np p-
Sylow de G y nq q-Sylow de G. Pero ademas nos dice que:
20
np 1 mod p y divide a q;
nq 1 mod q y divide a p;
Como p > q, obtenemos entonces que np = 1 y por ende existe un unico p-Sylow
P y la proposicion 2.4.5 nos dice que P C G. Obtenemos tambien que nq es igual
a 1 o a p.
Si nq = 1, tenemos que existe un unico q-Sylow Q tal que Q C G y el teorema de
Lagrange nos dice por cierto que P ' Z/pZ, Q ' Z/qZ y P Q = {e}. El ejercicio
previo al enunciado del teorema de Sylow nos dice entonces que G ' P Q '
(Z/pZ) (Z/qZ) ' Z/pqZ.
Si nq = p, existen varios q-Sylow conjugados entre ellos. En particular, obtene-
mos que p 1 mod q y que G no es abeliano. Sea ahora S uno de los q-Sylow.
Como |S| = q, el teorema de Lagrange nos dice que S es cclico, por lo que podemos
fijar un generador b de S. De la misma manera, podemos fijar un generador a del
grupo cclico P . Como P C G, tenemos que bP b1 = P y por ende bab1 = ai para
algun 1 i p 1. Pero si i = 1, entonces ab = ba, probando que G es abeliano
y contradiciendo lo que ya sabamos. Por ende, tenemos que 2 i p 1.
Con esta relacion y sabiendo que ap = bq = e, deducimos que el subgrupo
ha, bi < G (o bien, el subgrupo P S < G) corresponde a los elementos de la forma
aj bk , 1 j p 1, 1 k q 1.
Por otra parte, tenemos que
aj1 bk1 = aj2 bk2 aj1 j2 bk1 k2 = e,
lo que ocurre solo si p|(j1 j2 ) y q|(k1 k2 ) ya que P = hai, S = hbi y P S = {e}

por el teorema de Lagrange. Esto nos dice que |ha, bi| = pq = |G|, lo que implica
que
G = ha, b | ap = bq = e, ba = ai bi.
Solo nos queda demostrar que iq 1 mod p. Ahora, es facil ver por induccion que
k q
bk a(bk )1 = ai . Como bq = e, tenemos que a = bq a(bq )1 = ai , lo que concluye la
demostracion. ^

Definicion 2.4.7. Un grupo G se dice simple si los unicos subgrupos normales

son los triviales {e} y G.
Los subgrupos de Sylow y el teorema de Sylow son muy utiles para probar que
los grupos de ciertos ordenes no son simples. He aqu unos ejemplos:
Proposicion 2.4.8. Sea G un grupo de orden 2t 3 con t 1. Entonces G no es

simple.
21
Demostracion. El teorema de Sylow asegura que existe un 2-Sylow S < G de
orden 2t , lo que implica que |G/S| = [G : S] = 3. Consideremos la accion de G
por multiplicacion sobre el conjunto cociente X = G/S. Esta corresponde a un
homomorfismo : G SX ' S3 . Existen entonces dos opciones:
1. Si la accion es fiel, entonces es inyectivo y G es isomorfo a su imagen (G)

que corresponde a un subgrupo de S3 . Como |S3 | = 6 y |G| = 2t 3, la unica
opcion es que (G) = S3 y ya sabemos que este grupo no es simple porque
tiene un subgrupo normal de orden 3.
2. Si la accion no es fiel, entonces ker() es un subgrupo no trivial de G. En

efecto, no puede tratarse de G ya que todo elemento g 6 S actua de forma
no trivial sobre X = G/S.
Proposicion 2.4.9. Sea G un grupo de orden p2 q con p, q primos distintos. En-

tonces G no es simple.
Demostracion. Supongamos que p > q. El teorema de Sylow nos dice que np 1

mod p y divide a q, lo que implica que np = 1. Por ende, existe un unico p-Sylow
P de G que es entonces normal en G por la proposicion 2.4.5. Como |P | = p2 ,
tenemos que {e} =6 P 6= G y entonces G no es simple.
Supongamos ahora que p < q. En este caso, nq 1 mod q y divide a p2 . Como
p < q, deducimos que nq 6= p. Nos quedan entonces dos casos:
1. Si nq = 1, tenemos de la misma manera que antes que el unico q-Sylow es

normal y por ende G no es simple.
2. Si nq = p2 , entonces p2 1 mod q. Esto implica que q divide a p2 1 =

(p + 1)(p 1). Como q es primo, debe dividir a alguno de los 2 factores. Pero
como p < q, q debe dividir a p + 1. Tenemos entonces p < q p + 1, lo que
implica que q = p + 1. Pero los unicos primos consecutivos son 2 y 3, lo que
implica que |G| = 22 3, caso que ya mostramos en la proposicion anterior
que no es simple.
Ejercicio. Pruebe que todo grupo de orden 34 no es simple.
Ejercicio. Pruebe que todo grupo de orden 56 no es simple.
22
Demostracion del teorema de Sylow.
Demostracion de la parte 1. Demostremos por induccion sobre |G| = pt m la exis-
tencia de un p-Sylow.
Si t = 1, entonces el teorema de Cauchy (mas bien, el Corolario 2.3.5) nos

asegura la existencia de un subgrupo de G de orden p.
Hipotesis de induccion: La parte 1 del teorema es valida para grupos de orden
estrictamente menor que |G|.
Consideremos Z(G). Hay dos posibilidades: o bien p divide a |Z(G)|, o p no
divide a |Z(G)|.
En el primer caso, el teorema de Cauchy nos asegura que existe a Z(G) tal
que |a| = p. Sea H = hai < Z(G). Es un subgrupo normal de G porque es central,
lo que nos permite considerar el grupo cociente G/H. El orden de este ultimo es
[G : H] = pt1 m < |G|. Por hipotesis de induccion, existe un subgrupo S de G/H
de orden pt1 , al cual corresponde un subgrupo S de G que contiene a H tal que
S ' S/H. Entonces el subgrupo S tiene orden |S| = |S/H| |H| = pt .
En el caso en que p no divide a |Z(G)|, consideremos la ecuacion de clase del
grupo G:
X k
|G| = |Z(G)| + [G : CG (xi )],
i=1
donde [G : CG (xi )] > 1 para P todo 1 i k. Como p no divide a |Z(G)| pero s a

|G|, vemos que p no divide a ki=1 [G : CG (xi )] y por ende no divide a [G : CG (xj )],
para algun j {1, . . . , k}. Ahora, como pt divide a |G| = [G : CG (xj )] |CG (xj )|,
obtenemos que pt divide a |CG (xj )|. Ademas, |CG (xj )| < |G| por que su ndice no
es 1, por lo que la hipotesis de induccion se aplica a CG (xj ). Tenemos entonces que
existe un subgrupo S de CG (xj ) (y por ende de G) de orden pt .
Entonces, por principio de induccion completa, todo grupo de orden pt m, con
(p, m) = 1 tiene un subgrupo de orden pt . ^
Observacion.
Sea N un subgrupo normal de G tal que N y G/N son p-grupos. Entonces G es
tambien un p-grupo.
Antes de demostrar las partes 2 y 3 del Teorema de Sylow, veremos un lema

tecnico.
Lema 2.4.10. Sea S un p-Sylow de G. Sea a NG (S) un elemento de orden pr

para algun r 0. Entonces a S.
23
Demostracion. Como S es un p-Sylow de G, tenemos que |S| = pt y |G| = pt m
para algun t 1 y algun m primo a p. Como S < NG (S) < G, obtenemos que
|NG (S)| = pt n para algun n que divide a m y por ende primo a p tambien.
Recordemos ahora que S C NG (S), por lo que NG (S)/S es un grupo. Tenemos
entonces que |NG (S)| = |S| |NG (S)/S|, lo que implica que |NG (S)/S| = n. Como
|a| = pr , sabemos que su imagen a en NG (S)/S es de orden ps para algun s 0.
Pero el teorema de Lagrange nos dice que |a| = ps divide a |NG (S)/S| = n, lo que
implica que s = 0 ya que n es primo a p. Esto quiere decir que a = e NG (S)/S,
lo que equivale a a S. ^

Demostracion de las partes 2 y 3. Sea T un p-Sylow de G. Probaremos que T =

gSg 1 para algun g G. Consideremos el conjunto cociente X = G/S. El subgrupo
T actua sobre X por multiplicacion por la izquierda, lo que nos permite ver X como
una reunion de orbitas O(gi S) para 1 i k. En otras palabras,
k
X k
X
[G : S] = |X| = |O(gi S)| = [T : StabT (gi S)],
i=1 i=1
donde la ultima igualdad viene del lema 2.2.21. Ahora, como T es un p-grupo, te-
nemos que [T : StabT (gi S)] = pr con r 0. Pero por otra parte [G : S] es primo a
p ya que S es de orden pt segun la primera parte del teorema, por lo que deducimos
que hay al menos una orbita con un solo elemento, es decir, existe g G tal que
tgS = gS para todo t T . Por lo tanto, g 1 tgS = S para todo t T . As, tenemos
que g 1 tg S para todo t T , lo que significa que g 1 T g S o bien T gSg 1 .
Pero T es un p-Sylow, por lo que T = gSg 1 . Esto prueba la parte 2 del teorema.
Sea ahora Y el conjunto de los p-Sylow de G, el cual corresponde al conjunto

de los conjugados de S en G por lo que ya demostramos, es decir
Y = {gSg 1 | g G}.
El grupo G actua por conjugacion sobre Y y claramente hay una sola orbita que es
todo Y . Ahora, nuestro p-grupo S es un elemento de Y y su estabilizador es nada
menos que su normalizador en G:
StabG (S) = {g G | g S = S} = {g G | gSg 1 = S} = NG (S).
El lema 2.2.21 nos dice entonces que np = |Y | = [G : NG (S)], lo que prueba la

primera afirmacion de la parte 3 del teorema.
Para la segunda afirmacion de la parte 3, como S = pt , tenemos que [G : S] = m
y que np = [G : NG (S)] por lo que acabamos de demostrar. Ahora, como [G : S] =
[G : NG (S)] [NG (S) : S], obtenemos que np divide a m.
24
Para la ultima afirmacion de la parte 3, veamos otra forma de contar los ele-
mentos de Y . Consideremos la accion por conjugacion de S sobre Y (es decir, la
restriccion de la accion precedente). El conjunto Y corresponde a la union disjunta
de las orbitas de esta accion. En otras palabras, existen subgrupos A1 , . . . Ak Y
tales que
Gk
Y = OS (Ai ),
i=1
lo que nos dice que

k
X k
X
np = |Y | = |OS (Ai )| = [S : StabS (Ai )].
i=1 i=1
Ahora, como S es un p-grupo, tenemos que [S : StabS (Ai )] = pri con ri 0. As,
tenemos que np corresponde a una suma de potencias de p. Para demostrar que
np 1 mod p, bastara entonces con demostrar que existe un unico Ai tal que
[S : StabS (Ai )] = 1. Ya sabemos que S cumple con la condicion (y como su orbita
es sencillamente {S}, sabemos que S tiene que ser uno de los Ai ). Supongamos
entonces que existe otro B Y tal que [S : StabS (B)] = 1. Esto quiere decir que
la orbita de B tiene un solo elemento, lo que implica que sBs1 = B, s S. En
otras palabras, para todo s S G tenemos que s NG (B) y |s| = pr para algun
r 0. El lema 2.4.10 se aplica entonces y nos dice que s B para todo s S,
es decir S B. Como S es un p-Sylow, obtenemos que S = B, lo que prueba
nuestra afirmacion. Esto prueba que np 1 mod p y concluye la demostracion del
teorema. ^

2.5. Productos semidirectos

En sesiones anteriones hemos trabajado con productos directos, como el grupo
de Klein, que es isomorfo a (Z/2Z) (Z/2Z). He aqu otros ejemplos.
Ejemplo 2.5.1. Sea G = Z/nmZ. Entonces G ' (Z/mZ) (Z/nZ) si y solo si

(n, m) = 1.
Ejemplo 2.5.2. Sea G = Sn para n 2. Entonces, para todo m < n, existe un

homomorfismo inyectivo Sm Snm Sn .
Proposicion 2.5.3. Sea G = G1 Gn . Entonces
1. Para cada 1 i n,
Gi ' {(e1 , . . . , ei1 , g, ei+1 , . . . , en ) | g Gi }.
25
2. Para cada 1 i n, la funcion i : G Gi definida por i (g1 , . . . , gn ) = gi
es un epimorfismo, llamado la proyeccion de ndice i. Ademas, tenemos que
ker(i ) = {(g1 , . . . , gi1 , ei , gi+1 , . . . , gn ) | gj Gj , j 6= i}.
3. Para cada 1 i n, sea Hi Gi un subconjunto. Entonces, H1 Hn

es un subgrupo de G1 Gn si y solo si Hi < Gi para cada 1 i n.
Ademas, (H1 Hn ) C (G1 Gn ) si y solo si Hi C Gi para cada
1 i n.

El producto directo de dos grupos es un caso particular de producto semi-

directo. De hecho, el producto semi-directo consiste en el mismo conjunto, pero
con una operacion binaria un poco mas sutil.
Definicion 2.5.4. Sean G1 y G2 grupos y sea
: G1 Aut(G2 )
a 7 a ,
un homomorfismo de grupos. El producto semi-directo (exterior) de G1 por G2 , no-
tado G2 o G1 (o simplemente G2 oG1 cuando se da por entendido), corresponde
al conjunto G2 G1 con la operacion binaria definida por:
(a2 , a1 ) (b2 , b1 ) := (a2 a1 (b2 ), a1 b1 ).
Proposicion 2.5.5. El par (G2 G1 , ) es realmente un grupo.
Demostracion. En efecto, podemos verificar la asociatividad:
[(a2 , a1 ) (b2 , b1 )] (c2 , c1 ) = (a2 a1 (b2 ), a1 b1 ) (c2 , c1 ) =
(a2 a1 (b2 )a1 b1 (c2 ), a1 b1 c1 ) = (a2 a1 (b2 )(a1 b1 )(c2 ), a1 b1 c1 ) =
(a2 a1 (b2 )a1 (b1 (c2 )), a1 b1 c1 ) = (a2 a1 (b2 b1 (c2 )), a1 b1 c1 ) =
(a2 , a1 ) (b2 b1 (c2 ), b1 c1 ) = (a2 , a1 ) [(b2 , b1 ) (c2 , c1 )].
Tambien es facil verificar que el neutro es e = (e2 , e1 ):
(e2 , e1 ) (a2 , a1 ) = (e2 e1 (a2 ), e1 a1 ) = (e2 a2 , a1 ) = (a2 , a1 ),
(a2 , a1 ) (e2 , e1 ) = (a2 a1 (e2 ), a1 e1 ) = (a2 e2 , a1 ) = (a2 , a1 ).
Por ultimo, el inverso de (a2 , a1 ) es (a2 , a1 )1 = (a1
1
(a1 1
2 ), a1 ):
(a2 , a1 ) (a1
1
(a1 1
2 ), a1 ) = (a2 a1 (a1
1
(a1 1
2 )), a1 a1 ) =
(a2 (a1 1 1 1
a1 )(a2 ), e1 ) = (a2 a2 , e1 ) = (e2 , e1 ),
(a1
1
(a1 1
2 ), a1 ) (a2 , a1 ) = (a1
1
(a1
2 )a1
1
(a2 ), a11 a1 ) =
(a1
1
(a1
2 a2 ), e1 ) = (a1
1
(e2 ), e1 ) = (e2 , e1 ).
^

26
Observacion.
Si (a) = idG2 , a G1 , entonces G2 o G1 es el producto directo G2 G1 .
Proposicion 2.5.6. Sean H y K dos grupos y sea : K Aut(H) un homo-
morfismo. El producto semi-directo G = H o K posee las siguientes propiedades:
1. Los subconjuntos H {eK } y {eH } K son subgrupos de G.
2. H ' (H {eK }) va h 7 (h, eK ) y K ' ({eH } K) va k 7 (eH , k).
3. (H {eK }) ({eH } K) = {e}.
4. |G| = |H| |K| = |H {eK }| |{eH } K|.
5. Sean g1 = (eH , k), g2 = (h, eK ) elementos de G. Entonces
g2 g1 = (h, k), y g1 g2 g11 = (k (h), eK ).
En particular, G = (H {eK })({eH } K) y H {eK } es normal en G.

Demostracion. Ejercicio ^
^

Notacion. Dada la proposicion anterior, siempre que trabajemos con un producto

semi-directo G = H o K, identificaremos H y K con sus imagenes respectivas
en G. Para h H, identificamos entonces h con (h, eK ) G y para k K,
identificamos k con (eH , k) G. As, para h H y k K, tenemos que khk 1 =
k (h) G, o bien kh = k (h)k G.
En particular, podemos escribir todo elemento de G como un producto hk con
h H, k K. Y para multiplicar h1 k1 con h2 k2 , simplemente tenemos que
h1 k1 h2 k2 = h1 [k1 h2 ]k2 = h1 [k1 (h2 )k1 ]k2 = h1 k1 (h2 )k1 k2 .
Con las notaciones que acabamos de definir, vemos que si G = H o K, entonces

K < G, H C G, H K = {e} y HK = G. Pero notemos que K usualmente no
tiene chance de ser normal:
Ejercicio. Sean H, K dos grupos y sea : K Aut(H) un homomorfismo de
grupos. Entonces KCHo K si y solo si es el homomorfismo trivial (i.e. (g) = e2
para todo g G1 ), es decir, si y solo si se trata de un producto directo.
Las propiedades de H y K como subgrupos de G = H o K que acabamos de
enunciar describen completamente al producto semi-directo. En efecto, G = HK
nos dice que el conjunto subyacente es H K. Por otra parte, podemos recuperar
naturalmente la accion de K sobre H (esto es, el homomorfismo : K Aut(H))
va la conjugacion en G: k (h) := khk 1 H. Esto esta bien definido porque H es
normal en G. As, en lugar de construir un producto semi-directo abstracto a partir
de dos grupos H y K (producto semi-directo exterior), puede ocurrir lo siguiente:
27
Definicion 2.5.7. Sean H y K dos subgrupos de G. Se dice que G es el producto
semi-directo (interior) de H y K y se anota G = H o K si H C G, H K = {e} y
G = HK.
Notacion. Notese que aqu no se menciona ni se nota . Esto es porque implci-

tamente asumimos que la accion de K sobre H es por conjugacion.
Observacion.
La discusion que precede la definicion nos muestra que las dos nociones de producto
semi-directo son esencialmente la misma. Es decir, si G = H o K para ciertos
subgrupos H y K, entonces G ' H o K para k (h) := khk 1 .
Ejemplo 2.5.8. Sea G = hbi un grupo cclico de orden n. Tenemos entonces que
Aut(G) ' (Z/nZ) = {a Z/nZ |a invertible en Z/nZ} = {a Z/nZ | (a, n) = 1}.
En efecto, si (t, n) = 1, entonces podemos definir un elemento ft Aut(G) va

ft (b) = bt . Esto define un isomorfismo : (Z/nZ) Aut(G) definido por (t) =
ft .
Entonces, para definir un producto semi-directo G o H, basta con darse un
homomorfismo H (Z/nZ) . Si tomamos por ejemplo H = hai cclico de orden 2
con (a) = 1, entonces G o H = GH, es decir, G o H = ha, bi. Pero ademas
sabemos que a2 = bn = e y que ab = a (b)a = b1 a, es decir
G o H = ha, b | a2 = bn = e, ab = b1 ai.
Como ademas tenemos que |G o H| = |G| |H| = 2n, vemos que G o H ' D2n .
En otras palabras, todo grupo dihedral es un producto semi-directo de Z/2Z por
Z/nZ con respecto a la accion por el inverso.
Con la ayuda de los productos semi-directos podemos clasificar de mejor manera

algunos tipos de grupos (como los dihedrales aca arriba). Por ejemplo:
Proposicion 2.5.9. Sea G un grupo de orden 44 que posee un elemento a G de

orden 4. Entonces G es isomorfo a uno de los grupos siguientes:
Z/44Z;
(Z/11Z) o (Z/4Z) con (1) = 1 (Z/11Z) .
Demostracion. Por el teorema de Sylow, sabemos que n11 |4 y n11 1 mod 11, lo
que implica que n11 = 1 y por ende hay un solo 11-Sylow S que ademas es normal en
G por la proposicion 2.4.5. Sea H = hai. Entonces |H| = 4 y |S| = 11 y el teorema
de Lagrange nos dice que S H = {e}. De todo esto, deducimos que G = SH y
por ende G ' S o H ' (Z/11Z) o (Z/4Z) para algun : H Aut(S).
28
Intentemos clasificar entonces los homomorfismos : H Aut(S). Como S
es cclico de orden 11, tenemos que Aut(S) ' (Z/11Z) = h2i, donde |2| = 10.
Ahora, como |a| = 4, tenemos que |(a)| debe dividir 4. Por otra parte, como
(a) (Z/11Z) , el teorema de Lagrange nos dice que |(a)| divide a 10. Por ende
|(a)| {1, 2}.
Si |(a)| = 1, entonces (a) = e, lo que implica que es el homomorfismo trivial

y por ende tenemos un producto directo: G ' S H ' (Z/11Z)(Z/4Z) ' Z/44Z.
Si |(a)| = 2, entonces (a) = 1 ya que es el unico elemento de orden 2 en

(Z/11Z) . Recordando entonces que H ' (Z/4Z) va a 7 1, tenemos el segundo
caso del enunciado. ^

Ejercicio. Haga un analisis de los grupos de orden pq con p y q primos distintos.

Hint: esto ya esta hecho en otro lado en estos apuntes.
2.6. Grupos solubles y nilpotentes

Grupos solubles
Hay al menos dos motivos para estudiar esta clase de grupos:
1. Los grupos solubles intervienen en la teora de polinomios P (x) F [x] a

coeficientes en un cuerpo F . Estan relacionados con los polinomios P que
son solubles por radicales sobre F , es decir, tales que las races de P se
pueden obtener usando una sucesion finita de operaciones algebraicas (suma,
resta, multilicacion, division) y extraccion de races (cuadradas, cubicas, etc).
Existen formulas que permiten encontrar las races de un polinomio de grado
2 (conocida por varias culturas antiguas), de grado 3 (Tartaglia y Cardano)
y de grado 4 (Ferrari y Cardano), lo que significa que a todo polinomio de
grado 2, 3 o 4 le corresponde un grupo soluble.
En 1824, Abel dio la primera demostracion aceptada de la no solubilidad de
la quntica (ecuaciones de grado 5). En otras palabras, el grupo asociado a
un polinomio de grado 5 no es necesariamente soluble.
2. El teorema de Sylow puede ser altamente mejorado para los grupos solubles.
Se trata del teorema de Hall, cuya demostracion no veremos aqu pues va
mas alla de los contenidos del curso, pero que puede verse en el libro Algebra
de Thomas W. Hungeford (1974), pagina 104.
Teorema 2.6.1 (Hall). Sea G un grupo finito soluble de orden mn, con
(m, n) = 1. Entonces:
a) G contiene un subgrupo de orden m;
29
b) dos subgrupos de orden m son conjugados;
c) Todo subgrupo de G de orden k, con k|m, esta contenido en un subgrupo
de orden m.
Comencemos entonces con la definicion:

Definicion 2.6.2. Un grupo G se dice soluble si posee una cadena finita de sub-
grupos
{e} = G0 G1 Gt = G,
tal que, para cada 1 i t, Gi1 C Gi y el cociente Gi /Gi1 es abeliano.
Observacion.
Notese que en ningun momento suponemos que Gi1 6= Gi . Esto es sobre todo
pasa uso practico en las demostraciones mas abajo. Pero evidentemente se pueden
eliminar las repeticiones en la cadena sin dano.
Ejercicio. Pruebe que si N C G, entonces
G/N es abeliano a, b G, aba1 b1 N.
Ejemplo 2.6.3. El grupo dihedral G = D2n es soluble: basta tomar G0 = {e},

G1 = hri y G2 = D2n . En particular, el grupo S3 ' D6 es soluble.
Ejemplo 2.6.4. El grupo G = Q8 es soluble: basta tomar G0 = {e}, G1 = {1}
y G2 = Q8 .
Ejemplo 2.6.5. Todo grupo abeliano es soluble. Por el contrario, un grupo simple
no abeliano no puede ser soluble. El grupo mas pequeno que no es soluble es A5 .
Ejercicio. Pruebe que todo p-grupo es soluble.
Proposicion 2.6.6. Si n 5, entonces Sn no es soluble.
Demostracion. Supongamos que G = Sn es soluble, es decir, posee una cadena
finita de subgrupos
{id} = G0 G1 Gt = Sn ,
tal que para cada 1 i t, Gi1 C Gi y el cociente Gi /Gi1 es abeliano.
Sea (i, j, k) un 3-ciclo en Sn y, como n 5, sean u, v {1, 2 , n} elementos
distintos de i, j, k. Como Sn /Gt1 es abeliano, para cada a, b Sn , aba1 b1 Gt1 .
En particular, si consideramos a = (j, k, u) y b = (v, j, i), entonces
aba1 b1 = (j, k, u)(v, j, i)(j, u, k)(v, i, j) = (i, j, k) Gt1 .
Como (i, j, k) es cualquier 3-ciclo, tenemos que Gt1 contiene todos los 3-ciclos.
Miremos ahora el cociente Gt1 /Gt2 , que tambien es abeliano. Usando el mismo
30
argumento podemos demostrar que Gt2 contiene todos los 3-ciclos. Continuando
as llegamos tarde o temprano al cociente G1 /G0 , que tambien es abeliano, por lo
que podemos demostrar que G0 = {e} contiene todos los 3-ciclos, lo cual es una
contradiccion. Por lo tanto, Sn no es soluble para n 5. ^

Observacion.
Como todos los 3-ciclos pertenecen a An , la misma demostracion prueba que An
no es soluble para n 5.
Teorema 2.6.7. Sea G un grupo soluble y H < G. Entonces
1. H es soluble;
2. Para todo grupo K y todo homomorfismo : G K la imagen (G) < K

es soluble. En particular, si H C G entonces G/H es soluble.
Demostracion. Como G es soluble, posee una cadena finita de subgrupos
{e} = G0 G1 Gt = G,
Para demostrar el primer punto, consideremos los subgrupos Hi := Gi H H

para cada 0 i t. Esta claro que H0 = {e} y que Ht = H. Ademas, para
cada 1 i t, tenemos que Hi1 Hi . Es mas, para h Hi , tenemos que
hHi1 h1 hGi1 h1 Gi1 , pero tambien hHi1 h1 H porque h Hi H.
Todo esto implica que hHi1 h1 Hi1 y por ende Hi1 CHi . Finalmente, tenemos
que el cociente Hi /Hi1 es abeliano ya que es isomorfo a un subgrupo de Gi /Gi1
va el siguiente monomorfismo:
: Hi /Hi1 Gi /Gi1
hHi1 7 hGi1 .
El morfismo es en efecto inyectivo: Si (hHi1 ) = eGi1 , entonces h Gi1 . Pero

tambien h Hi H, lo que implica h Hi1 , es decir hHi1 = eHi1 .
Para demostrar el segundo punto, ya que solo nos interesa la imagen (G) <
K, podemos suponer que K es la imagen. Consideremos entonces les subgrupos
Ki := (Gi ) < K para cada 0 i t. Esta claro que K0 = {e} y que Kt = K.
Ademas, para cada 1 i t, tenemos que Ki1 Ki . Es mas, para k Ki ,
tenemos que k = (g) con g Gi , lo que nos dice que
kKi1 k 1 = (g)(Gi1 )(g 1 ) = (gGi1 g 1 ) = (Gi1 ) = Ki1 ,
31
por ende Ki1 C Ki . Finalmente, tenemos que el cociente Ki /Ki1 es abeliano ya
que es isomorfo a un cociente de Gi /Gi1 va el siguiente epiomorfismo:
: Gi /Gi1 Ki /Ki1
gGi1 7 (g)Ki1 .
En particular si H C G, consideramos el epimorfismo canonico : G G/H, y se

tiene que (G) = G/H es soluble. ^

Ejercicio. Verificar que los morfismos y de la demostracion estan bien defini-

dos.
Conmutadores
El subgrupo de conmutadores de un grupo G es un ejemplo de subgrupo ca-
racterstico de G. Esta ultima nocion es un version fuerte de subgrupo normal.
El subgrupo de conmutadores sirve en particular para dar otra caracterizacion de
solubilidad en terminos de una serie descendente de subgrupos caractersticos de
G.
Definicion 2.6.8. Sea G un grupo y H < G. Se dice que H es un subgrupo
caracterstico de G y se anota H car G si, Aut(G), se tiene que (H) = H.
Proposicion 2.6.9. Sea G un grupo y sean H, K subgrupos de G. Entonces:
1. H car G H C G;
2. K car H, H C G K C G;
3. K car H, H car G K car G.

Demostracion. Para la primera afirmacion, tenemos que mostrar que gHg 1 = H
para todo g G. Consideremos entonces, para g G, el automorfismo
int(g) : G G,
x 7 gxg 1 .
(Ejercicio: mostrar que se trata realmente de un automorfismo)

Entonces, como H car G, tenemos que gHg 1 = int(g)(H) = H, lo que prueba que
H C G.
Para la segunda afirmacion, debemos mostrar que gKg 1 = K para todo g G.
Como H C G, tenemos que int(g)(H) = gHg 1 = H, es decir, int(g) restringido a
H define un automorfismo de H (su inversa es int(g 1 )). Entonces, como K car H,
tenemos entonces que gKg 1 = int(g)(K) = K para todo g G , lo que prueba
que K C G.
32
Para la tercera afirmacion, tenemos que mostrar que (K) = K para todo
Aut(G). Ahora, como H car G, todo Aut(G) cumple que (H) = H, es
decir, su restriccion a H define un automorfismo de este. Como tal, y dado que
K car H, tenemos que (K) = K, lo que prueba que K car G. ^
Observacion.
Sea G un grupo y K < H < G. Entonces K C H y H C G no implica que K C G,
lo que prueba que la nocion de subgrupo caracterstico es mas fuerte. En efecto,
sean G = S3 S3 , H = A3 A3 y
K = {(id, id), ((1, 2, 3), (1, 2, 3)), ((1, 3, 2), (1, 3, 2))} < H.
Entonces H C G pues A3 C S3 . Ademas, H es abeliano, por lo que todo subgrupo

es normal en H, en particular K. Sin embargo, K no es normal en G ya que
((1, 2), id)((1, 2, 3), (1, 2, 3))((1, 2), id)1 = ((1, 3, 2), (1, 2, 3)) 6 K.
Ejercicio. Pruebe que para cualquier grupo G, Z(G) es un subgrupo caracterstico

de G.
Ejercicio. Sea G un grupo y p un primo tal que G posee un unico p-Sylow S.

Pruebe que S car G.
Definicion 2.6.10. Sea G un grupo. El conmutador [x, y] de los elementos x, y G

es el elemento [x, y] := xyx1 y 1 G. De forma mas general, para A, B G no
vacos, definimos el conmutador [A, B] de A y B como el subgrupo generado por
los conmutadores [a, b] con a A y b B, es decir:
[A, B] := h[a, b] | a A, b Bi < G.
En particular, definimos el subgrupo derivado G0 de G como el subgrupo [G, G] < G.
Observacion.
Notese que un elemento x [A, B] no tiene porque ser un conmutador. En general
lo unico que sabemos es que x se expresa como un producto de conmutadores
x = [a1 , b1 ][a2 , b2 ] [an , bn ],
para ai A, bi B, 1 i n.
Proposicion 2.6.11. Sea G un grupo, x, y G y H < G. Entonces
1. xy = [x, y]yx;
2. H C G si y solo si [G, H] H.
33
3. para todo homomorfismo : G K, ([x, y]) = [(x), (y)];
4. G0 car G y G/G0 es abeliano;
5. si H C G, entonces G/H es abeliano si y solo si G0 H.
6. si : G A es un homomorfismo de G a un grupo abeliano A, entonces

G0 ker().
Demostracion. La primera afirmacion es un calculo directo. Para la segunda, basta
ver que:
H C G g G, h H, ghg 1 H
g G, h H, ghg 1 h1 H
g G, h H, [g, h] H
h[g, h] | g G, h Hi H
[G, H] H.
La tercera afirmacion es una mera aplicacion de la definicion de homomorfismo:

para Aut(G) y x, y G,
([x, y]) = (xyx1 y 1 ) = (x)(y)(x)1 (y)1 = [(x), (y)].
Aplicando esto a un automorfismo : G G, vemos que (G0 ) = G0 , lo que nos

dice que G0 car G. Por otra parte, al aplicarlo al morfismo : G G/H cuando
H C G y G0 H, vemos que para todo par de elementos xH = (x), yH = (y)
G/H tenemos [xH, yH] = [x, y]H = H ya que [x, y] G0 H. Por ende xyH =
yxH por la primera afirmacion. Esto prueba la cuarta y quinta afirmaciones.
Finalmente, la sexta afirmacion se deduce de la quinta: si : G A es un
homomorfismo con A abeliano, entonces Im() es abeliano e isomorfo a G/ ker(),
lo que implica que G0 ker(). ^
Serie derivada
Existen dos formas naturales de construir series con subcocientes abelianos:
sacando grupos por arriba en forma de cocientes, o sacando grupos por abajo
en forma de subgrupos. Para asegurarse que los subcocientes que van saliendo sean
abelianos, la nocion de subgrupo derivado que acabamos de definir resulta bastante
practica. En el segundo caso, sera el centro quien reemplazara al subgrupo derivado.
Definicion 2.6.12. Para cualquier grupo G definimos la siguiente serie de sub-
grupos inductivamente:
G(0) := G;
34
G(i+1) = [G(i) , G(i) ], i 1.
Esta serie cumple
G(0) = G G(1) G(i) G(i+1)
y se llama la serie derivada o de conmutadores del grupo G.
Observacion.
Los subgrupos G(i) son caractersticos en G para cada i. Esto es una consecuencia
facil de las proposiciones 2.6.11 y 2.6.9.
Teorema 2.6.13. Un grupo G es soluble si y solo si G(n) = {e} para algun n 0.
Definicion 2.6.14. El menor entero no negativo t tal que G(t) = {e} se llama
ndice de solubilidad de G.
Demostracion. Supongamos que G es soluble, es decir, posee una cadena finita de

subgrupos
{e} = G0 G1 Gt = G,
Demostraremos por induccion que G(i) Gti i 0, lo que demostrara que
G(t) G0 = {e}.
Para i = 0 tenemos que G(0) = G = Gt . Nuestra hipotesis de induccion sera
entonces que G(i) Gti . Debemos probar que G(i+1) Gti1 .
Tenemos que
G(i+1) = [G(i) , G(i) ] [Gti , Gti ].
Como Gti /Gti1 es abeliano, la proposicion 2.6.11 nos dice que
G0ti = [Gti , Gti ] Gti1 .
Por lo tanto, G(i+1) Gti1 , lo que concluye nuestra demostracion por induccion.
Recprocamente, supongamos que G(n) = {e} para algun n 0. Esto no dice

que tenemos la cadena de subgrupos
G(0) = G G(1) G(n) = {e}.
Esta misma cadena muestra que G es soluble: en efecto, la proposicion 2.6.11

nos asegura que G(i+1) C G(i) y que G(i) /G(i+1) es abeliano, por lo que definiendo
Gi := G(ni) para 0 i n obtenemos una cadena que cumple la definicion de
solubilidad. ^
Ejercicio. Sea G un grupo. Pruebe que
35
1. para todo t 0, [G, G](t) = [G(t) , G(t) ];
2. para todo m, n 0, G(n+m) = (G(n) )(m) .
Observacion.
En muchos casos es mas sencillo probar propiedades de solubilidad usando esta
equivalencia, como se ve con la siguiente proposicion, la cual redemuestra el teorema
2.6.7 que ya demostramos mas arriba.
Proposicion 2.6.15. Sea G un grupo, H un subgrupo de G y : G K un

epimorfismo de grupos.
1. Para cada i 0, H (i) G(i) . En particular, si G es soluble, entonces H es

soluble con ndice de solubilidad menor o igual al de G.
2. Para cada i 0, (G(i) ) = K (i) . En particular, si G es soluble, entonces

K es soluble con ndice de solubilidad menor o igual al de G. Esto vale en
particular para todo cociente de G.
3. Si H C G y H y G/H son solubles, entonces G es soluble.
Demostracion. Las dos primeras afirmaciones se demuestran facilmente por in-

duccion sobre i (en ambos casos la afirmacion es trivial para i = 0) usando la
proposicion 2.6.11.
Para la ultima afirmacion, sea H soluble de ndice m y G/H soluble de ndice n.
Usando el epimorfismo : G G/H, tenemos que (G(n) ) = (G/H)(n) = {eH}
por lo que acabamos de demostrar. Esto nos dice que G(n) ker() = H. As,
G(n+m) = (G(n) )(m) H (m) = {e}. Luego G es soluble, de ndice n + m. ^

Grupos nilpotentes
Acabamos de ver que para estudiar los grupos solubles basta con calcular la
serie descendente de grupos derivados. Pero existe una segunda manera mas fi-
na de obtener subcocientes abelianos, la cual define una subfamilia de los grupos
solubles, llamados grupos nilpotentes.

grupos inductivamente:
G0 := G;
Gi+1 = [G, Gi ], i 1.
36
Esta serie cumple
G0 = G G1 Gi Gi+1
y se llama la serie central descendente del grupo G.

Un grupo G es nilpotente si y solo si Gn = {e} para algun n 0. El menor
entero no negativo t tal que Gt = {e} se llama el ndice de nilpotencia de G.
Ejercicio. Pruebe que Gi car G para todo i 0.
Observacion.
Notese que el cociente Gi1 /Gi , que es un grupo por el ejercicio que precede, es
abeliano para todo i 1 ya que [Gi1 , Gi1 ] [G, Gi1 ] (cf. Proposicion 2.6.11).
En particular, todo grupo abeliano es nilpotente.
Por otra parte, para cada i 0, tenemos que G(i) Gi , lo que prueba que todo
grupo nilpotente es soluble.
Observacion.
Existen grupos solubles que no son nilpotentes, lo que prueba que esta nueva serie
descendente es mas fina que la serie derivada. Por ejemplo, S3 es soluble pero no
nilpotente: G0 = S3 y G1 = [S3 , S3 ] = A3 , pero G2 = [S3 , A3 ] = A3 . Luego Gi = A3
para todo i 1, por lo que S3 no es nilpotente.
Vemos entonces que en general tenemos las siguientes inclusiones estrictas:
G cclico ( G abeliano ( G nilpotente ( G soluble ( G grupo.
Demostremos ahora un analogo de la proposicion 2.6.15, la cual trataba sobre

la serie derivada:

1. Para cada i 0, H i Gi . En particular, si G es nilpotente, entonces H es

nilpotente con ndice de nilpotencia menor o igual al de G.
2. Para cada i 0, (Gi ) = K i . En particular, si G es nilpotente, entonces K

es nilpotente con ndice de nilpotencia menor o igual al de G. Esto vale en
particular para todo cociente de G.
Observacion.
Notese sin embargo que no tenemos analogo para la tercera parte de la proposicion
2.6.15. Es decir, si H C G y H y G/H son nilpotentes, entonces no necesariamente
G es nilpotente. Por ejemplo, H = A3 es un subgrupo normal de S3 y tanto H
como S3 /H son abelianos, por ende nilpotentes. Sin embargo, ya vimos que S3 no
lo es.
37
Demostracion. Las dos afirmaciones se demuestran facilmente por induccion sobre
i (en ambos casos la afirmacion es trivial para i = 0) usando la proposicion 2.6.11.
^

Lo que hace la diferencia entre la serie derivada y la serie central descendente es

lo siguiente: La serie derivada fabrica cocientes abelianos G(i1) /G(i) por elimina-
cion de todo aquello que no conmuta en el escalon anterior : G(i) = [G(i1) , G(i1) ]
(esa es precisamente la utilidad del subgrupo derivado: eliminar lo que no conmu-
ta). En cambio, la serie central descendente se asegura de eliminar todo aquello que
no conmuta con todo el grupo G: Gi = [G, Gi1 ]. Esto no puede sino recordarnos
la nocion de centro de un grupo. Y en efecto:
Lema 2.6.18. Para cada i 1, tenemos que Gi1 /Gi Z(G/Gi ).
Demostracion. Sea hGi Gi1 /Gi y sea gGi G/Gi . Debemos mostrar que
ghGi = hgGi , lo que equivale a mostrar que ghg 1 h1 Gi = Gi . Ahora, esto es
lo mismo que [g, h] Gi , lo cual es evidente ya que Gi = [G, Gi1 ] por defini-
cion. ^
Esto justifica el nombre de la serie central descendente.
Serie central ascendente

Luego de haber definido dos series que fabrican subcocientes abelianos por
arriba, veamos una que comienza por abajo.

grupos caractersticos Zi (G) inductivamente:
Z0 (G) := {e};
1
Zi (G) = i1 (Z(Ci1 )), i 1, donde Ci1 denota el cociente G/Zi1 (G) y
i1 : G Ci1 es la proyeccion canonica.
Esta serie cumple
Z0 (G) = {e} Z1 (G) = Z(G) Zi (G) Zi+1 (G)
y se llama la serie central ascendente del grupo G.
Ejercicio. Pruebe por induccion que Zi (G) car G para todo i 0 (esto prueba en
particular que Ci1 es un grupo y por ende que Zi (G) esta bien definido).
Ejercicio. Sea G un grupo y sea : G H un epimorfismo de grupos. Pruebe

que (Z(G)) Z(H).
38
Observacion.
La analoga con la serie central descendente la podemos ver de la siguiente forma.
Ya demostramos que, para todo i 1, Gi1 /Gi Z(G/Gi ). Es decir, construimos
Gi a partir de Gi1 de forma que el cociente Gi1 /Gi sea un subgrupo central
de G/Gi . Analogamente, cuando empezamos a construir la serie por abajo y ya
tenemos Zi1 (G), queremos definir un grupo mas grande Zi (G) Zi1 (G) tal que
el cociente Zi (G)/Zi1 (G) sea central en G/Zi1 (G). Y que mas natural que tomar
el centro entonces? Es por eso que forzamos Zi (G) a ser la preimagen del centro
de G/Zi1 (G).
Invirtiendo la analoga, podemos mostrar que, para todo i 1, tenemos que
[Zi (G), G] Zi1 (G). En efecto:
i1 ([Zi (G), G]) = [i1 (Zi (G)), i1 (G)] = [Z(Ci1 ), Ci1 ] = {eZi1 (G)},
por la definicion de centro, lo que implica que [Zi (G), G] ker(i1 ). Esto establece
una cierta analoga entre los subgrupos Zi (G) y los subgrupos Gi , la cual usaremos
mas abajo.
Considerando subgrupos H < G o epimorfismos G K, uno puede intentar

demostrar proposiciones analogas a las de las series descendentes (Proposiciones
2.6.15 y 2.6.17) para esta serie ascendente. Las igualdades que uno podra ima-
ginar en primera instancia no tienen lugar (solo tenemos contenciones), pero las
consecuencias siguen siendo las mismas con respecto a la nilpotencia:

1. Para cada i 0, Zi (G) H Zi (H). En particular, si G es nilpotente,

entonces H es nilpotente con ndice de nilpotencia menor o igual al de G.
2. Para cada i 0, (Zi (G)) Zi (K). En particular, si G es nilpotente,

entonces K es nilpotente con ndice de nilpotencia menor o igual al de G.
Esto vale en particular para todo cociente de G.

Llevando al maximo la analoga, el teorema siguiente nos muestra que las dos
series centrales (descendente y ascendente) poseen en cierto modo la misma infor-
macion y que ambas son igualmente utiles para detectar la nilpotencia.
Teorema 2.6.21. Un grupo G es nilpotente si y solo si Zt (G) = G para algun

t 0. El menor de estos enteros no negativos corresponde al ndice de nilpotencia
de G.
39
Demostracion. Supongamos que G es nilpotente y notemos m el ndice de nilpo-
tencia de G, de forma que Gm = {e} y Gm1 6= {e}. Demostremos primero el
siguiente lema:
Lema 2.6.22. Para todo 0 r m, Gmr Zr (G).
Demostracion. La prueba es por induccion sobre r. Para r = 0, esta claro que
Gm Z0 (G) ya que los dos son el subgrupo trivial. Nuestra hipotesis de induccion
es entonces que Gmr Zr (G). Debemos demostrar que Gmr1 Zr+1 (G).
Como ambos grupos son caractersticos en G, podemos considerar los cocientes
respectivos. Para simplificar las notaciones, definimos Cr := G/Zr (G) como antes
y Dr := G/Gmr . Tenemos entonces los epimorfismos canonicos
r : G C r y r : G Dr .
La inclusion Gmr Zr (G) nos asegura entonces que tenemos un epimorfismo

canonico r : Dr Cr tal que r r = r .
Como r es un epimorfismo, tenemos que r (Z(Dr )) Z(Cr ) (cf. el ejercicio al
principio de la seccion). Pero el lema 2.6.18 nos dice que Gmr1 /Gmr Z(Dr ),
por lo que (Gmr1 /Gmr ) Z(Cr ). Aplicando r1 obtenemos entonces
Gmr1 = r1 ((Gmr1 /Gmr )) r1 (Z(Cr )) = Zr+1 (G),
lo que concluye la demostracion del lema. ^

Dado el lema, vemos que si G es nilpotente de clase m, entonces Zm (G) G0 =

G, lo que corresponde a un sentido del teorema. Supongamos ahora que Zt (G) = G
para algun t 0 y que Zt1 (G) ( G. Debemos mostrar que G es nilpotente de
ndice t.
Es hora entonces de demostrar un segundo lema, analogo al anterior:
Lema 2.6.23. Para todo 0 r t, Gr Ztr (G).
Demostracion. La prueba es por induccion sobre r. Para r = 0, esta claro que
G0 Zt (G) ya que los dos son el grupo G. Nuestra hipotesis de induccion es
entonces que Gr Ztr (G). Debemos demostrar que Gr+1 Ztr1 (G)
Por hipotesis de induccion, tenemos que Gr+1 = [G, Gr ] [G, Zmr (G)]. Pero
como ya observamos anteriormente, [G, Zmr (G)] Zmr1 (G), lo que muestra
que Gr+1 Zmr1 (G), lo que concluye la demostracion de este lema. ^

Dado el lema, vemos que Gt Z0 (G) = {e}, lo que prueba que G es nilpotente
de ndice de nilpotencia menor o igual a t. Ademas, si el ndice de nilpotencia fuese
estrictamente menor a t, el primer lema implicara que Zt1 (G) = G, contradiciendo
nuestra hipotesis. Vemos entonces que el ndice de nilpotencia es precisamente t,
lo que concluye la demostracion. ^

40
Grupos nilpotentes y p-grupos
Habiendo demostrado la equivalencia de las series centrales descendente y as-
cendente, vemos que una caracterstica esencial de los grupos nilpotentes es la
presencia de un centro no trivial en todos sus subcuocientes. Ahora, esto ya lo
habamos visto para los p-grupos en la seccion 2.3, lo que nos permite concluir lo
siguiente:
Proposicion 2.6.24. Sea p un numero primo. Entonces todo p-grupo es nilpotente.
Demostracion. Como G es un p-grupo, tenemos que |G| = pt para algun t 0.

La demostracion procede por induccion sobre t. Para t = 0 la proposicion es
cierta. Nuestra hipotesis de induccion es entonces que todo grupo de orden pt1 es
nilpotente.
El lema 2.3.3 nos dice que p divide a |Z(G)| y el teorema de Cauchy asegura
entonces que existe h Z(G) de orden p. Sea H = hhi el subgrupo central corres-
pondiente y : G G/H el epimorfismo canonico (que esta bien definido ya que
|G|
todo subgrupo central es normal). El grupo G/H es de orden |H| = pt1 , por lo que
es nilpotente por hipotesis de induccion. Sabemos entonces que existe n 0 tal
que (G/H)n = {eH}. Ahora, la proposicion 2.6.17 nos dice que (Gn ) = (G/H)n ,
por lo que Gn H y finalmente Gn+1 = [G, Gn ] [G, H] = {e} porque H es
central. Esto prueba que G es nilpotente. ^
Ejercicio. Modifique la demostracion para probar que, si |G| = pt con t 2,

entonces G es nilpotente de ndice t 1. Hint: el caso t = 2 ya fue tratado como
ejercicio.
El teorema siguiente nos muestra que los p-grupos contienen todos los ejemplos
interesantes de grupos finitos nilpotentes.
Teorema 2.6.25. Sea G un grupo finito de orden |G| = pa11 pa22 pat t con pi primo
y ai 1 para todo 1 i t (y pi 6= pj para i 6= j). Para todo 1 i t, sea Si un
pi -Sylow de G. Entonces las siguientes afirmaciones son equivalentes:
1. G es nilpotente.
2. Si H < G y H 6= G, entonces H 6= NG (H).
3. Para todo 1 i t, Si C G.
4. G ' S1 St .
Demostracion. Demostraremos las implicaciones 1. 2. 3. 4. 1.
41
1. 2. Supongamos que G es nilpotente de centro Z y sea H < G un subgrupo
propio. Debemos demostrar que H 6= NG (H), es decir, que existe g G tal que
gHg 1 = H y g 6 H. Si Z 6 H, entonces existe un elemento g Z r H el cual
claramente verifica gHg 1 = H, por lo que podemos asumir que Z H.
Este segundo caso lo tratamos por induccion sobre |G|. La implicacion es evi-
dente si |G| = p con p primo (el unico H posible es {e}).
Hipotesis de induccion: Supongamos que (1. 2.) vale para grupos de orden
estrictamente menor a |G|.
Como Z H, podemos considerar el cociente H := H/Z que es un subgrupo
de G/Z. Ahora, este ultimo es nilpotente porque G lo es y su orden es menor ya
que Z es no trivial (Z = Z1 (G) 6= {e} si G nilpotente). La hipotesis de induccion
nos dice entonces que H 6= NG (H), es decir, existe g G/Z tal que g H g 1 = H y
g 6 H. Tomando preimagenes con respecto a G G/Z, tenemos que gHg 1 = H
y g 6 H, lo que prueba la afirmacion.
2. 3. Sea Si un pi -Sylow de G. Para probar que Si C G, basta con demostrar

que NG (Si ) = G. Ahora, ya demostramos en ejercicio (cf. la seccion sobre los
conmutadores) que Si car NG (Si ) por que es el unico pi -Sylow de NG (Si ).
Sea entonces g NG (NG (Si )). La conjugacion por g produce un automorfismo
int(G) : NG (Si ) NG (Si ) : x 7 gxg 1 ,
cuyo inverso es la conjugacion por g 1 . Ahora, como Si car NG (Si ), tenemos que
gSi g 1 = Si , lo que prueba que g NG (Si ) y por ende NG (NG (Si )) = NG (Si ).
Esto demuestra que NG (Si ) = G, ya que de lo contrario tendramos una con-
tradiccion con la hipotesis 2.
3. 4. La afirmacion 3 implica que cada uno de los pi -Sylow Si es unico en su

especie. Demostraremos entonces por induccion sobre k que
S1 S2 Sk ' S1 S2 Sk C G,
para todo 2 k t. Para k = 2 esto es inmediato ya que S1 y S2 son normales en
G por hipotesis, S1 S2 = {e} por el teorema de Lagrange y |S1 S2 | = |S1 S2 |.
Hipotesis de induccion: Supongamos que el isomorfismo es valido para k factores
Si .
Consideremos entonces el producto S1 S2 Sk+1 . Debemos demostrar
que es isomorfo al subgrupo S1 S2 Sk+1 de G. Sea entonces S := S1 S2 Sk G.
Por hipotesis de induccion, tenemos que S1 S2 Sk ' S C G, por lo que
S1 S2 Sk+1 ' S Sk+1 . Por otra parte, S y Sk+1 son normales en G,
S Sk+1 = {e} por el teorema de Lagrange y |SSk+1 | = |S Sk+1 |, lo que prueba
que
S1 S2 Sk+1 ' S Sk+1 ' SSk+1 = S1 S2 Sk+1 C G.
42
En particular si tomamos k = t, tenemos que G = S1 S2 St ' S1 S2 St ,
donde la primera igualdad se deduce por el orden de cada grupo.
4. 1. Como G ' S1 St , basta con probar que el producto de dos grupos

nilpotentes es nilpotente. El hecho de que G es nilpotente se obtiene entonces por
induccion sobre la cantidad de factores, como en el paso anterior.
Sean entonces H1 y H2 dos grupos nilpotentes y sea H = H1 H2 . Basta con
demostrar que H i H1i H2i H1 H2 para i 0, lo que haremos por induccion
sobre i. Para i = 0 esto no es un problema ya que los dos grupos son iguales a H.
Nuestra hipotesis de induccion sera entonces que H i H1i H2i .
Asumiendo esto, tenemos que H i+1 = [H, H i ] [H1 H2 , H1i H2i ]. Ahora,
para g1 , h1 H1 y g2 , h2 H2 tenemos que
[(g1 , g2 ), (h1 , h2 )] = (g1 , g2 )(h1 , h2 )(g1 , g2 )1 (h1 , h2 )1 =

(g1 , g2 )(h1 , h2 )(g11 , g21 )(h1 1
1 , h2 ) =
(g1 h1 g11 h1 1 1
1 , g2 h2 g2 h2 ) = ([g1 , h1 ], [g2 , h2 ]),
lo que prueba que
[H1 H2 , H1i H2i ] = [H1 , H1i ] [H2 , H2i ] = H1i+1 H2i+1 ,
lo que prueba finalmente que H i+1 H1i+1 H2i+1 , concluyendo la demostracion.

^

43
3. Anillos
3.1. Definiciones y ejemplos
Definicion 3.1.1. Un anillo es un tro ordenado (R, , ), donde R es un conjunto
no vaco y y son leyes de composicion internas, es decir, funciones
RR R RR R
(a, b) 7 a b, (a, b) 7 a b,
tales que (R, ) es un grupo abeliano y satisface, a, b, c R,

1. a (b c) = (a b) c. (Asociatividad)
2. a (b c) = (a b) (a c). (Distributividad por la izquierda)
3. (b c) a = (b a) (c a). (Distributividad por la derecha)

Notacion. En general se usan las notaciones (R, +, ) y por ende se omite a menudo
los smbolos + y para denotar sencillamente por R un anillo dado (al igual que
con los grupos omitimos a menudo ). Bajo esta misma convencion, se denota por
0R el elemento neutro de R (o 0 si no hay riesgo de confusion) y por a el inverso
de a con respecto a +. Finalmente, cuando tenemos una suma a + (b), notamos
a b como de costumbre.
Ejercicio. Sea R un anillo. Pruebe que, para todo a R, 0 a = a 0 = 0.
Definicion 3.1.2. Sea R un anillo. Se dice que R es conmutativo si es conmuta-
tiva, es decir: a b = b a, a, b R.
Se dice que R es unitario si posee un neutro en R, es decir: 1R R tal que
a 1R = a = 1R a, a R.
Un elemento a R r {0} se dice un divisor de 0 por la izquierda si existe
b R r {0} tal que a b = 0. De forma analoga definimos un divisor de 0 por la
derecha. Si R es conmutativo, hablamos sencillamente de divisor de 0.
Decimos que R es un dominio de integridad (o DI, o anillo ntegro) si es un
anillo conmutativo unitario sin divisores de cero.
Ejercicio. Pruebe que el neutro 1R , si existe, es unico.
Ejercicio. Sea R un anillo conmutativo unitario. Pruebe que R es un DI si y solo
si, para a, b R, se cumple lo siguiente:
a b = 0R a = 0R o b = 0R .
Ejemplo 3.1.3. Z y Z/mZ son anillos conmutativos unitarios. Z es un DI y Z/mZ

es un DI si y solo si m es primo.
44
Ejemplo 3.1.4 (Anillo de matrices). Sea F un cuerpo. Entonces las matrices
Mn (F ) con su suma y su multiplicacion clasicas forman un anillo unitario, no
conmutativo si n 2. Es Mn (F ) un DI?
De forma mas general, para R un anillo, las matrices Mn (R) forman tambien
un anillo que es unitario si R es unitario.
Ejemplo 3.1.5 (Anillo de funciones). Sea R un anillo y X un conjunto no vaco.

Entonces RX := {f : X R} es un anillo bajo la suma y producto de funciones.
Si R es conmutativo y/o unitario, entonces RX tambien. Es RX un DI?
Ejemplo 3.1.6 (Producto de anillos). Sean R1 , R2 . . . , Rn anillos. Entonces el

conjunto R1 Rn equipado con la suma
(a1 , . . . , an ) + (b1 , . . . , bn ) = (a1 + b1 , . . . , an + bn ),
y el producto
(a1 , . . . , an ) (b1 , . . . , bn ) = (a1 b1 , . . . , an bn )
con ai , bi Ri para todo 1 i n, es un anillo. Si Ri es un DI para todo 1 i n,
es tambien R1 Rn un DI ?
Observacion.
Un anillo de funciones RX puede ser visto como un anillo producto de |X| copias de
R: basta con asociar a cada funcion f : X R la |X|-tupla (f (x1 ), f (x2 ), . . .),
donde x1 , x2 , . . . representan todos los elementos de X en algun orden.
Notese que esto funciona incluso si X es infinito. Basta con tener la buena
nocion de orden, pero eso esta fuera del objetivo de este curso.
Definicion 3.1.7. Sea R un anillo unitario. Un elemento invertible o una unidad

de R es un elemento a R tal que existe b R para el cual a b = b a = 1. En este
caso, b es unico y es llamado entonces el inverso (multiplicativo) de a y se anota
a1 . El conjunto de las unidades de R es denotado R .
Si R = R r {0}, decimos que R es un anillo de division. Si ademas es conmu-
tativo, decimos que R es un cuerpo.
Notacion. Sea R anillo, a R y n N. Anotamos los multiplos de a y las

potencias de a como na y an . Estos se definen por induccion va las formulas
na := (n 1)a + a, 1a := a, an := an1 a, a1 := a.
Tambien anotamos na := n(a) y 0a := 0R .

Si ademas R es unitario, entonces definimos la notacion a0 := 1. Finalmente, si
a R , entonces anotamos an para (a1 )n .
45
Ejercicio. Sea R un anillo conmutativo. Pruebe que la formula del binomio de
Newton es valida sobre R, es decir que para a, b R tenemos que
n1
n n
X
n n nk k
(a + b) = a + b + a b .
k=1
k
Ejercicio. Sea R un anillo unitario. Pruebe que R es un grupo para la multipli-

cacion.
Ejercicio. Pruebe que todo dominio de integridad finito es un cuerpo.
Ejercicio. Sea R = Z/mZ. Pruebe que a es una unidad en R si y solo si (a, m) = 1.
Ejemplo 3.1.8 (Cuaterniones de Hamilton). Consideremos el conjunto de los cua-

terniones:
H = {a0 + a1 i + a2 j + a3 k | ai R}.
Definimos una suma sobre H sumando componente a componente y definimos un
producto multiplicando como polinomios en las tres variables i, j, k, pero sujeto a
las relaciones
i2 = j 2 = k 2 = 1, ij = ji = k, jk = kj = i, ki = ik = j.
Para x = a0 + a1 i + a2 j + a3 k H, definimos su conjugado x como el cuaternion

a0 a1 i a2 j a3 k y su norma como N (x) := xx.
Ejercicio. Considere los cuaterniones que acabamos de definir.
1. Pruebe que H es un anillo no conmutativo unitario.
2. Pruebe que si x = a0 + a1 i + a2 j + a3 k, entonces N (x) = a20 + a21 + a22 + a23 .

Ademas, pruebe que x, y H, N (xy) = N (x)N (y).
3. Pruebe que todo H es un anillo de division.
Ejemplo 3.1.9 (Anillo de grupo). Sea R anillo conmutativo unitario con 1R 6= 0

y sea G un grupo finito con la operacion de grupo escrita multiplicativamente. Se
define un anillo R[G], llamado anillo de grupo de G con coeficientes en R, como el
conjunto se sumas formales X
ag g | ag R.
gG
Para el neutro e G escribiremos ae e simplemente como ae . Similarmente, el

elemento 1R g lo escribiremos sencillamente g.
46
Definimos la suma de dos elementos de R[G] como
X X X
ag g + bg g = (ag + bg )g,
gG gG gG
y el producto como
! ! !
X X X X
ag g bg g = ah bh1 g g,
gG gG gG hG
es decir, el producto (ag1 )(bg2 ) es igual a (ab)(g1 g2 ) y se extiende esto por distri-
butividad a las sumas.
Ejercicio. Sea R un anillo conmutativo unitario y sea G un grupo finito.
1. Pruebe que R[G] es conmutativo si y solo si G es conmutativo.
2. Cuales son las unidades de R[G]?
3. Pruebe que, si |G| > 1, entonces R[G] tiene divisores de cero.
Ejercicio. Considere el grupo
D8 = hr, s | r4 = s2 = e, sr = r1 si,
y los elementos
x = r + r2 2s, z = 3r3 + rs Z[D8 ].
Calcule x + z y xz.
Ejercicio. Considere el anillo de grupo Z[S3 ] y los elementos
x = 3(12) 5(23) + 14(123), z = 6 + 2(23) 7(132) Z[S3 ].
Calcule x + z, xz, 2x 3z y x2 .
Anillos de polinomios
Definicion 3.1.10. Sea R un anillo. Definimos el conjunto de polinomios con
coeficientes en R (en una variable x) como el conjunto
( n )
X
R[x] := ai xi | n N, ai R .
i=0
47
Este conjunto forma un anillo cuando lo equipamos con la suma y producto habi-
tuales, definidas como sigue: sean
n
X m
X
i
P = ai x , Q= bj x j R[x],
i=0 j=0
entonces, si definimos ai = bj = 0 para todo i > n y j > m, tenemos

max(m,n) m+n i
!
X X X
P +Q= (ai + bi )xi , PQ = ak bik xi .
i=0 i=0 k=0
Un elemento P = ni=0 ai xi con an 6= 0 es un polinomio de grado n. El elemento

P
an se llama coeficiente dominante de P y el grado de P es denotado por deg(P ).
Observacion.
El polinomio 0R[X] no tiene grado (a veces se dice que tiene grado ).
Ejercicio. Demuestre que si R es unitario/conmutativo/DI, entonces R[x] tambien
lo es.
Proposicion 3.1.11. Sean P, Q R[x] polinomios de grados respectivos n y m.
Entonces
1. deg(P + Q) max(n, m).
2. deg(P Q) = n + m si R es un DI.
Teorema 3.1.12 (Division de polinomios). Sea F un cuerpo y P, P 0 F [x], con
P 6= 0. Entonces existen unicos polinomios Q, R F [x] tales que P 0 = P Q + R
con R = 0 o bien deg(R) < deg(P ).
Definicion 3.1.13. Los polinomios R y Q se llaman respectivamente resto y co-
ciente de la division de P 0 por P .
Demostracion. Demostraremos primero la existencia de Q y R y luego su unicidad.
Existencia. Si P 0 = 0 o deg(P 0 ) < deg(P ), entonces basta con tomar Q = 0 y

R = P 0 . Podemos suponer entonces que deg(P 0 ) deg(P ). La demostracion en
este caso es por induccion sobre deg(P 0 ).
Si deg(P 0 ) = 0, entonces deg(P ) = 0, es decir, P 0 = a y P = b para ciertos
a, b0 inF non nulos. Como F es un cuerpo, entonces existe b1 F y tenemos que
a = b(b1 a) + 0, por lo que Q = b1 a y R = 0 bastan.
Supongamos ahora, como hipotesis de induccion, que la existencia de Q y R esta
asegurada
Pn cuando deg(P 0 ) < n y P
supongamos que ahora deg(P 0 ) = n. Entonces
P = i=0 ai x con an 6= 0 y P = m
0 i i
i=0 bi x con bm 6= 0 y m = deg(P ) n.
48
Sea Q0 = an b1
m x
nm
. Entonces tenemos que
n
X m
X
0
P Q0 P = i
ai x an b1
m bi x
i+nm
i=0 i=0
n1
X m1
X
= an x + n i
ai x an b1
m bm x
m+nm
an b1
m bi x
i+nm
i=0 i=0
n1
X n1
X
= an x n an x n + ai x i an b1
m bin+m x
i
i=0 i=nm
n1
X
= ci x i ,
i=0
con ci = ai para 0 i < n m y ci = ai + an b1 m bin+m para i n m. En

particular, vemos que deg(P 0 Q0 P ) < n. Por ende, por hipotesis de induccion
P 0 Q0 P = Q1 P + R,
con R = 0 o deg(R) < deg(P ). Si definimos entonces Q = Q0 + Q1 , tenemos que
P 0 = Q0 P + Q1 P + R = QP + R,
con R = 0 o deg(R) < deg(P ), lo que prueba la existencia de Q y R. Luego, por el

principio de induccion completa, la existencia de Q y R esta asegurada para todo
polinomio P 0 .
Unicidad. Supongamos que podemos escribir P 0 = P Q + R = P Q1 + R1 con

R = 0 o bien deg(R) < deg(P ) y con R1 = 0 o bien deg(R1 ) < deg(P ). Supongamos
que Q1 6= Q. Entonces P (Q1 Q) = R R1 , con deg(R R1 ) < deg(P ).
Por otro lado, deg(P (Q1 Q)) = deg(P ) + deg(Q1 Q) deg(P ), lo que es
una contradiccion. Por lo tanto tenemos que Q1 = Q y entonces R1 = R, lo que
prueba su unicidad. ^

3.2. Subanillos, homomorfismos de anillos e ideales

Al igual que en el caso de los grupos, para los anillos tenemos una nocion de
homomorfismo, de subobjeto y de objeto cociente.
Definicion 3.2.1. Sea R un anillo. Un subanillo de R es un subconjunto S R

que es un subgrupo de (R, +) y que es cerrado para la multiplicacion, es decir, tal
que ab S para todo a, b S.
49
Ejercicio. Considere el conjunto C(R) de las funciones continuas de R en R.
Pruebe que es un anillo para la suma y multiplicacion de funciones. Sea S = {f
C(R) | f (2) = 0} C(R). Es S un subanillo?
Ejercicio. Encuentre al menos nueve subanillos unitarios de M2 (R).
Definicion 3.2.2. Sean R, R0 dos anillos. Una funcion f : R R0 se dice un
homomorfismo de anillos si, a, b R,
f (a + b) = f (a) + f (b) y f (a b) = f (a) f (b).
Si ademas f es biyectiva, decimos que f es un isomorfismo.
El nucleo de f , notado ker(f ), se define como la primagen de {0R0 } por f .
Observacion.
Todo homomorfismo de anillos f : R R0 induce un homomorfismo de grupos
abelianos (R, +) (R0 , +). En particular, ker(f ) es el nucleo de este morfismo de
grupos y es por ende un subgrupo.
Lema 3.2.3. Sea f : R R0 un homomorfismo de anillos. Entonces
1. f (0R ) = 0R0 ;
2. f (a) = f (a), a R;
3. f es inyectivo si y solo si ker(f ) = {0R };
4. si ademas R y R0 son unitarios y f es epiyectiva, entonces f (1R ) = 1R0 .
Demostracion. La primeras tres afirmaciones son una consecuencia directa de la
ultima observacion y de lo que sabemos en teora de grupos.
Finalmente, si f es epiyectiva, 1R0 = f (r) para algun r R. Luego
f (1R ) = f (1R ) 1R0 = f (1R ) f (r) = f (1R r) = f (r) = 1R0 .
^

Ejercicio. Pruebe que los anillos Z/4Z y Z/2Z Z/2Z no son isomorfos.
Ejercicio. Sea f : R R0 un isomorfismo de anillos. Pruebe que los grupos
(R, +) y (R0 , +) son isomorfos. Si ademas R y R0 son unitarios, pruebe que los
grupos (R , ) y (R0 , ) son isomorfos.
Cuando estudiamos grupos, aprendimos que para que el cociente G/H de un
grupo G tuviese una chance de heredar una estructura de grupo de G, el subgrupo
H tena que verificar ciertas condiciones adicionales al hecho de ser un subgrupo.
Fue as que definimos la nocion de subgrupo normal y descubrimos mas adelante
que todo nucleo de un homomorfismo de grupos es un subgrupo normal y viceversa.
En el mundo de los anillos, la situacion es bastante analoga, y pasa por la
siguiente definicion:
50
Definicion 3.2.4. Sea R anillo y sea I un subgrupo de (R, +). Decimos que:
I es un ideal por la izquierda de R si rI = {ry | y I} I para todo r R.
I es un ideal por la derecha de R si Ir = {yr | y I} I para todo r R.
I es un ideal o un ideal bilateral de R si I es un ideal por la izquierda y por

la derecha de R.
Si R es conmutativo, las tres nociones coinciden y hablamos sencillamente de un

ideal de R.
Observacion.
Dado el criterio para subgrupos (Proposicion 2.1.3), vemos que un criterio para
saber si I R es un ideal es que I sea cerrado por sustraccion (i.e. a b
I, a, b I) y por multiplicacion por elementos de R.
Ejercicio. Pruebe que todo ideal I de R es un subanillo de R.
Ejercicio. Encuentre ideales por la izquierda e ideales por la derecha de Mn (R).
Ejercicio. Sea R un anillo unitario y sea I un ideal de R.
1. Pruebe que, si 1R I, entonces I = R.
2. Pruebe que, si I contiene un elemento invertible, entonces I = R.
Proposicion 3.2.5. Sea R un anillo y sean I, J ideales de R. Entonces
I + J := {a + b | a I, b J},
I J,
Pn
IJ = { i=1 ai bi | ai I, bi J, n N},
son ideales de R.
Demostracion. Comencemos por I + J. Ya sabemos que I + J es un subgrupo si I

y J lo son. Sea x = a + b I + J con a I, b J y sea r R. Entonces
rx = r(a + b) = ra + rb I + J,
xr = (a + b)r = ar + br I + J,
por lo que r(I + J), (I + J)r I + J. Esto prueba que I + J es un ideal.
Ya sabemos que I J es un subgrupo si I y J lo son. Por otra parte, para

r R tenemos que r(I J) rI I y r(I J) rJ J, lo que prueba que
51
r(I J) I J. De la misma manera se prueba que (I J)r I J, por lo que
I J es un ideal.
Finalmente, sean xi = nj=1

P i
ai,j bi,j IJ con ai,j I, bi,j J, ni N e i = 1, 2.
Entonces
n1
X n2
X nX
1 +n2
x1 + x2 = a1,j b1,j + a2,j b2,j = aj bj IJ,

j=1 j=1 j=1
con aj = a1,j , bj = b1,j si 1 j n1 y aj = a2,jn1 , bj = b2,jn1 si n1 < j n1 + n2 .

Tambien tenemos
n1
X n1
X
x1 = a1,j b1,j = (a1,j )b1,j I + J,
j=1 j=1
ya que a1,j I y b1,j J. Esto prueba que IJ es un subgrupo de (R, +).

Finalmente, sea r R. Tenemos que
n1
! n1
X X
rx1 = r a1,j b1,j = (ra1,j )b1,j I + J,
j=1 j=1
n1
! n1
X X
x1 r = a1,j b1,j r= a1,j (b1,j r) I + J,
j=1 j=1
ya que a1,j , ra1,j I y b1,j , b1,j r J. Esto prueba qye IJ es un ideal. ^

Ejercicio. Que pasa con I J?
Veamos ahora que es precisamente el ideal quien juega el rol de subgrupo

normal en el mundo de los anillos. Dado un ideal I de un anillo R, podemos mirar
el grupo cociente R/I, el cual tiene una estructura de grupo natural heredada de R
(recuerde que todo subgrupo de un grupo abeliano es normal). Si queremos dotar a
R/I de una estructura de anillo compatible con la de R, teniendo ya una estructura
aditiva, no nos queda mas opcion que pedir
(a + I)(b + I) = ab + I,
para todo a, b R. Sin embargo,
(a + I)(b + I) = ab + aI + Ib + I 2 ,
por lo que es necesario pedir que aI, Ib I para todo a, b R. Y esto es preci-
samente lo que nos dice la definicion de ideal que acabamos de dar. Con esto ya
podemos definir el anillo cociente.
52
Definicion 3.2.6. Sea R un anillo e I un ideal de R. Entonces el cociente R/I =
{a + I | a R} es un anillo bajo las operaciones:
(a + I) + (b + I) = (a + b) + I,
y
(a + I)(b + I) = ab + I,
para todo a, b R.
Ejercicio. Sea f : R R0 un homomorfismo de anillos. Demuestre que ker(f ) es
un ideal de R. Es Im(f ) un ideal de R0 ? Hint: Insprese en lo que ocurre para los
grupos.
Observacion.
Sea R un anillo e I un ideal de R. Entonces la proyeccion canonica
: R R/I, a 7 a + I,
es un epimorfismo de nucleo I.
Al igual que para los grupos, tenemos los diversos teoremas de correspondencia y
de isomorfismo (donde los isomorfismos son isomorfismos de anillos), de los cuales
no daremos la demostracion en estas notas, pero pueden ser demostrados como
ejercicio.
Teorema 3.2.7. Sea R un anillo e I un ideal de R. Entonces los ideales de R/I
estan en correspondencia biunvoca con los ideales J de R tales que I J.
Teorema 3.2.8. Sea f : R R0 un homomorfismo de anillos. Entonces R/ ker(f )
=
Im(f ).
Teorema 3.2.9. Sea R un anillo y sean I, J ideales de R. Entonces (I + J)/J
=
I/(I J). Si ademas I J, entonces R/J
= (R/I)/(J/I).
3.3. Ideales principales, primos y maximales

Definicion 3.3.1 (Conjuntos generadores). Sea R un anillo conmutativo unitario
y sea S R un subconjunto. Entonces
( n )
X
hSi := ri si | ri R, si S ,
i=1
es un ideal de R llamado ideal generado por S. Los s S se llaman generadores

de hSi. Si hSi = R, se dice entonces que R esta generado (como anillo) por S.
En el caso en que I este generado por un solo elemento c, se dice que I = hci
es un ideal principal de R.
53
Ejercicio. Demuestre que hSi es realmente un ideal. Demuestre tambien que
\
hSi = I,
SIR
donde I recorre los ideales de R que contienen a S.

Ejercicio. Demuestre que el ideal hx, 2i Z[x] no es principal.
Ejercicio. Usando la division de polinomios, pruebe que todo ideal del anillo F [x],
con F un cuerpo, es principal.
Ejercicio. Pruebe que todo ideal de Z es principal.
Definicion 3.3.2. Sea R un anillo conmutativo. Un ideal P ( R se dice un ideal
primo de R si cumple con la siguiente propiedad:
a, b R, ab P a P o b P.
Ejercicio. Sea R un anillo conmutativo unitario y sea P un ideal de R. Pruebe
que P es un ideal primo de R si y solo si el anillo cociente R/P es un dominio de
integridad.
Observacion.
En un dominio de integridad, {0} es un ideal primo.
Definicion 3.3.3. Sea R un anillo. Un ideal M ( R se dice un ideal maximal
de R si no existe un ideal I de R tal que M ( I ( R. Esto equivale a decir que
M I I = M o I = R.
Lema 3.3.4. Sea R un anillo unitario. Entonces todo ideal I ( R esta contenido
en un ideal maximal.
Demostracion. Usaremos el Lema de Zorn. Sea S el conjunto de los ideales propios
de R que contienen a I. Entonces S 6= pues I S. Ordenemos S por laS inclusion.
Sea C una cadena, o subconjunto totalmente ordenado, en S. Sea H = AC A la
union de todos los ideales en C. Demostraremos que H es un ideal proprio de R.
Notemos que obviamente H 6= ya que contiene a los ideales en C. Sean a, b H
y sea r R. Por definicion, existen ideales A, B C tales que a A y b B.
Como C es una cadena, tenemos que o bien A B, o B A. En ambos casos
vemos entonces que a b H y H es cerrado bajo sustracciones. Tambien vemos
que ra, ar A H y por ende H es cerrado bajo multiplicacion por elementos de
R. Por ultimo, 1 6 H, ya que de lo contrario existira un ideal A C tal que 1 A
y entonces A = R, lo que es una contradiccion.
Luego cada cadena C tiene una cota superior en C que corresponde a la reunion
de todos sus ideales. El Lema de Zorn nos dice entonces que S tiene elementos
maximales. Cualquiera de ellos es entonces un ideal maximal que contiene a I. ^
54
Ejercicio. Sea R un anillo conmutativo unitario y sea M un ideal de R. Pruebe
que M es maximal si y solo si el anillo cociente R/M es un cuerpo.
Ejercicio. Demuestre que, en un anillo conmutativo unitario, todo ideal maximal

es un ideal primo.
3.4. Ideales radicales, nilradical y radical de Jacobson

Los objetos definidos en esta seccion no son particularmente importantes para
lo que sigue, por lo que nos limitaremos a dar las definiciones y sus propiedades
seran propuestas como ejercicio para entrenarse con la nocion de ideal.
Definicion 3.4.1. Sea R un anillo conmutativo. Un elemento x R se dice nilpo-

tente si xn = 0 para algun n N. Definimos el nilradical N(R) como el conjunto
de los elementos nilpotentes de R.
Ejercicio. Pruebe que N(R) es un ideal de R. Hint: use el binomio de Newton

para probar que es cerrado para la suma.
Ejercicio. Demuestre que N(R/N(R)) = {0R/N(R) }.
Ejercicio. Sea M un ideal maximal de R. Pruebe que N(R) M .
Definicion 3.4.2. Sea R un anillo conmutativo y sea I un ideal de R. Definimos

el radical de I como el conjunto
rad(I) := {x R | xn I, para algun n N}.
Un ideal tal que rad(I) = I es llamado un ideal radical.
Ejercicio. Pruebe que:
rad(I) es un ideal de R que contiene a I;
rad(rad(I)) = rad(I);
rad(I)/I = N(R/I).
Ejercicio. Sea R un anillo conmutativo. Pruebe que todo ideal primo de R es

radical.
Ejercicio. Sea n N y consideremos el anillo Z/nZ. Pruebe que {0} es un ideal

radical si y solo si n es un producto de numeros primos distintos (esto es, sin
potencias de primo). Deduzca que nZ es un ideal radical de Z si y solo si n es un
producto de primos distintos.
55
Dado uno de los ejercicios mas arriba, los elementos del nilradical puede ser vis-
tos como elementos que nunca apareceran en un cuerpo cociente de R. El conjunto
de todos aquellos elementos resulta tener un interes propio cuando uno estudia los
modulos simples de un anillo dado. Esto justifica la definicion siguiente:
Definicion 3.4.3. Sea R un anillo conmutativo y sea I un ideal de R. Definimos

Jac(I) como la interseccion de todos los ideales maximales de R que contienen a
I. En particular, Jac({0}) es la interseccion de todos los ideales maximales de R y
es llamada radical de Jacobson de R.
Ejercicio. Pruebe que Jac(I) es un ideal de R que contiene a I y a rad(I). Pruebe

ademas que se trata de un ideal radical.
Ejercicio. Pruebe que el radical de Jacobson de R/I es la imagen de Jac(I) en

R/I.
Ejercicio. Sea n N. Describa el ideal Jac(nZ) de Z en funcion de la factorizacion

de n en numeros primos.
3.5. Teorema chino de los restos

La version que conocemos del teorema chino de los restos dice que el grupo
aditivo Z/mZ Z/nZ es isomorfo a Z/mnZ si y solo si m y n son coprimos.
Sabiendo que todo ideal de Z es principal y por ende de la forma nZ para algun
n N, podemos reinterpretar este teorema como un resultado sobre el anillo Z y
sus cocientes por un ideal I = nZ, un ideal J = mZ y el ideal IJ = mnZ. Esto
nos lleva a la siguiente generalizacion del resultado:
Teorema 3.5.1. Sea R un anillo conmutativo unitario y sean A1 , . . . , An ideales

de R. Supongamos que, para cada i, j {1, . . . , n} con i 6= j, se tiene que Ai y Aj
son comaximales, es decir, Ai + Aj = R. Entonces la funcion
: R R/A1 R/An ,
a 7 (a + A1 , . . . , a + An ),
es un homomorfismo epiyectivo de anillos de nucleo ni=1 Ai . En particular,

Q
R/(A1 A2 An ) ' R/A1 R/An .
Observacion.
El homomorfismo tiene
T sentido para cualquier conjunto de ideales T A1 , . . . ,Q
An y su
nucleo es claramente ni=1 Ai , por lo que el teorema nos dice que ni=1 Ai = ni=1 Ai
para ideales dos a dos comaximales.
56
Demostracion. Usaremos induccion sobre n, por lo que debemos demostrar primero
el caso n = 2. Consideremos la funcion del enunciado en este caso que claramente
es un homomorfismo. Para r R, anotemos r1 su imagen en R/A1 y r2 su imagen
en R/A2 . As, tenemos que (r) = (r1 , r2 ).
Ahora, como A1 + A2 = R, podemos escribir 1 = a1 + a2 para ciertos ai Ai
con i = 1, 2. Por lo tanto,
(a1 ) = (a11 , a21 ) = (01 , 12 ),
ya que a1 = 1a2 con a2 A2 . De forma similar, tenemos que (a2 ) = (11 , 02 ). Sea
entonces (r11 , r22 ), con r1 , r2 R, un elemento arbitrario de R/A1 R/A2 . Entonces
el elemento r2 a1 + r1 a2 R es tal que
(r2 a1 + r1 a2 ) = (r2 a1 ) + (r1 a2 ) = (r2 )(a1 ) + (r1 )(a2 )

= (r21 , r22 )(01 , 12 ) + (r11 , r12 )(11 , 02 ) = (r11 , r22 ).
Esto prueba que es epiyectiva.

Finalmente, siempre se tiene que A1 A2 A1 A2 = ker(). Pero como 1 =
a1 + a2 , para todo c A1 A2 tenemos que
c = c 1 = ca1 + ca2 = a1 c + ca2 A1 A2 .
Luego A1 A2 A1 A2 y por ende R/(A1 A2 ) ' R/A1 R/A2 . Con esto tenemos
el teorema para n = 2.
Supongamos ahora el teorema demostrado para n ideales y sean A1 , . . . , An+1

ideales dos a dos comaximales de R, es decir, tales que Ai +Q Aj = R para todo
par i 6= j. Consideremos ahora los ideales A = A1 y B = n+1 i=2 Ai de R. Por
hipotesis de induccion sabemos que B es el nucleo del homomorfismo epiyectivo
R R/A2 R/An+1 y por ende
R/B R/A2 R/An+1 ,

r + B 7 (r + A2 , . . . , r + An+1 ),
es un isomorfismo. Si probamos entonces que A + B = R, entonces

Qn+1 la demostracion
que acabamos de dar para dos ideales nos dara que AB = i=1 Ai es el nucleo de
la aplicacion
R R/A R/B ' R/A1 R/A2 R/An+1

r 7 (r + A, r + B) 7 (r + A1 , r + A2 , . . . , r + An+1 ),
por lo que
R/(A1 A2 An+1 ) = R/AB ' R/A R/B ' R/A1 R/A2 R/An+1 ,
57
lo que concluira la demostracion.
Por lo tanto, falta probar que si A1 + Ai = R para todo 2 i n + 1, entonces
A + B = R. Para cada i = 2, . . . , n + 1 tenemos entonces elementos xi A1 = A e
yi Ai tales que xi + yi = 1. Considerando el producto
n+1
Y n+1
Y
1= 1= (xi + yi ),
i=2 i=2
podemos notar que, aparte de y2 y3 yn+1 , todo elemento que sale de este producto
pertenece a A ya que es un multiplo de algun xi A. Por ende, 1 A + B, lo que
implica que R = A + B, concluyendo la demostracion. ^

Habiendo demostrado este teorema, podemos recuperar el teorema chino de los

restos en su version clasica, y un poco mas.
Corolario 3.5.2. Si m = pn1 1 pns s es un entero positivo con pi 6= pj si i 6= j y
ni > 0 para cada i, entonces tenemos un isomorfismo de anillos
Z/mZ ' Z/pn1 1 Z Z/pns s Z.
En particular, tenemos el siguiente isomorfismo de grupos multiplicativos
(Z/mZ) ' (Z/pn1 1 Z) (Z/pns s Z) .
Ejercicio. Escriba (Z/200Z) como producto de grupos cclicos.
Ejercicio. Pruebe que (Z/nZ) es cclico si y solo si n = 2, 4 o n = 2pm con p
primo impar y m N. Hint: Para p primo impar, (Z/pm Z) es cclico. Asuma esto
o demuestrelo si se siente motivado.
3.6. Cuerpo de fracciones de un dominio de integridad

Dado un dominio de integridad R, construiremos un cuerpo Q(R) llamado cuer-
po de fracciones (o de cocientes) de R, de la misma forma en la que uno construye
Q a partir de Z.
Sea R un DI. Consideremos el conjunto

R (R r {0}) = {(a, b) | a, b R, b 6= 0},
y definamos la siguiente relacion
(a, b) (c, d) ad = bc.
La relacion es una relacion de equivalencia, lo que nos da una particion de
R (R r {0}) en clases de equivalencia. La clase de (a, b) corresponde entonces al
conjunto
{(x, y) R (R r {0}) | ay = cx}.
58
Definicion 3.6.1. Sean R y como aca arriba. Una fraccion ab es la clase de
equivalencia de la dupla (a, b).
El cuerpo de fracciones Q(R) de R es el conjunto cociente R/ , es decir el
conjunto de clases de equivalencia de , equipado con la suma
a c ad + bc
+ = ,
b d bd
y la multiplicacion
a c ac
= .
b d bd
Observacion.
Por mera definicion, tenemos que
a c
= (a, b) (c, d) ad = bc.
b d
Proposicion 3.6.2. Sea R un DI. Entonces las operaciones (+, ) estan bien de-
finidas sobre Q(R) y hacen de el un cuerpo.
Demostracion. La demostracion del hecho que (+, ) estan bien definidas (es decir,
no dependen de la eleccion de la pareja (a, b) que representa la fraccion) es un
ejercicio ^
Notese en todo caso que la tanto la suma como la multiplicacion caen efectiva-
mente en Q(R) ya que bd 6= 0 si b 6= 0 y d 6= 0. Es aqu donde se usa que R es un
DI.
El neutro aditivo de Q(R) es 01 (o 0r para cualquier r R) y el inverso de ab es
a
b
. El neutro multiplicativo es 11 (o rr para cualquier r R no nulo) y el inverso
de ab 6= 0Q(R) es ab . Todo esto, al igual que las asociatividades, conmutatividades y
distributividades, se verifica de forma inmediata y es dejado como ejercicio ^ ^
Y de la misma forma en que podemos ver Z como un subanillo de Q, tenemos

el siguiente resultado:
Proposicion 3.6.3. Sea R un DI. Entonces la aplicacion
r
: R Q(R) : r 7 ,
1
es un homomorfismo de anillos inyectivo.
Demostracion. Verificar que es un homomorfismo es un calculo directo:
r+s r s
(r + s) = = + = (r) + (s),
1 1 1
rs r s
(rs) = = = (r) (s).
1 1 1
Para verificar la inyectividad, supongamos que (r) = 0Q(R) = 10 . Esto quiere decir
que 1r = 01 , lo que ocurre solo si r 1 = 0 1, es decir, solo si r = 0. ^
59
Notacion. De ahora en adelante omitiremos la notacion de esta inclusion canonica
de R en Q(R) y nos permitiremos el ver R como un subconjunto de Q(R), de la
misma manera en que uno ve Z como un subconjunto de Q.
El cuerpo de fracciones de R es el mas pequeno cuerpo en el cual uno puede
insertar R y su estructura esta completamente definida por la de R. Esto se ve de
forma explcita con el siguiente teorema:
Teorema 3.6.4. Sean R, R0 dos dominios de integridad y sea : R R0 un
isomorfismo. Sea F un cuerpo que contiene a R0 . Entonces se extiende de una
unica manera a un homomorfismo inyectivo : Q(R) F (es decir (r) =
(r) para todo r R Q(R)). En particular, si F = Q(R0 ), entonces es un
isomorfismo.
Demostracion. Como F es un cuerpo, todo elemento de R0 admite un inverso
multiplicativo en F , lo que nos permite definir : Q(R) F de la siguiente
manera: para a, b R, a
= (a)(b)1 F.
b
Esto esta bien definido, ya que
a c
= ad = bc
b d
(ad) = (bc)
(a)(d) = (b)(c)
(a)(b)1 = (c)(d)1
a c
= .
b d
Esto nos prueba de paso que es inyectiva. Ademas,
r
(r) = ( ) = (r)(1)1 = (r) 11 = (r),
1
por lo que extiende . Finalmente, se trata de un homomorfismo ya que
a c
ad + bc
+ =
b d bd
= (ac + bd)(bd)1
= [(a)(c) + (b)(d)](b)1 (d)1
= (a)(d)(b)1 (d)1 + (c)(b)(b)1 (d)1
= (a)(b)1 + (c)(d)1
a c
= + .
b d
60
a c ac
= = (ac)(bd)1 = (a)(c)(d)1 (b)1
b d bd a c
1 1
= (a)(b) (c)(d) = .
b d
En el caso particular en que F = Q(R0 ), vemos claramente que, para r, s R0 y
para a, b R tales que (a) = r y (b) = s,
r a
= rs1 = (a)(b)1 = ,
s b
lo que prueba la epiyectividad de .
Por ultimo, para probar que es unica, notemos que toda funcion que verifica
el enunciado es tal que
a 1 ! a b 1
a1 a b
= = = = (a)(b)1 ,
b 1b 1 1 1 1
lo que prueba que no tenamos mas opcion que definir de esta manera. ^

Del teorema se deducen los dos siguientes corolarios:

Corolario 3.6.5. Todo cuerpo que contiene a R contiene a Q(R).
Corolario 3.6.6. Dos cuerpos de cocientes de un dominio de integridad R son
canonicamente isomorfos.
3.7. Dominios euclideanos

Acabamos de fabricar un cuerpo de cocientes a partir de un DI de la misma
forma en que fabricamos Q a partir de Z. Esta construccion es una consecuencia
natural del hecho de que en Z no siempre podemos dividir. Es por esto tambien
que tenemos la nocion de divisibilidad de un elemento por otro. Repasemos pues
estas nociones clasicas en Z en el marco general de los dominios de integridad.
Definicion 3.7.1. Sea R un DI y sean m, n R. Se dice que m divide a n, o que
m es un divisor de n, o que n es un multiplo de m, y se anota m|n si existe t R
tal que n = mt. En particular, m|n hni hmi.
Continuando con las ideas de division, ya vimos que, al igual que en Z, el
anillo de polinomios sobre un cuerpo F posee una nocion de division con resto
menor que el divisor. Es la existencia de este resto menor que el divisor la
que permite un algoritmo de division con el que se demuestran resultados como el
teorema de Bezout. A una tal division se le llama division euclideana y los anillos
que la poseen son llamados euclideanos tambien. Para dar una definicion precisa,
necesitamos introducir una nueva nocion que traduzca la intuicion de menor
(como | | en Z y deg en F [x]).
61
Definicion 3.7.2. Sea R un dominio de integridad. Una funcion N : R N {0}
con N (0) = 0 se llama una norma. Si N (a) > 0 para todo a 6= 0, se dice que N es
una norma positiva.
Ejemplo 3.7.3. El valor absoluto | | es una norma positiva en Z. En Z[i] =
{a + bi C | a, b Z}, el cuadrado delmodulo, |z|2 = z z, es una norma positiva
(pero no el modulo, ya que |1 + i| = 2 6 Z). Si convenimos que deg 0 = 1,
entonces la funcion deg +1 es una norma positiva en F [x] para F un cuerpo.
Definicion 3.7.4. Un dominio de integridad R se dice un dominio euclideano si
existe una norma N sobre R tal que, para todo a, b R con b 6= 0, existen q, r R
tales que
a = bq + r, con r = 0 o N (r) < N (b).
Ejemplo 3.7.5. Z provisto de N (a) = |a| es un dominio euclideano.
Ejemplo 3.7.6. F [x] provisto de N (P ) = deg(P ) + 1 es un dominio euclideano
para F un cuerpo.
Ejercicio. Pruebe que Z[i] provisto de N (z) = |z|2 = z z es un dominio euclideano.
La division euclideana permite controlar bastante bien la estructura de los
ideales de un dominio euclideano va la norma.
Proposicion 3.7.7. Todo ideal de un dominio euclideano R es principal. Mas
precisamente, si I es un ideal de R entonces I = hdi para cualquier d I de
norma mnima.
Demostracion. Si I = {0}, entonces I = h0i y 0 claramente tiene norma mnima.
Si no, sea I 6= {0} y sea d 6= 0 un elemento de I de norma mnima. Un tal elemento
d existe ya que N (I) es un subconjunto de N y este ultimo tiene un buen orden.
Tenemos entonces que hdi I y queremos demostrar que I hdi. Sea ahora
a I. Como R es euclideano, existen q, r R tales que a = dq + r con r = 0 o
N (r) < N (d). Ahora bien, sabiendo que a I y d I, tenemos que r = a dq I.
Pero como d es de norma mnima, la unica opcion valida es que r = 0, lo que implica
que a = dq hdi y por ende I hdi, lo que prueba que I = hdi. ^
Corolario 3.7.8. Todo ideal en Z, en Z[i] o en F [x] con F un cuerpo, es principal.

Ejemplo 3.7.9. Consideremos
el subanillo Z[ 5] = {a + b 5 | a, b Z} de C
y su ideal I = h3, 2 5i. Este ideal no es principal, por lo que Z[ 5] no es
euclideano.
En efecto, para este anillo podemos definir una norma usando la misma norma
compleja que usamos para Z[i]:

N (a + b 5) = (a + b 5)(a 5) = a2 + 5b2 .
62
El problema es que para esta norma no existen necesariamente los q, r R pedidos
por la definicion de un anillo euclideano. Y podemos usar esta misma norma para
demostrarlo como sigue:
Notemos primero que, como se trata de la norma compleja (al cuadrado), te-
nemos que N (xy) = N (x)N (y). Pero como esta toma valores en Z y es positiva,
si N (x) = 1, es decir, si y solo si x = 1.
vemos que x es invertible si y solo
Supongamos que I = ha + b 5i con a 6= 0 o b 6= 0. Entonces existen x, y Z
tales que

3 = x(a + b 5),

2 5 = y(a + b 5).
Esto nos dice que

9 = N (3) = N (x)N (a + b 5) = N (x)(a2 + 5b2 ).
Como a2 + 5b2 > 0, tenemos que su valor puede ser 1, 3 o 9. Ahora, una inspeccion
rapida de los valores nos dice que no podemos
obtener 3 con a, b Z.
Si a2 + 5b2 = 1, tenemos que N (a + b 5) = 1, lo que implica que
a + b 5 =
1 como ya vimos antes. Esto nos dice queexisten z, w Z[ 5] tales que
1 = 3z + (2 5)w. Multiplicando por 2 + 5, tenemos que

2 + 5 = 3z(2 + 5) + w(4 + 5) = 3[z(2 + 5) + 3w],

es decir, 2 + 5 es un multiplo de 3 en R. Esto es una contradiccion ya que los
multiplos de 3 son claramente de la forma 3c + 3d 5 con c, d Z.
Si a2 + 5b2 = 9, tenemos entonces que N (x) = 1 y por ende x = 1, por lo que
3 = (a + b 5) y finalmente 2 5 = y(3), lo que es una contradiccion por
la misma razon que antes.
3.8. Dominios de ideales principales

Como ya vimos, todo ideal de un dominio euclideano es principal. Un anillo
que posea esta propiedad merece un nombre propio.
Definicion 3.8.1. Un dominio de ideales principales (o DIP) es un dominio de

integridad R tal que todo ideal I R es principal.
Ejemplo 3.8.2. Todo dominio euclideano es principal. En particular, Z, Z[i] y

F [x] con F cuerpo sondominios de ideales principales.
Como ya vimos, Z[ 5] no es un dominio de ideales principales.
63
Observacion.
Existen ejemplos de dominios de ideales principales que no son dominios eucli-
1+ 19
deanos. Uno de los mas simples es Z[ 2 ]. Demostraremos este hecho luego de
haber introducido los dominios de factorizacion unica mas abajo.
En los dominios de ideales principales es comun el ver los ideales como meros
elementos del anillo. Las nociones de multiplo y divisor que definimos antes se
traducen entonces en propiedades de contencion de un ideal en otro. Sin embargo,
no todo es traducible de forma inmediata: la suma I + J de dos ideales principales
I, J no es en ningun caso el ideal generado por la suma de los generadores. Refle-
xionando un poco en las propiedades que verifica I + J con respecto a I y J, se
obtiene la siguiente definicion.
Definicion 3.8.3. Sea R un dominio de ideales principales y sean m, n R. Un

generador de I = hmi + hni (que es principal) se llama un maximo comun divisor
de m y n y es notado mcd(m, n) o simplemente (m, n) cuando la notacion no da
para confusion.
Notese que el elemento que obtenemos de esta manera no es necesariamente

unico. De hecho:
Proposicion 3.8.4. Sea R un dominio de integridad. Sean a, b R r {0} tales

que hai = hbi. Entonces existe una unidad u R tal que b = ua. En particular,
dos maximos comunes divisores difieren en una unidad de R.
Demostracion. Tenemos que hai = hbi, por lo que a = tb para algun t R. De la

misma manera, b = sa para algun s R. Esto nos dice que a = tb = tsa, por ende
a(1 ts) = 0, lo que nos dice que 1 ts = 0 ya que a 6= 0 y R es un DI. Por ende
ts = 1 y s es invertible. ^
Notese tambien que la nocion de mcd realmente significa lo que su nombre dice:
Proposicion 3.8.5. Sea R un dominio de ideales principales y sean m, n R.

Entonces d = mcd(m, n) si y solo si las dos propiedades siguientes se verifican
d|m y d|n;
d0 |m y d0 |n d0 |d.
Demostracion. Sea I = hmcd(m, n)i = hmi + hni. Esta claro que mcd(m, n)|m y
mcd(m, n)|n ya que I hmi e I hni por definicion de la suma de ideales. Por
otra parte, sabemos que hmi + hni es el ideal mas pequeno que contiene a hmi y
hni. Es decir, para todo ideal K = hd0 i tal que K hmi y K hni, tenemos que
K I, lo que equivale a la segunda propiedad.
64
En el sentido opuesto, la primera propiedad indica que hdi contiene a hmi y
a hni. por lo que contiene a hmi + hni. La segunda asegura que se trata del mas
pequeno que cumple esto, por lo que hdi = hmi + hni y d es entonces un maximo
comun divisor. ^

Observacion.
Podramos perfectamente haber definido un maximo comun divisor de m y n como
un elemento que verifica las dos propiedades del enunciado y luego demostrar que,
en un dominio de ideales principales, un elemento d es mcd(m, n) si y solo si
hdi = hmi + hni. Una vez dada la proposicion, da absolutamente lo mismo.
Habiendo definido el mcd, intentemos darle un sentido al mcm con esta segunda
forma de ver las cosas.
Definicion 3.8.6. Sea R un anillo conmutativo unitario y sean a, b R elementos
no nulos. Un mnimo comun multiplo de a y b es un elemento c R tal que las dos
propiedades siguientes se verifican
a|c y b|c;
a|c0 y b|c0 c|c0 .
Ejercicio. Sea R anillo conmutativo unitario y sean a, b elementos no nulos de R.
1. Pruebe que un mnimo comun multiplo de a y b existe si y solo si hai hbi
es un ideal principal de R.
2. Deduzca que dos elementos no nulos cualesquiera en un dominio de ideales
principales tienen un mnimo comun multiplo que es unico salvo multiplica-
cion por una unidad.
3. Pruebe que en un dominio de ideales principales el mnimo comun multiplo
ab
de a y b es mcd(a,b) .
Continuando con la analoga entre divisibilidad en ideales principales y divi-
sibilidad en sus generadores, veamos lo que se obtiene como generador de ideales
primos (que ya definimos para todo anillo conmutativo). Una mera traduccion de
la definicion de los ideales primos nos dice que:
Proposicion 3.8.7. Sea I = hpi un ideal principal primo. Entonces
a, b R, p|ab p|a o p|b.
Esto no es nada mas que una generalizacion del lema de Gauss! Otra forma de
ver los numeros primos, es como numeros minimales en terminos de divisibilidad
(i.e. no tienen numeros no triviales que los dividan). En terminos de ideales, esto
se traduce por
65
Proposicion 3.8.8. Sea R un dominio de ideales principales. Entonces todo ideal
primo no nulo es un ideal maximal.
Demostracion. Sea P = hpi un ideal primo de R. Luego P 6= R, por lo que existe
un ideal maximal M = hmi de R tal que P M . Esto implica que p = tm para
algun t R y por ende tm P . Pero como P es primo, tenemos que t P o
m P.
Si t P = hpi, entonces t = rp y luego p = tm = rpm, de donde p(1 rm) = 0.
Como p 6= 0 y R es un DI, obtenemos que rm = 1 y entonces m R y M = R.
Contradiccion. Luego m P , lo que nos dice que M P y por ende M = P . ^
Algoritmo para encontrar un mcd en un dominio euclideano

Sean m, n 6= 0 elementos de un dominio euclideano R. Iterando la propiedad
de division euclideana tenemos:
m = q0 n + r0 , con r0 = 0 o N (r0 ) < N (n);
n = q1 r0 + r1 , con r1 = 0 o N (r1 ) < N (r0 );
r0 = q2 r1 + r2 , con r2 = 0 o N (r2 ) < N (r1 );
r1 = q3 r2 + r3 , con r3 = 0 o N (r3 ) < N (r2 );
.. ..
. .
ri1 = qi+1 ri + ri+1 , con ri+1 = 0 o N (ri+1 ) < N (ri ).
Este proceso debe terminar en algun momento con un resto ri = 0 ya que N tiene
valores en N {0}, que es un conjunto bien ordenado.
Proposicion 3.8.9. Usando el algoritmo anterior, el ultimo resto no nulo que se
obtiene es un maximo comun divisor de m y n.
Demostracion. Sea I = hmi + hni. Como r0 = m q0 n, tenemos que r0 I.
Ademas r1 = n q1 r0 , por lo que r1 I. Notando de la misma manera que
ri+1 = ri1 qi+1 ri , vemos por induccion que ri I para todo i N.
Sea rt el ultimo resto no nulo. Entonces que rt1 = qt+1 rt , por lo que rt1 hrt i.
Como rti = qt(i2) rt(i1) + rt(i2) , por induccion nuevamente obtenemos que
rti hrt(i1) i para todo i t. En particular, vemos que r0 , r1 hrt i y as
n = q1 r0 + r1 hrt i y m = q0 n + r0 hrt i. Por lo tanto I = hrt i. ^
Observacion.
De la proposicion anterior deducimos tambien que que, si rt es el ultimo resto
no nulo, entonces existen a, b R tales que rt = am + bn. Estos elementos a, b
se pueden calcular de forma explcita usando las ecuaciones del algoritmo, de la
misma manera que uno suele hacerlo para Z.
Ejercicio. Encuentre un mcd(372, 69) Z y expreselo en la forma 372a + 69b.
66
3.9. Dominios de factorizacion unica
Continuando con la generalizacion de los fenomenos que ocurren en Z a otros
anillos, uno puede preguntarse que es lo que ocurre con respecto al teorema funda-
mental de la aritmetica. Este teorema nos asegura que todo numero puede escribirse
de forma unica como producto de numeros primos (salvo una unidad, es decir, sal-
vo 1). Si bien ya generalizamos la nocion de primo al pasar de pZ a la nocion
de ideal primo, ahora quisieramos obtener una nocion de elemento primo.
3.9.1. Elementos primos y elementos irreducibles

Existen dos formas de obtener una nocion de elemento primo. Una consiste
en emular nuestra definicion para ideales, la cual se basa en el Lema de Gauss
(propiedad que solo verifican los numeros primos); la otra consiste en partir de la
definicion clasica en Z (divisible por 1 y s mismo). Comencemos ante todo
con una definicion que reemplazara al que aparece en todas estas definiciones.
Definicion 3.9.1. Sea R un anillo conmutativo unitario. Dos elementos a, b R

se dicen asociados si a = ub con u R .
Observacion.
Ser asociado de es una relacion de equivalencia en R.
Definicion 3.9.2. Sea R un anillo conmutativo unitario. Sea p R un elemento

no invertible y no nulo. Se dice que p es un elemento primo si:
a, b R, p|ab p|a o p|b.
Se dice que p es un elemento irreducible en R si
a, b R, p = ab a R o b R .
De estas definiciones, se deducen las siguientes propiedades. La ultima de ellas

justifica la definicion de irreducible como la generalizacion de la definicion de primo
en Z.
Proposicion 3.9.3. Sea R un dominio de integridad. Sea p R un elemento no

invertible y no nulo. Entonces:
1. p es primo en R si y solo si hpi es un ideal primo de R;
2. p es irreducible en R si y solo si hpi es un ideal maximal entre los ideales

principales propios de R.
3. Si p es primo, entonces es irreducible en R.
67
4. Si R es un dominio de ideales principales, entonces p es primo si y solo si es
irreducible en R.
5. Todo asociado de un elemento irreducible (resp. primo) es irreducible (resp. pri-

mo).
6. Los unicos divisores de un elemento irreducible en R son sus asociados y las

unidades de R.
Demostracion. Demostremos las propiedades en orden:
1. Esto sigue directamente de la definicion de divisibilidad.
2. Supongamos que p es irreducible. Sea hai un ideal principal de R tal que

hpi hai R. Como p hai, existe un elemento b R tal que p = ab.
Como p es irreducible, o bien a R o b R . Si a R , entonces hai = R.
Si no, b R y entonces a = pb1 , por lo que a hpi y luego hai = hpi. Esto
implica que hpi es maximal entre los ideales principales de R.
Recprocamente, supongamos que hpi es un ideal maximal entre los ideales
principales de R y supongamos que p = ab. Tenemos entonces que p hai
por lo que hpi hai. Por hipotesis, tenemos entonces que o bien hai = hpi,
o bien hai = R. En el primer caso vemos que a = cp, por lo que p = bcp y
entonces p(1 bc) = 0. Como p 6= 0 y R es un DI, tenemos que bc 1 = 0
y entonces b R . En el caso contrario, vemos inmediatamente que a R .
Esto prueba que p es irreducible.
3. Supongamos que p es primo y que p = ab. Entonces tenemos que p|a o p|b.
Si p|a, vemos que a = pt para algun t T , lo que nos dice que p = ab = ptb
y deducimos como antes que tb = 1 y que b R . De la misma manera, si
p|b obtenemos que a R , lo que prueba que p es irreducible.
4. Supongamos ahora que R es un dominio de ideales principales. Debemos

demostrar que todo elemento p irreducible es primo. Ahora, ya demostramos
que hpi es un ideal maximal entre todos los ideales principales de R. Como
todo ideal de R es principal, tenemos que hpi es un ideal maximal de R, por
ende un ideal primo de R, lo que prueba que p es primo.
5. Sea p un elemento y sea q = up un asociado (es decir, u R ). Como

p = u1 q, vemos inmediatamente que hpi = hqi, por lo que los dos primeros
resultados del enunciado nos dicen que p es primo/irreducible si y solo si q
es primo/irreducible.
6. Los divisores de un elemento irreducible p son los a R tales que p hai,

es decir, tales que hpi hai. Dada la maximalidad de hpi, tenemos que o
68
bien hai = hpi y entonces a es un asociado de p (ya que R es un DI) o bien
hai = R y entonces a R .
^

Observacion.
Consideremos el dominio de integridad R = Z[ 5]. Entonces 3 es un elemento
irreducible que no es primo. En efecto, sea 3 = xy con x, y R. Entonces 9 =
N (3) = N (x)N (y), por lo que N (x) es igual a 1, 3 o 9. Si N (x) = 1, entonces
x R . Si N (x) = 9, entonces N (y) = 1 e y R . Por ultimo, no se puede
tener que N (x) = 3 ya que N (a + b 5) = a2 + 5b2 con a, b Z, por lo que una
inspeccion rapida de los valores de a y b nos dicen que es imposible. Esto nos dice
que x R o y R , por lo que 3 es irreducible
en R.
Sinembargo, 3 no es primo ya que (2 + 5)(2 5)= 9 = 32 . Por ende
3|(2 + 5)(2 5) pero 3 no divide a 2 + 5 ni a 2 5.
Ejercicio. Sea F un cuerpo y considere el anillo de polinomios F [x]. Pruebe que
F [x] consiste en los polinomios constantes no nulos. Deduzca la definicion de
polinomio irreducible y pruebe que todo polinomio de grado 1 es irreducible.
3.9.2. Dominios de factorizacion unica.

Habiendo definido la nocion de elemento irreducible, la cual generaliza los nume-
ros primos, podemos definir aquellos anillos que verifican el teorema fundamental
de la aritmetica.
Definicion 3.9.4. Sea R un dominio de integridad. Se dice que R es un dominio
de factorizacion unica (o DFU) si cada elemento no nulo y no invertible a R
tiene las siguientes propiedades:
1. a = p1 ps , con pi irreducible en R para todo i.
2. La descomposicion es unica para cada a salvo asociados. Es decir, si a =
q1 qt es otra descomposicion en irreducibles, entonces s = t y existe una
permutacion St de los ndices tal que pi y q(i) son asociados.
Observacion.
La definicion no pide que los pi sean distintos entre s. Si quisieramos dar una
definicion en la que reunimos los irreducibles en potencias, tendramos que decir
que pi no es asociado con pj para todo i 6= j. De lo contrario podramos perder la
unicidad.
Dada esta definicion, uno podra preguntarse por que no usamos la otra gene-
ralizacion de los numeros primos, a saber, la de elementos primos (!). Una razon
esta dada por la proposicion siguiente, que nos dice que en un DFU no hay mucha
diferencia entre ambos.
69
Proposicion 3.9.5. En un dominio de factorizacion unica se tiene que p R es
primo si y solo si es irreducible.
Demostracion. Sabemos que p primo implica p irreducible. Sea p R irreducible

y probemos que p es primo. Sean a, b R tales que p|ab. Entonces existe c R tal
que ab = pc. Ahora, como R es un DFU, tenemos que a = p1 ps , b = q1 qt y
c = r1 ru con pi , qj , rk irreducibles. Esto nos dice que
p1 ps q1 qt = ab = pc = pr1 ru .
Como p es irreducible en R, la segunda propiedad de un DFU nos dice que p es

asociado con uno de los pi o con uno de los qj .3 Es decir, p = upi para algun
1 i s y algun u R o bien p = uqj para algun 1 i t y algun u R . En
el primer caso, tenemos que p|pi y pi |a, por lo que p|a. En el segundo, tenemos que
p|qj y qj |b, por lo que p|b. Por lo tanto, p es primo. ^
En nuestra escala de generalizaciones, tomamos la division euclideana de Z y

definimos la nocion de dominio euclideano. Esta nocion bastaba para demostrar
que todo ideal de un anillo es principal, lo que nos llevo a la nocion de DIP.
Estos ultimos resultaron verificar el Lema de Gauss para sus elementos irreducibles
gracias a la Proposicion 3.9.3. Ahora, el Lema de Gauss se demuestra de hecho con
la division euclideana (mas bien con el Teorema de Bezout, que depende de ella).
Y es precisamente este resultado el que permite demostrar el teorema fundamental
de la aritmetica. En otras palabras, la division euclideana es mas primordial que
el Lema de Gauss y este es mas primordial que el teorema fundamental de la
aritmetica. Es de esperarse entonces que un dominio que posea el Lema de Gauss
para elementos irreducibles posea el teorema fundamental de la aritmetica para
elementos irreducibles. Y de hecho:
Teorema 3.9.6. Todo dominio de ideales principales es un dominio de factoriza-

cion unica.
Previamente a su demostracion necesitamos dos lemas.
Lema 3.9.7. Sea R un dominio de ideales principales y sea a R un elemento no

nulo y no invertible. Entonces existe p R irreducible tal que p|a.
Demostracion. Como a no es invertible tenemos que hai = 6 R. El lema 3.3.4 nos

dice entonces que existe un ideal maximal M tal que hai M . Como R es un DIP,
entonces M = hpi con p irreducible por la Proposicion 3.9.3. Tenemos entonces
que a hpi, por lo que p|a. ^

3
Tambien nos dice que s + t = u + 1, pero eso no nos interesa.
70
Lema 3.9.8. Sea R un dominio de ideales principales y sea {In }nN una cadena
de ideales de R tal que In In+1 para todo n N. Entonces existe m N tal que
In = Im para todo n > m (se dice que la cadena es estacionaria).
Observacion.
Esta propiedad de los DIP es caracterstica de los anillos llamados Noetherianos,
pero estos estan fuera del programa de este curso.
S
Demostracion. Consideremos I = nN In . Usando la misma demostracion que en
el Lema 3.3.4, vemos que I es un ideal de R. Ahora, como R es un DIP, tenemos
que I = hai para algun a R. Como I es la reunion de los In tenemos que a Im
para algun m. Vemos entonces que I = hai Im , por lo que I = Im . Por lo tanto,
para todo n > m tenemos que Im In I = Im , lo que nos dice que In = Im . ^
Veamos ahora la demostracion del Teorema 3.9.6.

Demostracion. Demostremos primero la existencia de la factorizacion en irreduc-
tibles. Sea a R no invertible no nulo. El Lema 3.9.7 nos dice que existe p1 R
irreducible tal que p1 |a. Luego a = p1 a1 para algun a1 R no nulo. Si a1 es
invertible, entonces a es asociado a p1 y por ende irreducible, lo que concluye la
demostracion. Si no, tenemos que hai ( ha1 i. En efecto, de lo contrario a1 = ta
para algun t R, de donde a = p1 ta y entonces a(1 p1 t) = 0. Como a 6= 0 y
R es un DI, p1 t = 1 y p1 es invertible, lo que es una contradiccion. Repitiendo el
argumento para a1 , tenemos que o bien a1 es irreducible, o existe p2 R irreducible
tal que a1 = p2 a2 y ha2 i ( ha1 i.
Supongamos por un instante que cada ai fabricado de esta manera no es irredu-
cible. En ese caso, el proceso continua indefinidamente y obtenemos una cadena de
ideales {hai i}iN tal que hai i ( hai+1 i para todo i. Esto es imposible por el Lema
3.9.8. Existe pues un m N tal que am es irreducible y por ende
a = p 1 a1 = p 1 p 2 a2 = = p 1 p 2 p m am ,
que es un producto de irreducibles.
Demostremos ahora la unicidad de la factorizacion a = p1 ps (salvo aso-

ciados) por induccion sobre el largo de la mas pequena de estas. Comencemos
con s = 1. Sea entonces a = p1 irreducible y supongamos que podemos escribir
a = q1 qt con qj R irreducible para cada j. Tenemos entonces que p1 |q1 qt .
Ahora, p1 es irreducible en un dominio de ideales principales, por lo que se trata de
un elemento primo. Por lo tanto, p1 |qm para algun m por el equivalente del Lema
de Gauss (Proposicion 3.8.7). Como ambos son irreducibles, la Proposicion 3.9.3
nos dice que se p1 y qm son asociados, es decir, existe u R tal que qm = up1 ,
por lo que p1 = up1 q1 qm1 qm+1 qt . Cancelando por el factor comun (como
71
hicimos mas arriba para cancelar a 6= 0), se tiene que 1 = uq1 qm1 qm+1 qt .
Como los qj no son invertibles, esto es una contradiccion a menos que s = t = 1 y
entonces p1 y q1 son asociados.
Supongamos ahora la unicidad para todo a que admite una factorizacion con
s elementos y consideremos un a = p1 ps+1 . Supongamos que podemos escribir
a = q1 qt con t s + 1 y qj R irreducible para cada j. Entonces ps+1 |q1 qt
y, por el mismo argumento de antes, vemos que existe 1 m t y u R
tal que qm = ups+1 y por ende p1 ps+1 = ups+1 q1 qm1 qm+1 qt . Cance-
lando el factor comun de la misma manera que antes, tenemos que p1 ps =
uq1 qm1 qm+1 qt . La hipotesis de induccion nos dice entonces que t = s + 1 y
que todo pi es asociado a algun qj . ^

1+ 19
3.10. Ejemplos: Z[i] y Z[ 2 ]
3.10.1. Factorizacion en Z[i]
Consideremos el anillo R = Z[i] de los enteros de Gauss. Este anillo viene con
la norma N (a+bi) = a2 +b2 , la cual corresponde al cuadrado de la norma compleja
(Z[i] es un subanillo de C) y hace de Z[i] un dominio euclideano, por ende un DFU.
Ademas, tenemos que N (xy) = N (x)N (y) para todo x, y R, es decir, la norma
es multiplicativa. Esto nos ayudara a comprender los elementos irreducibles (o, lo
que es lo mismo en un DFU, primos) de Z[i] y por ende la factorizacion en este
anillo.
Comencemos deduciendo propiedades a partir de los primos que ya conocemos
en N:
Proposicion 3.10.1. Sea R = Z[i] un elemento tal que N () es un numero
primo p (en el sentido clasico sobre N o Z). Entonces es primo en Z[i].
Demostracion. En efecto, la multiplicidad de la norma nos dice que si = xy,
entonces p = N () = N (x)N (y), por lo que uno de N (x), N (y) debe ser igual a 1.
Ahora, los unicos elementos de norma 1 son los elementos de R = {1, i}. Esto
prueba que x R o y R y por ende es irreducible, o primo. ^

Este resultado no nos dice sin embargo que todo primo en Z[i] tiene por norma
un numero primo en Z. De hecho, esto resulta ser falso a posteriori . . .
Sea entonces Z[i] un primo. Veamos que podemos decir de su norma N ().
Proposicion 3.10.2. Sea R = Z[i] y sea R un primo. Entonces N () divide
a p2 para algun primo p Z.
Demostracion. Consideremos el subconjunto I = hi Z R. Es facil ver que
se trata de un ideal primo de Z, es decir, I = pZ para algun primo p Z. En
efecto, I es un subgrupo de Z cerrado por multiplicacion por m Z y si ab I
72
con ab Z, entonces a I o b I ya que a, b Z y hi es primo. En particular,
p hi, por lo que existe un elemento 0 R tal que p = 0 . De esto obtenemos
que N ()N ( 0 ) = N (p) = p2 , lo que prueba la proposicion. ^

De la demostracion concluimos que, dado un primo Z[i], podemos tener

N () = p, en cuyo caso p = 0 con N ( 0 ) = p y 0 es entonces otro primo en Z[i],
o bien N () = p2 , en cuyo caso N ( 0 ) = 1 y 0 Z[i] , lo que nos dice que y p son
asociados y por ende p es primo en Z[i] tambien. Dicho de otra manera, podemos
ver que para obtener los primos de Z[i], basta con mirar los numeros primos p Z
y ver cual de las dos opciones siguientes se cumple:
1. p sigue siendo irreducible (o primo) en Z[i];
2. p se factoriza en un producto 0 con , 0 irreducibles en Z[i].

Evidentemente, en el segundo caso los elementos , 0 tienen que estar fuera de Z.
El juego ahora es entender como se distribuyen los primos con respecto a estas dos
posibilidades.
Proposicion 3.10.3. La opcion 2 ocurre si y solo si p = a2 + b2 para algun par

de enteros a, b Z, no ambos nulos.
Demostracion. Supongamos que p = 0 con , 0 Z[i] irreducibles. Escribamos
= a + bi con a, b Z y b 6= 0. Como es irreducible, esta claro que a y b son
coprimos. Ahora, recordando lo que sabemos sobre numeros complejos, para que
(a + bi)(c + di) sea un numero real, es necesario que c + di sea un multiplo del
conjugado = a bi. Y como 0 Z[i] tambien es irreducible, la unica posibilidad
es que se trate del mismo conjugado, es decir, 0 = . Esto nos dice que un primo
p se factoriza en un producto 0 si y solo si = a + bi y 0 = = a bi, es decir,
si y solo si p = a2 + b2 . ^
Habiendo deducido este criterio para entender los primos de Z[i], debemos ahce
un llamado a un resultado clasico de Teora de Numeros:
Teorema 3.10.4 (Teorema de Fermat sobre las sumas de cuadrados). Sea p Z
un numero primo. Entonces p = a2 + b2 con a, b Z si y solo si p = 2 o p 1
mod 4.
Demostracion. Comencemos por lo facil: si p = 2, entonces p = 12 + 12 . Si p 3
mod 4, entonces es imposible escribirlo como suma de dos cuadrados ya que a2
0, 1 mod 4 para todo a Z, por lo que a2 + b2 solo puede tomar los valores 0, 1 y
2 modulo 4.
Demostremos ahora que si p 1 mod 4, entonces existen a, b Z tales que
a2 + b2 = p. Para esto debemos demostrar
73
Lema 3.10.5. Sea p Z un primo tal que p 1 mod 4. Entonces p divide a un
entero de la forma n2 + 1.
Demostracion. Notese que esto es lo mismo que afirmar que existe un elemento
n Z/pZ tal que n2 1 mod p. Ahora, 1 es el unico elemento de orden 2 en
(Z/pZ) . En efecto, m2 1 mod p se traduce por (m + 1)(m 1) 0 mod p, lo
que nos dice que m 1 mod p ya que Z/pZ es un DI. Entonces encontrar un
n Z tal que n2 1 mod p equivale a encontrar un elemento n de orden 4 en
(Z/pZ) , ya que entonces n2 es de orden 2 y por ende igual a 1 en (Z/pZ) .
Por otra parte, como |(Z/pZ) | = p 1 y p 1 mod 4, vemos que |(Z/pZ) |
es un multiplo de 4 y por ende el cociente de (Z/pZ) por el subgrupo {1}
tiene un subgrupo de orden 2 por el Teorema de Cauchy. La preimagen de este
subgrupo en (Z/pZ) es entonces un subgrupo H de orden 4 de (Z/pZ) . Como
buen grupo abeliano de orden 4, tenemos que H es isomorfo a Z/4Z o bien al grupo
de Klein. Pero el grupo de Klein tiene 3 elementos distintos de orden 2, mientras
que (Z/pZ) H tiene uno solo, como ya vimos. Por lo tanto, H es isomorfo
a Z/4Z, por lo que un generador de este grupo es de orden 4 y corresponde al
elemento que buscabamos. ^

Habiendo demostrado el lema, vemos que p divide a n2 +1 = (n+i)(ni) Z[i].

Si p fuese irreducible en Z[i], entonces p dividira a alguno de los 2 factores. Pero
como p es un numero real, si p| entonces p = p| y entonces p dividira a los
dos factores y tambien a su diferencia, que es 2i. Esto es una contradiccion ya que
p 6= 2. Esto nos dice que p no es irreducible y por ende p = = a2 + b2 para
algun = a + bi Z[i]. ^

Notese que de paso logramos una descripcion completa de los primos en Z[i]:
Teorema 3.10.6. Los elementos irreducibles de Z[i] son:
= u(1 + i) (de norma 2);
= up con p primo en N y p 3 mod 4 (de norma p2 );
= u(a + bi) con a, b N, a > b, a2 + b2 = p primo en N y p 1 mod 4

(de norma p);
= u(a bi) con a, b N, a > b, a2 + b2 = p primo en N y p 1 mod 4

(de norma p);
con u {1, i}.
Observacion.
Notese que todos estos irreducibles son todos distintos entre s. Esto esta claro para
los de la forma up y tambien para los de la forma u(1 + i) ya que son los unicos
74
elementos de norma 2 (y notese que no olvidamos 1 i porque 1 i = i(1 + i)).
Por ultimo, los asociados de a + bi son a bi, b + ai y b ai. Para que uno de
estos coincida con uno de los asociados de a bi, se debe tener que |a| = |b|, lo
que implicara que a2 + b2 es par, dando una contradiccion.
Habiendo logrado esta clasificacion de los primos de Z[i], podemos ir un poco
mas lejos y clasificar los elementos que se escriben como suma de dos cuadrados
en Z:
Teorema 3.10.7. Sea n un entero positivo que se factoriza de la forma
n = 2k pa11 par r q1b1 qsbs ,
donde p1 , . . . pr son distintos primos de la forma 1 mod 4, q1 , . . . , qs son distintos

primos de la forma 3 mod 4 y algunos exponentes pueden ser 0. Entonces n =
a2 + b2 con a, b Z si y solo si todos los bj son pares.
Ademas, para un tal n, la cantidad de pares a, b que cumplen esta condicion es
4(a1 + 1) (ar + 1).
Demostracion. Notese que n = a2 + b2 implica que n = N (a + bi). Factorizando
a + bi en Z[i] como producto de irreducibles, tenemos que
c c
a + bi = (1 + i)` (11,1 11,2 ) (rcr,1 rcr,2 )q1d1 qsds ,
donde los i y i son los factores de algun pi 1 mod 4 primo en Z, los qj

son primos en Z de la forma 3 mod 4 y donde algunos exponentes pueden ser 0.
Entonces vemos claramente que
c +c1,2
n = a2 + b2 = N (a + bi) = 2` p11,1 pcrr,1 +cr,2 q12d1 qs2ds ,
lo que prueba la paridad de los bj . En sentido inverso, se ve claramente que dados

k, ai , bj definiendo un n Z como en el enunciado (es decir, con los bj pares), uno
puede definir a + bi como el producto de aca arriba con ` = k, ci,1 + ci,2 = ai y
dj = bj /2. Entonces n = N (a + bi) = a2 + b2 .
Finalmente, la cantidad de formas de expresar esto se obtiene al contar las
posibilidades para los ci,1 y ci,2 , ya que los otros exponentes estan determinados
en funcion de n. Es facil ver entonces que ci,1 puede tomar todos los valores de 0
a a1 y que esto determina ci,2 de forma unica, lo que equivale a ai + 1 opciones.
El factor 4 viene finalmente del hecho que podemos multiplicar por una unidad y
obtener un elemento distinto de la misma norma. ^
3.10.2. Un ejemplo de DIP no euclideano

Durante
la seccion sobre dominios de ideales principales, mencionamos que
Z[ 1+ 219 ] es un dominio de ideales principales que no es euclideano. Ahora que
75
tenemos las definiciones de elementos primos e irreducibles y la nocion de DFU,
estamos listos para demostrar este hecho. Comenzemos pues por una definicion de
una norma un poco mas debil que la de los dominios euclideanos.
Definicion 3.10.8. Sea R un DI. Definimos una norma de Dedekind-Hasse como
una norma positiva N : R N {0} tal que, para todo par a, b R de elementos
no nulos se cumple una de las dos propiedades siguientes:
a hbi;
existe un elemento c ha, bi tal que N (c) < N (b).

Observacion.
Notese que la primera propiedad equivale a decir que existe t R tal que a = tb,
mientras que la segunda propiedad equivale a decir que existen s, t R tales
que 0 < N (sa tb) < N (b). Si pudiesemos asumir siempre que s = 1, entonces
tendramos una norma que hace de R un dominio euclideano ya que a tb no
es nada mas que el resto de una division. As, deducimos que los anillos con una
norma de Dedekind-Hasse son una version debil de los dominios euclideanos.
El interes de las normas de Dedekind-Hasse radica en el hecho de que detectan
precisamente los DIP. En efecto:
Teorema 3.10.9. Sea R un dominio de integridad. Entonces R es un DIP si y
solo si R posee una norma de Dedekind-Hasse. Ademas, si R posee una norma de
Dedekind-Hasse e I es un ideal de R, entonces I = hbi con b un elemento de norma
minimal en I.
Demostracion. Supongamos que R posee una norma de Dedekind-Hasse N y sea
I R un ideal no nulo. Debemos demostrar que I es principal (si I = {0} entonces
I = h0i). Sea entonces b I un elemento de norma minimal, el cual existe porque
el ideal es no nulo y N {0} es un conjunto bien ordenado. Demostraremos que
I = hbi de forma analoga a lo que hicimos en el caso de los dominios euclideanos.
Claramente hbi I, por lo que debemos demostrar que I hbi. Sea entonces
a I. Luego el ideal ha, bi esta contenido en I, por lo que sa tb I para todo
par s, t R. Esto nos dice que N (sa tb) N (b) por minimalidad de la norma
de b. La segunda condicion de la norma de Dedekind-Hasse no puede entonces ser
cumplida, por lo que deducimos que a hbi y por ende I hbi, lo que concluye la
demostracion en este sentido.
Supongamos ahora que R es un DIP. El Teorema 3.9.6 nos dice entonces que R
es un DFU. Definimos entonces una norma N : R N{0} de la siguiente manera:
N (0) := 0, N (u) = 1 para todo u R y, para todo a R no nulo y no invertible,
N (a) = 2n con n el numero de irreducibles que aparecen en la factorizacion de r
76
(en particular, N (p) = 2 para p irreducible). Esto esta bien definido por la unicidad
de la factorizacion salvo asociados.
Debemos demostrar entonces que N es de Dedekind-Hasse. Ante todo, notese
que N (xy) = N (x)N (y) para todo x, y R, lo que es una consecuencia evidente
de la unicidad de la factorizacion. Esto nos dice que N es positiva y multiplicativa.
Sean ahora a, b R elementos no nulos. Entonces el ideal ha, bi es principal porque
R es un DIP, es decir, ha, bi = hri. Si a 6 hbi, entonces r 6 hbi. Pero b hri, por
lo que b = xr con x 6 R (o si no hbi = hri). Tenemos entonces que N (x) > 1 y
por ende N (b) = N (x)N (r) > N (r). Esto prueba que ha, bi contiene un elemento
(a saber, r) tal que N (r) < N (b), es decir, N es una norma de Dedekind-Hasse, lo
que concluye la demostracion. ^
Apliquemos pues este nuevo criterio al ejemplo citado al inicio de la seccion.

Proposicion 3.10.10. El anillo R = Z[ 1+ 219 ] es un DIP.

Ejercicio. Pruebe que Q(R) = Q[ 19].

Demostracion. Sea w = 1+ 219 . Como buen subanillo de C, este anillo viene
equipado con la norma compleja N (z) = |z|2 = z z, donde z denota el comple-
jo conjugado. Si z = a + bw con a, b Z, entonces un calculo rapido nos di-
ce que N (z) = a2 + ab + 5b2 . Esta norma es positiva y multiplicativa, es decir,
N (xy) = N (x)N (y). Demostraremos que esta norma es de Dedekind-Hasse, lo que
nos dara como resultado que R es un DIP gracias al Teorema 3.10.9.
Sean entonces , R no nulos y supongamos que 6 hi. Debemos probar
que existen s, t R tales que
0 < N (s t) < N (),
o bien, usando la multiplicatividad de la norma en C, tales que

0<N s t < N (1) = 1. (1)

Ahora, 6 hi nos dice que la fraccion
6 R. Recordando que Q(R) = Q[ 19],
a+b 19
vemos que podemos escribir como c
con a, b, c Z, c > 1 (c no puede ser
1 porque 6 R) y mcd(a, b, c) = 1. Esta ultima condicion nos dice que existen
x, y, z Z tales que ax+by+cz = 1. Como Z es euclideano,tenemos que ay19bx
=
c
cq + r con q, r Z y |r| 2 . Sean entonces s = y + x 19 y t = q z 19.
Entonces un calculo directo nos dice que
(ay 19bx cq)2 + 19(ax + by + cz)2

1 19
0<N st = 2
+ 2,
c 4 c
77
por lo que obtenemos (1) cuando c 5 (para c = 5, notese que |r| 2 < 52 ).
Supongamos que c = 2. Entonces uno de los elementos a, b Z es impar y el
otro es par ya que

1 + 19 a + b 19
R=Z = | a, b Z, a + b 2Z ,
2 2

y de lo contrario tendramos
R. Entonces se ve rapidamente que s = 1 y

(a1)+b 19
t= 2
son elementos de R para los cuales tenemos (1).
Supongamos que c = 3. Entonces uno de los elementos a, b Z no es congruente
a 0 modulo 3. De esto se deduce que a2 + 19b2 6 0 mod 3. En otras palabras,
a2 + a9b2= 3q + r con 0 < r < 3. Entonces vemos con un calculo rapido que
s = a b 19 y t = q son elementos de R para los cuales tenemos (1).
Finalmente, supongamos que c = 4. Entonces uno de los elementos a, b Z
es impar. Si uno es par y el otro impar, entonces a2 + 19b2 es impar,
por lo que
2 2
a + 19b = 4q + r con q, r Z y 0 < r < 4. Entonces s = a b 19 y t = q
son elementos de R para los cuales tenemos (1). Si a y b son impares,
entonces
2 2 2 2 ab 19
a + 19b 4 mod 8, por lo que a + 19b = 8q + 4 y entonces s = 2
yt=q
son elementos de R para los cuales tenemos (1). ^

Finalmente,
demostremos que el tener una norma simpatica como la de
Z[ 1+ 219 ] no basta para obtener un dominio euclideano.

Proposicion 3.10.11. El anillo R = Z[ 1+ 219 ] no es un dominio euclideano.
Para demostrar esta proposicion, necesitaremos el siguiente lema.
Lema 3.10.12. Sea R un dominio euclideano que no es un cuerpo. Entonces existe
s R no nulo y no invertible tal que, para todo x R existe z R {0} tal que
s divide a x z.
Demostracion. Sea R el subconjunto de los elementos no nulos y no inversibles de
R. Sea s R un elemento de norma N (s) minimal entre los elementos de R. Un
tal elemento existe ya que R es no vaco porque R no es un cuerpo y N {0} es
un conjunto bien ordenado. La division euclideana nos da entonces la propiedad
deseada. En efecto, todo x R puede escribirse de la forma x = qs + r con r = 0
o N (r) < N (s). La minimalidad de N (s) entre los elementos de R nos dice que
r R {0}, lo que concluye la demostracion. ^

Demostracion de la Proposicion 3.10.11. Demostraremos que el anillo R = Z[ 1+ 219 ]
no posee ningun elemento como el del Lema 3.10.12. Esto prueba que R no es eu-
clideano.
Para ello, demostraremos primero que R = 1. Sea nuevamente w = 1+ 219
y recordemos que tenemos la norma positiva N (z) = a2 + ab + 5b2 para z = a + bw
78
con a, b Z. Esta norma es multiplicativa, es decir, N (xy) = N (x)N (y). Por lo
tanto, si z R , tenemos que N (z) = 1. Si b = 0, entonces a2 = 1 y a = 1. Si
b 6= 0, tenemos que
2
2 2 b 19
N (z) = a + ab + 5b = a + + b2 5,
2 4
ya que b2 1. Esto nos dice que los unicos elementos de norma 1 son 1, por lo
tanto R = 1. De paso, vemos que los r 6 R {0} de norma mas pequena son
2, cuya norma es 4. En particular, no existen elementos de norma 2 o 3.
Supongamos ahora que existe un elemento s 6 R {0} como el del Lema
3.10.12. Entonces s debe dividir a 2 1 o a 2 0, es decir, s es un divisor de 2 o de
3 en R (s no puede dividir 1 porque sera inversible). Ahora, si 2 = , entonces
4 = N ()N (), lo que nos dice que R o R por que no existen elementos
de norma 2. El mismo argumento nos dice que si 3 = , entonces R o
R . En otras palabras, 2 y 3 son irreducibles, por lo que s no puede ser mas
que uno de los elementos 2, 3 R. Ahora, tomando x = w, vemos que ni w, ni
w 1 son divisibles por alguno de los valores 2 o 3, lo que prueba que el tal
s no existe (recordemos que los multiplos de n Z en Z[w] son los na + nbw con
a, b Z). ^
Observacion.
Toda esta discusion nos dice que tenemos las siguientes inclusiones estrictas:
{R cuerpo} ( {R DE} ( {R DIP} ( {R DFU} ( {R DI}.

En efecto, Z es un ejemplo de DE que no es un cuerpo, Z[ 1+ 219 ] es un ejemplo

de DIP que no es DE, Z[x] es un ejemplo de DFU que no es DIP y Z[ 5] es un
ejemplo de DI que no es DFU. Esto
ultimo lo sabemos porque ya mostramos que 3
es un primo no irreducible en Z[ 5], mientras que la Proposicion 3.9.5 nos dice
que todo primo es irreducible en un DFU.
3.11. Polinomios sobre un dominio de factorizacion unica.

El anillo de polinomios F [x] sobre un cuerpo F no es un cuerpo, pero al menos
es un dominio euclideano como ya vimos. Uno podra preguntarse entonces si el
anillo de polinomios R[x] sobre un dominio euclideano es un dominio euclideano
tambien. Lamentablemente esto no es cierto ya que ni si quiera es un dominio de
ideales principales en general (ya probamos que h2, xi no es principal en Z[x]). Sin
embargo, se puede demostrar que R[x] es al menos un dominio de factorizacion
unica. Dicho esto, podemos adivinar la pregunta siguiente: Y que hay de R[x]
si R es un dominio de factorizacion unica? Pues, afortunadamente, en este caso
79
no perdemos mas propiedades agregando [x] a nuestro R. Es decir, el anillo de
polinomios sobre un dominio de factorizacion unica resulta ser un anillo con las
mismas propiedades.
Antes de demostrar un tal resultado, demostraremos un lema conocido como
Lema de Gauss. Notese que no se trata del Lema de Gauss que ya conocemos sobre
los numeros primos en Z, pero la demostracion usa el analogo para elementos
irreducibles. El siguiente resultado es el primer paso hacia la demostracion.
Proposicion 3.11.1. Sea R un dominio de integridad y sea I un ideal de R.

Consideremos el ideal de R[x] generado por I, es decir:
( n )
X
I[x] = ai xi | ai I, n N .
i=0
Entonces R[x]/I[x] ' (R/I)[x]. Ademas, si I es un ideal primo de R entonces I[x]

es un ideal primo de R[x].
Demostracion. Sea : R[x] (R/I)[x] definida por

n
! n
X X
i
ai x := ai xi ,
i=0 i=0
donde ai representa la imagen de ai por la proyeccion canonica R R/I. Como

R R/I es un homomorfismo de anillos epiyectivo, la funcion es un homomor-
fismo de anillos, claramente epiyectivo tambien. Ademas, tenemos que
( n n
)
X X
ker() = ai xi R[x] | ai xi = 0(R/I)[x]
( i=0
n
i=0
)
X
= ai xi R[x] | ai I i = 0, . . . , n = I[x]
i=0
Por lo tanto, R[x]/I[x] ' Im() = (R/I)[x].

Ahora, si I es un ideal primo de R, entonces R/I es un DI. Por ende, (R/I)[x]
es un DI y entonces R[x]/I[x] es un DI. Por lo tanto, I[x] es un ideal primo de
R[x]. ^

Proposicion 3.11.2 (Lema de Gauss). Sea R un dominio de factorizacion unica,

sea F = Q(R) y sea P R[x]. Si P es reducible en F [x], entonces P es reducible
en R[x]. Mas precisamente, si P = AB con A, B F [x] polinomios no constantes,
entonces existe r F tal que rA(x), r1 B(x) R[x], de forma que (rA)(r1 B) es
una factorizacion de P en R[x].
80
Demostracion. Sea P = AB con A, B F [x] polinomios no constantes. Los co-
eficientes de A y B son de la forma xyii con xi , yi R, yi 6= 0. Sean respectiva-
mente dA , dB R algun mcm de los denominadores (es decir, los yi ) de A y B.
Sea d = dA dB . Multiplicando ambos lados de la ecuacion por d podemos escribir
dP = A1 B1 con d R, d 6= 0 y A1 , B1 R[x].
Si d R , entonces P = d1 A1 B1 = CB1 R[x] con C = d1 A1 , lo que nos
da la factorizacion que buscabamos. Si no, entonces podemos escribir d = p1 pk
con pi irreducible para todo i ya que R es un DFU. Ahora, como p1 es irreducible,
se trata de un elemento primo y por ende I1 = hp1 i es un ideal primo de R.
La proposicion 3.11.1 nos dice que I1 [x] es un ideal primo de R[x] y por ende
(R/I1 )[x] ' R[x]/I1 [x] es un dominio de integridad. Nuestra ecuacion se vuelve
entonces 0 = A1 B1 en (R/I1 )[x], lo que nos dice que A1 = 0 o B1 = 0. Supongamos
que A1 = 0. Volviendo a R[x], esto nos dice que todos los coeficientes de A1 estan
en I1 = hp1 i, es decir, son divisibles por p1 . Definiendo A2 := p1 1 A1 y B2 = B1 ,
0 0
vemos que d P = A2 B2 con A2 , B2 R[x] y d = p2 pk . En el caso B1 = 0 el
argumento es el mismo mutatis mutandis.
Repitiendo el mismo procedimiento con cada uno de los pi obtenemos que
P = Ak+1 Bk+1 con Ak+1 , Bk+1 R[x], lo que corresponde a la factorizacion que
buscabamos. Ademas, en cada paso (inlcuida la definicion de A1 y B1 a partir de
A y B) tan solo multiplicamos uno de los dos polinomios Ai o Bi por un elemento
de F , lo que prueba que Ak+1 = rA para algun r F y es por ende evidente que
Bk+1 = r1 B ya que P = Ak+1 Bk+1 = AB en F [x]. ^

Un corolario interesante de este lema es el siguiente criterio de irreducibilidad.

Corolario 3.11.3. Sea R un dominio de factorizacion unica y sea F = Q(R). Sea
P = ni=0 ai xi R[x]. Si mcd(a0 , . . . , an ) = 1, entonces P es irreducible en F [x]
P
si y solo si P es irreducible en R[x]. Esto ocurre en particular para todo P monico.
Demostracion. Por contraposicion, el Lema de Gauss nos dice que si P es irredu-
cible en R[x], entonces P es irreducible en F [x].
Supongamos ahora que P es irreducible en F [x] y supongamos que P = AB
con A, B R[x]. La irreducibilidad en F [x] nos dice que A F [x] o B F [x] .
Sin perdida de generalidad, supongamos que A F [x] . Entonces A F R[x] =
R \ {0}. De esto deducimos que A R divide a todos los coeficientes de P = AB
R[x], por lo que A|mcd(a0 , . . . , an ) = 1. Por lo tanto, A R , lo que prueba que
P es irreducible en R por la proposicion 3.9.3. ^
Ejercicio. Sea F un cuerpo y sea P F [x]. Demuestre que P tiene un divisor

de grado uno si y solo si P tiene una raz en F , es decir, si existe F tal que
P () = 0.
Deduzca que si P es de grado 2 o 3, entonces P es reducible en F [x] si y solo
si P tiene una raz en F .
81
Usemos ahora el Lema de Gauss para demostrar lo que anunciamos al comienzo
de la seccion.
Teorema 3.11.4. Sea R un anillo. Entonces R es un dominio de factorizacion

unica si y solo si R[x] es un dominio de factorizacion unica.
Demostracion. Si R[x] un dominio de factorizacion unica, entonces una mera apli-

cacion de la definicion a los polinomios constantes prueba que R es un dominio
de factorizacion unica ya que los divisores irreducibles de un polinomio de grado 0
deben tener grado 0 (porque deg(P Q) = deg(P ) + deg(Q)).
Supongamos ahora que R es un dominio de factorizacion unica y sea F = Q(R).
Sabemos entonces que F [x] es un dominio de factorizacion unica ya que es un
dominio euclideano. Sea P R[x] no nulo y no invertible y sea d el mcd de sus
coeficientes. Luego P = dP 0 y el mcd de los coeficientes de P 0 es igual a 1. Como
R es un DFU y d R, tenemos una factorizacion unica de d en producto de
irreducibles (salvo asociados), por lo que basta demostrar que P 0 admite una unica
factorizacion. Ahora, como F [x] es un DFU, P 0 = Q1 Qk con Qi irreducible en
F [x] para todo i. El Lema de Gauss (aplicado de forma inductiva) nos dice entonces
que existe una factorizacion P 0 = Q01 Q0k con Q0i R[x] tambien irreducible en
F [x] para todo i (ya que Q0i = f Qi para algun f F = F [x] ). El mcd de los
coeficientes de cada factor Q0i divide claramente al mcd de los coeficientes de P 0 .
Y como este ultimo es 1, el mcd de los coeficientes de cada Q0i debe ser 1 tambien.
El Corolario 3.11.3 nos dice entonces que cada uno de estos factores es irreducible
en R[x].
Veamos por ultimo la unicidad de esta factorizacion de P . Ya notamos que la
factorizacion de P en dP 0 es unica salvo asociados y la factorizacion de d como
elemento de R R[x] tambien lo es. Basta entonces con probar la unicidad de
la factorizacion de P 0 . Sea entonces P 0 = S1 Sl otra factorizacion de P 0 como
producto de irreducibles en R[x]. Por el mismo razonamiento de arriba, tenemos
que el mcd de los coeficientes de cada Si es 1, por lo que estos polinomios son
irreducibles en F [x] tambien por el Corolario 3.11.3. La unicidad de la factorizacion
en F [x] nos dice entonces que k = l y que, salvo reordenamiento, tenemos que Si es
un asociado de Qi en F [x] para todo i. Es decir, para cada i tenemos que Si = fi Qi
para un cierto fi F = F [x] . Si escribimos fi = abii , entonces bi Si = ai Qi es
una igualdad en R[x], lo que nos dice que el mcd de los coeficientes de bi Si y de
ai Qi son iguales (salvo unidad). Pero estos mcd son simplemente ai y bi ya que los
mcd de los coeficientes de Si y Qi son iguales a 1. Tenemos entonces que ai = ui bi
para alguna unidad ui R . De esto deducimos que Si = ui Qi , lo que prueba la
unicidad de la factorizacion y concluye la demostracion. ^

Este teorema nos permite deducir que los anillos de polinomios en varias varia-
bles son un DFU si los coeficientes viven en un DFU. En efecto:
82
Definicion 3.11.5. Sea R un dominio de integridad y sea n N. Se define induc-
tivamente el anillo de polinomios en n variables como
R[x1 , . . . , xn ] := R[x1 , . . . , xn1 ][xn ].
Corolario 3.11.6. Sea R un DFU y sea n N. Entonces R[x1 , . . . , xn ] es un

DFU.
Demostracion. La demostracion es simplemente por induccion. El caso n = 1 co-

rresponde al Teorema 3.11.4. ^

Ejercicio. Pruebe que, para toda permutacion Sn ,
R[x(1) ][x(2) ] [x(n) ] ' R[x1 , . . . , xn ] = R[x1 ] [xn ].
Mas criterios de irreducibilidad

Veamos otro criterio de irreducibilidad importante, que se usa en particular para
demostrar que los polinomios ciclotomicos son irreducibles (vease mas abajo).
Proposicion 3.11.7 (Criterio de irreducibilidadPde Eisenstein). Sea R un DFU y

sea F = Q(R) su cuerpo de fracciones. Sea P = ni=0 ai xi R[x] un polinomio de
grado n 1. Sea p R un elemento primo tal que p|ai para 0 i n 1, pero
tal que p NO divide a an y p2 NO divide a a0 . Entonces P es irreducible en F [x].
Demostracion. Supongamos que P es reducible en F [x]. Luego el Lema de Gauss

nos dice que P es reducible en R[x], por lo que
P = (b0 + + bk xk )(c0 + + cl xl ),
con bi , ci R, bk 6= 0 y cl 6= 0. Comparando coeficientes tenemos que a0 = b0 c0

y an = bk cl . Y como p|a0 y p2 - a0 , tenemos que p divide a uno y solo uno entre
b0 y c0 . Sin perdida de generalidad, supongamos que p - b0 y p|c0 . Por otro lado
como an = bk cl y p - an , tenemos que p - bk y p - cl . Luego no todos los coeficientes
c0 , , cl pueden ser divisibles por p. Sea m el primer valor de i tal que p no divide
a ci , es decir, p|cj para todo 0 j < m. Comparando coeficientes nuevamente
tenemos que
am = b 0 c m + + b m c 0 ,
y como p|am (porque m l < n) y p|cj para todo 0 j < m, vemos que
p|b0 cm . Esto es una contradiccion ya que p - b0 y p - cm . Esto prueba que una tal
factorizacion de P no existe y por ende P es irreducible en F [x]. ^

Apliquemos pues este criterio a los polinomios ciclotomicos
83
Ejemplo 3.11.8 (Polinomios ciclotomicos). Sea p N un numero primo. Entonces
el polinomio
xp 1
p (x) = = xp1 + xp2 + + x + 1,
x1
es irreducible en Q[x]. En efecto, podemos aplicar el criterio de Eisenstein luego
de un sutil cambio de variables: consideremos el polonomio
(x + 1)p 1
p (x) : = (x + 1) =
x
p p p1 p
x + x + + x+11
1 p1
=
x
p1 p p2 p
=x + x + + x + p.
1 p2
El primo p cumple las condiciones del Criterio de Eisenstein para el polinomio p ,
por lo que p es irreducible en Q[x]. De esto deducimos inmediatamente que p es
irreducible en Q[x] ya que p (x) = P1 (x)P2 (x) implica que
p (x) = p (x + 1) = P1 (x + 1)P2 (x + 1) = Q1 (x)Q2 (x),
con Qi (x) := Pi (x + 1) (en particular, deg(Qi ) = deg(Pi )).
Antes de concluir esta seccion, demos un ultimo criterio de irreducibilidad.
Proposicion 3.11.9. Sea I un ideal primo de un dominio de integridad R y sea
P R[x] un polinomio monico no constante. Si la imagen de P en (R/I)[x] no
puede ser factorizada en (R/I)[x] en dos polinomios de menor grado, entonces P
es irreducible.
Demostracion. Supongamos por contradiccion que existe un polinomio reducible
P R[x] cuya imagen en (R/I)[x] es irreducible. Escribamos entonces P = AB
con A, B R[x] de grado menor que P no inversibles. El Corolario 3.11.3 nos dice
entonces que A y B son monicos tambien (y por ende no constantes, de lo contrario
seran inversibles). Por la Proposicion 3.11.1, la reduccion de los coeficientes de A y
B modulo I nos da una factorizacion de la imagen de P en (R/I)[x] en polinomios
de grado 1, lo que es una contradiccion ya que R/I es un DI si I es primo y los
polinomios con coeficientes en un DI son invertibles solo si son de grado 0. ^

Este criterio es bastante practico para decidir la irreducibilidad en Z[x]. Basta

con encontrar un numero primo adecuado y mostrar la irreducibilidad en Fp [x].
Ejemplo 3.11.10. Lamentablemente, este criterio no es estricto. En efecto, el
polinomio x4 + 1 es irreducible en Z[x], pero su irreducibilidad no es detectable
con esta tecnica, ya que es reducible en Fp [x] para todo primo p. En efecto, esto se
divide en 3 casos distintos:
84
p = 2;
p 1 mod 4;
p 3 mod 4.
En el primer caso y en la mitad del segundo caso (a saber, cuando p 1

mod 8), el polinomio se divide en 4 factores de grado 1 (demuestre esto como
ejercicio asumiendo que Fp es cclico4 ).
En general, en el segundo caso existe un elemento s Fp tal que s2 = 1 por
el Lema 3.10.5, por lo que x4 + 1 = (x2 s)(x2 + s).
En el ultimo caso, tenemos que no existe un tal s, ya que s es de orden 4 y
4 - p 1 en este caso. Ahora esto implica que o bien 2 es un cuadrado en Fp
o bien 2 lo es (demuestre esto como ejercicio asumiendo que Fp es cclico). Si
2 = a2 , entonces x4 + 1 = (x2 + ax + 1)(x2 ax + 1). Si 2 = a2 , entonces
x4 + 1 = (x2 + ax 1)(x2 ax 1).
Races de un polinomio
Terminemos el contenido de anillos con un importante resultado sobre poli-
nomios con coeficientes en un cuerpo que usa el hecho de que estos anillos son
DFU.
Teorema 3.11.11. Sea F un cuerpo y sea P F [x]. Si 1 , . . . , k son races

distintas de P , entonces P es divisible por (x 1 ) (x k ). En particular, un
polinomio de grado n 1 tiene a lo mas n races en F [x], incluso contadas con
multiplicidad.
Demostracion. La primera afirmacion se deduce rapidamente por induccion del

caso de una raz. Para demostrar este ultimo, basta con notar que, como F [x] es
euclideano, entonces podemos escribir P = Q(x 1 ) + R con R = 0 o de grado 0,
es decir, con R constante. Ahora, como P (1 ) = 0, tenemos que Q(1 )(1 1 ) +
R(1 ) = 0, lo que nos dice que R(1 ) = 0. Como R es constante, esto siginifca que
R = 0, lo que prueba que (x 1 ) divide a P .
Por ultimo, la segunda afirmacion se deduce del hecho que F [x] es un DFU. En
efecto, un producto de n polinomios de grado 1 tiene grado n. Esto nos dice que P es
igual a este producto por otro polinomio de grado 0. Como todo polinomio de grado
1 es irreducible y todo polinomio de grado cero es una unidad, por unicidad de la
factorizacion, P no puede tener mas divisores irreducibles. Por ende un polinomio
de grado n con n races (incluso contadas con multiplicidad) no puede tener una
raz suplementaria. ^
4
La demostracion de la ciclicidad de Fp viene aqu abajo.
85
Una aplicacion sorprendente de este resultado es la siguiente:
Proposicion 3.11.12. Sea F un cuerpo. Entonces todo subgrupo finito de F es

cclico.
Corolario 3.11.13. Sea F un cuerpo finito. Entonces F es cclico. En particular,

(Z/pZ) es cclico para todo p primo.
Demostracion. Sea A un subgrupo finito de F y sea n = p1 1 pr r su orden con

pi primo para todo i y pi 6= pj para i 6= j. Sea Pi A un pi -Sylow. Como A es
abeliano (ya que F lo es), sabemos que todo subgrupo de A es normal. Por ende,
Pi C A para todo i y entonces A ' P1 Pr , por lo que basta con probar que
cada Pi es cclico, ya que entonces A sera cclico por el Teorema chino de los restos.
Sea entonces P un p-subgrupo de F con p un numero primo y sea pm el orden
de P . Sabemos que P posee un subgrupo (normal) H de ndice p, por ende de orden
m1
pm1 . Por el Teorema de Lagrange, todo elemento x de H es tal que xp = 1, por
m1
lo que todos estos elementos son races de Q = xp 1. Pero un tal polinomio tiene
a lo mas pi i races por el resultado anterior y H posee pm1 elementos distintos,
por lo que H corresponde a todas las races del polinomio Q en F . Esto nos dice
m m1
que todo elemento de P fuera de H es tal que xp = 1 pero xp 6= 1. Esto prueba
m
que cualquiera de estos elementos es de orden p y es por ende un generador de
P , lo que prueba que P es cclico. ^

Usando el corolario, podemos al fin demostrar el hint de un ejercicio que dejamos

abierto hace un buen momento.
Corolario 3.11.14. Sea p un numero primo impar y sea 1 un entero. Enton-

ces (Z/p Z) es un grupo cclico.
Demostracion. Notese que, para todo primo p, el orden de (Z/p Z) es p1 (p1).

Consideremos el elemento p + 1 (Z/p Z) y demostremos que su orden es p1 .
En efecto, podemos demostrar que
n
Lema 3.11.15. Para todo n N, (p + 1)p 1 + pn+1 mod pn+2 .
Demostracion. Esto es evidente para n = 0, por lo que procedemos por induccion.
La hipotesis de induccion nos dice que
n
(p + 1)p = 1 + pn+1 + kpn+2 ,
para algun k Z. De esto deducimos que

n+1 n
(p + 1)p = [(1 + p)p ]p = (1 + pn+1 + kpn+2 )p = (1 + pn+1 (1 + kp))p .
86
Desarrollando el cuadrado de binomio y tomando congruencias modulo pn+3 , vemos
que
pn+1 p n+1
(p + 1) 1+ p (1 + kp) 1 + pn+2 mod pn+3 ,
1
para todo n 1. ^

Usando el lema para n = 2, vemos que el orden de p + 1 (Z/p Z) no

1
es p2 . Pero aplicandolo a n = 1, vemos que (p + 1)p 1 mod p , lo que
prueba nuestra afirmacion.
Consideremos ahora el morfismo epiyectivo de anillos : Z/p Z Z/pZ,
el cual toma la clase de congruencia modulo p. Esto induce un homomorfismo
epiyectivo de grupos : (Z/p Z) (Z/pZ) . Sea s (Z/pZ) un generador, el
cual existe por el corolario precedente, y sea a una preimagen de s por . Como
el orden de s es p 1, tenemos que el orden de a es un multiplo de p 1, por lo
que existe m N tal que am es de orden p 1. Como p1 es coprimo a p 1,
vemos finalmente que am (p + 1) es un elemento de orden p1 (p 1) y por ende
un generador de (Z/p Z) . ^
Ejercicio. Que ocurre en el caso p = 2? Hint: demuestre y utilice un lema analogo

n
que dice que 52 1 + 2n+2 mod 2n+3 .
4. Modulos
Los modulos son la generalizacion natural de los espacios vectoriales al contexto
de anillos. En efecto, veremos que un modulo sobre un cuerpo no es nada mas que
un espacio vectorial. Sin embargo, la complejidad de los anillos con respecto a los
cuerpos hace que varias de las intuiciones que uno tiene del algebra lineal clasica
fallen en este contexto.
4.1. Generalidades
Comencemos por el principio:
Definicion 4.1.1. Sea R un anillo (no necesariamente conmutativo ni unitario).

Un R-modulo izquierdo (o por la izquierda) es un grupo abeliano (M, +) equipado
con una accion (por la izquierda) de R, es decir, con una funcion
R M M,
(r, x) 7 rx,
que posee las siguientes propiedades:
87
(i) (r + s)x = rx + sx, para todo r, s R y x M ;
(ii) (rs)x = r(sx), para todo r, s R y x M ;
(iii) r(x + y) = rx + ry, para todo r R y x, y M .
La nocion de modulo derecho se define de forma analoga. Si R es un anillo conmu-

tativo, entonces las dos nociones claramente coinciden y se habla sencillamente de
modulo.
Si R es ademas un anillo unitario, entonces podemos pedir ademas que
(iv) 1x = x, para todo x M ;
en cuyo caso decimos que el modulo es unitario.
Observacion.
Si R es unitario, entonces la accion de R sobre M , tal como la acabamos de definir,
nos da una accion del grupo R sobre el conjunto M va las propiedades (ii) y (iv).
Esto justifica la nomenclatura ya que se trata de una generalizacion de la nocion de
accion que ya tenamos. Notese que sin embargo el grupo aditivo (R, +) no actua
sobre M en el sentido de las acciones de grupo.
Notese que si R no es conmutativo, entonces no podemos fabricar un modulo
derecho invirtiendo la accion como lo hicimos con los grupos. En efecto, eso solo
funcionara para r R . Evidentemente, si R = R r {0} (es decir, si R es un
anillo de divison), entonces esto es posible definiendo xr := r1 x para todo r R
y x M.
Notacion. Para este curso la palabra R-modulo significa R-modulo por la izquier-
da y siempre sera unitario, salvo que se diga lo contrario.
Dada la notacion aditiva que hemos escogido para los modulos, el neutro de un
modulo se denota por 0M , como siempre. A menos que haya riesgo de confusion,
omitiremos los subndices que lo diferencian del 0 del anillo R.
Observacion.
Vista la definicion, vemos efectivamente que los modulos sobre un cuerpo F son
los espacios vectoriales sobre F .
Veamos algunas propiedades basicas a modo de ejercicio:
Ejercicio. Sea R un anillo y M un R-modulo. Pruebe que
0x = 0 para todo x M ;
si R es unitario, entonces 1x = x para todo x X;
88
para todo r R, la funcion r : M M : x 7 rx es un homomorfismo de
grupos abelianos.
Ejemplo 4.1.2 (Modulo libre). Sea R un anillo y sea n N. Consideremos el pro-
ducto Rn de n copias de R. Entonces Rn es un R-modulo con la suma componente
a componente y la accion de R sobre Rn dada por
r(x1 , . . . , xn ) = (rx1 , . . . , rxn ), r R, x1 , . . . , xn R.
Esta es el ejemplo que generaliza la nocion que uno tiene de un espacio vectorial de
dimension finita. Se le llama modulo libre de rango n. Sin embargo, existen muchos
mas modulos que este cuando R ya no es un cuerpo.
Ejemplo 4.1.3 (Z-modulos). Sea (A, +) un grupo abeliano. Entonces A es un
Z-modulo va la accion dada por:

a + + a (n veces)
si n > 0;
na := 0 si n = 0;

(a) + + (a) (n veces) si n < 0.

Notese que si x A es un elemento de orden t < , entonces tx = 0 sin que t ni

x sean 0. Este es un primer ejemplo de fenomenos que no ocurren en los espacios
vectoriales.
Ejemplo 4.1.4 (R/I-modulos). Sea M un R-modulo y sea I un ideal (bilateral)
de R tal que ax = 0 para todo a I y x M . Decimos entonces que M es
aniquilado por I. En tal caso, M es un R/I-modulo definiendo (r + I)x := rx para
todo r R y x M .
En particular, si A es un grupo abeliano finito de orden m, entonces mx = 0
para todo x A, por lo que A es un Z/mZ-modulo.
Ejemplo 4.1.5 (F [x]-modulos). Sea F un cuerpo, V un espacio vectorial sobre F
y T : V V una transformacion lineal sobre V . Usaremos esta transformacion
para hacer de V un F [x]-modulo. Definamos entonces inductivamente las transfor-
maciones lineales:
T 0 := idv , T 1 := T, T n := T T n1 .
Pn
Sean ahora P = i=0 ai xi F [x] y v V . Entonces definimos la accion de F [x]
sobre V como: n
X
Pv = ai T i (v).
i=0
Ejercicio. Verifique que esto realmente define un F [x]-modulo.
89
Al igual que para cada objeto algebraico que hemos ido encontrando, debemos
definir ahora las nociones de subobjeto, objeto cociente y homomorfismo de objetos
para poder compararlos.
Definicion 4.1.6. Sea R un anillo y M un R-modulo. Decimos que N M es
un sub-R-modulo de M (o submodulo si no hay riesgo de confusion) si N es un
subgrupo de M que es cerrado bajo la accion de R, es decir, tal que
rx N, r R, x N.
Observacion.
Todo R-modulo M tiene al menos dos submodulos: M y {0}. Estos son llamados
los submodulos triviales de M .
Proposicion 4.1.7. Sea R anillo unitario y M un R-modulo. Entonces un sub-
conjunto N de M es un submodulo de M si y solo si
1. N 6= ;
2. x + ry N , para todo r R y x, y N .
Demostracion. En efecto, un submodulo es claramente no vaco ya que se trata de
un subgrupo y por ende contiene el neutro 0 de M . Ademas, la definicion nos dice
que dados x, y N y r R, entonces ry N y por ende x + ry N ya que N es
un subgrupo.
En el sentido inverso, tomando la segunda propiedad para r = 1 vemos que
N es un subgrupo gracias a la Proposicion 2.1.3. Tomando la misma propiedad
para x = 0 vemos que N es cerrado bajo la accion de R, lo que prueba que N es
un submodulo. ^

Ejemplo 4.1.8. R es un R-modulo (es el R-modulo libre de rango 1) y sus

submodulos son los ideales de R.
Ejemplo 4.1.9 (Submodulos de un F [x]-modulo). Sean F un cuerpo, V un F -
espacio vectorial y T : V V una transformacion lineal sobre V . Se dice que un
subespacio vectorial S V es T -invariante o que S es estable por T si T (S) S.
Notese que esto implica que T n (S) S para todo n N.
Consideremos ahora a V como un F [x]-modulo con respecto a la transformacion
lineal T . Entonces S es un F [x]-submodulo de V si y solo si S es un subespacio de
V tal que
Xn
Ps = ai T i (s) S, P F [x], s S,
i=0
lo cual claramente ocurre si S es T -invariante. Por otra parte, considerando P (x) =

x vemos que todo submodulo S de V es T -invariante como subespacio. Por ende, S
es un F [x]-submodulo de V si y solo si S es un subespacio de V que es T -invariante.
90
Ejercicio. Sean N1 , . . . , Nt submodulos de un R-modulo M . Pruebe que
N1 + + Nt = {n1 + + nt | ni Ni };
Tt
i=1 Ni ;
son submodulos de M .
Un ejemplo importante de submodulo concierne la siguiente definicion.
Definicion 4.1.10 (Elementos de torsion). Sea R un y M un R-modulo. Un ele-
mento m M , se llama un elemento de torsion si rm = 0 para algun r R r {0}.
Definimos
Tor(M ) := {m M | m de torsion} = {m M | r R r {0}, rm = 0}.
Si Tor(M ) es un submodulo, entonces se habla de submodulo de torsion de M . Si

Tor(M ) = {0}, decimos que M es libre de torsion o sin torsion.
Proposicion 4.1.11. Si R es un dominio de integridad, entonces Tor(M ) es un
submodulo de M .
Demostracion. Vemos que Tor(M ) 6= ya que 0 Tor(M ). Por otra parte, si
x, y Tor(M ), entonces existen s, t R r {0} tales que sx = ty = 0. Tenemos
entonces que, para r R,
st(x + ry) = stx + stry = tsx + srty = t0 + sr0 = 0,
y como R es un DI, entonces st 6= 0, lo que nos dice que x + ry Tor(M ) y por

ende Tor(M ) es un submodulo por la Proposicion 4.1.7. ^

4.2. Homomorfismos y cocientes de modulos

La nocion de homomorfismo de modulos es bastante sencilla de adivinar y la
definimos enseguida. La nocion de cociente de modulos sin embargo difiere un poco
del caso de los grupos y anillos pero en un buen sentido. En efecto, a diferencia
de estos ultimos, los cocientes de modulos no necesitan de un tipo especial de
submodulo como lo fueron los subgrupos normales y los subanillos ideales. Expli-
caremos esto en detalle mas adelante.
Definicion 4.2.1. Sea R un anillo y sean M, N dos R-modulos. Una funcion
f : M N se dice un homomorfismo de R-modulos si:
f (x + y) = f (x) + f (y), para todo x, y M ;
f (rx) = rf (x), para todo r R y x M .
91
Si M = N , entonces hablamos de un endomorfismo de M . Si ademas la funcion
es biyectiva, se habla de automorfismo de M .
Definimos el nucleo de f como el conjunto ker(f ) := f 1 (0).
Ejercicio. Demuestre que la dos propiedades de la definicion son equivalentes a la
propiedad
f (rx + y) = rf (x) + f (y), para todo r R y x, y M.
Observacion.
La primera propiedad de un homomorfismo de R-modulos nos dice que se trata
simplemente de un homomorfismo de grupos abelianos f : M N . La segunda nos
dice que este homomorfismo de grupos respeta la accion de R en ambos grupos. En
particular, todo lo que sabemos de homomorfismos de grupos abelianos se puede
trasponer a este contexto. Por ejemplo, sabemos entonces que f (0) = 0 y que
f (x) = f (x) para todo x M . Sabemos tambien que ker(f ) es un subgrupo de
M (y pronto veremos que se trata de un submodulo).
Definicion 4.2.2. El conjunto de homomorfismos de R-modulos f : M N se
denota HomR (M, N ). Si M = N , entonces anotamos EndR (M ) := HomR (M, M )
el conjunto de los endomorfismos de M . Si el anillo R esta implcito, entonces se
puede omitir el subndice.
Proposicion 4.2.3. Si R es conmutativo, entonces HomR (M, N ) es un R-modulo
con la suma definida por
(f + g)(x) := f (x) + g(x), x M,
para cada par de funciones f, g HomR (M, N ); y la accion de R sobre HomR (M, N )
definida por
(rf )(x) := rf (x), x M,
para todo homomorfismo f HomR (M, N ) y todo r R.
Demostracion. Demostremos primero que f + g y rf son en efecto elementos de
HomR (M, N ). Para x, y M y s R tenemos que
(f + g)(x + sy) = f (x + sy) + g(x + sy) = f (x) + f (sy) + g(x) + g(sy)
= f (x) + sf (y) + g(x) + sg(y) = f (x) + g(x) + sf (y) + sg(y)
= (f + g)(x) + s(f (y) + g(y)) = (f + g)(x) + s(f + g)(y),
y
(rf )(x + sy) = rf (x + sy) = r(f (x) + f (sy))
= r(f (x) + sf (y)) = rf (x) + r[sf (y)]
= (rf )(x) + (rs)[f (y)] = (rf )(x) + (sr)f (y)
= (rf )(x) + s[rf (y)] = (rf )(x) + s(rf )(y),
92
donde usamos la conmutatividad de R en la tercera lnea.
Habiendo comprobado esto, la conmutatividad, asociatividad y existencia de
inversos en N nos muestran que (HomR (M, N ), +) es un grupo abeliano con neutro
la funcion constante f (x) = 0 para todo x M . Falta verificar entonces que los
otros 4 axiomas de modulo se verifican (el ultimo solo si R es unitario). Sean
entonces f, g HomR (M, N ) y r, s R. Para todo x M tenemos que
[(r + s)f ](x) = (r + s)f (x) = rf (x) + sf (x) = (rf )(x) + (sf )(x) = (rf + sf )(x),
lo que prueba que (r + s)f = rf + sf . Tambien tenemos que
[(rs)f ](x) = (rs)f (x) = r[sf (x)] = r[(sf )(x)] = [r(sf )](x),
lo que prueba que (rs)f = r(sf ). Tambien tenemos que
[r(f +g)](x) = r(f +g)(x) = r(f (x)+g(x)) = rf (x)+rg(x) = (rf )(x)+(rg)(x) = (rf +rg)(x),
lo que prueba que r(f + g) = rf + rg. Por ultimo, si R es unitario, entonces vemos
que
(1f )(x) = 1f (x) = f (x),
lo que prueba que 1f = f . ^

El caso particular donde N = M tiene un interes propio. En este caso podemos

componer endomorfismos f, g EndR (M ) para obtener otro endomorfismo f g
EndR (M ).
Proposicion 4.2.4. Sea R un anillo y sea M un R-modulo. Entonces (EndR (M ), +, )
es un anillo unitario, incluso si R no es unitario.
Demostracion. Ya sabemos que (EndR (M ), +) es un grupo abeliano por la proposi-
cion anterior. Basta entonces con demostrar que se comporta como una multipli-
cacion. La asociatividad de la composicion de funciones es algo conocido y evidente
por definicion. Por otra parte, esta claro que la identidad id : M M : x 7 x es
un neutro para la composicion. Falta entonces demostrar la distributividad. Sean
f, g, h EndR (M ). Para todo x M , tenemos que
[f (g + h)](x) = f ((g + h)(x)) = f (g(x) + h(x))

= f (g(x)) + f (h(x)) = (f g)(x) + (f h)(x)
= (f g + f h)(x),
[(f +g)h](x) = (f +g)(h(x)) = f (h(x))+g(h(x)) = (f h)(x)+(gh)(x) = (f h+gh)(x),
lo que prueba que f (g + h) = f g + f h y (f + g) h = f h + g h. ^

93
Definicion 4.2.5 (Modulo cociente). Sea M un R-modulo y N un submodulo de
M . Entonces el grupo cociente M/N es un R-modulo con la accion de R dada por
r(x + N ) = rx + N para todo r R y x M .
Observacion.
Una razon por la cual no se necesita algun tipo especial de submodulo apra definir
el cociente es la siguiente: estamos mirando un cociente de grupos abelianos, marco
en el cual todo subgrupo es normal. Ademas, todo submodulo es por definicion
estable por la multiplicacion por todo elemento de R, al igual que los ideales en la
teora de anillos. Tenemos pues todos los requisitos especiales de antemano en
la definicion de submodulo.
Lema 4.2.6. Sea M un R-modulo y N un submodulo de M . Entonces la proyeccion

canonica
: M M/N : x 7 x + N,
es un homomorfismo epiyectivo de modulos de nucleo N .
Demostracion. La epiyectividad y el nucleo vienen de la teora de grupos. Tambien

el hecho de que se trata de un homomorfismo de grupos. Lo unico que debemos
verificar es que se trata de un homomorfismo de modulos al notar que, para todo
r R y para todo x M ,
(rx) = rx + N = r(x + N ) = r(x).
Dado este lema y el hecho de que todo cociente de modulos es un cociente de

grupos abelianos, podemos deducir facilmente (como ejercicio) la demostracion del
siguiente teorema:
Teorema 4.2.7 (Teorema de la correspondencia). Los submodulos de M/N estan

en correspondencia biunvoca con los submodulos U de M tales que N U . El
submodulo que corresponde a un tal U M es U/N M/N .
De la misma manera, podemos obtener todos los teoremas de isomorfismo que

ya conocemos para grupos y para anillos.
Teorema 4.2.8 (Teorema de isomorfismo 1). Sea f : M N un homomorfismo

de R-modulos, entonces tenemos un isomorfismo de modulos M/ ker(f ) ' Im(f ).
En particular, ker(f ) es un submodulo de M .
Teorema 4.2.9 (Teorema de isomorfismo 2). Sean N1 , N2 submodulos de un R-

modulo M . Entonces (N1 + N2 )/N2 ' N1 /N1 N2 .
94
Teorema 4.2.10 (Teorema de isomorfismo 3). Sean N1 , N2 submodulos de un
R-modulo M tales que N1 N2 . Entonces M/N2 ' (M/N1 )/(N2 /N1 ).
Tenemos ademas la proposicion siguiente, conocida tambien como la propiedad

universal del cociente.
Proposicion 4.2.11. Sean M, N, P tres R-modulos. Sean f : M N y :

M P homomorfismos de R-modulos con epiyectivo. Supongamos que ker()
ker(f ). Entonces existe un unico g HomR (P, N ) tal que g = f .
Observacion.
La afirmacion opuesta tambien es cierta: si existe un g tal que g = f , entonces
ker() ker(f ) de forma evidente.
Para entender el porque del nombre, basta con notar que si es epiyectiva,
entonces P ' M/ ker() de forma canonica segun el Teorema de isomorfismo 1.
Esta proposicion prueba entonces que todo homomorfismo que se anula en un
submodulo (aqu, ker()) define de forma unica un homomorfismo a partir del
cociente por este submodulo (aqu, P ).
Demostracion. Definamos g : P N de la siguiente manera: para x P , sea

x0 M una preimagen, es decir, un elemento tal que (x0 ) = x. Esto siempre existe
ya que es epiyectiva. Definimos entonces g(x) = f (x0 ). Esto esta bien definido
ya que no depende de la eleccion de x0 . En efecto, si escogemos otra preimagen x00 ,
tenemos que (x0 ) = (x00 ) = x, de donde vemos que (x0 x00 ) = x x = 0, es
decir, x0 x00 ker() ker(f ). Entonces
f (x0 ) = f (x00 + (x0 x00 )) = f (x00 ) + f (x0 x00 ) = f (x00 ),
De la definicion se deduce ahora que g = f de forma inmediata. Solo falta

demostrar que g HomR (P, N ).
Sean entonces x, y P y r R. Sean x0 , y 0 M preimagenes de estos. Entonces
g(x+ry) = g((x0 )+r(y 0 )) = g((x0 +ry 0 )) = f (x0 +ry 0 ) = f (x0 )+rf (y 0 ) = g(x)+rg(y).
Por ende g es un homomorfismo por la Proposicion 4.1.7.

Para probar la unicidad, supongamos que existe g 0 HomR (P, N ) tal que
g 0 = f . Entonces, para todo x M tenemos que g(pi(x)) = f (x) = g 0 ((x)).
Como todo elemento de P se escribe de la forma (x) para algun x, vemos que
g = g0. ^
Observacion.
La propiedad universal del cociente es valida tambien en el marco de grupos y en
el marco de anillos, con la misma demostracion, mutatis mutandis.
95
Ejercicio (Propiedad universal del submodulo). Demuestre de forma analoga el
siguiente resultado:
Sean M, N, P tres R-modulos. Sean f : N P y : M P homomorfismos
de R-modulos con inyectiva. Supongamos que Im(f ) Im(). Entonces existe un
unico g HomR (N, M ) tal que g = f .
96

Apuntes Algebra y Geometría UChile

Cargado por

Información del documento

Descripción 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

Apuntes Algebra y Geometría UChile

Cargado por

Copyright:

Formatos disponibles

Apunte Grupos y Anillos

basado en los apuntes de Alicia Labra en 2015

1. Conocer mas profundamente propiedades de grupos y acciones de grupos, as

1. Conocer y aplicar los teoremas de Sylow.

2. Conocer y saber diferenciar los productos directos y semi-directos.

3. Comprender las series de grupos y los grupos solubles y nilpotentes.

4. Conocer la relacion entre dominios euclideanos, dominios de ideales princi-

5. Saber trabajar con el anillo de polinomios y aplicar algunos criterios de irre-

6. Conocer y trabajar con modulos finitamente generados, modulos libres.

7. Conocer la teora de modulos sobre dominios de ideales principales.

8. Saber y aplicar el teorema de la existencia de los factores invariantes y diviso-

Recordemos algunos ejemplos:

SLn (F ) = {A Mnn | det(A) = 1}.

Es un grupo no abeliano si n 2, subgrupo del anterior.

(g1 , , gn ) (g10 , . . . , gn0 ) := (g1 1 g10 , . . . , gn n gn0 ).

Se llama el producto directo de los grupos (G1 , 1 ), . . . , (Gn , n ).

Ejemplo 2.1.15. El grupo de permutaciones S3 es generado por las permutaciones

Recordemos finalmente la nocion de homomorfismo de grupos.

La imagen de f es denotada Imf . La pre-imagen del elemento neutro e2 de G2 , es

Aut(G) := {f : G G | f es un automorfismo de G}.

Entonces Aut(G) es un grupo bajo la composicion de funciones.

Grupos de orden 8. Recordemos que todo grupo de orden p, con p primo,

2. |G| = 2 G ' Z/2Z.

3. |G| = 3 G ' Z/3Z.

5. |G| = 5 G ' Z/5Z.

6. Si |G| = 6, hay dos grupos no isomorfos: G1 = Z/6Z y G2 = S3 . G1 y G2 no

7. |G| = 7 G ' Z/7Z.

Ejercicio. Pruebe que Q8 = {1, 1, i, i, j, j, k, k}, donde la multiplicacion en

2.2. Acciones de grupos sobre conjuntos

Definicion 2.2.1. Una accion (por la izquierda) de G sobre X es una funcion

En general, trabajaremos con las clases laterales izquierdas. Recordemos en

Definicion 2.2.8 (Conjunto cociente). El conjunto G/H := {gH | g G} de las

Ejemplo 2.2.10 (Accion por multiplicacion generalizada). Sea G un grupo, H un

Ejemplo 2.2.11 (Accion por conjugacion generalizada). Sea G un grupo, H un

Ejercicio. Sea G un grupo y H un subgrupo de G. Pruebe que H es un subgrupo

Veamos un primer ejemplo no trivial de aplicacion de un grupo cociente demos-

Teorema 2.2.12 (Teorema de Cauchy para grupos abelianos). Sea G un grupo

Luego, por el principio de induccion completa, el teorema vale para grupos

Volvamos a las acciones. Sea G un grupo, X un conjunto y supongamos que

Proposicion 2.2.14. La funcion g es un elemento de SX . Ademas, la funcion

Definicion 2.2.15. La funcion se llama la representacion permutacion de G con

g g1 (x) = g (g1 (x)) = g (g 1 x) = g (g 1 x) = gg 1 x = e x = x.

Similarmente se prueba que (g1 )(x) = x. Entonces g es invertible, y por ende

(g1 g2 )(x) = g1 g2 (x) = (g1 g2 )x = g1 (g2 x) = g1 (g2 x) = g1 (g2 (x)) = g1 g2 (x).

Por ende, (g1 g2 ) = g1 g2 , lo que significa que es un homomorfismo de

es una accion de G sobre X.

Entonces R es una relacion de equivalencia en X.

Para x X, definimos tambien el estabilizador de x como el conjunto de los g G

StabG (x) := {g G | g x = x}.

Lema 2.2.21. Supongamos que G actua sobre X y sea x X. Entonces existe

Consideremos ahora la accion por conjugacion de G sobre s mismo.

Definicion 2.2.22. Para x G, la orbita con respecto a la accion por conjugacion

O(x) = {gxg 1 | g G}.

Por otra parte, llamamos centralizador de x en G y denotamos CG (x) al sub-

CG (x) = StabG (x) = {g G | gxg 1 = x} = {g G | gx = xg}.

El centro de G, denotado Z(G), es el nucleo de esta accion, es decir, la inter-

Ejemplo 2.2.23. Consideremos la accion por conjugacion en el grupo S3 . Entonces

Ejercicio. Sea G un grupo. Demuestre que todo subgrupo de Z(G) es normal en

Ejercicio. Calcule el centro de los siguientes grupos: Z/6Z, S3 , S4 , D8 , Q8 .

Luego, como la union es disjunta,

donde la ultima igualdad viene del lema 2.2.21. ^

Proposicion 2.3.2 (Ecuacion de clases). Sea G un grupo finito. Entonces existen

donde [G : CG (xi )] > 1 para todo 1 i k.