Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Nicolás Libedinsky
2019
Índice
1. Introducción 3
2. Grupos 4
2.1. Definiciones y propiedades básicas . . . . . . . . . . . . . . . . . . . 4
2.2. Acciones de grupos sobre conjuntos . . . . . . . . . . . . . . . . . . 9
2.3. Ecuación de clases y aplicaciones . . . . . . . . . . . . . . . . . . . 16
2.4. p-grupos y Teorema de Sylow . . . . . . . . . . . . . . . . . . . . . 19
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 factorización única . . . . . . . . . . . . . . . . . . . . 67
3.9.1. Elementos primos y elementos irreducibles . . . . . . . . . . 67
3.9.2. Dominios de factorización
p única. . . . . . . . . . . . . . . . . 69
1+ 19
3.10. Ejemplos: Z[i] y Z[ 2 ] . . . . . . . . . . . . . . . . . . . . . . . 72
3.10.1. Factorización en Z[i] . . . . . . . . . . . . . . . . . . . . . . 72
3.10.2. Un ejemplo de DIP no euclideano . . . . . . . . . . . . . . . 75
3.11. Polinomios sobre un dominio de factorización única. . . . . . . . . . 79
1
4. Módulos 87
4.1. Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.2. Homomorfismos y cocientes de módulos . . . . . . . . . . . . . . . . 93
4.3. Módulos finitamente generados . . . . . . . . . . . . . . . . . . . . 99
4.4. Productos, sumas directas y módulos libres . . . . . . . . . . . . . . 105
4.5. Módulos sobre dominios de ideales principales . . . . . . . . . . . . 111
4.5.1. Factores invariantes y divisores elementales . . . . . . . . . . 115
2
1. Introducción
Este curso necesita del curso previo Estructuras algebraicas sobre algunas no-
ciones de 3 estructuras algebraicas: grupos, anillos y cuerpos. Es un curso más
avanzado sobre grupos y anillos, necesario para una mayor comprensión de estas
dos estructuras algebraicas y de preparación para cuerpos y álgebras.
Objetivos Generales:
2. Tener una buena base sobre los anillos para aplicarla en la teorı́a de módulos,
principalmente en los módulos sobre dominios de ideales principales.
Objetivos Especf́icos:
3
2. Grupos
2.1. Definiciones y propiedades básicas
Definición 2.1.1. Un grupo es un par ordenado (G, ⇤), donde G es un conjunto
(no vacı́o) y ⇤ es una función
G⇥G!G
(a, b) 7! a ⇤ b,
llamada operación binaria, que satisface:
1. 8 a, b, c 2 G a ⇤ (b ⇤ c) = (a ⇤ b) ⇤ c. (Asociatividad)
2. Existe en G un elemento denotado e tal que, para todo a 2 G, e⇤a = a⇤e = a.
(Este elemento es único y se llama neutro)
3. Para todo a 2 G, existe un elemento a0 2 G tal que a0 ⇤ a = a ⇤ a0 = e. (El
elemento a0 es único para cada a y se llama el inverso de a)
Notación. Cuando se usa una notación aditiva (+) para la operación, el neutro
e suele ser notado 0 y el inverso a0 suele ser notado a. Si se usa una notación
multiplicativa (·), el neutro puede ser denotado por 1 y a0 se denota por a 1 . En este
último caso se suele notar a · b simplemente como ab si esto no presenta confusión.
Ésta es la notación de preferencia para un grupo cualquiera. La notación aditiva
se reserva exclusivamente para grupos abelianos (lo que no impide que usemos
notación multiplicativa para grupos abelianos de vez en cuando).
En general, cuando la operación 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 básicas
Definición 2.1.2. Un subgrupo de un grupo G es un subconjunto H ⇢ G tal que
⇤ envı́a H ⇥ H en H (Clausura) y tal que la restricción 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 más adelante la noción de orden de un elemento
a 2 G)
Un grupo (G, ⇤) es llamado abeliano 1 o conmutativo si y sólo si, 8 a, b 2 G,
a ⇤ b = b ⇤ a.
1
Este nombre se da en honor del matemático noruego Niels Henrik Abel (1802-1829), quién
fue el primero en trabajar, de manera sistemática, con este tipo de grupos al abordar el problema
de la solubilidad por radicales de ecuaciones polinomiales.
4
Proposición 2.1.3. Sea G un grupo y H un subconjunto de G. Entonces H es un
subgrupo si y sólo si
1. H 6= ; ;
1
2. 8 a, b 2 H, xy 2 H.
Demostración. Ejercicio. ^
¨
5
Ejemplo 2.1.9. Grupo especial lineal de un cuerpo F :
6
Recordemos ahora uno de los resultados importantes del curso de Elementos
del Álgebra que concierne el orden de elementos y de los subgrupos de un grupo G
dado. La demostración utiliza la noción de clases laterales, las cuales recordaremos
en la próxima sección.
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 2 G, |a| divide a |G|.
Corolario 2.1.14. Sea G un grupo de orden p con p primo. Entonces G es cı́clico.
Demostración. Sea a 2 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 cı́clico. ^
¨
D2n = hr, s | rn = s2 = e, rs = sr 1 i.
2
¡Atención! La barra no significa lo mismo en cada coordenada.
7
Quien lea este texto tal vez se pregunte por qué sólo consideramos esas relacio-
nes. Por qué no menos o más relaciones? Sin duda, hay muchas más. Resulta ser
(ejercicio) que con estas relaciones “basta”. Dicho aún de otra forma misteriosa
“todas las otras relaciones se deducen de estas”. Por ejemplo rs3 r = s podrı́a ser
una relación nueva, pero es consecuencia directa de s2 = e y rs = sr 1 . Otro punto
importante es que hay varias maneras equivalentes de presentar un grupo por ge-
neradores y relaciones, basta con agregar suficientes relaciones para que todas las
demás se deduzcan de las que ya tenemos. Quien quiera una definición formal de
un grupo presentado por generadores y relaciones, recomendamos leer las secciones
7 y 8 del capı́tulo 6 del libro de Michael Artin.
Ejercicio. Sea G un grupo y S un subconjunto de G. Demuestre que hSi co-
rresponde a la intersección de todos los subgrupos de G que contienen a S. Es
decir: \
hSi = H.
S⇢H<G
8
Grupos de orden 8. Recordemos que todo grupo de orden p, con p primo,
es cı́clico.
1. |G| = 1 ) G = {e}.
4. Si |G| = 4, hay dos grupos no isomorfos: G1 ' Z/4Z y G2 ' Z/2Z ⇥ Z/2Z.
Éste último es llamado grupo de Klein y en él todos los elementos distintos
de e tienen orden 2. G1 y G2 no son isomorfos pues G1 es cı́clico y G2 no.
Todo grupo de orden 4 es isomorfo a uno de éstos.
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).
G⇥X !X
(g, x) 7! g · x,
tal que:
9
1. 8 g1 , g2 2 G, 8 x 2 X, g1 · (g2 · x) = (g1 g2 ) · x.
2. 8 x 2 X, e · x = x.
Dada una tal función, decimos que G actúa sobre X por la izquierda o que X es
un G-conjunto por la izquierda. Una acción de G sobre X por la derecha se define
de forma similar.
Supongamos que G actúa sobre X por la izquierda. Podemos transformar esta
acción en una acción por la derecha (x, g) 7! x ⇤ g imponiendo:
1
8 g 2 G, 8 x 2 X, x ⇤ g := g · x.
Ejemplo 2.2.2. SX actúa sobre X vı́a la acción
8 2 G, 8 x 2 X, · x = (x).
Ejemplo 2.2.3. D2n actúa sobre los vértices {v1 , . . . , vn } de un n-ágono regular.
El elemento r actúa de forma que r · vi = vi+1 y el elemento s actúa de forma
que s · vi = vn+2 i (en ambos casos, vn+1 := v1 ). Este grupo también actúa sobre
el conjunto de diagonales del n-ágono regular, as como sobre el conjunto de los
triángulos cuyos vértices son vértices del n-ágono. Ejercicio: encontrar más objetos
geométricos sobre los que actúa D2n .
Ejemplo 2.2.4 (Acción por multiplicación). Todo grupo G actúa sobre sı́ mismo
por la izquierda (y también por la derecha) vı́a su propia operación binairia: la
función G ⇥ G ! G : (a, b) 7! a · b verifica de hecho los dos axiomas de una acción.
En particular, para todo subgrupo H de G, la restricción de la operación binaria
a H ⇥ G define una acción de H sobre G.
Ejemplo 2.2.5 (Acción por conjugación). Todo grupo G actúa sobre sı́ mismo,
de una forma distinta a la del ejemplo precedente, vı́a la siguiente fórmula:
G ⇥ G ! G : (g, x) 7! gxg 1 .
De forma análoga al ejemplo anterior, tenemos que todo subgrupo H actúa también
sobre G por conjugación. Si, por el contrario, usamos la fórmula de conjugación
para intentar definir una acción de G sobre H, esto sólo funcionará si H es un
subgrupo normal, cuya definición daremos enseguida.
Ejemplo 2.2.6 (Acción trivial). Dado un grupo G y un conjunto X, G puede
actuar de forma trivial sobre X, es decir que 8 g 2 G, 8 x 2 X, g · x = x.
Sea G un grupo y H un subgrupo de G. Las órbitas (cuya definición recorda-
remos más adelante) de la acción de H sobre G por multiplicación nos permiten
definir el conjunto cociente G/H. Esto nos lleva también a recordar una clase de
subgrupos muy particular: los subgrupos normales.
10
Definición 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 2 H},
Hg = {hg | h 2 H},
Observación.
1
Notemos que H es subgrupo normal de G si y sólo si, 8 g 2 G, 8 h 2 H, ghg 2 H.
En particular, todo subgrupo de un grupo abeliano es normal.
Proposición 2.2.9. El conjunto G/H posee una estructura de grupo dada por la
operación
g1 H · g2 H := (g1 g2 )H, 8 g1 , g2 2 G,
si y sólo si H es un subgrupo normal.
11
Veamos un primer ejemplo no trivial de aplicación de un grupo cociente demos-
trando un caso particular del teorema de Cauchy (Teorema 2.3.4 que demostrare-
mos más adelante), el cual es es un complemento al teorema de Lagrange.
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 hipótesis de inducción para K obte-
nemos el teorema, es decir, existe a 2 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|. Nótese ahora
que, como G es abeliano, K / G y por ende G/K es un grupo. Luego, por
hipótesis de inducción para G/K, existe xK 2 G/K tal que |xK| = p. Por
lo tanto, xp K = K, lo que implica que xp 2 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 2 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| 2 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 también en este caso.
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.
12
Volvamos a las acciones. Sea G un grupo, X un conjunto y supongamos que
G actúa sobre X. A cada g 2 G, le podemos asociar una función g : X ! X,
definida por g (x) := g · x.
(g1 g2 )(x) = g1 g2 (x) = (g1 g2 )·x = g1 ·(g2 ·x) = g1 (g2 ·x) = g1 ( g2 (x)) = g1 g2 (x).
Observación.
Si ' : G ! SX es un homomorfismo de grupos, entonces la función
G⇥X !X
(g, x) 7! g · x := '(g)(x),
x1 Rx2 , 9 g 2 G, g · x1 = x2
13
Definición 2.2.17. Un órbita de X con respecto a una acción de G es una clase de
equivalencia de la relación R del lema precedente. En otras palabras, para x 2 X,
la órbita de x corresponde a:
O(x) := {g · x | g 2 G}.
Para x 2 X, definimos también el estabilizador de x como el conjunto de los g 2 G
que “no mueven x”. Es decir:
StabG (x) := {g 2 G | g · x = x}.
Ejemplo 2.2.18. Sea G un grupo y H < G. Para g 2 G, la clase lateral derecha
Hg corresponde a la órbita de g para la acción de H sobre G por multiplicación.
Proposición 2.2.19. Para todo x 2 X, StabG (x) es un subgrupo de G.
Demostración. StabG (x) es no vacı́o pues e · x = x y por ende e 2 StabG (x). Sean
g1 , g2 2 StabG (x), entonces g1 · x = x = g2 · x. Por lo tanto,
(g1 g2 1 )·x = g1 ·(g2 1 ·x) = g1 ·(g2 1 ·(g2 ·x)) = g1 ·((g2 g2 1 )·x) = g1 ·(e·x) = g1 ·x = x,
por ende StabG (x) es un subgrupo de G por la proposición 2.1.3. ^
¨
14
Demostración. Sea H = StabG (x). Primero debemos mostrar que la función está
bien definida, es decir, que es independiente de la elección del elemento g 2 G que
describe gH. Sean entonces g1 , g2 2 G tales que g1 H = g2 H. Debemos mostrar que
g1 · x = g2 · x. Ahora,
g1 H = g2 H , g1 1 g2 2 H
, (g1 1 g2 ) · x = x
, g1 1 · (g2 · x) = x
, g1 · (g1 1 · (g2 · x)) = g1 · x
, (g1 g1 1 ) · (g2 · x) = g1 · x
, g2 · x = g1 · x.
Esto prueba que ' está bien definida, pero además que es inyectiva. La epiyecti-
vidad es fácil: todo elemento de O(x) se escribe g · x para algún g 2 G. Entonces
gH se envı́a a ese elemento. ^
¨
Observación.
Si el grupo G es abeliano, entonces cada órbita de la acción por conjugación consiste
en un sólo 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 acción por conjugación 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.
15
Ejercicio. Sea G un grupo. Demuestre que todo subgrupo de Z(G) es normal en
G.
Demostración. G actúa sobre sı́ mismo por por conjugación. Para cada órbita Oi
de esta acción escojamos un representante xi 2 G, de forma que Oi = {gxi g 1 |
g 2 G}. Sea S ⇢ G el conjunto de los xi . Por definición, las órbitas de esta acción
definen una partición de G, es decir,
G
G= {gxg 1 | g 2 G}.
x2S
Observación.
Si G es abeliano tenemos |G| = |Z(G)|. En tal caso diremos que k = 0.
16
Ahora, el conjunto S es la reunión disjunta de S1 y S2 , donde
S1 = {x 2 S | [G : CG (x)] = 1},
S2 = {x 2 S | [G : CG (x)] > 1}.
X X k
X
|G| = [G : CG (x)] + [G : CG (x)] = |S1 | + [G : CG (xi )].
x2S1 x2S2 i=1
17
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 pn 1 .
La segunda aplicación 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”).
Teorema 2.3.4 (Cauchy). Sea G un grupo finito y sea p un primo que divide a
|G|. Entonces existe un elemento a 2 G de orden p.
Demostración. La demostración 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 ecuación de clase (Prop. 2.3.2):
k
X
|G| = |Z(G)| + [G : CG (xi )],
i=1
Para el caso 2 usamos inducción sobre |G|. Si |G| = p con p primo entonces
G = hai y |a| = p, lo que concluye en este caso.
Hipótesis de inducción: El teorema es válido para grupos de orden estrictamente
menor que |G|.
Sabemos por hipótesis 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 hipótesis de inducción, por ende
existe a 2 T ⇢ G tal que |a| = p.
Por lo tanto, por el principio de inducción completa, el teorema vale para todo
grupo de orden 2 en este caso también. ^¨
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.
Demostración. Evidente. ^
¨
18
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 dará el enunciado análogo para la máxima potencia de p
que divide a G. Demos algunas definiciones para poder expresar este resultado de
forma simple.
Observación.
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)| según el lema 2.3.3.
Observación.
Nótese que gHg 1 = H no es lo mismo que ghg 1 = h para todo h 2 H. La segunda
propiedad es aquélla que define al centralizador CG (H). En general, tenemos que
CG (H) C NG (H) y H C NG (H) (pruébelo).
19
Ejercicio. Sean H, K subgrupos de G.
np = [G : NG (S)];
np divide a m;
np ⌘ 1 mód p.
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 cı́clico.
Proposición 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 cı́clico.
20
2. Existe 2 i p 1 tal que iq ⌘ 1 mód p y
G = ha, b | ap = bq = e, ba = ai bi.
En particular, p ⌘ 1 mód q.
Demostración. Como |G| = pq, el teorema de Sylow nos dice que existen np p-
Sylow de G y nq q-Sylow de G. Pero además nos dice que:
np ⌘ 1 mód p y divide a q;
nq ⌘ 1 mód q y divide a p;
Como p > q, obtenemos entonces que np = 1 y por ende existe un único p-Sylow
P y la proposición 2.4.5 nos dice que P C G. Obtenemos también que nq es igual
a 1 o a p.
Si nq = 1, tenemos que existe un único q-Sylow Q tal que Q C G y el teorema
de Lagrange nos dice 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 mód 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 cı́clico, por lo que podemos
fijar un generador b de S. De la misma manera, podemos fijar un generador a del
grupo cı́clico P . Como P C G, tenemos que bP b 1 = P y por ende bab 1 = ai para
algún 1 i p 1. Pero si i = 1, entonces tendrı́amos que ab = ba, luego G serı́a
abeliano, contradiciendo lo que sabemos. Por ende, tenemos que 2 i p 1.
Con esta relación 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 , 1jp 1, 1 k q 1.
aj 1 b k 1 = aj 2 b k 2 ) aj 1 j 2 k1 k2
b = e,
21
Definición 2.4.7. Un grupo G se dice simple si los únicos subgrupos normales
son los triviales {e} y G.
Los subgrupos de Sylow y el teorema de Sylow son muy útiles para probar que
los grupos de ciertos órdenes no son simples. He aquı́ unos ejemplos:
Proposición 2.4.8. Sea G un grupo de orden 2t · 3 con t 1. Entonces G no es
simple.
Demostración. 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 acción de G
por multiplicación sobre el conjunto cociente X = G/S. Ésta corresponde a un
homomorfismo : G ! SX ' S3 . Existen entonces dos opciones:
1. Si la acción 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 única
opción es que (G) = S3 y ya sabemos que este grupo no es simple porque
tiene un subgrupo normal de orden 3.
2. Si la acción no es fiel, entonces ker( ) 6= {e}. Por otra parte, ker( ) 6= G ya
que todo elemento g 62 S actúa de forma no trivial sobre X = G/S. Luego
ker( ) es un subgrupo propio normal no trivial de G.
^
¨
Proposición 2.4.9. Sea G un grupo de orden p2 q con p, q primos distintos. En-
tonces G no es simple.
Demostración. Supongamos que p > q. El teorema de Sylow nos dice que np ⌘ 1
mód p y divide a q, lo que implica que np = 1. Por ende, existe un único p-Sylow
P de G que es entonces normal en G por la proposición 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 mód 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 único q-Sylow es
normal y por ende G no es simple.
2. Si nq = p2 , entonces p2 ⌘ 1 mód 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 únicos primos consecutivos son 2 y 3, lo que
implica que |G| = 22 · 3, caso que ya mostramos en la proposición 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
Demostración del teorema de Sylow.
Demostración de la parte 1. Demostremos por inducción sobre |G| = pt m la exis-
tencia de un p-Sylow.
En el primer caso, el teorema de Cauchy nos asegura que existe a 2 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 éste último es
[G : H] = pt 1 m < |G|. Por hipótesis de inducción, existe un subgrupo S̄ de G/H
de orden pt 1 , 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 ecuación 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 algún j 2 {1, . . . , k}. Ahora, como pt divide a |G| = [G : CG (xj )] · |CG (xj )|,
obtenemos que pt divide a |CG (xj )|. Además, |CG (xj )| < |G| por que su ı́ndice no
es 1, por lo que la hipótesis de inducción 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 inducción completa, todo grupo de orden pt · m, con
(p, m) = 1 tiene un subgrupo de orden pt . ^¨
Observación.
Sea N un subgrupo normal de G tal que N y G/N son p-grupos. Entonces G es
también un p-grupo.
23
Demostración. Como S es un p-Sylow de G, tenemos que |S| = pt y |G| = pt m
para algún t 1 y algún m primo a p. Como S < NG (S) < G, obtenemos que
t
|NG (S)| = p n para algún n que divide a m y por ende primo a p también.
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 imágen ā en NG (S)/S es de orden ps para algún 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 ā = ē 2 NG (S)/S,
lo que equivale a a 2 S. ^
¨
donde la última 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 según la primera parte del teorema, por lo que deducimos
que hay al menos una órbita con un sólo elemento, es decir, existe g 2 G tal que
tgS = gS para todo t 2 T . Por lo tanto, g 1 tgS = S para todo t 2 T . Ası́, tenemos
que g 1 tg 2 S para todo t 2 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.
El grupo G actúa por conjugación sobre Y y claramente hay una sola órbita 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:
1
StabG (S) = {g 2 G | g · S = S} = {g 2 G | gSg = S} = NG (S).
24
Para la última afirmación de la parte 3, veamos otra forma de contar los ele-
mentos de Y . Consideremos la acción por conjugación de S sobre Y (es decir, la
restricción de la acción precedente). El conjunto Y corresponde a la unión disjunta
de las órbitas de esta acción. En otras palabras, existen subgrupos A1 , . . . Ak 2 Y
tales que
Gk
Y = OS (Ai ),
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 mód p, bastará entonces con demostrar que existe un único Ai tal que
[S : StabS (Ai )] = 1. Ya sabemos que S cumple con la condición (y como su órbita
es sencillamente {S}, sabemos que S tiene que ser uno de los Ai ). Supongamos
entonces que existe otro B 2 Y tal que [S : StabS (B)] = 1. Esto quiere decir que
la órbita de B tiene un solo elemento, lo que implica que sBs 1 = B, 8 s 2 S. En
otras palabras, para todo s 2 S ⇢ G tenemos que s 2 NG (B) y |s| = pr para algún
r 0. El lema 2.4.10 se aplica entonces y nos dice que s 2 B para todo s 2 S,
es decir S ⇢ B. Como S es un p-Sylow, obtenemos que S = B, lo que prueba
nuestra afirmación. Esto prueba que np ⌘ 1 mód p y concluye la demostración del
teorema. ^
¨
1. Para cada 1 i n,
25
2. Para cada 1 i n, la función ⇡i : G ! Gi definida por ⇡i (g1 , . . . , gn ) = gi
es un epimorfismo, llamado la proyección de ı́ndice i. Además, tenemos que
ker(⇡i ) = {(g1 , . . . , gi 1 , ei , gi+1 , . . . , gn ) | gj 2 Gj , 8j 6= i}.
26
Observación.
Si '(a) = idG2 , 8 a 2 G1 , entonces G2 o' G1 es el producto directo G2 ⇥ G1 .
Proposición 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 }) vı́a h 7! (h, eK ) y K ' ({eH } ⇥ K) vı́a 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
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 KCH o' K si y sólo si ' es el homomorfismo trivial (i.e. '(g) = e2
para todo g 2 G1 ), es decir, si y sólo 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 acción de K sobre H (esto es, el homomorfismo ' : K ! Aut(H))
vı́a la conjugación en G: 'k (h) := khk 1 2 H. Esto está 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
Definición 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.
Notación. Nótese que aquı́ no se menciona ni se nota '. Esto es porque implı́ci-
tamente asumimos que la acción de K sobre H es por conjugación.
Observación.
La discusión que precede la definición 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 cı́clico de orden n. Tenemos entonces que
Aut(G) ' (Z/nZ)⇤ = {ā 2 Z/nZ |ā invertible en Z/nZ} = {ā 2 Z/nZ | (a, n) = 1}.
Como además 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 acción por el inverso.
Z/44Z;
Demostración. Por el teorema de Sylow, sabemos que n11 |4 y n11 ⌘ 1 mód 11, lo
que implica que n11 = 1 y por ende hay un solo 11-Sylow S que además es normal en
G por la proposición 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 algún ' : H ! Aut(S).
28
Intentemos clasificar entonces los homomorfismos ' : H ! Aut(S). Como S
es cı́clico de orden 11, tenemos que Aut(S) ' (Z/11Z)⇤ = h2̄i, donde |2̄| = 10.
Ahora, como |a| = 4, tenemos que |'(a)| debe dividir 4. Por otra parte, como
'(a) 2 (Z/11Z)⇤ , el teorema de Lagrange nos dice que |'(a)| divide a 10. Por ende
|'(a)| 2 {1, 2}.
2. El teorema de Sylow puede ser altamente mejorado para los grupos solubles.
Se trata del teorema de Hall, cuya demostración no veremos aquı́ pues va
más allá de los contenidos del curso, pero que puede verse en el libro Algebra
de Thomas W. Hungeford (1974), página 104.
Teorema 2.6.1 (Hall). Sea G un grupo finito soluble de orden mn, con
(m, n) = 1. Entonces:
29
b) dos subgrupos de orden m son conjugados;
c) Todo subgrupo de G de orden k, con k|m, está contenido en un subgrupo
de orden m.
aba 1 b 1
= (j, k, u)(v, j, i)(j, u, k)(v, i, j) = (i, j, k) 2 Gt 1 .
Como (i, j, k) es cualquier 3-ciclo, tenemos que Gt 1 contiene todos los 3-ciclos.
Miremos ahora el cociente Gt 1 /Gt 2 , que también es abeliano. Usando el mismo
30
argumento podemos demostrar que Gt 2 contiene todos los 3-ciclos. Continuando
ası́ llegamos tarde o temprano al cociente G1 /G0 , que también es abeliano, por lo
que podemos demostrar que G0 = {e} contiene todos los 3-ciclos, lo cual es una
contradicción. Por lo tanto, Sn no es soluble para n 5. ^
¨
Observación.
Como todos los 3-ciclos pertenecen a An , la misma demostración prueba que An
no es soluble para n 5.
1. H es soluble;
{e} = G0 ⇢ G1 ⇢ · · · ⇢ Gt = G,
: Hi /Hi 1 ! Gi /Gi 1
hHi 1 7! hGi 1 .
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. Está claro que K0 = {e} y que Kt = K.
Además, para cada 1 i t, tenemos que Ki 1 ⇢ Ki . Es más, para k 2 Ki ,
tenemos que k = '(g) con g 2 Gi , lo que nos dice que
1
kKi 1 k = '(g)'(Gi 1 )'(g 1 ) = '(gGi 1 g 1 ) = '(Gi 1 ) = Ki 1 ,
31
por ende Ki 1 C Ki . Finalmente, tenemos que el cociente Ki /Ki 1 es abeliano ya
que es isomorfo a un cociente de Gi /Gi 1 vı́a el siguiente epiomorfismo:
: Gi /Gi 1 ! Ki /Ki 1
gGi 1 7! '(g)Ki 1 .
Conmutadores
El subgrupo de conmutadores de un grupo G es un ejemplo de subgrupo ca-
racterı́stico de G. Esta última noción es un versión fuerte de subgrupo normal.
El subgrupo de conmutadores sirve en particular para dar otra caracterización de
solubilidad en términos de una serie descendente de subgrupos caracterı́sticos de
G.
Definición 2.6.8. Sea G un grupo y H < G. Se dice que H es un subgrupo
caracterı́stico de G y se anota H car G si, 8 2 Aut(G), se tiene que (H) = H.
Proposición 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;
int(g) : G ! G,
x 7! gxg 1 .
32
Para la tercera afirmación, tenemos que mostrar que (K) = K para todo
2 Aut(G). Ahora, como H car G, todo 2 Aut(G) cumple que (H) = H, es
decir, su restricción a H define un automorfismo de éste. Como tal, y dado que
K car H, tenemos que (K) = K, lo que prueba que K car G. ^¨
Observación.
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 noción de subgrupo caracterı́stico es más 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.
Observación.
Nótese que un elemento x 2 [A, B] no tiene porqué ser un conmutador. En general
lo único que sabemos es que x se expresa como un producto de conmutadores
para ai 2 A, bi 2 B, 1 i n.
1. xy = [x, y]yx;
2. H C G si y sólo si [G, H] ⇢ H.
33
3. para todo homomorfismo : G ! K, ([x, y]) = [ (x), (y)];
H C G , 8 g 2 G, h 2 H, ghg 1 2 H
, 8 g 2 G, h 2 H, ghg 1 h 1 2 H
, 8 g 2 G, h 2 H, [g, h] 2 H
, h[g, h] | g 2 G, h 2 Hi ⇢ H
, [G, H] ⇢ H.
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 noción de subgrupo derivado que acabamos de definir resulta bastante
práctica. En el segundo caso, será el centro quien reemplazará al subgrupo derivado.
Definición 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) ], 8 i 1.
Observación.
Los subgrupos G(i) son caracterı́sticos en G para cada i. Esto es una consecuencia
fácil de las proposiciones 2.6.11 y 2.6.9.
Definición 2.6.14. El menor entero no negativo t tal que G(t) = {e} se llama
ı́ndice de solubilidad de G.
G0t i = [Gt i , Gt i ] ⇢ Gt i 1.
35
1. para todo t 0, [G, G](t) = [G(t) , G(t) ];
Observación.
En muchos casos es más sencillo probar propiedades de solubilidad usando esta
equivalencia, como se ve con la siguiente proposición, la cual redemuestra el teorema
2.6.7 que ya demostramos más arriba.
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 “más fi-
na” de obtener subcocientes abelianos, la cual define una subfamilia de los grupos
solubles, llamados grupos nilpotentes.
G0 := G;
Gi+1 = [G, Gi ], 8 i 1.
36
Esta serie cumple
Observación.
Nótese que el cociente Gi 1 /Gi , que es un grupo por el ejercicio que precede, es
abeliano para todo i 1 ya que [Gi 1 , Gi 1 ] ⇢ [G, Gi 1 ] (cf. Proposición 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.
Observación.
Existen grupos solubles que no son nilpotentes, lo que prueba que esta nueva serie
descendente es más 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:
Observación.
Nótese sin embargo que no tenemos análogo para la tercera parte de la proposición
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
Demostración. Las dos afirmaciones se demuestran fácilmente por inducción sobre
i (en ambos casos la afirmación es trivial para i = 0) usando la proposición 2.6.11.
^
¨
Demostración. Sea hGi 2 Gi 1 /Gi y sea gGi 2 G/Gi . Debemos mostrar que
ghGi = hgGi , lo que equivale a mostrar que ghg 1 h 1 Gi = Gi . Ahora, esto es
lo mismo que [g, h] 2 Gi , lo cual es evidente ya que Gi = [G, Gi 1 ] por defini-
ción. ^¨
Z0 (G) := {e};
Ejercicio. Pruebe por inducción que Zi (G) car G para todo i 0 (esto prueba en
particular que Ci 1 es un grupo y por ende que Zi (G) está bien definido).
38
Observación.
La analogı́a con la serie central descendente la podemos ver de la siguiente forma.
Ya demostramos que, para todo i 1, Gi 1 /Gi ⇢ Z(G/Gi ). Es decir, construimos
Gi a partir de Gi 1 de forma que el cociente Gi 1 /Gi sea un subgrupo central
de G/Gi . Análogamente, cuando empezamos a construir la serie por abajo y ya
tenemos Zi 1 (G), queremos definir un grupo más grande Zi (G) Zi 1 (G) tal que
el cociente Zi (G)/Zi 1 (G) sea central en G/Zi 1 (G). ¿Y qué más natural que tomar
el centro entonces? Es por eso que forzamos Zi (G) a ser la preimagen del centro
de G/Zi 1 (G).
Invirtiendo la analogı́a, podemos mostrar que, para todo i 1, tenemos que
[Zi (G), G] ⇢ Zi 1 (G). En efecto:
⇡i 1 ([Zi (G), G]) = [⇡i 1 (Zi (G)), ⇡i 1 (G)] = [Z(Ci 1 ), Ci 1 ] = {eZi 1 (G)},
por la definición de centro, lo que implica que [Zi (G), G] ⇢ ker(⇡i 1 ). Esto establece
una cierta analogı́a entre los subgrupos Zi (G) y los subgrupos Gi , la cual usaremos
más abajo.
Demostración. Ejercicio. ^
¨
Llevando al máximo la analogı́a, el teorema siguiente nos muestra que las dos
series centrales (descendente y ascendente) poseen en cierto modo la misma infor-
mación y que ambas son igualmente útiles para detectar la nilpotencia.
39
Demostración. Supongamos que G es nilpotente y notemos m el ı́ndice de nilpo-
tencia de G, de forma que Gm = {e} y Gm 1 6= {e}. Demostremos primero el
siguiente lema:
Lema 2.6.22. Para todo 0 r m, Gm r
⇢ Zr (G).
Demostración. La prueba es por inducción sobre r. Para r = 0, está claro que
Gm ⇢ Z0 (G) ya que los dos son el subgrupo trivial. Nuestra hipótesis de inducción
es entonces que Gm r ⇢ Zr (G). Debemos demostrar que Gm r 1 ⇢ Zr+1 (G).
Como ambos grupos son caracterı́sticos en G, podemos considerar los cocientes
respectivos. Para simplificar las notaciones, definimos Cr := G/Zr (G) como antes
y Dr := G/Gm r . Tenemos entonces los epimorfismos canónicos
⇡r : G ! C r y r : G ! Dr .
Gm r 1
= ⇡r 1 ( (Gm r 1
/Gm r )) ⇢ ⇡r 1 (Z(Cr )) = Zr+1 (G),
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. Además, si el ı́ndice de nilpotencia fuese
estrictamente menor a t, el primer lema implicarı́a que Zt 1 (G) = G, contradiciendo
nuestra hipótesis. Vemos entonces que el ı́ndice de nilpotencia es precisamente t,
lo que concluye la demostración. ^
¨
40
Grupos nilpotentes y p-grupos
Habiendo demostrado la equivalencia de las series centrales descendente y as-
cendente, vemos que una caracterı́stica esencial de los grupos nilpotentes es la
presencia de un centro no trivial en todos sus subcuocientes. Ahora, esto ya lo
habı́amos visto para los p-grupos en la sección 2.3, lo que nos permite concluir lo
siguiente:
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.
3. Para todo 1 i t, Si C G.
4. G ' S1 ⇥ · · · ⇥ St .
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 2 G tal que
gHg 1 = H y g 62 H. Si Z 6⇢ H, entonces existe un elemento g 2 Z r H el cual
claramente verifica gHg 1 = H, por lo que podemos asumir que Z ⇢ H.
Este segundo caso lo tratamos por inducción sobre |G|. La implicación es evi-
dente si |G| = p con p primo (el único H posible es {e}).
Hipótesis de inducción: 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 último 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 hipótesis de inducción
nos dice entonces que H̄ 6= NG (H̄), es decir, existe ḡ 2 G/Z tal que ḡ H̄ ḡ 1 = H̄ y
ḡ 62 H̄. Tomando preimágenes con respecto a G ! G/Z, tenemos que gHg 1 = H
y g 62 H, lo que prueba la afirmación.
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.
43
3. Anillos
3.1. Definiciones y ejemplos
Definición 3.1.1. Un anillo es un trı́o ordenado (R, ⇤, ⇧), donde R es un conjunto
no vacı́o y ⇤ y ⇧ son leyes de composición internas, es decir, funciones
R⇥R ! R R⇥R ! R
(a, b) 7! a ⇤ b, (a, b) 7! a ⇧ b,
a · b = 0 R ) a = 0 R o b = 0R .
44
Ejemplo 3.1.4 (Anillo de matrices). Sea F un cuerpo. Entonces las matrices
Mn (F ) con su suma y su multiplicación clásicas forman un anillo unitario, no
conmutativo si n 2. ¿Es Mn (F ) un DI?
De forma más general, para R un anillo, las matrices Mn (R) forman también
un anillo que es unitario si R es unitario.
y el producto
(a1 , . . . , an ) · (b1 , . . . , bn ) = (a1 b1 , . . . , an bn )
con ai , bi 2 Ri para todo 1 i n, es un anillo. Si Ri es un DI para todo 1 i n,
¿es también R1 ⇥ · · · ⇥ Rn un DI ?
Observación.
Un anillo de funciones RX puede ser visto como un anillo producto de |X| copias de
R: basta con asociar a cada función f : X ! R la “|X|-tupla ” (f (x1 ), f (x2 ), . . .),
donde x1 , x2 , . . . representan todos los elementos de X en algún orden.
Nótese que esto funciona incluso si X es infinito. Basta con tener la buena
noción de orden, pero eso está fuera del objetivo de este curso.
na := (n 1)a + a, 1a := a, an := an 1
· a, a1 := a.
También anotamos na := n( a) y 0a := 0R .
Si además R es unitario, entonces definimos la notación a0 := 1. Finalmente, si
a 2 R⇤ , entonces anotamos a n para (a 1 )n .
45
Ejercicio. Sea R un anillo conmutativo. Pruebe que la fórmula del binomio de
Newton es válida sobre R, es decir que para a, b 2 R tenemos que
n 1✓ ◆
X
n n n n
(a + b) = a + b + an k b k .
k=1
k
i2 = j 2 = k 2 = 1, ij = ji = k, jk = kj = i, ki = ik = j.
46
Definimos la suma de dos elementos de R[G] como
X X X
ag g + bg g = (ag + bg )g,
g2G g2G g2G
y el producto como
! ! !
X X X X
ag g bg g = ah b h 1g g,
g2G g2G g2G h2G
es decir, el producto (ag1 )(bg2 ) es igual a (ab)(g1 g2 ) y se extiende esto por distri-
butividad a las sumas.
D8 = hr, s | r4 = s2 = e, sr = r 1 si,
y los elementos
x = r + r2 2s, z = 3r3 + rs 2 Z[D8 ].
Calcule x + z y xz.
Calcule x + z, xz, 2x 3z y x2 .
Anillos de polinomios
Definición 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 2 N, ai 2 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 2 R[x],
i=0 j=0
48
Sea Q0 = an bm1 xn m
. Entonces tenemos que
n
X m
X
0 i
P Q0 P = ai x an bm1 bi xi+n m
i=0 i=0
n
X 1 m
X1
n i
= an x + ai x an bm1 bm xm+n m an bm1 bi xi+n m
i=0 i=0
n 1
X n 1
X
= an x n an x n + ai x i an bm1 bi n+m x
i
i=0 i=n m
n 1
X
= ci xi ,
i=0
P0 Q0 P = Q1 P + R,
P 0 = Q0 P + Q1 P + R = QP + R,
49
Ejercicio. Considere el conjunto C(R) de las funciones continuas de R en R.
Pruebe que es un anillo para la suma y multiplicación de funciones. Sea S = {f 2
C(R) | f (2) = 0} ⇢ C(R). ¿Es S un subanillo?
Ejercicio. Encuentre al menos nueve subanillos unitarios de M2 (R).
Definición 3.2.2. Sean R, R0 dos anillos. Una función f : R ! R0 se dice un
homomorfismo de anillos si, 8 a, b 2 R,
f (a + b) = f (a) + f (b) y f (a · b) = f (a) · f (b).
Si además f es biyectiva, decimos que f es un isomorfismo.
El núcleo de f , notado ker(f ), se define como la primagen de {0R0 } por f .
Observación.
Todo homomorfismo de anillos f : R ! R0 induce un homomorfismo de grupos
abelianos (R, +) ! (R0 , +). En particular, ker(f ) es el núcleo 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), 8 a 2 R;
3. f es inyectivo si y sólo si ker(f ) = {0R };
4. si además R y R0 son unitarios y f es epiyectiva, entonces f (1R ) = 1R0 .
Demostración. La primeras tres afirmaciones son una consecuencia directa de la
última observación y de lo que sabemos en teorı́a de grupos.
Finalmente, si f es epiyectiva, 1R0 = f (r) para algún r 2 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 además 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 tenı́a que verificar ciertas condiciones adicionales al hecho de ser un subgrupo.
Fue ası́ que definimos la noción de subgrupo normal y descubrimos más adelante
que todo núcleo de un homomorfismo de grupos es un subgrupo normal y viceversa.
En el mundo de los anillos, la situación es bastante análoga, y pasa por la
siguiente definición:
50
Definición 3.2.4. Sea R anillo y sea I un subgrupo de (R, +). Decimos que:
Observación.
Dado el criterio para subgrupos (Proposición 2.1.3), vemos que un criterio para
saber si I ⇢ R es un ideal es que I sea cerrado por sustracción (i.e. a b 2
I, 8 a, b 2 I) y por multiplicación por elementos de R.
I + J := {a + b | a 2 I, b 2 J},
I \ J,
Pn
IJ = { i=1 ai bi | ai 2 I, bi 2 J, n 2 N},
son ideales de R.
rx = r(a + b) = ra + rb 2 I + J,
xr = (a + b)r = ar + br 2 I + J,
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.
P i
Finalmente, sean xi = nj=1 ai,j bi,j 2 IJ con ai,j 2 I, bi,j 2 J, ni 2 N e i = 1, 2.
Entonces
n1
X n2
X nX
1 +n2
(a + I)(b + I) = ab + I,
(a + I)(b + I) = ab + aI + Ib + I 2 ,
por lo que es necesario pedir que aI, Ib ⇢ I para todo a, b 2 R. Y esto es preci-
samente lo que nos dice la definición de ideal que acabamos de dar. Con esto ya
podemos definir el anillo cociente.
52
Definición 3.2.6. Sea R un anillo e I un ideal de R. Entonces el cociente R/I =
{a + I | a 2 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 2 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: Inspı́rese en lo que ocurre para los
grupos.
Observación.
Sea R un anillo e I un ideal de R. Entonces la proyección canónica
⇡ : R ! R/I, a 7! a + I,
es un epimorfismo de núcleo 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 demostración 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
están en correspondencia biunı́voca 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 además I ⇢ J, entonces R/J ⇠
= (R/I)/(J/I).
53
Ejercicio. Demuestre que hSi es realmente un ideal. Demuestre también que
\
hSi = I,
S⇢I⇢R
54
Ejercicio. Sea R un anillo conmutativo unitario y sea M un ideal de R. Pruebe
que M es maximal si y sólo si el anillo cociente R/M es un cuerpo.
rad(rad(I)) = rad(I);
rad(I)/I = N(R/I).
55
Dado uno de los ejercicios más arriba, los elementos del nilradical puede ser vis-
tos como elementos que nunca aparecerán en un cuerpo cociente de R. El conjunto
de todos aquellos elementos resulta tener un interés propio cuando uno estudia los
módulos simples de un anillo dado. Esto justifica la definición siguiente:
⇡ : R ! R/A1 ⇥ · · · ⇥ R/An ,
a 7! (a + A1 , . . . , a + An ),
Q
es un homomorfismo epiyectivo de anillos de núcleo ni=1 Ai . En particular,
Observación.
El homomorfismo ⇡ tiene
T sentido para cualquier conjunto de ideales T A1 , . . . ,Q
An y su
núcleo 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
Demostración. Usaremos inducción sobre n, por lo que debemos demostrar primero
el caso n = 2. Consideremos la función ⇡ del enunciado en este caso que claramente
es un homomorfismo. Para r 2 R, anotemos r̄1 su imagen en R/A1 y r̄2 su imagen
en R/A2 . Ası́, tenemos que ⇡(r) = (r̄1 , r̄2 ).
Ahora, como A1 + A2 = R, podemos escribir 1 = a1 + a2 para ciertos ai 2 Ai
con i = 1, 2. Por lo tanto,
ya que a1 = 1 a2 con a2 2 A2 . De forma similar, tenemos que ⇡(a2 ) = (1̄1 , 0̄2 ). Sea
entonces (r̄11 , r̄22 ), con r1 , r2 2 R, un elemento arbitrario de R/A1 ⇥ R/A2 . Entonces
el elemento r2 a1 + r1 a2 2 R es tal que
Luego A1 \ A2 ⇢ A1 A2 y por ende R/(A1 A2 ) ' R/A1 ⇥ R/A2 . Con esto tenemos
el teorema para n = 2.
por lo que
R/(A1 A2 · · · An+1 ) = R/AB ' R/A ⇥ R/B ' R/A1 ⇥ R/A2 ⇥ · · · ⇥ R/An+1 ,
57
lo que concluirı́a la demostración.
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 2 A1 = A e
yi 2 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 múltiplo de algún xi 2 A. Por ende, 1 2 A + B, lo que
implica que R = A + B, concluyendo la demostración. ^
¨
58
Definición 3.6.1. Sean R y ⇠ como acá arriba. Una fracción 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 multiplicación
a c ac
· = .
b d bd
Observación.
Por mera definición, tenemos que
a c
= , (a, b) ⇠ (c, d) , ad = bc.
b d
Proposición 3.6.2. Sea R un DI. Entonces las operaciones (+, ·) están bien de-
finidas sobre Q(R) y hacen de él un cuerpo.
Demostración. La demostración del hecho que (+, ·) están bien definidas (es decir,
no dependen de la elección de la pareja (a, b) que representa la fracción) es un
ejercicio ^¨
Nótese en todo caso que la tanto la suma como la multiplicación 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 2 R) y el inverso de ab es
a
b
. El neutro multiplicativo es 11 (o rr para cualquier r 2 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 ^ ¨ ^ ¨
59
Notación. De ahora en adelante omitiremos la notación de esta inclusión canónica
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 más pequeño cuerpo en el cual uno puede
insertar R y su estructura está completamente definida por la de R. Esto se ve de
forma explı́cita 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
única manera a un homomorfismo inyectivo : Q(R) ! F (es decir '(r) =
(r) para todo r 2 R ⇢ Q(R)). En particular, si F = Q(R0 ), entonces es un
isomorfismo.
Demostración. 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 2 R, ⇣a⌘
= '(a)'(b) 1 2 F.
b
Esto está 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. Además,
r 1 1
(r) = ( ) = '(r)'(1) = '(r) · 1 = '(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 2 R0 y
para a, b 2 R tales que '(a) = r y '(b) = s,
r ⇣a⌘
= rs 1 = '(a)'(b) 1 = ,
s b
lo que prueba la epiyectividad de .
Por último, para probar que es única, notemos que toda función que verifica
el enunciado es tal que
⇣a⌘ ✓ ◆ ⇣a⌘ ✓ ◆ 1! ⇣a⌘ ✓ ◆ 1
a1 b b
= = = = '(a)'(b) 1 ,
b 1b 1 1 1 1
lo que prueba que no tenı́amos más opción que definir de esta manera. ^
¨
61
Definición 3.7.2. Sea R un dominio de integridad. Una función 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 2 C | a, b 2 Z}, el cuadrado delpmódulo, |z|2 = z z̄, es una norma positiva
(pero no el módulo, ya que |1 + i| = 2 62 Z). Si convenimos que deg 0 = 1,
entonces la función deg +1 es una norma positiva en F [x] para F un cuerpo.
Definición 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 2 R con b 6= 0, existen q, r 2 R
tales que
a = bq + r, con r = 0 ó 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 división euclideana permite controlar bastante bien la estructura de los
ideales de un dominio euclideano vı́a la norma.
Proposición 3.7.7. Todo ideal de un dominio euclideano R es principal. Más
precisamente, si I es un ideal de R entonces I = hdi para cualquier d 2 I de
norma mı́nima.
Demostración. Si I = {0}, entonces I = h0i y 0 claramente tiene norma mı́nima.
Si no, sea I 6= {0} y sea d 6= 0 un elemento de I de norma mı́nima. Un tal elemento
d existe ya que N (I) es un subconjunto de N y este último tiene un buen orden.
Tenemos entonces que hdi ⇢ I y queremos demostrar que I ⇢ hdi. Sea ahora
a 2 I. Como R es euclideano, existen q, r 2 R tales que a = dq + r con r = 0 ó
N (r) < N (d). Ahora bien, sabiendo que a 2 I y d 2 I, tenemos que r = a dq 2 I.
Pero como d es de norma mı́nima, la única opción válida es que r = 0, lo que implica
que a = dq 2 hdi y por ende I ⇢ hdi, lo que prueba que I = hdi. ^¨
62
El problema es que para esta norma no existen necesariamente los q, r 2 R pedidos
por la definición 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 ésta toma valores en Z y es positiva,
p si N (x) = 1, es decir, si y sólo si x = ±1.
vemos que x es invertible si y sólo
Supongamos que I = ha + b 5i con a 6= 0 o b 6= 0. Entonces existen x, y 2 Z
tales que
p
3 = x(a + b 5),
p p
2 5 = y(a + b 5).
Como a2 + 5b2 > 0, tenemos que su valor puede ser 1, 3 o 9. Ahora, una inspección
rápida de los valores nos dice que no podemos
p obtener 3 con a, b 2 Z. p
Si a2 + 5b2 = 1, tenemos que N (a + b 5) = 1, lo que implica que
p a+b 5=
±1 como ya vimosp antes. Esto nos dice quepexisten z, w 2 Z[ 5] tales que
1 = 3z + (2 5)w. Multiplicando por 2 + 5, tenemos que
p p p
2+ 5 = 3z(2 + 5) + w(4 + 5) = 3[z(2 + 5) + 3w],
p
es decir, 2 + 5 es un múltiplo de 3 en R. Esto p
es una contradicción ya que los
múltiplos de 3 son claramente de la forma 3c + 3d 5 con c, d 2 Z.
2 2
Si a + 5bp = 9, tenemos entonces p 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 contradicción por
la misma razón que antes.
63
Observación.
Existen ejemplos de dominios de ideales p principales que no son dominios eucli-
deanos. Uno de los más simples es Z[ 2 19 ]. Demostraremos este hecho luego de
1+
En los dominios de ideales principales es común el ver los ideales como meros
elementos del anillo. Las nociones de múltiplo y divisor que definimos antes se
traducen entonces en propiedades de contención 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 ningún 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 definición.
Nótese también que la noción de mcd realmente significa lo que su nombre dice:
d|m y d|n;
d0 |m y d0 |n ) d0 |d.
Demostración. Sea I = hmcd(m, n)i = hmi + hni. Está claro que mcd(m, n)|m y
mcd(m, n)|n ya que I hmi e I hni por definición de la suma de ideales. Por
otra parte, sabemos que hmi + hni es el ideal más pequeño 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 más
pequeño que cumple esto, por lo que hdi = hmi + hni y d es entonces un máximo
común divisor. ^
¨
Observación.
Podrı́amos perfectamente haber definido un máximo común 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 sólo si
hdi = hmi + hni. Una vez dada la proposición, da absolutamente lo mismo.
Habiendo definido el mcd, intentemos darle un sentido al mcm con esta segunda
forma de ver las cosas.
Definición 3.8.6. Sea R un anillo conmutativo unitario y sean a, b 2 R elementos
no nulos. Un mı́nimo común múltiplo de a y b es un elemento c 2 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 mı́nimo común múltiplo de a y b existe si y sólo 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 mı́nimo común múltiplo que es único salvo multiplica-
ción por una unidad.
3. Pruebe que en un dominio de ideales principales el mı́nimo común múltiplo
ab
de a y b es mcd(a,b) .
Continuando con la analogı́a 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 traducción de
la definición de los ideales primos nos dice que:
Proposición 3.8.7. Sea I = hpi un ideal principal primo. Entonces
8 a, b 2 R, p|ab ) p|a ó p|b.
Esto no es nada más que una generalización del lema de Gauss! Otra forma de
ver los números primos, es como números minimales en términos de divisibilidad
(i.e. no tienen números no triviales que los dividan). En términos de ideales, esto
se traduce por
65
Proposición 3.8.8. Sea R un dominio de ideales principales. Entonces todo ideal
primo no nulo es un ideal maximal.
Demostración. 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
algún t 2 R y por ende tm 2 P . Pero como P es primo, tenemos que t 2 P ó
m 2 P.
Si t 2 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 2 R⇤ y M = R.
Contradicción. Luego m 2 P , lo que nos dice que M ⇢ P y por ende M = P . ^ ¨
Este proceso debe terminar en algún momento con un resto ri = 0 ya que N tiene
valores en N [ {0}, que es un conjunto bien ordenado.
Proposición 3.8.9. Usando el algoritmo anterior, el último resto no nulo que se
obtiene es un máximo común divisor de m y n.
Demostración. Sea I = hmi + hni. Como r0 = m q0 n, tenemos que r0 2 I.
Además r1 = n q1 r0 , por lo que r1 2 I. Notando de la misma manera que
ri+1 = ri 1 qi+1 ri , vemos por inducción que ri 2 I para todo i 2 N.
Sea rt el último resto no nulo. Entonces que rt 1 = qt+1 rt , por lo que rt 1 2 hrt i.
Como rt i = qt (i 2) rt (i 1) + rt (i 2) , por inducción nuevamente obtenemos que
rt i 2 hrt (i 1) i para todo i t. En particular, vemos que r0 , r1 2 hrt i y ası́
n = q1 r0 + r1 2 hrt i y m = q0 n + r0 2 hrt i. Por lo tanto I = hrt i. ^¨
Observación.
De la proposición anterior deducimos también que que, si rt es el último resto
no nulo, entonces existen a, b 2 R tales que rt = am + bn. Estos elementos a, b
se pueden calcular de forma explı́cita usando las ecuaciones del algoritmo, de la
misma manera que uno suele hacerlo para Z.
Ejercicio. Encuentre un mcd(372, 69) 2 Z y expréselo en la forma 372a + 69b.
66
3.9. Dominios de factorización única
Continuando con la generalización de los fenómenos que ocurren en Z a otros
anillos, uno puede preguntarse qué es lo que ocurre con respecto al teorema funda-
mental de la aritmética. Este teorema nos asegura que todo número puede escribirse
de forma única como producto de números primos (salvo una unidad, es decir, sal-
vo ±1). Si bien ya generalizamos la noción de “primo” al pasar de pZ a la noción
de ideal primo, ahora quisiéramos obtener una noción de “elemento primo”.
Observación.
“Ser asociado de” es una relación de equivalencia en R.
8 a, b 2 R, p = ab ) a 2 R⇤ ó b 2 R⇤ .
67
4. Si R es un dominio de ideales principales, entonces p es primo si y sólo si es
irreducible en R.
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 algún t 2 T , lo que nos dice que p = ab = ptb
y deducimos como antes que tb = 1 y que b 2 R⇤ . De la misma manera, si
p|b obtenemos que a 2 R⇤ , lo que prueba que p es irreducible.
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 2 R⇤ .
^
¨
Observación. p
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 2 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 2 R⇤ . Si N (x) = 9, entonces Np (y) = 1 e y 2 R⇤ . Por último, no se puede
tener que N (x) = 3 ya que N (a + b 5) = a2 + 5b2 con a, b 2 Z, por lo que una
inspección rápida de los valores de a y b nos dicen que es imposible. Esto nos dice
que x 2 R⇤ o y 2 R⇤ , por lo que 3 es irreducible
p en R. p
Sinpembargo, p 3 no es primo ya que (2 + p5)(2 5)p= 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 definición de
polinomio irreducible y pruebe que todo polinomio de grado 1 es irreducible.
69
Proposición 3.9.5. En un dominio de factorización única se tiene que p 2 R es
primo si y sólo si es irreducible.
p1 · · · ps q1 · · · qt = ab = pc = pr1 · · · ru .
70
Lema 3.9.8. Sea R un dominio de ideales principales y sea {In }n2N una cadena
de ideales de R tal que In ⇢ In+1 para todo n 2 N. Entonces existe m 2 N tal que
In = Im para todo n > m (se dice que la cadena es estacionaria).
Observación.
Esta propiedad de los DIP es caracterı́stica de los anillos llamados Noetherianos,
pero éstos están fuera del programa de este curso.
S
Demostración. Consideremos I = n2N In . Usando la misma demostración 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 algún a 2 R. Como I es la reunión de los In tenemos que a 2 Im
para algún 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 . ^ ¨
a = p 1 a1 = p 1 p 2 a2 = · · · = p 1 p 2 · · · p m am ,
71
hicimos más arriba para cancelar a 6= 0), se tiene que 1 = uq1 · · · qm 1 qm+1 · · · qt .
Como los qj no son invertibles, esto es una contradicción a menos que s = t = 1 y
entonces p1 y q1 son asociados.
Supongamos ahora la unicidad para todo a que admite una factorización con
s elementos y consideremos un a = p1 · · · ps+1 . Supongamos que podemos escribir
a = q1 · · · qt con t s + 1 y qj 2 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 2 R⇤
tal que qm = ups+1 y por ende p1 · · · ps+1 = ups+1 q1 · · · qm 1 qm+1 · · · qt . Cance-
lando el factor común de la misma manera que antes, tenemos que p1 · · · ps =
uq1 · · · qm 1 qm+1 · · · qt . La hipótesis de inducción nos dice entonces que t = s + 1 y
que todo pi es asociado a algún qj . ^
¨
p
1+ 19
3.10. Ejemplos: Z[i] y Z[ 2 ]
3.10.1. Factorización 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.
Además, tenemos que N (xy) = N (x)N (y) para todo x, y 2 R, es decir, la norma
es multiplicativa. Esto nos ayudará a comprender los elementos irreducibles (o, lo
que es lo mismo en un DFU, primos) de Z[i] y por ende la factorización en este
anillo.
Comencemos deduciendo propiedades a partir de los primos que ya conocemos
en N:
Proposición 3.10.1. Sea ↵ 2 R = Z[i] un elemento tal que N (↵) es un número
primo p (en el sentido clásico sobre N o Z). Entonces ↵ es primo en Z[i].
Demostración. 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 únicos elementos de norma 1 son los elementos de R⇤ = {±1, ±i}. Esto
prueba que x 2 R⇤ o y 2 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 número primo en Z. De hecho, esto resulta ser falso a posteriori . . .
Sea entonces ⇡ 2 Z[i] un primo. Veamos qué podemos decir de su norma N (⇡).
Proposición 3.10.2. Sea R = Z[i] y sea ⇡ 2 R un primo. Entonces N (⇡) divide
a p2 para algún primo p 2 Z.
Demostración. Consideremos el subconjunto I = h⇡i \ Z ⇢ R. Es fácil ver que
se trata de un ideal primo de Z, es decir, I = pZ para algún primo p 2 Z. En
efecto, I es un subgrupo de Z cerrado por multiplicación por m 2 Z y si ab 2 I
72
con ab 2 Z, entonces a 2 I o b 2 I ya que a, b 2 Z y h⇡i es primo. En particular,
p 2 h⇡i, por lo que existe un elemento ⇡ 0 2 R tal que p = ⇡⇡ 0 . De esto obtenemos
que N (⇡)N (⇡ 0 ) = N (p) = p2 , lo que prueba la proposición. ^
¨
Habiendo deducido este criterio para entender los primos de Z[i], debemos ahce
un llamado a un resultado clásico de Teorı́a de Números:
Teorema 3.10.4 (Teorema de Fermat sobre las sumas de cuadrados). Sea p 2 Z
un número primo. Entonces p = a2 + b2 con a, b 2 Z si y sólo si p = 2 o p ⌘ 1
mód 4.
Demostración. Comencemos por lo fácil: si p = 2, entonces p = 12 + 12 . Si p ⌘ 3
mód 4, entonces es imposible escribirlo como suma de dos cuadrados ya que a2 ⌘
0, 1 mód 4 para todo a 2 Z, por lo que a2 + b2 solo puede tomar los valores 0, 1 y
2 módulo 4.
Demostremos ahora que si p ⌘ 1 mód 4, entonces existen a, b 2 Z tales que
a2 + b2 = p. Para esto debemos demostrar
73
Lema 3.10.5. Sea p 2 Z un primo tal que p ⌘ 1 mód 4. Entonces p divide a un
entero de la forma n2 + 1.
Demostración. Nótese que esto es lo mismo que afirmar que existe un elemento
n 2 Z/pZ tal que n2 ⌘ 1 mód p. Ahora, 1 es el único elemento de orden 2 en
(Z/pZ)⇤ . En efecto, m2 ⌘ 1 mód p se traduce por (m + 1)(m 1) ⌘ 0 mód p, lo
que nos dice que m ⌘ ±1 mód p ya que Z/pZ es un DI. Entonces encontrar un
n 2 Z tal que n2 ⌘ 1 mód 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 mód 4, vemos que |(Z/pZ)⇤ |
es un múltiplo 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 buscábamos. ^
¨
Nótese que de paso logramos una descripción completa de los primos en Z[i]:
Observación.
Nótese que todos estos irreducibles son todos distintos entre sı́. Esto está claro para
los de la forma up y también para los de la forma u(1 + i) ya que son los únicos
74
elementos de norma 2 (y nótese que no olvidamos 1 i porque 1 i = i(1 + i)).
Por último, 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 implicarı́a que a2 + b2 es par, dando una contradicción.
Habiendo logrado esta clasificación de los primos de Z[i], podemos ir un poco
más 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
75
tenemos las definiciones de elementos primos e irreducibles y la noción de DFU,
estamos listos para demostrar este hecho. Comenzemos pues por una definición de
una norma un poco más débil que la de los dominios euclideanos.
Definición 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 2 R de elementos
no nulos se cumple una de las dos propiedades siguientes:
a 2 hbi;
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 2 R⇤ y, para todo a 2 R no nulo y no invertible,
N (a) = 2n con n el número de irreducibles que aparecen en la factorización de r
76
(en particular, N (p) = 2 para p irreducible). Esto está bien definido por la unicidad
de la factorización salvo asociados.
Debemos demostrar entonces que N es de Dedekind-Hasse. Ante todo, nótese
que N (xy) = N (x)N (y) para todo x, y 2 R, lo que es una consecuencia evidente
de la unicidad de la factorización. Esto nos dice que N es positiva y multiplicativa.
Sean ahora a, b 2 R elementos no nulos. Entonces el ideal ha, bi es principal porque
R es un DIP, es decir, ha, bi = hri. Si a 62 hbi, entonces r 62 hbi. Pero b 2 hri, por
lo que b = xr con x 62 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 demostración. ^¨
p
Ahora, ↵ 62 h i nos dice que la fracción ↵
62 R. Recordando que Q(R) = Q[ 19],
p
a+b 19
vemos que podemos escribir ↵ como c
con a, b, c 2 Z, c > 1 (c no puede ser
↵
1 porque 62 R) y mcd(a, b, c) = 1. Esta última condición nos dice que existen
x, y, z 2 Z tales que ax+by+cz = 1. Como Z es euclideano,ptenemos que ay 19bx
p =
cq + r con q, r 2 Z y |r| 2 . Sean entonces s = y + x
c
19 y t = q z 19.
Entonces un cálculo directo nos dice que
✓ ◆
↵ (ay 19bx cq)2 + 19(ax + by + cz)2 1 19
0<N s t = 2
+ 2,
c 4 c
77
por lo que obtenemos (1) cuando c 5 (para c = 5, nótese que |r| 2 < 52 ).
Supongamos que c = 2. Entonces uno de los elementos a, b 2 Z es impar y el
otro es par ya que
p ⇢ p
1+ 19 a+b 19
R=Z = | a, b 2 Z, a + b 2 2Z ,
2 2
↵
y de lo contrario tendrı́amos 2 R. Entonces se ve rápidamente que s = 1 y
p
(a 1)+b 19
t= 2
son elementos de R para los cuales tenemos (1).
Supongamos que c = 3. Entonces uno de los elementos a, b 2 Z no es congruente
a 0 módulo 3. De esto se deduce que a2 + 19b2 6⌘ 0 mód 3. En otras palabras,
a2 + a9b2p= 3q + r con 0 < r < 3. Entonces vemos con un cálculo rápido 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 2 Z
es impar. Si uno es par y el otro impar, entonces a2 + 19b2 es impar,
p por lo que
a + 19b = 4q + r con q, r 2 Z y 0 < r < 4. Entonces s = a b
2 2
19 y t = q
son elementos de R para los cuales tenemos (1). Si a y b son impares, p
entonces
2 2 2 2 a b 19
a + 19b ⌘ 4 mód 8, por lo que a + 19b = 8q + 4 y entonces s = 2
yt=q
son elementos de R para los cuales tenemos (1). ^
¨
Finalmente,
p demostremos que el tener una norma “simpática” como la de
Z[ 1+ 2 19 ] no basta para obtener un dominio euclideano.
p
Proposición 3.10.11. El anillo R = Z[ 1+ 2 19
] no es un dominio euclideano.
Para demostrar esta proposición, necesitaremos el siguiente lema.
Lema 3.10.12. Sea R un dominio euclideano que no es un cuerpo. Entonces existe
s 2 R no nulo y no invertible tal que, para todo x 2 R existe z 2 R⇤ [ {0} tal que
s divide a x z.
Demostración. Sea R̃ el subconjunto de los elementos no nulos y no inversibles de
R. Sea s 2 R̃ un elemento de norma N (s) minimal entre los elementos de R̃. Un
tal elemento existe ya que R̃ es no vacı́o porque R no es un cuerpo y N [ {0} es
un conjunto bien ordenado. La división euclideana nos da entonces la propiedad
deseada. En efecto, todo x 2 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 2 R⇤ [ {0}, lo que concluye la demostración. ^¨
p
Demostración de la Proposición 3.10.11. Demostraremos que el anillo R = Z[ 1+ 2 19 ]
no posee ningún elemento como el del Lema 3.10.12. Esto prueba que R no es eu-
clideano. p
Para ello, demostraremos primero que R⇤ = ±1. Sea nuevamente w = 1+ 2 19
y recordemos que tenemos la norma positiva N (z) = a2 + ab + 5b2 para z = a + bw
78
con a, b 2 Z. Esta norma es multiplicativa, es decir, N (xy) = N (x)N (y). Por lo
tanto, si z 2 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 únicos elementos de norma 1 son ±1, por lo
tanto R⇤ = ±1. De paso, vemos que los r 62 R⇤ [ {0} de norma más pequeña son
±2, cuya norma es 4. En particular, no existen elementos de norma 2 ó 3.
Supongamos ahora que existe un elemento s 62 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 serı́a inversible). Ahora, si 2 = ↵ , entonces
4 = N (↵)N ( ), lo que nos dice que ↵ 2 R⇤ o 2 R⇤ por que no existen elementos
de norma 2. El mismo argumento nos dice que si 3 = ↵ , entonces ↵ 2 R⇤ o
2 R⇤ . En otras palabras, 2 y 3 son irreducibles, por lo que s no puede ser más
que uno de los elementos ±2, ±3 2 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 múltiplos de n 2 Z en Z[w] son los na + nbw con
a, b 2 Z). ^¨
Observación.
Toda esta discusión nos dice que tenemos las siguientes inclusiones estrictas:
79
no perdemos más propiedades agregando [x] a nuestro R. Es decir, el anillo de
polinomios sobre un dominio de factorización única resulta ser un anillo con las
mismas propiedades.
Antes de demostrar un tal resultado, demostraremos un lema conocido como
Lema de Gauss. Nótese que no se trata del Lema de Gauss que ya conocemos sobre
los números primos en Z, pero la demostración usa el análogo para elementos
irreducibles. El siguiente resultado es el primer paso hacia la demostración.
80
Demostración. Sea P = AB con A, B 2 F [x] polinomios no constantes. Los co-
eficientes de A y B son de la forma xyii con xi , yi 2 R, yi 6= 0. Sean respectiva-
mente dA , dB 2 R algún mcm de los denominadores (es decir, los yi ) de A y B.
Sea d = dA dB . Multiplicando ambos lados de la ecuación por d podemos escribir
dP = A1 B1 con d 2 R, d 6= 0 y A1 , B1 2 R[x].
Si d 2 R⇤ , entonces P = d 1 A1 B1 = CB1 2 R[x] con C = d 1 A1 , lo que nos
da la factorización que buscábamos. 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 proposición 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 ecuación se vuelve
entonces 0̄ = Ā1 B̄1 en (R/I1 )[x], lo que nos dice que Ā1 = 0̄ ó B̄1 = 0̄. Supongamos
que Ā1 = 0̄. Volviendo a R[x], esto nos dice que todos los coeficientes de A1 están
en I1 = hp1 i, es decir, son divisibles por p1 . Definiendo A2 := p1 1 A1 y B2 = B1 ,
vemos que d0 P = A2 B2 con A2 , B2 2 R[x] y d0 = p2 · · · pk . En el caso B̄1 = 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 2 R[x], lo que corresponde a la factorización que
buscábamos. Además, en cada paso (inlcuida la definición 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 algún r 2 F y es por ende evidente que
Bk+1 = r 1 B ya que P = Ak+1 Bk+1 = AB en F [x]. ^
¨
81
Usemos ahora el Lema de Gauss para demostrar lo que anunciamos al comienzo
de la sección.
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
Definición 3.11.5. Sea R un dominio de integridad y sea n 2 N. Se define induc-
tivamente el anillo de polinomios en n variables como
P = (b0 + · · · + bk xk )(c0 + · + cl xl ),
83
Ejemplo 3.11.8 (Polinomios ciclotómicos). Sea p 2 N un número primo. Entonces
el polinomio
xp 1
p (x) = = xp 1 + xp 2 + · · · + x + 1,
x 1
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 p 1 p
x + x + ··· + x+1 1
1 p 1
=
✓ ◆ x ✓ ◆
p 1 p p 2 p
=x + x + ··· + x + p.
1 p 2
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 sección, demos un último criterio de irreducibilidad.
Proposición 3.11.9. Sea I un ideal primo de un dominio de integridad R y sea
P 2 R[x] un polinomio mónico 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.
Demostración. Supongamos por contradicción que existe un polinomio reducible
P 2 R[x] cuya imagen en (R/I)[x] es irreducible. Escribamos entonces P = AB
con A, B 2 R[x] de grado menor que P no inversibles. El Corolario 3.11.3 nos dice
entonces que A y B son mónicos también (y por ende no constantes, de lo contrario
serı́an inversibles). Por la Proposición 3.11.1, la reducción de los coeficientes de A y
B módulo I nos da una factorización de la imagen de P en (R/I)[x] en polinomios
de grado 1, lo que es una contradicción ya que R/I es un DI si I es primo y los
polinomios con coeficientes en un DI son invertibles sólo si son de grado 0. ^
¨
84
p = 2;
p ⌘ 1 mód 4;
p ⌘ 3 mód 4.
Raı́ces 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.
85
Una aplicación sorprendente de este resultado es la siguiente:
Demostración. Nótese que, para todo primo p, el orden de (Z/p↵ Z)⇤ es p↵ 1 (p 1).
Consideremos el elemento p + 1 2 (Z/p↵ Z)⇤ y demostremos que su orden es p↵ 1 .
En efecto, podemos demostrar que
n
Lema 3.11.15. Para todo n 2 N, (p + 1)p ⌘ 1 + pn+1 mód pn+2 .
Demostración. Esto es evidente para n = 0, por lo que procedemos por inducción.
La hipótesis de inducción nos dice que
n
(p + 1)p = 1 + pn+1 + kpn+2 ,
86
Desarrollando el cuadrado de binomio y tomando congruencias módulo pn+3 , vemos
que ✓ ◆
pn+1 p n+1
(p + 1) ⌘1+ p (1 + kp) ⌘ 1 + pn+2 mód pn+3 ,
1
para todo n 1. ^
¨
4. Módulos
Los módulos son la generalización natural de los espacios vectoriales al contexto
de anillos. En efecto, veremos que un módulo sobre un cuerpo no es nada más 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 álgebra lineal clásica
fallen en este contexto.
4.1. Generalidades
Comencemos por el principio:
R ⇥ M ! M,
(r, x) 7! rx,
87
(i) (r + s)x = rx + sx, para todo r, s 2 R y x 2 M ;
Observación.
Si R es unitario, entonces la acción de R sobre M , tal como la acabamos de definir,
nos da una acción del grupo R⇤ sobre el conjunto M vı́a las propiedades (ii) y (iv).
Esto justifica la nomenclatura ya que se trata de una generalización de la noción de
acción que ya tenı́amos. Nótese que sin embargo el grupo aditivo (R, +) no actúa
sobre M en el sentido de las acciones de grupo.
Nótese que si R no es conmutativo, entonces no podemos fabricar un módulo
derecho “invirtiendo” la acción como lo hicimos con los grupos. En efecto, eso sólo
funcionarı́a para r 2 R⇤ . Evidentemente, si R⇤ = R r {0} (es decir, si R es un
anillo de división), entonces esto es posible definiendo xr := r 1 x para todo r 2 R⇤
y x 2 M.
Notación. Para este curso la palabra R-módulo significa R-módulo por la izquier-
da y siempre será unitario, salvo que se diga lo contrario.
Dada la notación aditiva que hemos escogido para los módulos, el neutro de un
módulo se denota por 0M , como siempre. A menos que haya riesgo de confusión,
omitiremos los subı́ndices que lo diferencian del 0 del anillo R.
Observación.
Vista la definición, vemos efectivamente que los módulos sobre un cuerpo F son
los espacios vectoriales sobre F .
0x = 0 para todo x 2 M ;
88
para todo r 2 R, la función r : M ! M : x 7! rx es un homomorfismo de
grupos abelianos.
Ejemplo 4.1.2 (Módulo libre). Sea R un anillo y sea n 2 N. Consideremos el pro-
ducto Rn de n copias de R. Entonces Rn es un R-módulo con la suma componente
a componente y la acción de R sobre Rn dada por
Esta es el ejemplo que generaliza la noción que uno tiene de un espacio vectorial de
dimensión finita. Se le llama módulo libre de rango n. Sin embargo, existen muchos
más módulos que éste cuando R ya no es un cuerpo.
Ejemplo 4.1.3 (Z-módulos). Sea (A, +) un grupo abeliano. Entonces A es un
Z-módulo vı́a la acción dada por:
8
>
<a + · · · + a (n veces) si n > 0;
na := 0 si n = 0;
>
:
( a) + · · · + ( a) ( n veces) si n < 0.
T 0 := idv , T 1 := T, T n := T T n 1.
Pn
Sean ahora P = i=0 ai xi 2 F [x] y v 2 V . Entonces definimos la acción de F [x]
sobre V como: n
X
Pv = ai T i (v).
i=0
89
Este último es más que un simple ejemplo. Se trata de hecho de una descripción
de todo F [x]-módulo. En efecto:
T : V ! V, v 7! xv.
Esto prueba que T es una transformación F -lineal. Ahora, los axiomas de un módu-
lo nos dicen que, para n 2 N, 2 F y v 2 V ,
^
¨
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.
rx 2 N, 8 r 2 R, 8 x 2 N.
90
Observación.
Todo R-módulo M no nulo tiene al menos dos submódulos: M y {0}. Estos son
llamados los submódulos triviales de M .
Proposición 4.1.8. Sea R anillo unitario y M un R-módulo. Entonces un sub-
conjunto N de M es un submódulo de M si y sólo si
1. N 6= ;;
2. x + ry 2 N , para todo r 2 R y x, y 2 N .
Demostración. En efecto, un submódulo es claramente no vacı́o ya que se trata de
un subgrupo y por ende contiene el neutro 0 de M . Además, la definición nos dice
que dados x, y 2 N y r 2 R, entonces ry 2 N y por ende x + ry 2 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 Proposición 2.1.3. Tomando la misma propiedad
para x = 0 vemos que N es cerrado bajo la acción de R, lo que prueba que N es
un submódulo. ^
¨
son submódulos de M .
Un ejemplo importante de submódulo concierne la siguiente definición.
91
Definición 4.1.11 (Elementos de torsión). Sea R un anillo y M un R-módulo. Un
elemento m 2 M se llama un elemento de torsión si rm = 0 para algún r 2 Rr{0}.
Definimos
Generalicemos ahora una noción clásica de espacios vectoriales que nos permi-
tirá extender la noción de rango a módulos no necesariamente libres.
Veamos ahora como una proposición de las más básicas en espacios vectoria-
les puede extenderse a módulos sobre un dominio de integridad, extendiendo ası́
propiedades de la dimensión de espacios vectoriales al rango de módulos libres.
92
Rn . Entonces estos elementos son linealmente dependientes en F n , lo que significa
que existe una combinación lineal
n+1
X ai
yi = 0, con ai , bi 2 R, bi 6= 0,
i=1
bi
con alguno de los abii no nulo, lo que implica que alguno de los ai es no nulo.
Multiplicando la ecuación por el producto b 6= 0 de los bi , obtenemos la ecuación:
n+1
X ai b
ri yi = 0, con ri = 2 R,
i=1
bi
lo que nos dice que los elementos y1 , . . . , yn+1 2 M son linealmente dependientes
en M ' Rn . En efecto, abiib = 0 si y sólo si ai b = 0, lo que ocurre sólo si ai = 0 o
b = 0. Pero alguno de los ai es no nulo, lo que concluye la demostración. ^
¨
93
f (rx) = rf (x), para todo r 2 R y x 2 M .
Ejercicio. Sea R un anillo unitario. Demuestre que en este caso las dos propiedades
de la definición son equivalentes a la propiedad
Observación.
La primera propiedad de un homomorfismo de R-módulos 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 acción 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 2 M . Sabemos también que ker(f ) es un subgrupo de
M (y pronto veremos que se trata de un submódulo).
para cada par de funciones f, g 2 HomR (M, N ); y la acción de R sobre HomR (M, N )
definida por
(rf )(x) := rf (x), x 2 M,
para todo homomorfismo f 2 HomR (M, N ) y todo r 2 R.
94
y
[(r + s)f ](x) = (r + s)f (x) = rf (x) + sf (x) = (rf )(x) + (sf )(x) = (rf + sf )(x),
[(rs)f ](x) = (rs)f (x) = r[sf (x)] = r[(sf )(x)] = [r(sf )](x),
[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 último, si R es unitario, entonces vemos
que
(1f )(x) = 1f (x) = f (x),
lo que prueba que 1f = f . ^
¨
95
que la identidad id : M ! M : x 7! x es un neutro para la composición. Falta
entonces demostrar la distributividad. Sean f, g, h 2 EndR (M ). Para todo x 2 M ,
tenemos que
Observación.
Esto nos dice que todo grupo abeliano puede ser un R-módulo de forma trivial:
basta con considerar el homomorfismo trivial R ! End(M ) que envı́a todo ele-
mento de R al endomorfismo trivial 0. En este caso, evidentemente, R aniquila a
todo M .
96
Puesto que r(x + y) = rx + ry, vemos que 'r es un homomorfismo de grupos. Por
ende, 'r 2 End(M ). Definamos entonces
' : R ! End(M ), r 7! 'r .
Debemos verificar entonces que se trata de un homomorfismo de anillos: para r, s 2
R y x 2 M , tenemos que
'r+s (x) = (r + s)x = rx + sx = 'r (x) + 's (x),
'rs (x) = (rs)x = r(sx) = 'r ('s (x)) = ('r 's )(x),
lo que prueba que
'r+s = 'r + 's y 'rs = 'r 's ,
y por ende ' es un homomorfismo de anillos. Además, si M es unitario, entonces
'1 (x) = 1x = x para todo x 2 M , lo que nos dice que '1 = idM .
En sentido inverso, sea ' : R ! End(M ) un homomorfismo de anillos. Debemos
probar que esto induce una estructura de R-módulo sobre M , unitario si R es
unitario y '(1) = idM . Definamos entonces la acción, para r 2 R y x 2 M , como
rx := '(r)(x). Ası́, vemos que, para todo r, s 2 R y x 2 M ,
(i) (r + s)x = '(r + s)(x) = ['(r) + '(s)](x) = '(r)(x) + '(s)(x) = rx + sx;
(ii) (rs)x = '(rs)(x) = ['(r) '(s)](x) = '(r)('(s)(x)) = r(sx);
(iii) r(x + y) = '(r)(x + y) = '(r)(x) + '(r)(y) = rx + ry;
(iv) si R es unitario, 1x = '(1)x = idM (x) = x;
lo que prueba que se verifican todos los axiomas de un R-módulo, unitario si R es
unitario. ^
¨
97
Lema 4.2.8. Sea M un R-módulo y N un submódulo de M . Entonces la proyección
canónica
⇡ : M ! M/N : x 7! x + N,
es un homomorfismo epiyectivo de módulos de núcleo N .
^
¨
98
Observación.
La afirmación opuesta también es cierta: si existe un g tal que g ⇡ = f , entonces
ker(⇡) ⇢ ker(f ) de forma evidente.
Para entender el porqué del nombre, basta con notar que si ⇡ es epiyectiva,
entonces P ' M/ ker(⇡) de forma canónica según el Teorema de isomorfismo 1.
Esta proposición prueba entonces que todo homomorfismo que se anula en un
submódulo (aquı́, ker(⇡)) define de forma única un homomorfismo a partir del
cociente por este submódulo (aquı́, P ).
Demostración. Definamos g : P ! N de la siguiente manera: para x 2 P , sea
x0 2 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 está bien definido
ya que no depende de la elección 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 2 ker(⇡) ⇢ ker(f ). 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).
Observación.
La propiedad universal del cociente es válida también en el marco de grupos y en
el marco de anillos, con la misma demostración, mutatis mutandis.
Ejercicio (Propiedad universal del submódulo). Demuestre de forma análoga el
siguiente resultado:
Sean M, N, P tres R-módulos. Sean f : N ! P y ◆ : M ! P homomorfismos
de R-módulos con ◆ inyectiva. Supongamos que Im(f ) ⇢ Im(◆). Entonces existe un
único g 2 HomR (N, M ) tal que ◆ g = f .
99
espacios vectoriales. Un ejemplo de esto es la existencia de elementos de torsión.
Esto hace que la definición de una noción precisa de la “dimensión” o de “rango”
sea una tarea un poco difı́cil. Sin embargo, podemos al menos dar una idea de lo
que es ser “de dimensión finita”. Esto es lo que haremos a continuación.
100
Observación.
Existen módulos finitamente generados que tienen submódulos que no son finita-
mente generados. Por ejemplo, sea R el anillo de funciones f : N ! Z. Entonces
R es un anillo conmutativo unitario y un módulo libre M de rango uno (es decir,
M = R) es un R-módulo finitamente generado (cı́clico, de hecho, generado por la
función constante igual a 1). Para cada 0 < n 2 N, definamos el ideal
Recién describimos los módulos cı́clicos como cocientes del anillo R visto como
R-módulo, es decir como cocientes del módulo libre de rango 1. Demos ahora una
generalización de este resultado para módulos finitamente generados.
101
Proposición 4.3.5. Sea R un dominio de integridad y M un R-módulo. Entonces
M es de rango n si y sólo si existen elementos x1 , . . . , xn 2 M R-linealmente
independientes y el módulo cociente M/hx1 , . . . , xn i es de torsión.
Demostración. Suponagamos que M es de rango n. La propiedad de existencia
de n elementos R-linealmente independientes viene entonces de la definición. Para
demostrar la segunda propiedad, notemos N = hx1 , . . . , xn i y probemos que el
módulo cociente M/N es de torsión.
Sea x0 2 M un elemento cualquiera. Entonces la familia de n + 1 elementos
x0 , . . . , xn 2 M es R-linealmente dependiente
Pn ya que el rango de M es n. Esto nos
dice que existe una combinación lineal i=0 ri xi = 0 con los ri no todos nulos.
Además, sabemosPque r0 6= 0 ya que de lo contrario tendrı́amos una combinación
lineal no trivial ni=1 ri xi = 0 de elementos que son linealmente Pindependientes
n
por hipótesis. Vemos entonces que existe r0 6= 0 tal que r0 x0 = i=1 ri xi 2 N ,
lo que equivale a r0 x0 = 0 2 M/N . Esto prueba que M/N es de torsión.
Notemos además que, como R es un DI, la familia de los ry1 , . . . , ryn 2 M también
es R-linealmente independiente (si R es un DI podemos cancelar el factor común
r 6= 0 de la combinación lineal).
Consideremos ahora el cuerpo de fracciones F = Q(R) y miremos la matriz (ai,j )
como un elemento de Mn (F ). Esta matriz es invertible en Mn (F ) ya que los ryi
son R-linealmente independientes. En efecto, si no fuese invertible, su determinante
serı́a nulo y por ende existirı́a una combinación F -lineal de los ryi igual a 0. Pero
basta multiplicar por el denominador común para obtener una combinación R-
lineal igual a 0, lo que prueba que la combinación lineal es trivial. Sea (bi,j ) 2 Mn (F )
c
la matriz inversa. Escribamos bi,j = di,j i,j
con ci,j , di,j 2 R y sea d un mı́nimo común
múltiplo de los di,j , el cual claramente es no nulo. Entonces tenemos que
n
X
dxi = dbi,j ryj , dbi,j r 2 R,
j=1
102
es decir, dxi 2 P para todo i.
Con esto ya podemos demostrar que el cociente M/P es de torsión. En efecto,
sea z 2 M . Como M/N es de torsión, sabemos que existe s 2 R r {0} tal que
sz = 0 2 M/N , es decir, tal que sz 2 N . Esto nos dice que sz es una combinación
R-lineal de los xi , por lo que dsz es una combinación R-lineal de los dxi 2 P , por lo
que dsz 2 P . Esto prueba que dsz = 0 2 M/P y por ende que M/P es de torsión
ya que ds 6= 0.
P = {S ( M | S submódulo, N ⇢ S},
103
S
entonces V = S2C S la unión de todos los submódulos en C. Vemos claramente
que V N y y que V es un submódulo de M . En efecto, sean a, b 2 V y r 2 R.
Entonces existen A, B 2 C tales que a 2 A y b 2 B. Como C es totalmente ordenado
con respecto a la inclusión, podemos asumir sin pérdida de generalidad que A ⇢ B.
Esto nos dice que a 2 B y por ende a + rb 2 B ⇢ V , lo que prueba que V es un
submódulo de M por la Proposición 4.1.8. Ahora, V ( M , ya que de lo contrario
V = M = hx1 , . . . , xn i para ciertos xi 2 M porque M es finitamente generado. Y
como xi 2 V , existe Ci 2 C tal que xi 2 Ci , por lo que existe uno en particular,
que denotamos S0 2 C, tal que x1 , . . . , xn 2 S0 . Esto nos dice que M = S0 , lo que
es una contradicción ya que S0 2 C y por ende S0 6= M .
En resumen, tenemos que V es un submódulo tal que N ⇢ V ( M . En otras
palabras V 2 P, lo que prueba que toda cadena C ⇢ P tiene una cota superior
en P. El Lema de Zorn nos dice entonces que P tiene un elemento maximal con
respecto al orden dado por inclusión. Este submódulo es un submódulo maximal
que contiene a N . ^¨
Observación.
Vemos entonces que todo módulo simple es cı́clico. Sin embargo, la inversa no
es necesariamente cierta: por ejemplo, el Z-módulo Z/4Z posee un submódulo no
trivial que corresponde a 2Z/4Z = h2̄i.
La proposición siguiente precisa un poco esta observación.
Proposición 4.3.10. Sea R un anillo conmutativo y sea M un R-módulo simple.
Entonces M ' R/I con I un ideal maximal de R.
Demostración. El lema 4.3.9 nos dice que M es cı́clico y lo visto en el ejemplo 4.3.3
nos dice que M ' R/I para I algún ideal de R. Sea I ⇢ J ⇢ R otro ideal de R.
Por el teorema de correspondencia, J/I es un ideal del anillo R/I y por ende un
R-submódulo de R/I. En efecto, para j, k 2 J y r 2 R,
(j + i) + r(k + I) = (j + rk) + I 2 J/I,
104
ya que j +rk 2 J. Como M = R/I es simple, tenemos que J/I = {0} o J/I = R/I.
El teorema de correspondencia nos dice entonces que J = I o J = M , lo que prueba
la maximalidad de I. ^¨
Veamos ahora como se comportan los módulos simples con respecto a los ho-
momorfismos de módulos.
105
1. La función
f : N1 ⇥ · · · ⇥ Nk ! M,
(x1 , . . . , xk ) 7! x1 + · · · + xk ,
es un isomorfismo de R-módulos.
⇣P ⌘
2. Para cada 1 i k, Ni \ j6=i j = {0}.
N
Pk
3. Todo x 2 M se puede escribir de forma única como x = i=1 xi con xi 2 Ni
para todo 1 i k.
Observación.
De la misma forma en que lo hicimos para los productos semi-directos, uno puede
definir la suma directa externa de los módulos N1 , . . . , Nk , la cual no es más que el
producto directo N1 ⇥. . .⇥Nk . Evidentementemente, ambas nociones coinciden y lo
único que cambia es el punto de vista. La segunda ve al producto como “construido
a partir los (sub)módulos”, mientras que la primera ve al producto como un todo
preexistente el cual se “descompone en (sub)módulos”.
xi = x1 + · · · + xi 1 + xi+1 + · · · + xk ,
por lo tanto
x1 + · · · + xi 1 xi + xi+1 + · · · + xk = 0.
De esto deducimos que
f (x1 , . . . , xi 1 , xi , xi+1 , . . . , xk ) = 0.
106
⇣P ⌘
2 ) 3: Supongamos que Ni \ N
j6=i j = {0} para todo i. Como M = N1 +
· · · + Nk , sabemos que todo x 2 M se escribe como suma de elementos en los Ni .
Sea entonces x 2 M y supongamos que
x = x1 + · · · + xk = y1 + · · · + yk ,
con xi , yi 2 Ni . Debemos probar que xi = yi para todo i. Ahora, restando las dos
igualdades obtenemos
(x1 y1 ) + · · · (xk yk ) = 0,
lo que equivale a
Observación.
En el caso k = 2, se tiene
M = N1 N2 , M = N1 + N2 y N1 \ N2 = {0}.
Observación.
Sea M = N1 ··· Nk . Entonces para cada i, la aplicación
pi : M ! Ni : (x1 , · · · , xk ) 7! xi ,
⇣P ⌘
es un epimorfismo de núcleo j6=i Nj . En particular, si M = N1 N2 , entonces
M/N1 ' N2 y M/N2 ' N1 .
Nótese que cuando R es un DI, el rango se comporta bien con respecto a las
sumas directas. En efecto:
107
Demostración. Sean x1 , . . . , xm 2 M elementos linealmente independientes y sean
y1 , . . . , yn 2 N elementos linealmente independientes. Entonces los elementos
x 1 , . . . , x m , y1 , . . . , y n 2 M N,
m
X n
X
1 xi + µj yj = 0.
i=1 j=1
lo que implica por independencia lineal que todos los i y los µj son nulos. Esto
prueba que hay al menos m + n elementos linealmente independientes, por lo que
el rango es al menos m + n.
Sean ahora M 0 = hx1 , . . . , xm i ⇢ M y N 0 = hy1 , . . . , yn i ⇢ N los submódulos
generados por estas familias. Tenemos entonces que
El criterio de la Proposición 4.3.5 nos dice que (M/M 0 ) y (N/N 0 ) son módulos
de torsión. Esto implica que (M/M 0 ) (N/N 0 ) también es de torsión, por lo que
(M N )/(M 0 N 0 ) es de torsión y entonces la Proposición 4.3.5 nos dice que el
rango de M N es m + n. ^¨
Observación.
En el caso particular de m = n = 0, es decir, en el caso de módulos de torsión, uno
puede salirse un poco del marco de los DI. En efecto:
Ejercicio. Sea R un anillo conmutativo y sin divisores de cero. Sean M, N dos
R-módulos de torsión. Pruebe que M N es de torsión.
Ejercicio. Sea R = Z/6Z y sean M = Z/2Z, N = Z/3Z dos R-módulos con la
acción evidente. Pruebe que M y N son R-módulos de torsión pero que M N no
es de torsión.
Observación.
A diferencia del rango, la cantidad minimal de generadores, que uno podrı́a tomar
como otra generalización de la dimensión, no posee esta compatibilidad con las
sumas directas. En efecto:
108
Ejercicio. Encuentre un dominio de integridad R y dos R-módulos cı́clicos M y
N tales que M N también es cı́clico.
Uno podrı́a preguntarse para qué le damos un nombre de “suma directa” a
algo que ya tenı́a el nombre de “producto directo”. Una razón es que efectivamen-
te se trata de un caso especial de suma de submódulos tal y como la definimos
(i.e. como el submódulo generado). Pero esto no es más que una consecuencia de
nuestra elección de notaciones. Existe sin embargo una verdadera diferencia entre
suma directa y producto directo, la cual se ve cuando tenemos una infinidad de
submódulos. Esto nos lleva a la definición de módulo libre en toda generalidad.
De ahora en adelante, suponemos que todo anillo R es unitario.
Definición 4.4.5. Sea M un R-módulo y sea S un conjunto. Se dice que M es
libre sobre S si existe una función inyectiva S ! M : s 7! xs tal que, para todo
x 2 M no Pnulo, existen únicos r1 , . . . , rn 2 R \ {0} y únicos s1 , · · · , sn 2 S tales
que x = ni=1 ri xsi para algún n 2 N.
En este caso se dice que S es una base o un conjunto de generadores libres para
M . Se define finalmente el rango de M como la cardinalidad de S.
Notación. Para evitar que la notación se vuelva indigesta, usaremos a veces la
función inyectiva S ! M para ver S como un subconjunto de M . Para s 2 S,
denotaremos entonces abusivamente por s el elemento xs de la definición. Ası́, todo
elemento de M se puede escribir como una combinación lineal finita de elementos
s 2 S.
Observación.
Nótese que si S es finito podemos asumir que se trata del conjunto {1, . . . , n}, en
cuyo caso la noción de módulo libre de rango n coincide con la que ya habı́amos
definido antes y con la definición de producto gracias a la proposición 4.4.2.
Ejemplo 4.4.6. El R-módulo libre Rt tiene {e1 , · · · , et } como ejemplo de base,
donde ei = (0, . . . , 0, 1, 0, . . . , 0) 2 Rt y el 1 va en la i-ésima posición.
Teorema 4.4.7. Sea S un conjunto. Entonces existe un R-módulo F (S) libre
sobre S y que satisface la siguiente propiedad universal. Sean M un R-módulo y
' : S ! M una función entre los conjuntos S y M . Entonces existe un único
homomorfismo de R-módulos : F (S) ! M tal que (s) = '(s) para todo s 2 S.
Demostración. Si S es vacı́o, definimos F (S) := {0} y la propiedad universal se
verifica trivialmente. Si no, lo definimos como
F (S) := {f : S ! R | f (s) = 0 para todo s 2 S salvo una cantidad finita}.
Entonces F (S) es un R-módulo bajo la suma de funciones y bajo la acción de R
dada por:
(rf )(s) = rf (s), 8 r 2 R, f 2 F (S), s 2 S.
109
Para s 2 S, podemos considerar la función fs definida por:
(
1 si t = s,
fs (t) =
0 si t 6= s,
lo que nos da una base de F (S). En efecto, basta con notar que, para f 2 F (S),
existe un conjunto finito (y único) {s1P
, . . . , sn } ⇢ S tal que f (si ) 6= 0 y f (t) = 0
si t 6= si para todo i. Entonces f = ni=1 ri si , donde ri := f (si ) 6= 0 (estamos
siguiendo la convención de más arriba anotando s en lugar de fs ).
Sea ahora ' : S ! M una función entre los conjuntos S y M . Definamos
: F (S) ! M,
Xn n
X
ri si 7! ri '(si ).
i=1 i=1
Observación.
Cuando S es finito, por ejemplo S = {s1 , . . . , sk }, entonces F (S) = Rs1 · · · Rsk .
Como para cada i tenemos que Rsi ' R bajo la función rsi ! r, vemos que
F (S) ' Rk .
Observación.
Si M es un R-módulo libre con base S, a menudo definiremos los homomorfismos
de R-módulos de M a otro R-módulo especificando simplemente los valores en los
elementos de S y luego diciendo que “se extiende por linealidad”, de la misma
forma en la que lo hicimos en la demostración precedente.
110
Definición 4.4.8. Sea S un conjunto infinito y sea Ns un R-módulo no nulo para
cada s 2 S. Q
Definimos el R-módulo producto directo s2S Ns de los {Ns }s2S como el con-
junto de las |S|-tuplas (xs )s2S con xs 2 Ns , es decir:
Y
Ns = {(xs )s2S | xs 2 Ns },
s2S
111
basta con tomar un r 2 R no invertible y no nulo y considerar el ideal hri, que
corresponde al submódulo Rr. Salvo este pequeño detalle de “poder modificar un
submódulo multiplicándolo por un escalar”, fenómeno completamente inexistente
en espacios vectoriales, el resultado para R-módulos con R un DIP sigue las mismas
lı́neas, como veremos más abajo.
La propiedad clave para demostrar un tal resultado es el hecho de que todo
módulo sobre un DIP es Noetheriano, propiedad que puede perderse sobre un
DFU. Comencemos pues con la definición de esta propiedad.
112
3.) 1. Supongamos que existe una sucesión creciente de submódulos T1 ⇢ T2 ⇢
· · · de M que no es estacionaria. Entonces el conjunto T = {T1 , T2 , · · · } no tiene
elemento maximal, lo que contradice 3. ^¨
Lo primero que debemos hacer es probar que r1 6= 0. Para ello, basta con notar
que ⌃ contiene más que un elemento, ya que todo otro elemento es más grande
que {0} con respecto a la inclusión y por ende la maximalidad de hr1 i asegurará
que es no nulo. Sea {x1 , . . . , xn } una base de M y consideremos, para 1 i n,
el homomorfismo de la i-ésima proyección
n
X
fi : M ! R : si xi 7! si .
i=1
P
Como N 6= {0}, existe un elemento ni=1 si xi 2 N no nulo, por lo que uno de los
si es no nulo ya que {x1 , . . . , xn } es una base y entonces uno de los fi (N ) es no
nulo, lo que prueba que ⌃ posee ideales no nulos.
113
Habiendo probado que r1 6= 0, utilizaremos su maximalidad para probar que
r1 |'(y) para todo ' 2 HomR (M, R). Consideremos un tal ' y demostremos en-
tonces que '(y) 2 hr1 i, lo que es lo mismo que probar que el mcd de r1 y ' es r1 .
Sea d un mcd de r1 y '(y). Entonces d = ar1 + b'(y) para ciertos a, b 2 R. Pode-
mos considerar entonces el homomorfismo ✓ := a + b' 2 HomR (M, R). Tenemos
entonces que
✓(y) = a (y) + b'(y) = ar1 + b'(y) = d,
lo que prueba que hdi ⇢ ✓(N ). Como d|r, tenemos que hr1 i ⇢ ✓(N ), pero la ma-
ximalidad de hr1 i en ⌃ nos dice entonces que hr1 i = ✓(N ) hdi hr1 i, lo que
prueba finalmente que d y r1 son asociados, por lo que r1 es el mcd de r1 y '(y)
como afirmábamos.
Ahora tenemos todo lo que necesitamos para encontrar y1 . Dado lo que aca-
bamos de demostrar, tenemos que para todo 1 i n, r1 |fi (y), donde fi fue
definido más arriba.
PSi escribimos fi (y) = bi r1 con bi 2 R, entonces definimos y1
n
como el elemento i=1 bi xi . Nótese que este elementoPestá hecho de forma que
r1 y1 = y, ya que para todo x 2 M tenemos que x = ni=1 fi (x)xi . Entonces, te-
nemos que r1 = (y) = (r1 y1 ) = r1 (y1 ). Como R es un DIP, esto nos dice que
(y1 ) = 1. Usando esto, daremos el primer paso para mostrar que y1 pertenece a
una base de M y que y = r1 y1 pertenece a una base de N : demostraremos que
M = Ry1 ker( ) y que N = Ry (ker( ) \ N ).
Sea x 2 M y escribamos
x = (x)y1 + (x (x)y1 ).
(ay1 ) = 0 , a (y1 ) = 0 , a = 0,
lo que nos dice que Ry1 \ ker( ) = {0}. Todo esto prueba que M = Ry1 ker( ).
Supongamos ahora que x 2 N y usemos la misma escritura. Como (N ) = hr1 i,
existe c 2 R tal que (x) = cr1 , por lo que
114
Para demostrar lo que queda, usaremos inducción. Demostremos primero por
inducción sobre el rango t de N que N es libre. Esto es obvio si el rango es 0, ya que
M ' Rn es sin torsión y por ende no existen submódulos con torsión, lo que prueba
que N = {0} en este caso y es por ende libre. Si t > 0, podemos suponer entonces
que todo submódulo de rango < t es libre. Ahora, el submódulo ker( ) \ N es de
rango < t por la Proposición 4.4.4. Tenemos entonces que N es la suma directa de
dos módulos libres, por lo que es libre también.
Finalmente, para probar la segunda afirmación del teorema, usaremos induc-
ción sobre el rango n de M . Si n = 1, entonces M = Ry1 y N = Rr1 y1 , lo que
conluye la demostración en ese caso. Supongamos pues que n > 1 y que la segunda
afirmación del teorema es cierta para todo módulo libre de rango < n. Considere-
mos el R-módulo Ker( ) y su submódulo N \ Ker( ). La Proposición 4.4.4 nos
dice que el rango de ker( ) es n 1. Por hipótesis de inducción existe entonces una
base y2 , . . . , yn de ker( ) y elementos ri 2 R tales que r2 y2 , . . . , rt yt es una base de
N \ker( ) y ri |ri+1 para todo 2 i t 1. De esto obtenemos que y1 , . . . , yn es una
base de M y r1 y1 , r2 y2 , . . . , rt yt es una base N tal que ri |ri+1 para todo 2 i t 1.
Falta probar entonces que r1 |r2 para concluir. Para esto, usaremos nuevamente
la maximalidad de hr1 i en ⌃. Consideremos el homomorfismo ' : M ! R dado por
'(y1 ) = '(y2 ) = 1 y '(yi ) = 0 para todo i 3. Tenemos entonces que '(r1 y1 ) = r1
y '(r2 y2 ) = r2 , por lo que r1 , r2 2 '(N ). Esto implica que hr1 i, hr2 i ⇢ '(N ). La
maximalidad de hr1 i en ⌃ nos dice entonces que '(N ) = hr1 i y por ende hr2 i ⇢ hr1 i,
lo que prueba que r1 |r2 . ^¨
115
M es de torsión si y sólo si k = 0, en cuyo caso el aniquilador de M es hrm i.
Demostración. La Proposición 4.3.4 nos dice que podemos ver M como un co-
ciente Rn /N . Aplicando entonces el Teorema 4.5.4, vemos que existe una base
y1 , . . . yn de Rn y elementos r1 , . . . , rt 2 R no nulos tales que tales que r1 |r2 | · · · |rt
y r1 y1 , . . . , rt yt es una base de N . Como Rn ' Ry1 · · · Ryt Rn t , esto nos
dice que
M ' Rn /N ' Rn /(Rr1 y1 · · · Rrt yt )
' (Ry1 · · · Ryt )/(Rr1 y1 · · · Rrt yt ) Rn t
116
Observación.
La descomposición de M en el Teorema 4.5.5 es única en el sentido de que k y m
son únicos y los ri son únicos salvo asociados. Probaremos esto más adelante.
Usando el Teorema chino de los restos, podemos descomponer cada uno de los
ideales hri i en un producto de ideales generados por potencias de elementos primos
p↵ y por ende podemos ver el cociente R/hri i como un producto (o suma directa)
de factores de la forma R/hp↵ i con p 2 R primo y ↵ 1. Esta es otra forma de
clasificar los módulos finitamente generados sobre un DIP y es lo que analizaremos
a continuación.
Observación.
Nótese que los pi no tienen razón alguna para ser distintos (o no asociados) entre
ellos.
117
Observación.
Los enteros k, n y los ideales hp↵i i i del Teorema 4.5.7 están únicamente definidos por
M . Esto es una consecuencia de la unicidad del Teorema 4.5.5 que ya mencionamos
y de la unicidad de la factorización en un DIP.
Definición 4.5.8. Las potencias p↵i i del Teorema 4.5.7 (definidas salvo asociados)
se llaman divisores elementales de M .
Antes de demostrar esta unicidad de la que tanto hablamos, veamos una última
manera de clasificar los módulos finitamente generados por descomposición. Esta
vez, se trata de reagrupar las distintas potencias de primos que vimos en la última
descomposición cuando tienen la misma base (“la misma” en el sentido de “asocia-
da”) para obtener, para cada primo pi , un único submódulos cuyo aniquilador es
una potencia de pi . Para ello, demostraremos un enunciado un poco más general:
Teorema 4.5.9 (Teorema sobre la descomposición primaria). Sea R un dominio
de ideales principales y sea M un R-módulo de torsión no nulo (no necesariamente
finitamente generado). Sea P ⇢ R un conjunto de elementos primos que contiene
un representante por cada clase de asociados. Para cada p 2 P, sea
Np := {x 2 M | 9 ↵ 2 N, p↵ x = 0}.
L
Entonces Np es un submódulo de M y M = p2P Np .
Ln hri, entonces Np =
En particular, si M tiene un aniquilador no trivial
↵1
{0} para
todo primo que no divide a r y por ende M = i=1 Npi , donde r = p1 · · · p↵s s y
Npi es aniquilado por p↵i i . Además, si M es finitamente generado, entonces cada
Npi lo es y por ende es la suma directa de módulos cı́clicos anulados por p↵i i .
Demostración. Sea p 2 P y sean x, y 2 Np . Entonces p↵ x = p y = 0 para algún
↵, 2 N. Sea = máx{↵, }. Entonces
118
El homomorfismo es además epiyectivo. En efecto, para todo x 2 M existe
r 2 R no nulo tal que el aniquilador de x es hri. Vemos además que r no puede
ser una unidad si x 6= 0. Entonces podemos escribir r = p↵1 1 · · · p↵s s con pi 2 P. El
Teorema chino de los restos nos dice entonces que
119
Demostración. Para demostrar la primera afirmación, notemos que pM es efecti-
vamente un submódulo de M ya que R es conmutativo. Sea ' : Rn ! (R/hpi)n el
homomorfismo definido por
'(a1 , . . . , an ) = (a1 + hpi, . . . , an + hpi), 8 ai 2 R, 1 i n.
Entonces ' es claramente un epimorfismo y su núcleo es
ker(') = {(a1 , . . . , an ) 2 Rn | (a1 + hpi, . . . , an + hpi) = (hpi, . . . , hpi)}
= {(a1 , . . . , an ) 2 Rn | ai 2 hpi, 8 1 i n}
= {(a1 , . . . , an ) 2 Rn | ai = pri , ri 2 R, 8 1 i n}
= {p(r1 , . . . , rn ) 2 Rn | ri 2 R, 8 1 i n}
= pRn ,
por lo que Rn /pRn ' (R/hpi)n ' F n .
Finalmente, las hipótesis de la tercera afirmación nos dicen que p|ai para cada
i. Usando lo que acabamos de ver tenemos entonces
(R/hai i)/p(R/hai i) ' R/hpi = F.
Ln L
Además, como M = i=1 R/hai i, tenemos que pM = ni=1 p(R/hai i) por el ejer-
cicio dado antes del enunciado del lema. Por lo tanto,
n
M
M/pM ' (R/hai i)/p(R/hai i) ' F n .
i=1
^
¨
120
Observación.
Si R es un dominio de ideales principales y M es un R-módulo tal que AnnR (M ) =
hp↵ i con p primo, entonces AnnR (pM ) = hp↵ 1 i. En efecto:
Ls Comencemos por los divisores elementales. El Teorema 4.5.9 nos dice que Mi ↵=j
j=1 Ni,pj , donde cada pj es un elemento primo y cada Ni,pj es aniquilado por pj
para algún ↵j . El isomorfismo entre M1 y M2 nos da entonces un isomorfismo entre
N1,pj y N2,pj para cada j. Podemos entonces tratar por separado el caso de cada
121
componente p-primaria, es decir, podemos suponer que M1 y M2 son módulos de
torsion isomorfos cuyos aniquiladores son potencias de p para un p fijo.
Usemos inducción sobre el exponente ↵ del aniquilador de M1 . Si ↵ = 0, en-
tonces M1 es aniquilado por p0 = 1, por lo que M1 ' M2 ' {0} y en ese caso no
hay divisores elementales para ninguno de los dos. Supongamos ahora que M1 y
M2 tienen divisores elementales no triviales que son potencias de p. Recordemos
además que pueden haber varias copias de cada potencia de p.
Supongamos pues que hay n copias de p y luego potenciasL p↵1 , . . . , p↵s con
2 ↵i ↵i+1 para todo 1 i s 1. Esto nos dice que M1 ' n+s i=1 hxi i, donde
el aniquilador de xi es hp↵i i para 1 i s y hpi para s + 1 i n + s. Por ende
el aniquilador
Ls de M1 es p↵s . Usando el ejercicio de más arriba, vemos también que
pM1 ' i=1 hpxi i, donde el aniquilador de pxi es hp↵i 1 i para 1 i s y por ende
el aniquilador de pM1 es p↵s 1 . De la misma manera, supongamos que entre los
divisores de M2 hay m copias de p y luego potencias Lpm+t, . . . , p con 2 i i+1
1 t
Veamos ahora la unicidad de los factores invariantes. Sean r1 |r2 | · · · |rm los fac-
tores invariantes de M1 . A partir de estos elementos, podemos obtener el conjunto
de divisores elementales de M1 tomando las potencias de los factores primos de
estos elementos. Ahora, dada la relación de divisibilidad entre los factores inva-
riantes, vemos lo siguiente: Para cada primo p 2 R, si p↵ |ri , entonces p↵ |rj para
todo j i. En particular, p↵ |rm . Esto nos dice que, al mirar las distintas potencias
de p que aparecen entre los divisores elementales, rm es un múltiplo de todas ellas.
Si consideramos entonces todas las potencias más grandes de primos que hay entre
122
los divisores elementales, tenemos que rm es igual al producto de todas ellas (no
puede ser más grande ya que las potencias de primo fueron fabricadas a partir de
los ri ).
Expliquemos todo esto de forma más explı́cita. Sean p1 , . . . , pn los primos que
aparecen entre los divisores elementales de M1 y supongamos que, para cada 1
i n, hay ki potencias de pi entre los divisores elementales. Sea ` el máximo de
los ki y escribamos entonces los divisores elementales como
↵ ↵ ↵ ↵ ↵
p1 1,1 , . . . , p1 1,` , p2 2,1 , . . . , p2 2,` , . . . , p↵nn,1 , . . . , pnn,` ,
donde ↵i,j ↵i,j+1 para todo par i, j y ↵i,j = 0 si j > ki . Esto último quiere decir
que agregamos eventuales potencias “triviales” de pi a los divisores elementales,
pero esto es sólo para tener una notación más agradable.
Qn Dado↵i,1
el argumento de divisibilidad de más arriba, vemos entonces que rm =
i=1 pi . Para fabricar el siguiente factor invariante rm 1 , podemos pues conside-
rar que nos quedan los divisores elementales
↵ ↵ ↵ ↵ ↵
p1 1,2 , . . . , p1 1,` , p2 2,2 , . . . , p2 2,` , . . . , pn↵n,2 , . . . , pnn,` ,
Las técnicas con las que demostramos la existencia de los divisores elementales y
la unicidad de los factores invariantes a partir de los divisores elementales merecen
ser escritas en un corolario.
Corolario 4.5.13. Sea R un dominio de ideales principales y sea M un R-módulo
finitamente generado. Entonces:
Los divisores elementales de M son las potencias de factores primos de los
factores invariantes de M .
123
La aplicación más importante de esta clasificación, en lo que concierne este
curso, es la clasificación de los grupos abelianos finitamente generados. Recordemos
que, en efecto, todo grupo abeliano es un Z-módulo y viceversa, por lo que los
teoremas de clasificación aplicados a R = Z nos dan el resultado siguiente:
con n1 , . . . , nm 2 enteros tales que nQ1 |n2 | · · · |nm . Si fijamos el orden de G igual a
un entero n, entonces vemos que n = m i=1 ni . Esto nos dice que debemos encontrar
todas las posibles formas de escribir n como producto de enteros n1 , . . . , nm 2
tales que n1 |n2 | · · · |nm . Ahora, como ya vimos anteriormente, si escribimos n como
un producto de potencias de números primos, entonces nm debe ser un múltiplo
de todos esos números primos. Por la misma razón, nm 1 debe ser un múltiplo de
todos los primos que dividen a n/nm y ası́ sucesivamente. Para fabricar un grupo
de orden n basta entonces con:
1. definir A := n; definir M0 := n
2. Para j 1, iterar:
a) si A = 1, detener todo;
124
b) si no, tomar un múltiplo de todos los primos que dividen a A, que divida
a Mj 1 , y archivarlo en Mj ;
c) redefinir A = A/Mj ;
La secuencia archivada de los Mj será entonces una secuencia de factores inva-
riantes (invertida, ya que sacamos el más grande primero). Considerando todas
las elecciones posibles en cada paso, tenemos entonces un algoritmo que permite
clasificar todos los grupos de orden n.
Y esto es equivalente a
X
↵i = j, 8 1 j s,
pi =qj
por lo que basta con ver, para cada primo qj que divide a n, las formas en las que
se puede escribir j como suma de enteros y luego combinar todas éstas.
125
B = 105 7! A = 15;
B = 15 7! A = 1, ) Z/105Z ⇥ Z/15Z;
Usando los divisores elementales, basta con notar que 2 y 1 + 1 son las únicas
formas de escribir 2 como suma de enteros. Para 1, es aún más obvio que la única
manera de escribirlo como suma es precisamente 1. Vemos entonces que podemos
escoger las siguientes descomposiciones para los primos 3, 5 y 7 (en este orden):
3 7! Z/3 Z;
2 + 1 7! Z/p2 Z ⇥ Z/pZ;
126