Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Conmutativa PDF
Conmutativa PDF
Introducción al álgebra
conmutativa
16 de febrero de 2011
Prefacio
V
VI Prefacio
objetos Ob(C ) y una familia de flechas o morfismos Fl(C ) entre (algunos) pares de
objetos de C que satisfacen las condiciones mı́nimas siguientes:
(0) Si A, B ∈ Ob(C ), denotamos a la familia de flechas entre A y B mediante
HomC (A, B)
h ◦ (g ◦ f ) = (h ◦ g) ◦ f .
(3) Para todo A ∈ Ob(C ) se tiene una flecha idA ∈ HomC (A, A), llamada la flecha
identidad y que satisface que para cualquier flecha f ∈ HomC (B,C), las composi-
ciones
f ◦ idB = f y idC ◦ f = f .
tales que para todo f ∈ HomA (A, B) y todo g ∈ HomA (B,C) se tiene que
(preserva identidades).
Ejemplo 5. La identidad idC : C → C (identidad en objetos e identidad en morfis-
mos) es un funtor. Si F : A → B y G : B → C son funtores, la composición
G◦F : A → C
o
G : K-espacios vectoriales → Conjuntos.
Es decir, hay distintos niveles de olvidos.
Ejemplo 7. Si C es la categorı́a de conjuntos y K es un campo, se tiene el funtor
L : C → K-espacios vectoriales
que asocia a cada conjunto B el K-espacio vectorial V = hBi con base B. Este funtor
se define para una función entre conjuntos asociando a ésta la transformación lineal
determinada por su valor en las bases correspondientes.
·
Si F, G : A → B son dos funtores, una transformación natural ϕ : F → G entre
los funtores F y G es una función
ϕ : Ob(A ) → Fl(B)
que asocia a cada objeto A de A una flecha ϕA : F(A) → G(A) en B de tal manera
que si f : A → B es una flecha de A los diagramas siguientes conmutan
VIII Prefacio
F(A)
ϕA
/ G(A)
F( f ) G( f )
F(B) / G(B).
ϕB
2. Módulos y álgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Operaciones con módulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Sucesiones exactas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
Propiedades de exactitud del Hom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
Producto tensorial de módulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Propiedades de exactitud del producto tensorial . . . . . . . . . . . . . . . . . . . . . . 38
Planitud . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Álgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Producto tensorial de álgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Conjuntos algebraicos afines y K-álgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Anillos de coordenadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Morfismos entre variedades afines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Producto tensorial de álgebras y producto de variedades afines . . . . . . . . . . 49
Producto fibrado de espectros primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
IX
X Índice general
Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209
Capı́tulo 1
Anillos, ideales y el espectro primo
1
2 1 Anillos, ideales y el espectro primo
conmutativo con uno al que se llama el anillo cociente de A módulo I. El cero de A/I
es I y el uno es 1 + I. La función natural ρ : A → A/I dada por ρ(a) := a + I es un
morfismo suprayectivo de anillos al que se conoce como el epimorfismo canónico.
con ai /bi ∈ K, y
1 1 dd 0 s
f (x) = p(x)q(x) = (d · u(x)) 0 (d 0 · v(x)) = 0 · u(x)v(x) = · u(x)v(x)
b b bb t
y ası́
t · f (x) = s · u(x)v(x)
y como f (x) es primitivo, entonces c(t · f (x)) = t, y también, como u(x) y v(x) son
primitivos, el producto u(x)v(x) es primitivo y ası́ c(s · u(x)v(x)) = s. Se sigue que
t = c(t · f (x)) = c(s · u(x)v(x)) = s, i.e., s = t y por lo tanto
f = c1 · · · cm f1 · · · fr = d1 · · · dn g1 · · · gs
c( f ) = c1 · · · cm = d1 · · · dn (salvo unidades de A)
I + J = {a + b : a ∈ I, b ∈ J}
1 Anillos, ideales y el espectro primo 5
Es decir, ∑ j∈Γ I j es el ideal dado por las combinaciones lineales finitas de elementos
de la unión de los ideales I j .
El ideal generado por los productos {ab : a ∈ I, b ∈ J} se llama el producto de
los ideales I y J, y se denota por IJ. Ası́,
IJ = ∑i ai bi : sumas finitas con ai ∈ I, bi ∈ J .
El teorema chino del residuo. Dos ideales I, J de A se dice que son coprimos si
I + J = h1i = A. Note que si I, J son coprimos entonces IJ = I ∩ J, lo cual es parte
del teorema siguiente:
Teorema 1.6 (Teorema chino del residuo) Si I1 , . . . , In son ideales de A coprimos
por pares, i.e., Ii + I j = A, para i 6= j, entonces la función
φ : A −→ A/I1 × · · · × A/In
x + I1 = a1 x2 + a2 x1 + I1 = a1 − a1 x1 + a2 x1 + I1 = a1 + I1
(y1 + I1 , y1 + I2 · · · In ) = (1 + I1 , 0 + I2 · · · In = (1, 0)
φ (x) = (x1 + I1 , . . . , xn + In )
Un ideal propio m A se dice que es máximo si para todo ideal I de A tal que
m ⊆ I ⊆ A se tiene que m = I ó I = A. Equivalentemente, m es máximo si y sólo
si A/m es un campo. Como todo campo es dominio entero, se sigue que todo ideal
máximo es primo. Sin embargo, no todo ideal primo es máximo, por ejemplo el ideal
cero 0 ⊆ Z es primo (porque Z es dominio entero) pero no es máximo. Todo anillo
no trivial tiene al menos un ideal máximo como una consecuencia directa del lema
de Zorn1 ya que si A es el conjunto de todos los ideales propios de A (i.e., distintos
de A), ordenando A mediante la inclusión ⊆ de ideales, como 0 ∈ A, entonces A 6= 0/
y si C ⊆ A es una cadena, para cualesquiera I, J ∈ C se tiene que I ⊆ J ó J ⊆ I por
S
lo que la unión M = I∈C I es un ideal de A. Claramente M es un ideal propio ya
que si 1 ∈ M entonces 1 ∈ I para algún I ∈ C, en contradicción con el hecho de que
los ideales de A son propios. Por el lema de Zorn se sigue que A tiene elementos
máximos. Una forma equivalente de formular la afirmación anterior es: todo ideal
propio I A está contenido en un ideal máximo de A, lo cual se sigue al considerar
el anillo cociente A/I.
Proposición T 1.9 (1) Si I1 , . . . , In son ideales de A y p es un primo que contiene a la
intersección j I j , entonces p ⊇ I jT, para algún j. De hecho, si p ⊇ I1 · · · In , entonces
p ⊇ I j , para algún j. Más aún, si j I j = p, entonces p = I j , para algún j.
S
(2) Si p1 , . . . , pn son ideales primos de A y J es un ideal contenido en i pi , entonces
J ⊆ pi , para algún i.
(3) Si m es un ideal máximo de A, entonces para todo entero n > 0, el único ideal
primo que contiene a mn es m.
Demostración. (1): Supongamos que la afirmación es falsa, i.e., que p 6⊇ Ii para todo
i. Entonces, para cada i existe un xi ∈ Ii − p y ası́ x1 · · · xn ∈ I1 · · · In ⊆ I1 ∩ · · · ∩ In
pero x1 · · · xn 6∈ p porque ésteTes primo. Una contradicción, y por lo tanto p ⊇ Ii , para
algún i. Finalmente, si p = i Ii , entonces p ⊆ Ii para cada i y por el resultado del
párrafo anterior p = Ii , para algún i.
(2): Por inducción sobre n para la contrapositiva: ((Si J no está contenido en ningún
pi , entonces J no está contenido en la unión de los pi )). Para n = 1 no hay nada
qué probar. Supongamos ahora que n > 1 y que el resultado es válido para n − 1.
Entonces, fijando cualquier i se tiene que si J 6⊆ p j , para todo j 6= i, entonces J 6⊆
hipótesis de inducción. Por lo tanto, para este i, existe un elemento xi ∈ J
S
p
j6=i j , por
tal que xi 6∈ p j para todo j 6= i. Si sucediera que uno de estos xi también satisface
que xi 6∈ pi , entonces xi 6∈ i pi y ya acabamos. Supongamos entonces que para todo
S
y note que como cada x j ∈ J, entonces x ∈ J, pero como x jS6∈ p j para j 6= i, entonces
x 6∈ p j para toda j, incluyendo j = i y por lo tanto x ∈ J − i pi .
(3): Si un primo p ⊇ mn , entonces por la parte (1) se tiene que p contiene a un factor,
que debe ser m, y como m es máximo, entonces p = m. t
u
(3) I({p}) = p.
t
u
Mostraremos a continuación, que bajo ciertas condiciones, las correspondencias
anteriores son inversas una de la otra, y para probar ésto necesitaremos las propie-
dades y conceptos adicionales siguientes:
Demostración. La parte (2) se sigue de (1) ya que para todo x ∈ X el conjunto {x}
es irreducible y ası́, por (1), está contenido en una componente irreducible de X.
Para probar (1) usaremos el lema de Zorn. Sea W ⊆ X un subconjunto irreducible
y sea F la familia de subconjuntos irreducibles de X que contienen a W . Como W ∈
F, entonces F 6= 0, / y si {Xi }i∈Λ es una cadena en F, entonces su unión Y = i∈Λ Xi
S
En ocasiones, es más fácil trabajar con una base sencilla de la topologı́a de Za-
riski en Spec A y el lema siguiente nos da una tal base:
Lema 1.25 Sea A un anillo conmutativo y para cualquier f ∈ A denotemos por
D( f ) al abierto dado por el complemento del cerrado V (h f i). A los abiertos
D( f ) := Spec A −V h f i los llamaremos abiertos distinguidos.
(1) Si f , g ∈ A, entonces D( f g) = D( f ) ∩ D(g). En particular, D( f ) = D( f n ).
p √
(2) D( f ) ⊇ D(g) si y sólo si g ∈ h f i =: f .
√ √
(3) D( f ) = D(g) si y sólo si f = g, lo cual equivale a que los ideales primos
mı́nimos que contienen a h f i y hgi son iguales. En particular, esto sucede si f = ug
con u ∈ A∗ una unidad.
(4) Los conjuntos D( f ), variando f ∈ A, forman una base para la topologı́a de
Spec A.
(5) Si { fi }i∈Λ es una familia de elementos de A, entonces
[
Spec A = D( fi )
i∈Λ
0 a
• •
hxi hx − ai
h0i
16 1 Anillos, ideales y el espectro primo
hx1 − a1 , . . . , xn − an i
K n ⊆ Spec K[x1 , . . . , xn ]
y para hacerlo más formal conviene definir el espectro máximo de un anillo A como
el conjunto
K n = Specm K[x1 , . . . , xn ]
Conjuntos algebraicos afines. Hemos mostrado que los cerrados del subespacio
K n ⊆ Spec K[x1 , . . . , xn ] son los conjuntos de la forma
V( f ) = {a1 , . . . , an },
18 1 Anillos, ideales y el espectro primo
es decir, los conjuntos algebraicos de K 1 son los conjuntos finitos, el espacio total y
el vacı́o.
Lo anterior sirve para mostrar que la topologı́a de Zariski en K 1 es muy débil y
bastante diferente de la topologı́a usual en K 1 = K, por ejemplo si K = C, ya que en
C1 = C se tienen más cerrados en la topologı́a métrica usual que en la topologı́a de
Zariski. Note también que los cerrados en la topologı́a de Zariski son cerrados en
la topologı́a métrica ya que los polinomios son funciones continuas en la topologı́a
usual.
Ejemplo 5. Si E ⊆ K[x1 , . . . , xn ] es un conjunto finito de polinomios lineales, la va-
riedad V(E) ⊆ K n se llama una K-variedad lineal que, esencialmente es estudiada
por el álgebra lineal.
Ejemplo 6. Si E ⊆ K[x1 , . . . , xn ] consiste de un único polinomio no constante
f ∈ K[x1 , . . . , xn ], a la variedad V(E) =: V( f ) ⊆ K n se le llama una hipersuperfi-
cie. Si f es de grado 1, se dice que V( f ) es un hiperplano afı́n en K n . En el caso
particular cuando n = 2, V( f ) es una curva en K 2 y es una recta si f es lineal. En el
capı́tulo 4 se probará que todos los ideales I ⊆ K[x1 , . . . , xn ] tienen un número finito
de generadores, el teorema de la base de Hilbert (4.2 página 88), y por lo tanto todo
conjunto algebraico afı́n V(I) es una intersección finita de hipersuperficies.
Ejemplo 7. Si K es un campo, dada a una matriz m × n con entradas en K, desplegan-
do sus renglones la podemos pensar como un elemento de K mn . Entonces, si m = n,
2
el grupo lineal especial SLn (K) ⊆ K n de matrices cuadradas n × n con determinante
1, es un conjunto algebraico afı́n porque el determinante es un polinomio, es decir,
para (xi j )n×n , su determinante det(xi j ) ∈ K[x11 , x12 , . . . , xnn ].
En forma similar se muestra que el grupo ortogonal On (K) de matrices cuadradas
A tales que AT A = idn es un conjunto algebraico afı́n.
Conjuntos algebraicos afines e ideales radicales. Antes de ver otros ejemplos,
veamos cómo se restringe la función
I(U) =
\
m ⊆ K[x1 , . . . , xn ].
m∈U
f ∈ I(U) =
\
m ⇔ f ∈ m para todo m ∈ U
m∈U
⇔ f ∈ m = hx1 − a1 , . . . , xn − an i para todo m ∈ U
⇔ f (a1 , . . . , an ) = 0 para todo (a1 , . . . , an ) ∈ U.
1 Anillos, ideales y el espectro primo 19
Es decir, para U ⊆ Specm K[x1 , . . . , xn ] = K n , el ideal I(U) está dado por todos los
polinomios en K[x1 , . . . , xn ] que se anulan
p en los puntos de U. Observe ahora que
I(U) es un ideal radical, ya que si f ∈ I(U), entonces f r ∈ I(U) para algún r ≥ 1,
y por lo tanto para todo punto a = (a1 , . . . , an ) ∈ U se tiene que f r (a) = 0, es de-
p = 0 y consecuentemente f (a) = 0, es decir, f ∈ I(U). Hemos mostrado
cir, ( f (a))r
ası́ que I(U) ⊆ I(U), y la otra inclusión siempre se tiene. Veamos algunos ejem-
plos de cómo se calcula el ideal I(U), para algunos U ⊆ K n = Specm K[x1 , . . . , xn ].
es decir, que la intersección de todos los ideales máximos del anillo K[x1 , . . . , xn ] es
cero. A la intersección de todos los ideales máximos de un anillo A se le llama el
radical de Jacobson del anillo A. Demostraremos el resultado deseado por inducción
sobre n ≥ 1. El caso n = 1 es porque si f ∈ I(K 1 ) ⊆ K[x] no fuera cero, como el
número de raı́ces de f es ≤ que su grado, esto contradice el que K es infinito.
Supongamos ahora que el lema es válido para ≤ n − 1 y sea f ∈ I(K n ). Supongamos
que f 6= 0. Observe primero que K n−1 ⊆ K n identificando (α1 , . . . , αn−1 ) ∈ K n−1
con (α1 , . . . , αn−1 , 0) ∈ K n . Factorizando las potencias xk en los monomios de f ,
escribamos
donde el coeficiente ak (α1 , . . . , αn−1 ) 6= 0 y por lo tanto f˜ tiene ≤ gr( f˜) raı́ces,
i.e., no se puede anular en todo K 1 , i.e., existe αn ∈ K = K 1 tal que 0 6= f˜(αn ) =
f (α1 , . . . , αn−1 , αn ), i.e., no se anula en todo K n . t
u
20 1 Anillos, ideales y el espectro primo
6 6
- -
6 6
- -
invierten inclusiones y son inversas una de la otra. Esta es una perfecta correspon-
dencia que traduce la geometrı́a de los conjuntos algebraicos afines a una situación
algebraica.
22 1 Anillos, ideales y el espectro primo
hxi
h0i
hyi
punto genérico de K 2
•
hx − a, y − bi
punto genérico en la curva h f (x, y)i
punto cerrado
De aquı́ puede inferirse lo que sucede en el caso general: Spec K[x1 , . . . , xn ] contiene,
como subespacio de puntos cerrados, al espacio afı́n K n y además un punto pZ por
cada subvariedad (irreducible) Z ⊆ AnK de dimensión ≥ 1:
Ejemplo 13. Si A = K[x, y], con K algebraicamente cerrado, e I = hxyi, por el ejem-
plo 12 sabemos que Spec A = Spec K[x, y] es K 2 junto con puntos de dimensiones 1
y 2. Por la proposición 1.18, Spec K[x, y]/hxyi se identifica con V hxyi ⊆ Spec K[x, y],
y este subespacio cerrado incluye, por ejemplo, los puntos 0-dimensionales (a, 0) y
(0, b), i.e., los ((ejes coordenados)), y también los primos unidimensionales hxi y hyi.
Espectros de tipo aritmético. Los anillos que consideraremos en este caso son ani-
llos finitamente generados sobre Z y están naturalmente asociados a problemas de
origen aritmético, ya sea como anillos de enteros en campos de números, o asocia-
dos a problemas diofantinos (soluciones a ecuaciones polinomiales con coeficientes
enteros o racionales). Comenzamos con el prototipo de todos estos ejemplos:
Ejemplo 15. Para el anillo Z, Spec Z = {0, h2i, h3i, h5i, . . . , hpi, . . .}. Ahora, V 0) =
Spec Z por lo que este espacio es irreducible y 0 es un punto genérico. Ahora,
24 1 Anillos, ideales y el espectro primo
como Z es DIP, todos sus ideales son de la forma I = hai por lo que si hai 6= 0,
entonces V (hai) = {hpi ∈ Spec Z : hpi ⊇ hai}, y como hpi ⊇ hai ⇔ p|a, enton-
ces V (hai) = {hpi : p es primo y p|a}. Explı́citamente, si a = pe11 · · · per r , entonces
V (hai) = {hp1 i, . . . , hpr i}. Ası́, los abiertos de Spec Z se obtienen como comple-
mentos de conjuntos finitos de primos (((botando subconjuntos finitos de primos))).
Note también que, como Z es un DIP, los ideales primos son máximos y ası́ cada
punto hpi ∈ Spec Z es cerrado: V hpi = {hpi}.
• • • • • • •
2 3 5 7 11 ··· p ···
h0i
entero, entonces 0 es ideal primo y claramente a ϕ(0) = 0. Por otra parte, sabemos
que los ideales primos de Z[i] son factores de primos de Z, y para los primos de Z, el
2 se factoriza en Z[i] como 2 = (1 − i)(1 + i) = −i(1 − i)2 (donde −i es una unidad
de Z[i]), entonces ((arriba)) del 2 hay un primo elevado al cuadrado, a saber (1 − i)
y decimos que 2 se ((ramifica)) en Z[i]; para los primos impares, si p ≡ 3 (mód 4),
entonces p permanece primo en Z[i] (decimos que p es ((inerte))) y si p ≡ 1 (mód 4),
entonces p se factoriza en Z[i] como producto de dos primos a + bi conjugados, i.e.,
p = (a + bi)(a − bi) (decimos que p no se ((ramifica))) lo cual corresponde al caso
cuando el primo p se puede escribir como la suma de dos cuadrados. Podemos
visualizar la situación anterior como sigue:
?
Spec Z • • • • • • •
2 3 5 7 11 ··· 4m + 1 · · · 4n + 3 · · ·
0
Ejercicios
1.1. En el párrafo antes de 1.1 usamos que en un DFU dados dos elementos existe
su máximo común divisor y éste es único salvo unidades. Demuestre formalmente
lo anterior.
f = a0 + a1 x + a2 x2 + · · · ∈ A[[x]]
Demuestre que:
√
(i) I es√un ideal de A.
(ii) Ip ⊆ I.
√ √
(iii) √ I =√ I. √ √
(iv) IJ = I ∩ J = I ∩ J. En general, si {Ii } es una familia finita de ideales
de A, demuestre que pT T √
i Ii = i Ii .
√ p√ √
(v) I +J = I + J. √
(vi) Si p es primo, entonces pn = p, para todo entero n ≥ 1. √
(vii) Se puede definir el radical de cualquier subconjunto E ⊆ A, aún cuando E
no es un ideal, en general. Demuestre que
pS S √
i Ei = i Ei
(J : I) := {a ∈ A : ax ∈ J para todo x ∈ I} ⊆ A
A
φ
/B
/ B/q
φq
A/a φ (q)
1 Anillos, ideales y el espectro primo 27
con las flechas verticales las canónicas. Demuestre que, para todo f ∈ A se tiene que
φq ( f + a φ (q)) = (φ ( f ) + q).
1.26. Demuestre que en un espacio topológico Hausdorff los puntos son los únicos
subconjuntos irreducibles.
1.30. Encuentre las tres componentes irreducibles del conjunto algebraico afı́n dado
por
V(5x2 − y3 z, xz − 5x) ⊆ K 3 .
Capı́tulo 2
Módulos y álgebras
f (x + y) = f (x) + f (y)
f (ax) = a f (x)
29
30 2 Módulos y álgebras
HomA (M, N)
es un A-módulo.
Proposición 2.1 Si M es un A-módulo, se tiene un isomorfismo natural
ker f := {x ∈ M : f (x) = 0}
y su imagen es
Im( f ) := { f (x) ∈ N : x ∈ M}.
Ambos son submódulos de los módulos correspondientes. El conúcleo de f es
Coker( f ) := N/ Im f
y la coimagen de f es
Coim( f ) := M/ ker f ,
sin embargo la coimagen no es muy interesante en este caso porque se tiene el
resultado siguiente:
Teorema 2.2 (Noether) Si f : M → N es un A-morfismo, entonces f induce un iso-
morfismo f : M/ ker f → Im f tal que le diagrama siguiente conmuta:
f
M / Im f ⊆ N
9
ρ
f
M/ ker f
2 Módulos y álgebras 31
de todas las Γ -adas ordenadas con xi ∈ Mi para cada i ∈ Γ y con las operaciones
definidas componente a componente, i.e.,
donde por ((casi todos)) queremos decir ((todos, excepto por un número finito)). Las
operaciones en la suma directa definen también componente a componente. Se tie-
nen monomorfismos naturales i j : M j M j definidos, para x j ∈ M j , por las inclu-
L
L
Si L = i∈Γ A es una suma directa de copias del anillo A indexadas por Γ , di-
remos que L es un A-módulo L
libre. En general, cualquier A-módulo L isomorfo a
una suma directa de la forma i∈Γ A se dirá que es un módulo libre. En ocasiones
usaremos la notación
A(Γ ) :=
M
A.
i∈Γ
Note que los elementos de A(Γ ) se pueden expresar en forma única como sumas
finitas de la forma
∑ ai γi con ai ∈ A y γi ∈ Γ
i
donde Aγi ' A para todo γi ∈ Γ . A los elementos de Γ se les llama los generadores
del módulo libre A(Γ ) . Observe que todo A-módulo M es cociente de un A-módulo
libre ya que se tiene el epimorfismo A(M) M dado enviando un generador x ∈ M
a sı́ mismo. Cuando Γ = {1, . . . , n}, usaremos la notación An para la suma directa
Ln
i=1 A de n copias de A.
se dice que es exacta en Mi si Im fi−1 = ker fi . Diremos que es una sucesión exacta
si lo es en cada Mi .
f
Lema 2.3 (1) Una sucesión 0 → M 0 −→ M es exacta si y sólo si f es inyectivo.
g
(2) Una sucesión M −→ M 00 → 0 es exacta si y sólo si g es suprayectivo.
(3) Si N ⊆ M es un submódulo, se tiene la sucesión exacta
i ρ
0 → N ,→ M −→ M/N → 0
0 → M 0 → M → M 00 → 0
El lema del quinto y el lema de la serpiente. Los dos resultados siguientes, que
combinan la conmutatividad de unos diagramas con la exactitud de los renglones
correspondientes, a pesar de ser elementales serán de gran utilidad en secciones
subsiguientes.
Proposición 2.4 (El lema de la serpiente) Dado el diagrama conmutativo siguien-
te, con renglones exactos:
f
M0 /M g
/ M 00 /0
α β γ
0 / N0 /N / N 00
f0 g0
fˆ ĝ δ fˆ0 ĝ0
ker α −→ ker β −→ ker γ −→ Coker α −→ Coker β −→ Coker γ
donde los morfismos entre núcleos son las restricciones de f y g y los morfismos
entre conúcleos son los inducidos por f 0 y g0 . Más aún, si f es inyectiva, entonces
fˆ también lo es, y si g es suprayectiva entonces ĝ también lo es. El morfismo δ se
llama el morfismo de conexión o de frontera.
Demostración. El punto importante es la definición del morfismo de conexión δ :
ker γ → Coker α. Dado x00 ∈ ker γ, como g es suprayectivo existe un x ∈ M tal que
g(x) = x00 . Por la conmutatividad del cuadrado de la derecha g0 β (x) = γg(x) = γx00 =
0 y por lo tanto β x ∈ ker g0 = Im f 0 (por la exactitud del renglón inferior); por lo
tanto, existe un único y0 ∈ N 0 tal que f 0 (y0 ) = β x (es único porque f 0 es inyectivo).
Ahora, como Coker α = N 0 / Im α, entonces y0 ∈ Coker α. Se ((define)) δ (x) := y0 .
Note que en la ((definición)) de δ (x) hay un punto donde se tiene que hacer una
elección (cuando se usa que g es suprayectivo). Supongamos que z ∈ M también
satisface que g(z) = x00 . Entonces, x − z ∈ ker g = Im f (por la exactitud del renglón
superior) y ası́ existe un único x0 ∈ M 0 tal que f x0 = x − z. Se sigue que
g−1
xo x00
β
y0 o βx
f 0 −1
M1 / M2 / M3 / M4 / M5
f1 f2 f3 f4 f5
N1 / N2 / N3 / N4 / N5
α f
definido, para α ∈ HomA (M, N) mediante f∗ (α) = f ◦ α : M −→ N −→ N 0 .
f g
Lema 2.6 (1) Si M 0 −→ M −→ M 00 son morfismos y N es otro módulo, entonces
g∗ f∗
(g ◦ f )∗ = f ∗ ◦ g∗ : HomA (M 00 , N) −→ HomA (M, N) −→ HomA (M 0 , N).
f g
(2) Si N 0 −→ N −→ N 00 son morfismos y M es otro módulo, entonces
f∗ g∗
(g ◦ f )∗ = g∗ ◦ f∗ : HomA (M, N 0 ) −→ HomA (M, N) −→ HomA (M, N 00 ).
f g
Teorema 2.7 (1) Si 0 → M 0 −→ M −→ M 00 → 0 es una sucesión exacta y N es otro
módulo, entonces la sucesión siguiente es exacta:
g∗ f∗
0 → HomA (M 00 , N) −→ HomA (M, N) −→ HomA (M 0 , N).
f g
(2) Si 0 → N 0 −→ N −→ N 00 → 0 es exacta y M es otro módulo, entonces la sucesión
siguiente es exacta:
f∗ g∗
0 → HomA (M, N 0 ) −→ HomA (M, N) −→ HomA (M, N 00 ).
BilA (M × N, P)
y nos preguntamos por la existencia de un sólo A-módulo, digamos T , tal que las
funciones A-bilineales f : M × N → P correspondan a funciones A-lineales fe : T →
P, de tal forma que
∼
(∗) BilA (M × N, P) −→ HomA (T, P)
(diremos en este caso que T linealiza las funciones bilineales con dominio M × N.)
La respuesta a esta pregunta es afirmativa: existe un tal módulo T y es único con la
36 2 Módulos y álgebras
(x + x0 , y) − (x, y) − (x0 , y)
φ
fe
T
es decir, fe◦ φ = f .
Demostración. Como f está definida en los básicos del módulo libre L, entonces f
se puede extender por linealidad a todo L. Ahora, como f es A-bilineal, entonces
se anula en los generadores de R y ası́ en todo R. Pasando al cociente f induce el
A-morfismo fe : T → P. Las definiciones hacen evidente que el diagrama conmuta.
Finalmente, si h : T → P es tal que h◦φ = f , restringiendo a los generadores se tiene
que f (x, y) = h ◦ φ (x, y) = h(x ⊗ y) por lo que h coincide con fe en los generadores
x ⊗ y de T y por lo tanto h = fe en todo T . t
u
Note que otra forma de leer esta proposición es que a cada función bilineal
f : M × N → P le corresponde en forma única una función lineal fe : T → P, la
2 Módulos y álgebras 37
M×N
φ
/T M×N
ψ
/ T0
< <
ψ φ
φe ψ
e
T0 T
Similarmente, por la propiedad de T y la función φ (de la proposición anterior),
para la función A-bilineal ψ : M × N → T 0 , se tiene que el diagrama del lado dere-
cho anterior conmuta. Entonces, considerando la composición ψ e ◦ φe se tiene que el
diagrama del lado izquierdo siguiente conmuta:
M×N
ψ
/ T0 M×N
φ
/T
< <
ψ φ
ψ◦
e φe φe◦ψ
e
T0 T
Similarmente para el diagrama del lado derecho. Pero como las funciones idT 0 e idT
hacen conmutar los diagramas respectivos, por la unicidad de las funciones marca-
das con flechas punteadas se debe tener que ψe ◦ φe = idT 0 y φe ◦ ψ
e = idT , es decir
T 'T .0 t
u
M ⊗A A ' M.
M ⊗A N ' N ⊗A M.
M ⊗A (N ⊗A P) ' (M ⊗A N) ⊗A P.
Demostración. Estas propiedades se prueban fácilmente, por ejemplo para (2) ob-
serve que la aplicación φ : M × N → N ⊗A M dada por φ (v, w) = w ⊗ v es bili-
neal y ası́ por la propiedad del producto tensorial induce una única función lineal
φ̃ : M ⊗A N → N ⊗A M tal que φ̃ (v ⊗ w) = w ⊗ v. Similarmente se tiene una aplica-
ción lineal ψ̃ : N ⊗A M → M ⊗A N tal que ψ̃(w ⊗ v) = v ⊗ w, y se prueba fácilmente
que φ̃ y ψ̃ son inversas una de la otra. t
u
f ⊗ g : M ⊗A M 0 → N ⊗ N 0
f 0 ⊗g0 f ⊗g
M 0 ⊗ N 0 −→ M ⊗ N −→ M 00 ⊗ N 00
Demostración. Para mostrar que Im( f ⊗ id) ⊆ ker(g ⊗ id) debemos mostrar que
(g ⊗ id)( f ⊗ id) = 0. Pero, por el párrafo previo al enunciado, (g ⊗ id) ◦ ( f ⊗ id) =
(g ◦ f ) ⊗ id = 0, la última igualdad porque g ◦ f = 0. Para mostrar que ker(g ⊗ id) ⊆
Im( f ⊗ id), considere el diagrama siguiente
2 Módulos y álgebras 39
f ⊗id
M 0 ⊗A N / M ⊗A N g⊗id
/ M 00 ⊗A N /0
6
φ
ρ
(M ⊗A N)/ Im( f ⊗ id)
donde ρ es epimorfismo canónico y note que, como Im( f ⊗ id) ⊆ ker(g ⊗ id), enton-
ces g ⊗ id induce el morfismo φ por paso al cociente, i.e., el triángulo en el diagrama
conmuta. Mostraremos que φ es un isomorfismo, y note que una vez hecho ésto se
tiene que
ker(g ⊗ id) = ker(φ ◦ ρ) = ker(ρ) = Im( f ⊗ id)
que es lo que se querı́a. Para mostrar que φ es un isomorfismo, construiremos su
inversa, ψ : M 00 ⊗A N → (M ⊗A N)/ Im( f ⊗ id) como sigue: defina p : M 00 × N →
(M ⊗A N)/ Im( f ⊗ id) para (x00 , y) ∈ M 00 × N escogiendo para x00 ∈ M 00 un x ∈ M
(porque g es suprayectiva) tal que g(x) = x00 y poniendo p(x00 , y) := x ⊗ y. Se ve-
rifica fácilmente que p está bien definida, es bilineal y el morfismo ψ que induce
es inverso de φ . Resta mostrar que g ⊗ id es suprayectiva y para ésto note que si
∑ xi00 ⊗ yi ∈ M 00 ⊗A N, como g es suprayectiva existen xi ∈ M tales que g(xi ) = xi00 , y
se tiene que
(g ⊗ id) ∑ xi ⊗ yi = ∑ g(xi ) ⊗ yi = ∑ xi00 ⊗ yi .
t
u
Teorema 2.12 (El isomorfismo de adjunción) Si M, N, P son A-módulos, se tiene
un isomorfismo natural
'
ϕ : HomA (M ⊗A N, P) −→ HomA (M, HomA (N, P)).
f ⊗id
Z ⊗Z Z/nZ −→ Z ⊗Z Z/nZ
es exacta.
Módulos fielmente planos. Como vimos en el párrafo anterior, los módulos Z/2Z
y Z/3Z, por ejemplo, no son planos. Peor aún, note que
2 Módulos y álgebras 41
Z/2Z ⊗Z Z/3Z = 0
porque el uno del lado izquierdo es el 3 que es cero en el lado derecho y el −1 del
lado derecho es el 2 que es cero del lado izquierdo. Un A-módulo M se dice que es
fielmente plano si es plano y para todo A-módulo N, la igualdad M ⊗A N = 0 implica
que N = 0.
Proposición 2.14 Sea M un A-módulo. Las propiedades siguientes son equivalen-
tes:
(1) M es fielmente plano.
(2) Una sucesión de A-módulos
f g
(∗) 0 → N 0 −→ N −→ N 00 → 0
(†) 0→N→0→0→0
0→0→0→0→0
porque M ⊗A N = 0 por hipótesis. Por (2) la exactitud de esta última sucesión implica
la exactitud de (†), lo cual sólo es posible si N = 0. t
u
A
f g
B /C
φ
µ : (A ⊗k B) × (A ⊗k B) → A ⊗k B
(A ⊗k B) ⊗k (A ⊗k B) → A ⊗k B
µ : (A ⊗k B) × (A ⊗k B) → A ⊗k B
r · (a ⊗ b) = (ra) ⊗ b := ( f (r)a) ⊗ b
= a ⊗ (rb) := a ⊗ (g(r)b)
y ası́
ĝ ◦ f (r) = f (r) ⊗ 1 = 1 ⊗ g(r) = fˆ ◦ g(r).
Observe también que A ⊗k B es una k-álgebra, con la estructura definida por el mor-
fismo de anillos k → A ⊗k B dado por a 7→ f (a) ⊗ 1 = 1 ⊗ g(a), donde f : k → A y
g : k → B, son los morfismos de anillos que dan a A y B las estructuras de k-álgebras
respectivas. A continuación mostramos que A ⊗k B junto con los morfismos fˆ y ĝ
están unı́vocamente determinados:
Proposición 2.15 (Propiedad universal del producto tensorial de álgebras) Si A
y B son dos k-álgebras con morfismos estructurales f : k → A y g : k → B, entonces
la terna (A ⊗k B, fˆ, ĝ) que hace conmutativo el cuadrado del diagrama anterior es
tal que, si M es otra k-álgebra junto con morfismos φ : A → M y ψ : B → M tales
que f ◦ φ = ψ ◦ g, entonces existe un único morfismo ϑ : A ⊗k B → M tal que los
triángulos laterales del diagrama siguiente conmutan, i.e., ϑ ◦ ĝ = φ y fˆ ◦ ϑ = ψ:
f
k /A
g ĝ
fˆ φ
B / A ⊗k B
ϑ
"
ψ /M
Demostración. Defina θ : A × B → M mediante θ (a, b) := φ (a)ψ(b) y observe que
θ es k-bilineal y ası́, por la propiedad universal del producto tensorial 2.8, induce
un morfismo ϑ : A ⊗k B → M tal que ϑ (a ⊗ b) = φ (a)φ (b). Entonces, si a ∈ A,
y si b ∈ B,
44 2 Módulos y álgebras
i.e., ξ = ϑ . t
u
φ (P) := f (a1 , . . . , an ),
Ejemplo 8. Las coordenadas xi ∈ K[V ] = K[x1 , . . . , xn ]/I(V ) las podemos ver como
funciones xi : V → K que asignan a cada punto P = (a1 , . . . , an ) ∈ V su i-ésima
coordenada xi (P) := ai .
Observación. El anillo K[V ] es el menor anillo de funciones en V que contiene a
las funciones coordenadas del ejemplo 8 y al campo K (sus elementos vistos como
funciones constantes).
Una consecuencia directa de 1.26 es:
Corolario 2.16 Un subconjunto algebraico afı́n V ⊆ K n es irreducible si y sólo si
su anillo de coordenadas K[V ] es un dominio entero. t
u
f : R1 = R → C ⊆ R2
f
R1 - C
dada por f (t) = (t 2 − 1,t 3 − t) es una aplicación polinomial. Claramente está dada
por polinomios y sólo es necesario verificar que su imagen cae en la curva C, lo cual
es un cálculo directo. Note que f es inyectiva en R1 − {±1} y que f (−1) = (0, 0) =
f (1) (decimos entonces que la curva nodal tiene un punto doble en el origen).
La composición de aplicaciones polinomiales se define en forma natural como
sigue: si V ⊆ K n , W ⊆ K m , U ⊆ K r son conjuntos afines y si f : V → W y g : W → U
son aplicaciones polinomiales, entonces la composición de funciones usual
g◦ f :V →U
g1 ( f1 , . . . , fm ), . . . , gr ( f1 , . . . , fm ) ∈ K[x1 , . . . , xn ].
dada por f ↔ f ∗ .
(3) La correspondencia anterior es contravariante, i.e., si f : V → W y g : W → U
son aplicaciones polinomiales, entonces
(g ◦ f )∗ = f ∗ ◦ g∗ .
g(y1 , . . . , ym ) = 0 ∈ K[W ]
ϕ(g(y1 , . . . , ym )) = 0 ∈ K[V ]
f ∗ (y j ) = y j ◦ f = f j = ϕ(y j )
como se querı́a. En forma análoga se prueba que f es única con la propiedad de que
f ∗ (y j ) = ϕ(y j ).
(3): Directo usando la asociatividad de la composición de funciones. t
u
48 2 Módulos y álgebras
f
R1 - C
C ⊆ K2
π
?
K1
como el lector comprobará en el ejercicio 21, y las observaciones previas nos dicen
que el producto K m × K n se debe definir como
ΛS oe φ
K[V ] ⊗K K[W ] o
ge
K[W ]
O O
ψ
fe f
K[V ] o g
K
* a g̃ (
Specm K[V ] ×Specm K Specm K[W ] / Specm K[W ]
a af
aψ f˜
*
Specm K[V ] / Specm K
ag
# a g̃
V ×K W /W
aψ
a af
f˜
) V / {∗}
ag
0W
aφ
O
a g̃
aϑ
U / V ×K W
a
f˜
aψ
.V
con la formulación correspondiente de la propiedad universal.
Ejercicios
M ⊗A (N ⊕ P) ' (M ⊗A N) ⊕ (M ⊗A P).
2.3. En general, demuestre que el producto tensorial conmuta con sumas directas,
i.e., si {Ni }i∈Λ es una familia de A-módulos y M es cualquier otro A-módulo, de-
muestre que se tiene un isomorfismo
M M
M ⊗A Ni ' (M ⊗A Ni ).
i∈Γ i∈Γ
2.4. Demuestre que M es plano si y sólo si para toda sucesión exacta de la forma
f
0 → N 0 −→ N se tiene que la sucesión
id ⊗ f
0 / M ⊗A N 0 / M ⊗A N
es exacta.
2.5. Si {Mi } es una familia de A-módulos, demuestre que
L
i Mi es plano si y sólo
si cada Mi es plano.
2.6. Si M, N son A-módulos planos, demuestre que M ⊗A N es plano.
2.7. Si 0 → M 0 → M → M 00 → 0 es una sucesión exacta de A-módulos con M 0 , M 00
finitamente generados, demuestre que M es finitamente generado.
52 2 Módulos y álgebras
0 / M0 f
/M g
/ M 00
α β γ
0 / N0 /N / N 00
f0 g0
2.19. Sea M un A-módulo. Demuestre que M es plano si y sólo si para todo ideal I ⊆
A finitamente generado el morfismo I ⊗A M → A⊗A M ' M es inyectivo. Sugerencia:
Para la implicación no trivial, si 0 → N 0 → N es exacta, a la luz de 2.13, primero
considere el caso cuando M es libre y luego en el caso general M es cociente de un
libre.
2.22. Sean V = V(I) = Specm K[x1 , . . . , xm ]/I y W = V(J) = Specm K[y1 , . . . , yn ]/J
dos conjuntos algebraicos afines. Suponga además que I y J son radicales. Demues-
tre que V ×K W es el conjunto algebraico afı́n cuyo ideal I(V ×K W ) está generado
por I(V ) e I(J) en K[x1 , . . . , xm , y1 , . . . , yn ].
2.23. Si V y W son dos variedades afines (i.e., son conjuntos algebraicos irreduci-
bles), demuestre que V ×K W también es irreducible.
Capı́tulo 3
Localización, finitud y el teorema de los ceros
? ?
Z /Q
55
56 3 Localización, finitud y el teorema de los ceros
a b at + bs ab ab
+ := y :=
s t st st st
y resulta que, para comenzar, están bien definidas, y hacen de S−1 A un anillo con-
mutativo con uno, donde el cero o neutro aditivo es 0/s, para cualquier s ∈ S y el uno
es s/s, para cualquier s ∈ S. Más aún, se tiene un morfismo de anillos ϕ : A → S−1 A
dado por ϕ(a) := a/1, al que se llama el morfismo canónico, que en general no
es inyectivo. Al anillo S−1 A se le conoce como el anillo de fracciones de A con
respecto a S.
f
/B
A =
ϕ
fˆ
S−1 A
Demostración. Los elementos de S−1 A son clases de equivalencia de la forma a/s
y escogiendo un representante (a, s) ∈ a/s ponemos fˆ(a/s) := f (a) f (s)−1 , recor-
dando que por hipótesis f (s) ∈ B∗ y por lo tanto f (s)−1 ∈ B. Observe ahora que si
(a0 , s0 ) ∈ a/s es otro representante, entonces existe u ∈ S tal que u(as0 − a0 s) = 0, y
aplicando f a esta igualdad se obtiene que f (u)( f (a) f (s0 ) − f (a0 ) f (s)) = 0 donde
f (u) ∈ B∗ por lo que f (a) f (s0 ) = f (a0 ) f (s) con f (s), f (s0 ) ∈ B∗ y ası́ f (a) f (s)−1 =
f (a0 ) f (s0 )−1 , y consecuentemente fˆ es una función. Claramente es un morfismo
porque f lo es, y si a ∈ A entonces
t
u
Como una consecuencia inmediata, las tres propiedades del lema anterior deter-
minan S−1 A salvo isomorfismo:
Corolario 3.3 Si S ⊆ A es un subconjunto multiplicativo y f : A → B es un morfismo
de anillos tal que
(1) f (S) ⊆ B∗ .
(2) f (a) = 0 ⇒ existe s ∈ S tal que as = 0.
(3) Todo b ∈ B es de la forma f (a) f (s)−1 , con a ∈ A, s ∈ S.
Entonces, existe un único isomorfismo fˆ : S−1 A → B tal que el diagrama siguiente
conmuta:
f
/B
A =
'
ϕ
fˆ
S−1 A
Demostración. La tı́pica de objetos que satisfacen propiedades universales. t
u
Lema 3.4 Si f : A → B es cualquier morfismo de anillos y S ⊆ A, T ⊆ B son
subconjuntos multiplicativos tales que f (S) ⊆ T , entonces f induce un morfismo
fˆ : S−1 A → T −1 B tal que fˆ(a/1) = f (a)/1, para todo a ∈ A.
58 3 Localización, finitud y el teorema de los ceros
El campo residual k(p) = Ap /pAp del anillo local (Ap , pAp ) es isomorfo al campo
de fracciones del dominio entero A/p.
Demostración. Si a/t 6∈ pAp , entonces a 6∈ p y ası́ a ∈ S = A − p por lo que a/t ∈ A∗p
es una unidad. Se sigue que pAp es un ideal máximo. Por otra parte, si I es cualquier
ideal de Ap e I 6⊆ pAp , entonces existe u ∈ I − pAp y ası́ u ∈ A∗p y por lo tanto I = Ap .
Se sigue que pAp es el único ideal máximo de Ap .
En el lema 3.4, poniendo S = A − p por lo que S−1 A = Ap y si f : A → A/p
es el epimorfismo canónico observe que T = f (S) = A/p − {0} es un conjunto
multiplicativo porque A/p es un dominio entero y ası́ T −1 (A/p) = K(A/p) es el
campo de fracciones de A/p. Se tiene entonces que fˆ : Ap → K(A/p) es suprayectivo
porque siendo f : A → A/p suprayectivo, para todo (x + p)/t ∈ K(A/p), con x + p ∈
A/p y t ∈ T = f (S) se tiene que t = f (s) para algún s ∈ S y ası́ fˆ(x/s) = f (x)/ f (s) =
(x + p)/t. Finalmente, si I = ker fˆ, entonces se tiene el isomorfismo de Noether
inducido por fˆ
Ap /I ' K(A/p)
y por lo tanto I deber ser máximo y ası́ I = pAp porque Ap es local. Como k(p) =
Ap /pAp , ya acabamos. t
u
3 Localización, finitud y el teorema de los ceros 59
A[t]/h f t − 1i −→ A f
9/ C B
φ
A
A[t]
A[t]/h f T − 1i
ϕ −1 (J) = {a ∈ A : a/1 ∈ J}
f : Spec A → k(p)
dadas por la regla de correspondencia p 7→ f (p) y donde estos valores caen en co-
dominios que cambian con los puntos de Spec A.
Ejemplo 6. Para A = Z y p = hpi, si f = m ∈ Z, su ((valor)) en hpi es m (mód p) en
k(p) = F p = Z/pZ (ya que en este caso, Z/pZ ' Zhpi /pZhpi ).
Regresando ahora a la analogı́a con la definición de una variedad algebraica, ob-
serve que aún cuando la ((definición)) de la función f : Spec A → k(p) no es tal ya
que los codominios están variando, sı́ tiene sentido la frase ((los ceros de f ∈ A)),
que en el contexto anterior quiere decir que la clase lateral f (p) = f + p es cero
en el campo k(p), i.e., f ∈ p, y por lo tanto podemos hablar del lugar geométrico
de f como el conjunto de puntos en Spec A donde f ((vale)) cero. Note que en esta
definición se están usando los ceros de los distintos campos residuales k(p), y como
62 3 Localización, finitud y el teorema de los ceros
se quiere que las funciones f sean continuas, usando que el 0 ∈ k(p) debe ser ce-
rrado, entonces su imagen inversa V ( f ) ⊆ Spec A debe ser cerrado; más aún, como
la intersección arbitraria de cerrados debe ser cerrada ésto nos lleva a definir, para
cualquier conjunto E ⊆ A, V (E) como el conjunto de ((ceros comunes)), en Spec A,
de los elementos de I, i.e.,
Algebras finitas y de tipo finito. Integridad. Sean A ⊆ B anillos de tal forma que
B es una A-álgebra.
Diremos que B es una A-álgebra finita si B es finitamente generado como A-
módulo, i.e., si existen α1 , . . . , αn ∈ B tales que todo b ∈ B es una combinación
lineal de los αi con coeficientes en A:
b = a1 α1 + · · · + an αn con los ai ∈ A.
ϕ : A[x1 , . . . , xn ] B
an an−1 a
n
+ rn−1 n−1 + · · · + r1 + r0 = 0 con ri ∈ Z
b b b
multiplicando por bn queda
de donde se sigue que b divide a an y como mcd(a, b) = 1 entonces b|a pero siendo
coprimos ésto sólo es posible si b = ±1 y por lo tanto a/b ∈ Z, como se querı́a.
Lema 3.9 Sean A ⊆ B anillos y α ∈ B. Son equivalentes:
(1) α es entero sobre A.
(2) El subanillo A[α] ⊆ B es finitamente generado como A-módulo.
(3) Existe un subanillo C con A ⊆ C ⊆ B tal que α ∈ C y C es finitamente generado
como A-módulo.
Demostración. (1) ⇒ (2): Como α es entero sobre A se tiene que
y por lo tanto
y el anillo A[b0 , . . . , bn−1 ] es un A-módulo finitamente generado por 3.10 ya que los
bi son enteros sobre A. Como la ecuación (∗) tiene coeficientes en A[b0 , . . . , bn−1 ]
entonces α es entero sobre este anillo y ası́ A[b0 , . . . , bn−1 ][α] es finitamente gene-
rado como A[b0 , . . . , bn−1 ]-módulo. Se sigue que A[b0 , . . . , bn−1 ][α] es finitamente
generado como A-módulo y por lo tanto α es entero sobre A por 3.9. t
u
d n α n + an−1 d n α n−1 + · · · + a1 d n α + a0 d n = 0
Corolario 3.16 Sean A un dominio entero con campo de fracciones K y L una ex-
tensión algebraica de K. Entonces L es el campo de fracciones de la cerradura
entera de A en L.
Demostración. Por la proposición anterior todo α ∈ L se puede escribir como α =
β /d con β entero sobre A y d ∈ A, i.e, α = β /d con β , d en la cerradura entera de
A en L. t
u
Lema 3.17 Sean A un dominio entero integralmente cerrado (por ejemplo, un
DFU) y L una extensión finita del campo de fracciones K de A. Entonces, α ∈ L
es entero sobre A si y sólo si su polinomio mónico irreducible Irr(α, K) tiene coefi-
cientes en A.
Demostración. Si f (x) = Irr(α, K) y α es entero sobre A, entonces existe una ecua-
ción polinomial para α:
K(α)
φ
/ K(α̂)
K
que manda α en α̂. Aplicando φ a la igualdad (1) se sigue que
α̂ m + am−1 α̂ m−1 + · · · + a1 α̂ + a0 = 0
lo cual muestra que α̂ es entera sobre A. Ası́, todos los conjugados de α son enteros
sobre A y de la relación de Viète entre los coeficientes y raı́ces de un polinomio se
sigue que los coeficientes de Irr(α, K) son enteros sobre A y como estos coeficientes
están en K que es el campo de fracciones de A y como A es integralmente cerrado,
entonces estos coeficientes están en A, como se querı́a. La otra implicación es trivial.
t
u
Proposición 3.18 Sea A un dominio entero con campo de fracciones K y sea L una
extensión finita de K. Si α ∈ L es entero sobre A, entonces su norma NmL/K (α) ∈ K
también es entera sobre A y, de hecho, NmL/K (α) ∈ A, y α divide a NmL/K (α) en
el anillo A[α].
Demostración. Sea f (x) = Irr(α, K) = xr + ar−1 xr−1 + · · · + a0 y sea F/K un campo
de descomposición de f (x). Escribamos
es entero sobre A. Más aún, como a0 ∈ A por el lema anterior, entonces NmL/K (α) =
n/r
±a0 ∈ A, con n = [L : K] y r = [K(α) : K]. Ahora, de la igualdad
n/r
se sigue que α divide a a0 en A[α] y por lo tanto divide a NmL/K (α) = ±a0 . t
u
K ,→ A ,→ K(A)
es finitamente generada (con generadores los mismos elementos que generan A co-
mo K-álgebra) y al grado de trascendencia de K(A) sobre K se le llama también el
grado de trascendencia de A sobre K y usamos la misma notación
K ⊆ K[α1 , . . . , αn ] ⊆ A.
Demostración. Por hipótesis A es una K-álgebra de tipo finito y ası́ existe un epi-
morfismo K[x1 , . . . , xm ] A, i.e, A = K[x1 , . . . , xm ]/p, con p un ideal primo (porque
A es dominio entero) y claramente n ≤ m. Usaremos inducción sobre m ≥ n. Si
m = n las imágenes αi de las variables xi deben ser algebraicamente independientes
y ası́ p = 0, A = K[α1 , . . . , αn ] = K[x1 , . . . , xn ] y no hay nada que probar. Supon-
gamos entonces que m > n y p 6= 0. Basta entonces mostrar la existencia de una
subálgebra B ⊆ A generada por m − 1 elementos tal que A es entera sobre B ya que
aplicando la hipótesis de inducción a B existirı́an elementos α1 , . . . , αn ∈ B algebrai-
camente independientes sobre K y tales que B es entero sobre K[α1 , . . . , αn ] y por la
transitividad de la dependencia entera se seguirı́a inmendiatemente que A es entera
sobre K[α1 , . . . , αn ], que es lo que se quiere probar.
Resta mostrar la existencia de la subálgebra B con las propiedades requeridas y
para ésto observe primero que los m generadores αi de A (imágenes de las xi en
A) no pueden ser algebraicamente independientes porque m > n y grtrK A = n. Ası́,
existe una relación no trivial de dependencia algebraica entre ellas:
(1) f (α1 , . . . , αm ) = 0
68 3 Localización, finitud y el teorema de los ceros
donde notamos que K[x1 , . . . , xm ] = K[y1 , . . . , ym−1 , xm ] de tal forma que al substituir
(3) en (2) se obtenga un polinomio de la forma
e e−1
(4) f (X) = axm + q1 (Y )xm + · · · + qe (Y )
Como lo anterior sucede para cada monomio de (2), para obtener (4) debemos mos-
trar que se puede elegir el vector (multi-ı́ndice) β = (b1 , . . . , bm−1 , 1) para el cambio
de variables (3) de tal manera que exista un multi-ı́ndice ν0 en (2) tal que el pro-
ducto escalar ν0 · β sea estrictamente mayor que los otros ν · β . De esta manera se
obtendrá (4) como se desea.
Para hacer lo anterior, escojamos un entero b > 1 que sea mayor que todas las
componentes de los vectores ν = (i1 , . . . , im ) que ocurren en (2), i.e., con aν 6= 0. Ası́,
todas los componentes i j de los vectores ν satisfacen que 0 ≤ i j ≤ b − 1, es decir, los
vectores ν están en el cubo [0, b − 1]m (donde sólo consideramos puntos con coor-
denadas enteras, i.e, [0, b − 1]m = [0, b − 1]m ∩ Zm . Ordenemos lexicográficamente
los vectores ν de [0, b − 1]m y considere el vector β = (bm−1 , bm−2 , . . . , b, 1) ∈ Nm y
la función
ϕm : [0, b − 1]m → [0, bm − 1]
dada por ϕm (ν) := ν · β = i1 bm−1 + i2 bm−2 + · · · + im−1 b + im . Note que como cada
i j < b, la imagen de ϕm está en el codominio indicado.
Afirmación: La función ϕm es biyectiva y preserva el orden.
3 Localización, finitud y el teorema de los ceros 69
ν0 · β > ν · β
dada por ν 7→ (ν, im+1 ) es una biyección que preserva los órdenes lexicográficos.
Note ahora que
(ii) Observamos primero que ϕm+1 tiene el codominio indicado ya que, por hipótesis
de inducción ϕm (ν) ≤ bm − 1 y ası́, por la igualdad de (i),
(iii) Probaremos ahora que ν < ν 0 en [0, b−1]m+1 implica que ϕm+1 (ν) < ϕm+1 (ν 0 ).
En efecto, ν < ν 0 quiere decir que ν < ν 0 ó ν = ν 0 e im+1 = i0m+1 . En el primer caso
la hipótesis de inducción implica que ϕm (ν) < ϕm (ν 0 ) y ası́ ϕm (ν 0 ) ≥ ϕm (ν) + 1 por
lo que
1 bn−1 b1
n
+ n−1 + · · · + + b0 = 0
a a a
y multiplicando por an−1 obtenemos que
3 Localización, finitud y el teorema de los ceros 71
1
= −bn−1 − abn−2 − · · · − an−1 b1 ∈ K
a
y ası́ K es un campo. t
u
Corolario 3.21 (Lema de Zariski) Si K ⊆ L son campos con L de tipo finito, en-
tonces L/K es una extensión algebraica y por lo tanto L/K es una extensión finita.
m = hx1 − a1 , . . . , xn − an i
con los ai ∈ K.
(2) Si I ⊆ K[x1 , . . . , xn ] es un ideal, entonces V(I) 6= 0.
/
√
(3) Para todo ideal I ⊆ K[x1 , . . . , xn ] se tiene que I(V(I)) = I.
Demostración. Para la parte (2) podemos suponer que I es máximo, ya que de lo
contrario tomando m máximo tal que I ⊆ m, como V(m) ⊆ V(I), si probamos que
V(m) 6= 0/ entonces V(I) 6= 0. / Ahora, para la parte (1), claramente el ideal hx1 −
a1 , . . . , xn − an i es máximo porque el cociente K[x1 , . . . , xn ]/hx1 − a1 , . . . , xn − an i '
K. Por otra parte, si m es máximo, el cociente K[x1 , . . . , xn ]/m es un campo extensión
de K:
K ,→ K[x1 , . . . , xn ] K[x1 , . . . , xn ]/m =: L
donde L es de tipo finito sobre K y ası́, por el corolario anterior, L/K es algebraica
y como K es algebraicamente cerrado entonces K = L = K[x1 , . . . , xn ]/m. Se sigue
que, para todo 1 ≤ i ≤ n y para xi + m ∈ L existe ai ∈ K tal que xi + m = ai , i.e.,
xi − ai ∈ m y por lo tanto
hx1 − a1 , . . . , xn − an i ⊆ m
m = hx1 − a1 , . . . , xn − an i
y por lo tanto
K ,→ K[x1 , . . . , xn ] A → A fˆ A fˆ/m
donde A fˆ/m es de tipo finito sobre K. Por 3.18 la extensión es algebraica y como K
es algebraicamente cerrado, entonces K = A fˆ/m y las imágenes ti ∈ A fˆ/m = K de
las xi ∈ K[x1 , . . . , xn ] definen el punto P = (t1 , . . . ,tn ) ∈ K n y se tiene que:
(i) P ∈ V(I), ya que para todo g ∈ I, como I ⊆ p, entonces g se anula en P porque
las ti son imágenes de las xi pasando al cociente por m ⊇ p.
(ii) f (P) 6= 0 ya que por la elección de p se tiene que f 6∈ p.
Claramente (i) y (ii) implican que f 6∈ IV(I). t
u
existe un punto (α1 , . . . , αn−1 ) ∈ K n−1 tal que ak (α1 , . . . , αn−1 ) 6= 0. Substituyendo
el punto (α1 , . . . , αn−1 ) en todos los coeficientes ai en (∗) se obtiene el polinomio
en una variable:
f˜ = ak (α1 , . . . , αn−1 )xnk + · · · ∈ K[xn ]
donde el coeficiente ak (α1 , . . . , αn−1 ) 6= 0 y por lo tanto f˜ tiene ≤ gr( f˜) raı́ces,
i.e., no se puede anular en todo K, i.e., existe αn ∈ K tal que 0 6= f˜(αn ) =
f (α1 , . . . , αn−1 , αn ), i.e., no se anula en todo K n . t
u
Lema 3.24 Si K es un campo infinito y f ∈ K[x1 , . . . , xn ] es un polinomio no nulo
de grado d, entonces existe un cambio de variables lineal xi0 = xi − ai xn , para 1 ≤
i ≤ n − 1, y con ai ∈ K, tales que el polinomio
f (x10 + a1 xn , . . . , xn−1
0
+ an−1 xn , xn ) ∈ K[x10 , . . . , xn−1
0
, xn ]
f (x10 + a1 xn , . . . , xn−1
0
+ an−1 xn , xn ) = fd (a1 , . . . , an−1 , 1)xnd + términos de
grado menor en xn
donde al expandir los binomios notamos que al juntar los términos de mayor grado
en xn queda
e e e
a(ae11 xne1 · · · an−1 xn xn ) = a(ae11 · · · an−1
n−1 n−1 en n−1
· 1)xnen = md (a1 , . . . , an−1 , 1)xnd
(hai + p) ∩ S 6= 0/ y (hbi + p) ∩ S 6= 0.
/
ra + p ∈ S y r0 b + p0 ∈ S
y consecuentemente
N OTA. Si S = {1}, el lema anterior muestra que todo ideal propio I (lo cual es lo
que dice I ∩ S = I ∩ {1} = 0)
/ está contenido en un ideal máximo. t
u
Lema 3.26 Sean A ⊆ B anillos con B entero sobre A. Sea J ⊆ B un ideal e I = A ∩ J.
Entonces,
(1) B/J es entero sobre A/I
(2) Si J contiene un elemento que no es divisor propio de cero, entonces I 6= 0.
Demostración. Claramente A/I es un subanillo de B/J y si b + J ∈ A/J, como b ∈ B
es entero sobre A, entonces satisface una ecuación polinomial de la forma bn +
an−1 bn−1 + · · · + a1 b + a0 = 0, con los ai ∈ A. Reduciendo módulo J se obtiene que
(2) Para todo ideal primo p ⊆ A existe un ideal primo P ⊆ B tal que1 P ∩ A = p. En
otras palabras, la función Spec B → Spec A dada por P 7→ P ∩ A es suprayectiva.
(3) Si P1 ⊆ P2 son primos de B tales que P1 ∩ A = P2 ∩ A, entonces P1 = P2 .
Demostración. Si α ∈ B es entero sobre I, entonces satisface una ecuación α n +
an−1 α n−1 + · · · + a1 α + a0 = 0 con los √ ai ∈ I. Se sigue que α = √
n −an−1 α n−1 −
· · · − a1 α − a0 ∈ IB y por lo tanto α ∈ IB. Recı́procamente, si α ∈ IB, entonces
una potencia α m ∈ IB y la podemos escribir como α m = ∑ni=1 ai bi con ai ∈ I y bi ∈ B.
Como los bi son enteros sobre A, entonces A[b1 , . . . , bn ] es un A-módulo finitamente
generado y α m = ∑ni=1 ai bi ∈ IA[b1 , . . . , bn ]. Por el ejercicio 22 se sigue que α m es
entero sobre I y ası́ satisface una ecuación (α m )k + ak−1 (α m )k−1 + · · · + a1 (α m ) +
a0 = 0 con los ai ∈ I, y por lo tanto α satisface la ecuación α mk + ak−1 α m(k−1) +
· · · + a1 α m + a0 = 0 con los ai ∈ I, , es decir, α es entero sobre I.
Para (2), si p es un ideal primo de A, considere el conjunto multiplicativo S =
A − p. Como pB ⊆ B y B es entero sobre √ A, por la parte (1) los elementos α de B
que son enteros sobre p son los α ∈ pB y ası́ satisfacen una ecuación de la forma
(∗) p0 B ∩ S = 0.
/
Note que una vez probado (∗), por el lema de Krull 3.25, existe un primo P0 ⊆ B tal
que p0 B ⊆ P0 y P0 ∩S = 0. / Por lo tanto P0 ∩S1 = 0/ y consecuentemente P0 ⊆ P1 y
de P0 ∩S = 0/ se sigue que P0 ∩A = p0 . La inclusión P0 P1 es propia por 3.27(3).
Esto prueba la parte (3) y ası́ sólo resta demostrar (∗). Para ésto, supongamos que
existe un c ∈ p0 B ∩ S. Entonces, c es entero sobre p0 y ası́ su mónico irreducible
Irr(c, K) tiene coeficientes en p0 :
φ φp
Demostración. (1) ⇒ (2): 0 → M −→ N exacta implica que 0 → Mp −→ Np es
exacta, porque la localización es un funtor exacto. Como antes, (2) ⇒ (3) es porque
todo máximo es primo. Para (3) ⇒ (1), sea M 0 := ker φ de tal forma que se tiene
φ
la sucesión exacta 0 → M 0 ,→ M −→ N. De nuevo, como localizar es un funtor
0 → M −→ φm
exacto se sigue que 0 → Mm m Nm es una sucesión exacta, y como φm es
inyectivo, por hipótesis, se sigue que Mm0 = 0 para todo ideal máximo de A y ası́,
Ejercicios
3.1. Verifique que la relación usada para definir el anillo de fracciones S−1 A es, en
efecto, de equivalencia.
A
ϕ2 ϕ1
} !
S−1 A / T −1 A
ϕ
es un funtor covariante.
3 Localización, finitud y el teorema de los ceros 81
3.19. Demuestre que el lema de Zariski 3.21 se sigue del teorema de los ceros de
Hilbert 3.22.
3.20. El lema 3.18 se puede mejorar: si K ⊆ L son dominios enteros tales que L es
entero sobre K, demuestre que L es un campo si y sólo si K es un campo.
3.24. Sea K un campo. Demuestre que toda K-álgebra A ⊆ K[x] es de tipo finito
sobre K.
3.25. Si A ⊆ B son anillos con B entero sobre A, demuestre que la función Spec B →
Spec A de 3.26 es cerrada.
3.30. Si A ⊆ B son anillos con B entero sobre A y para un primo p ⊆ A sólo hay un
primo q ⊆ B arriba de p, demuestre que Bp ' Bq . Sugerencia: Bp ' B ⊗A Ap es local
con ideal máximo q.
3.32. Muestre que ser dominio entero no es una propiedad local. Note que en el
texto probamos que se tiene el paso de global a local, ası́ que lo que debe fallar es
el paso de local a global.
3.34. Si A es un dominio entero, demuestre que ser libre de torsión es una propiedad
local.
84 3 Localización, finitud y el teorema de los ceros
3.35. Demuestre que ser iguales es una propiedad local, i.e., si M, N son A-módulos,
las afirmaciones siguientes son equivalentes:
(i) M = N.
(ii) Mp = Np , para todo ideal primo p de A.
(iii) Mm = Nm , para todo ideal máximo m de A.
Sugerencia: Considere los cocientes (M + N)/N y (M + N)/M.
3.36. Sean M un A-módulo, N ⊆ M un submódulo y x ∈ M un elemento. Demuestre
estar en N es una propiedad local, es decir, las afirmaciones siguientes son equiva-
lentes:
(i) x ∈ N.
(ii) x/1 ∈ Np , para todo ideal primo p de A.
(iii) x/1 ∈ Nm , para todo ideal máximo m de A.
Donde x/1 es la imagen canónica de x en el módulo localizado correspondiente.
Sugerencia: Use la negación de la proposición 3.29 aplicada a (N + hxi)/N.
3.37. Sean M un A-módulo y {xi }i∈Γ , con xi ∈ M. Demuestre generar es una pro-
piedad local, es decir, las afirmaciones siguientes son equivalentes:
(i) {xi }i∈Γ ⊆ M genera M.
(ii) {xi /1}i∈Γ ⊆ Mp genera Mp , para todo ideal primo p de A.
(iii) {xi /1}i∈Γ ⊆ Mm genera Mm , para todo ideal máximo m de A.
Donde xi /1 es la imagen canónica de xi en el módulo localizado correspondiente.
3.38. Demuestre que ser exacta es una propiedad local, i.e., demuestre que las afir-
maciones siguientes son equivalentes:
f g
(i) La sucesión M 0 −→ M −→ M 00 es exacta.
fp gp
(ii) La sucesión Mp0 −→ Mp −→ Mp00 es exacta para todo ideal primo p de A.
fm gm
0 −→ M −→ M 00 es exacta para todo ideal máximo m de A.
(iii) La sucesión Mm m m
g∗ : HomA (M 00 , M) −→ HomA (M 00 , M 00 )
0 → K → An → M → 0
3 Localización, finitud y el teorema de los ceros 85
3.42. Para φ : S−1 HomA (M, N) → HomS−1 A (S−1 M, S−1 N), demuestre que:
3.43. El que una sucesión exacta corta se escinda es una propiedad local cuando el
último módulo es finitamente presentado, i.e., si M 00 es un A-módulo finitamente
presentado, demuestre que las afirmaciones siguientes son equivalentes:
f g
(i) La sucesión exacta corta 0 → M 0 −→ M −→ M 00 → 0 se escinde.
fp gp
(ii) La sucesión exacta corta 0 → Mp0 −→ Mp −→ Mp00 → 0 se escinde, para todo
ideal primo p de A.
fm gm
0 −→ M −→ M 00 → 0 se escinde, para todo
(iii) La sucesión exacta corta 0 → Mm m m
ideal máximo m de A.
3.51. En 3.8 demuestre que las funciones biyectivas correspondientes son homeo-
morfismos.
3.56. Sean A ⊆ B anillos con B entero sobre A y sea a i : Spec B → Spec A inducida
por la inclusión i : A ⊆ B. Demuestre que a i se restringe a un homeomorfismo a i :
Specm B → Specm A.
Capı́tulo 4
Anillos noetherianos y artinianos
I1 ⊆ I2 ⊆ · · · ⊆ In ⊆ · · ·
87
88 4 Anillos noetherianos y artinianos
y poniendo
k
g := fk+1 − ∑ ri xnk+1 −ni fi ∈ I − h f1 , . . . , fk i
i=1
este es un polinomio de grado gr(g) < gr( fk+1 ) porque el coeficiente ak+1 de fk+1
se cancela en
k k
ak+1 xnk +1 − ∑ ri xnk+1 −ni ai xni = ak+1 xnk+1 − ∑ ri ai xnk+1 = 0
i=1 i=1
V(I) = V( f1 ) ∩ · · · ∩ V( fk ),
4 Anillos noetherianos y artinianos 89
es decir, todos los conjuntos algebraicos afines son la intersección un número finito
de hipersuperficies V( fi ) ⊆ K n (vea el ejemplo 6 del capı́tulo 1 en la página 18).
Dicho en otras palabras, en la definición de los conjuntos algebraicos afines V(I)
basta considerar conjuntos finitos de polinomios (que generen el ideal I).
I(Specm(K[x1 , . . . , xn ])) =
\
m
m∈Specm K[x1 ,...,xn ]
I(Specm(K[x1 , . . . , xn ])) = 0
xi = ∑ ai j x j con los ai j ∈ I.
j
y ası́, por la regla de Cramer det(δi j − ai j ) · xi = 0 para toda i. Observe ahora que
en la expansión del determinante anterior todos los sumandos tienen un factor en I
excepto el término correspondiente a la diagonal que es de la forma (1−a11 ) · · · (1−
ann ); por lo tanto el determinante anterior se expande como un 1 más una suma de
elementos de I, digamos 1 + c con c ∈ I ⊆ J(A). Se sigue que d = det(δi j − ai j ) ∈ A∗
porque de lo contrario existirı́a un ideal máximo m tal que d ∈ m, y como d = 1 + c
con c ∈ J(A), entonces c ∈ m y consecuentemente 1 ∈ m, una contradicción. Por lo
tanto, det(δi j − ai j ) ∈ A∗ . Ası́, la igualdad det(δi j − ai j ) · xi = 0 implica que xi = 0
para todo i y por lo tanto M = 0.
(2): La hipótesis dice que M/N = (N + IM)/N = I(M/N) y ası́ por la parte (1) se
sigue que M/N = 0, i.e., M = N. t
u
f = g1 f1 + · · · + gk fk .
Como f y los fi son homogéneos, podemos omitir de cada gi los términos que no
sean de grado gr( f ) − gr( fi ) = d + 1 − di > 0 y suponer que los gi son homogéneos
de grado d + 1 − di > 0 y por lo tanto no son constantes. Entonces, gi (a1 , . . . , ar ) ∈ I
ya que los ai ∈ I y los gi son homogéneos no constantes. Por lo tanto
\
b = f (a1 , . . . , ar ) = ∑ gi (a1 , . . . , ar ) · fi (a1 , . . . , ar ) ∈ I · In
i n≥1
al expandirla cada uno de sus sumandos tiene un factor de la forma ari i para algún i
y por lo tanto está en I. t
u
Proposición
√ 4.13 Si K es un campo y A una K-álgebra de tipo finito, entonces,
J(A) = 0 = nil A. En particular, si A es reducido, entonces J(A) = 0.
Demostración. Como nil A = p y los máximos son primos, entonces nil A ⊆ J(A).
T
A/mn → Am /(mAm )n
' '
0 / (mAm )k /(mAm )n / Am /(mAm )n / Am /(mAm )k /0
otra parte, el único ideal máximo que contiene a mn es m por 1.9, y por la corres-
pondencia con los ideales del cociente A/mn se sigue éste es un anillo local cuyo
único ideal máximo es m/mn , y como t, s ∈ S = A − m, entonces ts 6∈ m/mn debe
ser una unidad en A/mn , y ası́ la igualdad tsa = 0 implica que a = 0 en A/mn , i.e.,
a ∈ mn . Hemos ası́ mostrado que ϕ −1 S−1 (mn ) ⊆ mn . La otra inclusión es directa.
Resta probar que A/mn → Am /(mAm )n es suprayectiva. Para ésto, sea a/s ∈ Am ,
i.e., a ∈ A y s ∈ A − m. Como antes, el único ideal máximo de A que contiene a
mn es m y por lo tanto ningún ideal máximo contiene a s y mn , i.e., hsi + mn = A.
Se sigue que existen x ∈ A y b ∈ mn tales que sx + b = 1. Como s es invertible en
Am /(mAm )n , entonces a/s es el único elemento de este anillo tal que s(a/s) = a.
Como s(ax) = a(1 − b) con b ∈ mn , entonces ab ∈ (mAm )n por lo que la imagen de
ax en Am satisface que s(ax) = a en Am /(mAm )n y por lo tanto ax/1 = a/s, es decir
ϕ(ax) = a/s. t
u
y en general,
Zhpi /pn Zhpi ' Z/pn Z.
at = pn u ⊆ n
phpi y por lo tanto a ∈ hpi. Recı́procamente, si a ∈ hpi, entonces a ∈ hp i
n
n
y ası́ a ∈ hp i. Mostraremos ahora que estos son todos √los ideales primarios de Z.
En efecto, si I = hai ⊆ Z es un ideal primario, entonces I = h0i o hpi. En√ el primer
caso I = 0 ya que Z no tiene nilpotentes. En el segundo caso, hai = I ⊆ I = hpi
por lo que p | a, y escribiendo a = pm u con p - u, si sucediera que u > 1, entonces
pm u =ppm qn v con p, q - v y notamos que
existirı́a otro primo q tal que q|u y ası́ a =√
I = hai ⊆ hqi y consecuentemente hpi = I ⊆ hqi = hqi, i.e., hpi ⊆ hqi por lo
que p = q. Se sigue que u = 1 y a = pm , como se querı́a.
Lema 4.16 Sean m un ideal máximo y q un ideal arbitrario. Son equivalentes:
(1) q es m-primario.
√
(2) q = m.
(3) m es el único primo mı́nimo que contiene a q.
Demostración. Claramente (1) ⇒ (2) y (2) ⇒ (3) por definición de radical. Para
(3) ⇒ (1) note que la hipótesis implica que A/q tiene un único ideal primo, a saber,
m/q. En efecto, si q0 /q ⊆ A/q es primo, entonces q0 ⊇ q y ası́ (3) implica que m ⊆ q0
y como m es máximo se sigue que q0 = m. Por lo tanto, nil(A/q) = m/q y ası́ los
elementos de m/q son nilpotentes y como A/q es local con ideal máximo m/q, los
elementos de A/q fuera de m/q son unidades. t
u
Corolario 4.17 Si m es máximo, entonces las potencias mk son m-primarios. t
u
Hay ejemplos de ideales que no tienen una tal descomposición primaria. En la sec-
ción siguiente veremos que si A es noetheriano todos sus ideales admiten una des-
composición primaria. Una descomposición primaria (∗) se dice que es mı́nima si:
√
(i) Los ideales primos qi = pi son distintos
(ii) \ Ninguno de los qi puede ser omitido de (∗), es decir, para todo i = 1, . . . , n,
q j 6⊆ qi .
j6=i
y ası́ p ⊇ pTi para algún i (porque si no fuera ası́, para cada i existirı́a un ai ∈ pi − p y
a1 · · · an ∈ i pi ⊆ p, una contradicción con el hecho de que p es primo), vea también
1.9. t
u
La proposición anterior nos dice que, cuando I admite una descomposición pri-
maria, I tiene
√ un conjunto finito de primos mı́nimos que lo contienen y por lo tanto
su radical I es una intersección finita de primos. El teorema siguiente nos dice que
los primos asociados a I están unı́vocamente determinados por I:
Teorema 4.22 (Primer teorema de unicidad) Si I = q1 ∩ · · · ∩ qn es una descom-
√
posición primaria mı́nima de I y pi = qi , entonces
p p
{p1 , . . . , pn } = { (I : x) : (I : x) es primo y x varı́a en A}.
y por lo tanto
p pT \p \
(I : x) = (qi : x) = (qi : x) = pi
x6∈qi
p
la última igualdad por 4.20. Ahora, si (I : x) es primo,p la igualdad anterior implica
que es igual a uno de los pi ya que, poniendo p := (I : x), la igualdad dice que
p ⊆ pi para todo i y el argumento en paréntesis de la demostración de la proposición
p
4.21 anterior (vea también 1.9) dice que p ⊇ pi , para algún i y por lo tanto (I : x) =
p = pi .
√ p
Recı́procamente, para ver que cada pi = qi es de la forma (I : x) observe
que para cada pi existe un ai ∈ j6=i q j − qi porque la descomposición primaria es
T
p
mı́nima. Por p el lema 4.20 se sigue que (qi : ai ) = pi y para j 6= i se tiene que
ai ∈ q j y ası́ (q j : ai ) = A. Por lo tanto
p pT q T
(I : ai ) = ( q j : ai ) = j6=i q j : ai ∩ (qi : ai )
q T p
= j6=i q j : ai ∩ (qi : ai ) = A ∩ pi = pi .
t
u
El asociado de un ideal. Si I es un ideal de A, al conjunto
p p
Ass(I) := { (I : x) : (I : x) es primo y x varı́a en A}
98 4 Anillos noetherianos y artinianos
se le llama el asociado del ideal I. Ası́, el primer teorema de unicidad dice que si I
√
admite una descomposición primaria, I = q1 ∩ · · · ∩ qn y pi = qi , entonces
Ass(I) = {p1 , . . . , pn }
y los ideales primos pi se dice que están asociados al ideal I. Los elementos mi-
nimales de Ass(I) se conocen como los primos aislados asociados a I. Los primos
asociados que no son aislados se llaman primos encajados.
Ejemplo 8. En A = K[x, y], K un campo, para el ideal I = hx2 , xyi se tiene la descom-
posición primaria
pero I no es un ideal primario porque en el cociente K[x, y]/hx2 , xyi se tiene que
xy = 0 por lo que y es divisor de cero, pero no es nilpotente.
En el ejemplo anterior note que se tiene también otra descomposición primaria
diferente
I = hx2 , xyi = hxi ∩ hx2 , yi,
donde hx2 , yi es hx, yi-primario por el ejemplo 6.
N OTA. Los términos aislado y encajado provienen de la geometrı́a, ya que si
I ⊆ K[x1 , . . . , xn ], con K algebraicamente cerrado, el ideal I define la variedad afı́n
V(I) ⊆ K n (véase la página 17 del capı́tulo 1) y los primos aislados de I corres-
ponden a los puntos genéricos (vea la página 13 del capı́tulo 1) de las componentes
irreducibles de V(I) ya que la cerradura de {p} es toda la componente irreduci-
ble correspondiente, y los primos encajados corresponden a subvariedades de estas
componentes irreducibles, i.e., variedades encajadas en las componentes irreduci-
bles.
En el ejemplo 8 anterior, si K es algebraicamente cerrado, la variedad afı́n
Este ejemplo ilustra la unicidad de los primos asociados a un ideal que admite
una descomposición primaria, pero también ilustra la no unicidad de los ideales
primarios involucrados en la descomposición. De hecho, lo que el ejemplo muestra
adicionalmente es que en las dos descomposiciones siempre aparecen los factores
correspondientes a los primos aislados y esto es precisamente lo que nos dirá el
segundo teorema de unicidad. Antes de demostrarlo, mostraremos que en un anillo
noetheriano todos los ideales tienen una descomposición primaria.
(I : x) ⊆ (I : x2 ) ⊆ · · ·
primaria del ideal, necesitaremos estudiar primero cómo se comportan los ideales
primarios bajo localización.
Proposición 4.24 Sean S ⊆ A un conjunto multiplicativo y q ⊆ A un ideal p-
primario.
/ entonces S−1 q = S−1 A.
(1) Si S ∩ p 6= 0,
/ entonces S−1 q es un ideal S−1 p-primario de S−1 A. Más aún, bajo
(2) Si S ∩ p = 0,
el morfismo de localización ϕ : A → S−1 A, la imagen inversa de S−1 q en A es q.
Ası́, bajo la correspondencia entre ideales de S−1 A e ideales de A inducida por ϕ,
ideales primarios de S−1 A corresponden a ideales primarios de A.
√
Demostración. (1): Si s ∈ S ∩ p, entonces para algún n ≥ 1, sn ∈ S ∩ q ya que p = q.
Se sigue que S−1 q = {a/s : a ∈ q, s ∈ S} contiene a sn /1 que es una unidad de S−1 A
y por lo tanto S−1 q = S−1 A.
(2): Si S ∩ p = 0,
/ entonces para todo s ∈ S, as ∈ q implica que a ∈ q (ya que como
sn ∈ S entonces sn no puede estar en q para algún n porque lo contrario implicarı́a
que s ∈ p, en contradicción con la hipótesis). Por lo tanto, si a/s ∈ S−1 A está en S−1 q,
entonces a ∈ q y como q A, entonces S−1 q S−1 A. Ahora, si (x/s)(y/t) ∈ S−1 q y
x/s 6∈ S−1 q, entonces x 6∈ q y como éste es primario se sigue que yn ∈ q, para algún
n ≥ 1, y por lo tanto (y/t)n = yn /t n ∈ S−1 q yp ası́ S−1 q es primario. Ahora, como
√
el radical conmuta con localización, entonces S−1 q = S−1 q = S−1 p, y S−1 p es
primo porque p lo es. Finalmente, por 4.18, la imagen inversa de un ideal primario
es primario. t
u
Si I ⊆ A es un ideal y S ⊆ A es multiplicativo, a la imagen inversa de S−1 I, bajo
el morfismo de localización ϕ : A → S−1 A, lo denotaremos por S(I).
Proposición 4.25 Sean S ⊆ A un subconjunto multiplicativo, I ⊆ A un ideal des-
componible e I = ni=1 qi una descomposición primaria mı́nima de I. Sean pi =
T
√
qi y supongamos que los qi están numerados de tal forma que S intersecta a
pk+1 , . . . , pn y es disjunto con p1 , . . . , pk . Entonces,
k k
S−1 I = S−1 qi
\ \
y S(I) = qi
i=1 i=i
p0 ∈ Σ ⇒ p0 ∩ S = 0/
p0 6∈ Σ ⇒ p0 ∩ S 6= 0.
/
I1 ⊇ I2 ⊇ · · ·
se estaciona, i.e., existe un n tal que In = In+k para toda k ≥ 0.
Proposición 4.27 Si A es un anillo, son equivalentes:
(1) A es artiniano.
(2) Todo conjunto no vacı́o de ideales de A tiene un elemento mı́nimo, i.e., un ideal
que no contiene propiamente otro ideal de la familia.
Demostración. Se sigue del lema de Zorn. Vea 4.1. t
u
hai ⊇ ha2 i ⊇ · · ·
t
u
T T
Demostración. J(A) = máximos m = primos p = nil A.
Proposición 4.30 Un anillo artiniano tiene sólo un número finito de ideales máxi-
mos.
Demostración. Si F es el conjunto de todas las intersecciones finitas m1 ∩ · · · ∩ mr
de ideales máximos de un anillo artiniano A, por 4.27 F tiene un elemento mı́nimo
m1 ∩ · · · ∩ mn . Por lo tanto, para cualquier ideal máximo m de A se tiene que m es
uno de los mi en la intersección anterior porque si no fuera ası́, como m no puede
estar contenido propiamente en ningún mi por maximalidad, entonces existirı́an ai ∈
mi − m para cada i, y el elemento a1 · · · an ∈ m1 ∩ · · · ∩ mn pero no estarı́a en m
(porque éste es primo). Ası́, m ∩ m1 ∩ · · · ∩ mn m1 ∩ · · · ∩ mn , lo cual contradice la
minimalidad de este último. t
u
2 En lo que sigue, y hasta antes del capı́tulo 6 donde se estudia la dimensión de Krull de un anillo
arbitrario, sólo consideraremos el caso de dimensión de Krull cero, donde la definición equivale a
que todo ideal primo sea máximo.
4 Anillos noetherianos y artinianos 103
(∗) 0 = M0 ⊆ M1 ⊆ · · · ⊆ Mn = M.
0 = M0 ⊆ M1 ⊆ · · · ⊆ Mn = M
donde dim M j = dim M j−1 + 1, por lo que los cocientes M j /M j−1 tienen dimensión
1 y ası́ son simples. Note que la longitud de esta serie de composición es igual a
n = dim M.
Si un A-módulo M tiene una serie de composición de longitud n, denotaremos
con `(M) a la longitud menor de todas las series de composición de M. Ası́, `(M) ≤
n. Si M no tiene una serie de composición pondremos `(M) = ∞. El número `(M)
satisface las propiedades siguientes:
(i): Si N M, entonces `(N) < `(M). En efecto, si {Mi } es una serie de compo-
sición (∗) de M de longitud mı́nima `(M) = n, poniendo Ni = N ∩ Mi observe que
Ni /Ni−1 ⊆ Mi /Mi−1 y como los Mi /Mi−1 son simples entonces Ni /Ni−1 = Mi /Mi−1
ó Ni = Ni−1 . En el segundo caso se puede remover al término repetido para al final
obtener una serie de composición de N que muestra que `(N) ≤ `(M). Ahora, si
sucediera que `(N) = `(M) = n, entonces Ni /Ni−1 = Mi /Mi−1 para todo i = 1, . . . , n
y por lo tanto Ni = Mi para todo i, en particular N = M, una contradicción. Se sigue
que `(N) < `(M).
104 4 Anillos noetherianos y artinianos
M = M0 ⊇ M1 ⊇ M2 ⊇ · · ·
M = M0 ⊇ M1 ⊇ M2 ⊇ · · · ⊇ Mn = 0
M1 M2 ···
A ⊇ m1 ⊇ m1 m2 ⊇ · · · ⊇ m1 · · · mn = 0
Mr := m1 · · · mr−1 /m1 · · · mr
A × Mr / Mr
:
ρ×id
k(mr ) × Mr
y los subespacios del espacio vectorial Mr están en correspondencia biunı́voca con
los ideales de A contenidos entre m1 · · · mr−1 y m1 · · · mr . Si A es noetheriano (arti-
niano) entonces Mr es noetheriano (artiniano) y por lo tanto es de dimensión finita
como k(mr )-espacio vectorial por la proposición anterior, y es noetheriano y ar-
tiniano como A-módulo por la correspondencia mencionada arriba. Aplicaciones
iteradas del ejercicio 10 a las sucesiones exactas siguientes
0 → 0 = m1 · · · mn → m1 · · · mn−1 → Mn → 0
0 → m1 · · · mn−1 → Mn−1 → 0
..
.
0 → m1 m2 → m1 → M2 → 0
0 → m1 → A → M1 → 0
muestran que si A es artiniano (respectivamente, noetheriano) entonces es noethe-
riano (respectivamente, artiniano) como A-módulo y por lo tanto como anillo. t
u
Teorema 4.37 Un anillo es artiniano si y sólo si es noetheriano de dimensión cero.
Demostración. Si A es artiniano, por 4.28, dim A = 0. Por 4.30, A tiene un número
finito de ideales máximos m1 , . . . , mn y ası́
m1 · · · mn ⊆ m1 ∩ · · · ∩ mn = J(A) = nil A
donde la última igualdad es por 4.29, y por 4.31 una potencia de este producto
m1 · · · mn es cero y ası́ A es noetheriano por el lema anterior.
Recı́procamente, si dim A = 0 y A es noetheriano entonces el ideal 0 admite una
descomposición primaria y ası́ A tiene un número finito de ideales primos mı́nimos
4 Anillos noetherianos y artinianos 107
y cada anillo artiniano A/mri i es obviamente local porque el único ideal máximo de
A que contiene a mri i es mi por 1.9. t
u
Proposición 4.39 Sea (A, m) un anillo artiniano local. Si m es principal, entonces
todo ideal de A es principal. De hecho, si m = hπi e I ⊆ A es un ideal, entonces
I = hπ r i, para algún r ≥ 0.
Demostración. Por 4.29, nil A = J(A) = m y ası́ por 4.31 alguna potencia de m es
cero, i.e., mn = hπ n i = 0 para algún n. Sea I 6= 0 un ideal propio de A. Entonces,
existe un entero r ≥ 0 tal que I ⊆ mr pero I 6⊆ mr+1 (por ejemplo r = 1 sirve para la
primera condición y note que r ≤ n porque mn = 0). Por lo tanto, existe un elemento
a ∈ I tal que a ∈ hπ r i pero a 6∈ hπ r+1 i, es decir, a = uπ r para algún u ∈ A y la segunda
condición implica que u 6∈ m y por lo tanto u es una unidad de A y ası́ π r = au−1 ∈ I
por lo que I = hπ r i. t
u
Si (A, m) es artiniano local, como nil A = J(A) = m, entonces por 4.31 el ideal
m es nilpotente y como A es local, entonces todo elemento de A es una unidad o es
nilpotente.
Ejemplo 11. Si p es primo, el anillo Z/pn es artiniano local con ideal máximo el
correspondiente a hpi. Si n = pe11 × · · · × per r , el teorema anterior dice que
es artiniano.
Proposición 4.40 Si (A, m) es noetheriano local, entonces se cumple una y sólo
una de las afirmaciones siguientes:
(1) mn 6= mn+1 para todo n ≥ 1.
108 4 Anillos noetherianos y artinianos
Proposición 4.42 Sean K un campo y A una K-álgebra de tipo finito. Son equiva-
lentes:
(1) A es artiniana.
(2) A es una K-álgebra finita.
Ejercicios
4.1. Los ejercicios siguientes son variantes del ((lema de Nakayama)) y tendremos
ocasión de usar varias de estas versiones.
(1) Si M es un A-módulo finitamente generado y M = IM, entonces existe un a ∈ A
con a ≡ 1 (mód I) tal que aM = 0.
4 Anillos noetherianos y artinianos 109
4.4. Demuestre que un anillo local (A, m) de dimensión cero consiste sólo de unida-
des y elementos nilpotentes.
4.5. Si (A, m) es un anillo local de dimensión cero, demuestre que 0 y 1 son los
únicos elementos idempotentes.
√
4.6. Si I A es un ideal propio, demuestre que I = I si y sólo si I es la intersección
de ideales primos.
4.8. Sea M un A-módulo. Demuestre que las propiedades siguientes son equivalen-
tes:
(i) Todo submódulo de M es finitamente generado.
(ii) Toda cadena ascendente de submódulos de M:
N1 ⊆ N2 ⊆ · · ·
4.9. Sea M un A-módulo. Demuestre que las propiedades siguientes son equivalen-
tes:
(i) Toda cadena descendente de submódulos de M:
N1 ⊇ N2 ⊇ · · ·
110 4 Anillos noetherianos y artinianos
4.16. Si todos los ideales primos de A son finitamente generados, demuestre que A
es noetheriano.
J(A) = m1 ∩ · · · ∩ mn = m1 · · · mn .
113
114 5 Anillos de valuación discreta y de Dedekind
α + β = (1 + αβ −1 )β ∈ Am ⊆ m
por lo que
una contradicción. t
u
a a0
x= = pr 0
b b
con r, a0 , b0 ∈ Z y p - a0 b0 . Se define entonces v p (x) := r y v p (0) := +∞. Claramente
v p satisface la condición (i) y si x = pr a/b y z = ps c/d con p - abcd, entonces
pr ad + ps bc
x+z =
bd
5 Anillos de valuación discreta y de Dedekind 115
donde p - bd. Ahora, sea pt la mayor potencia de p que divide al numerador. Enton-
ces, t ≥ mı́n{r, s} y
f (x)
α = π(x)r
g(x)
α= ∑ an T n
n≥n0
pv = hπi = πOv ,
α = π nu
Ov ⊇ pv ⊇ p2v ⊇ p3v ⊇ · · ·
1 Como en el capı́tulo anterior, dim A = 1 quiere decir que los ideales primos no cero son máximos.
118 5 Anillos de valuación discreta y de Dedekind
n = 1, por lo que dim Ov = 1 ya que 0 es primo. Para (2), si a ∈ n≥1 pnv entonces
T
Demostración. (1) ⇒ (2): Por 5.3 todo anillo de valuación discreta es un anillo
de valuación y ası́ por 5.1 es un anillo local integralmente cerrado y por 5.5 es
noetheriano de dimensión 1.
(2) ⇒ (3): Como dim A = 1, no puede ser un campo y ası́ m 6= 0. Por el lema de
Nakayama m 6= m2 y ası́ existe π ∈ m − m2 . Mostraremos que hπi = m. Claramente
5 Anillos de valuación discreta y de Dedekind 119
hπi p
⊆ m y para la otra inclusión, observe primeto que como A es noetheriano enton-
ces hπi tiene una descomposición primariap y como m es el único ideal primo no
nulo de A, porque dim A = 1, entonces hπi = m. Sea n ≥ 1 el menor entero tal que
mn ⊆ hπi; mostraremos que n = 1. Supongamos que n > 1; entonces mn−1 6⊆ hπi y
por lo tanto existe x ∈ mn−1 − hπi. Se sigue que xm ⊆ mn ⊆ hπi. Sea z = x/π ∈ K,
el campo de fracciones de A. Entonces, z 6∈ A porque de lo contrario se tendrı́a que
x = zπ ∈ hπi, en contradicción con el hecho de que x 6∈ hπi. Mostraremos ahora
que z es entero sobre A, y como A es integralmente cerrado esto último implica
que z ∈ A, una contradicción. Para exhibir una ecuación de dependencia entera para
z, note que como xm ⊆ hπi, entonces zm ⊆ A, ya que xm ⊆ hπi implica que pa-
ra todo m ∈ m, se tiene que xm ∈ hπi y ası́ xm = πt, para algún t ∈ A; se sigue
que zm = (x/π)m = πt/π = t ∈ A y ası́ zm ⊆ A y es un ideal de A porque m lo
es. Si sucediera que zm = A, existirı́a un m ∈ m tal que zm = 1 y en consecuencia
π = π1 = πzm = xm ∈ mn ⊆ m2 , en contradicción con la elección de π ∈ m − m2 .
Se sigue que zm A es un ideal propio y como A es noetheriano, sean m1 , . . . , mk
generadores de m. Entonces, zm j = ∑i ai j mi , con ai j ∈ A, lo cual se puede escribir
como ∑i (δi j z − ai j )mi = 0. Sea d = det(δi j z − ai j ). Por la regla de Cramer dmi = 0
para todo i, y ası́ dm = 0. Como m 6= 0 se sigue que d = 0 y ası́ det(δi j z − ai j ) = 0
es una ecuación de dependencia entera para z, como se querı́a.
(3) ⇒ (4): Sea m = hπi el ideal máximo de A y sea 0 6= I A cualquier ideal.
Queremos mostrar que I es principal. Como A es noetheriano local entonces I ⊆ m
y existe un entero mayor tal que I ⊆ m n = hπi (porque si I estuviera contenido en
m T m
todos los m , entonces por 5.5, I ⊆ m = 0, una contradicción porque I es no
nulo). Para la otra inclusión note que mn+1 ⊆ mn = hπ n i y para x ∈ I − mn+1 este lo
podemos escribir como x = uπ n con u 6∈ m, y ası́ u es una unidad porque (A, m) es
local. Por lo tanto π n = u−1 x ∈ I y ası́ hπ n i ⊆ I, como se querı́a.
(4) ⇒ (5): Todo DIP es un DFU. Ahora, sea m = hπi el ideal máximo del DIP local
A. Para comenzar, π es irreducible porque si no lo fuera, π = ab con a, b no unidades
y ası́ π ∈ haihbi y como hai ⊆ m y hbi ⊆ m, entonces π ∈ haihbi ⊆ hπihπi, i.e.,
π ∈ hπ 2 i, i.e., π = π 2 v y ası́ 1 = πv por lo que π serı́a una unidad, una contradicción.
Se sigue que π es irreducible. Por otra parte, si t es otro irreducible, como A es DFU
entonces hti serı́a máximo y ası́ hti = hπi por lo que t = π, salvo unidades.
(5) ⇒ (1): Si π es el (único) irreducible de A, el ideal m = hπi es primo y de
hecho es máximo por la unicidad de π. Ahora, dado a ∈ A, existe un n ≥ 0 tal que
π n |a pero π n+1 - a. Se define entonces v(a) := n y se extiende a todo K mediante
v(a/b) = v(a) − v(b). Claramente v es una valuación de K con anillo de valuación
A.
(3) ⇔ (6): Se sigue de 4.8. t
u
? ?
Z /Q
NK/Q : K ∗ → Q∗ y TrK/Q : K → Q
5 Anillos de valuación discreta y de Dedekind 121
2 n 2
disc(β1 , . . . , βn ) = det(σi (β j )) = det ∑ ak j σi (αk )
k=1
T 2
= det[σi (αk )][a jk ] por definición de producto
= (det[σi (αk )]) (det[a jk ])2 = disc(α1 , . . . , αn ) det(M)2 .
2
t
u
La proposición anterior dice que para cualesquiera dos bases de K/Q sus dis-
criminantes son iguales módulo cuadrados, i.e., son iguales en el grupo cociente
Q∗ /(Q∗ )2 . A la clase lateral ∆K/Q := disc(α1 , . . . , αn ) ∈ Q∗ /(Q∗ )2 para cualquier
base α1 , . . . , αn de K/Q, la llamamos el discriminante de la extensión K/Q.
Lema 5.13 Si K/Q es una extensión finita de campos, de grado n, y σ1 , . . . , σn son
los Q-monomorfismos de K en C, y si α1 , . . . , αn es una base de K sobre Q, entonces
2
disc(α1 , . . . , αn ) = det σi (α j ) 6= 0.
t
u
Lema 5.14 Si K/Q es una extensión finita de grado n, entonces todo ideal I ⊆ OK
no nulo contiene una base de K sobre Q.
Demostración. Sea α1 , . . . , αn ∈ K una base de K sobre Q. Por 3.15 existe un en-
tero d ∈ Z tal que dα1 , . . . , dαn ∈ OK . Escogiendo cualquier 0 6= a ∈ I se tiene que
daα1 , . . . , daαn ∈ I y sigue siendo base de K/Q. t
u
entonces los σi (α) satisfacen el mismo polinomio mónico con coeficientes enteros
que satisface α. Por otra parte, la traza y norma de α están en Q y por lo tanto están
en OK ∩ Q = Z. En particular, si α1 , . . . , αn ∈ I ⊆ OK es una base de K/Q como en
el lema anterior, entonces su discriminante está en Z y tiene sentido entonces hablar
del mı́nimo de los valores absolutos | disc(α1 , . . . , αn )| de los discriminantes de las
bases de K que están en el ideal I.
Lema 5.15 Si K/Q es una extensión finita de grado n, I ⊆ OK un ideal no nulo,
α1 , . . . , αn ∈ I una base de K/Q como en el lema 5.14 anterior, y si | disc(α1 , . . . , αn )|
es mı́nimo (como en la observación anterior), entonces I = Zα1 + · · · + Zαn .
Demostración. Por el lema anterior existe una base α1 , . . . , αn ∈ I de K/Q y su-
pongamos ahora que | disc(α1 , . . . , αn | es mı́nimo. Para α ∈ I escribamos α =
a1 α1 + · · · + an αn con ai ∈ Q. Mostraremos que todas las ai ∈ Z. En efecto, si
no fuera ası́ algún ai 6∈ Z, y renumerando si hiciera falta podemos suponer que
a1 6∈ Z. Escribamos a1 = m + b con m ∈ Z y 0 < b < 1. Pongamos β1 = α − mα1 ,
β2 = α2 , . . . , βn = αn . Entonces, β1 , . . . , βn ∈ I es una base de K/Q y como
OK /hmi → OK /I, y por lo tanto basta probar que OK /hmi es finito. Para probar esto,
por 5.15 con I = OK , se tiene que OK = Zα1 + · · · + Zαn , y pongamos
n o
C := ∑ ai αi : 0 ≤ ai < m, ai ∈ Z .
i
Esto prueba la primera parte del resultado siguiente que describe explı́citamente el
anillo de enteros de una extensión cuadrática de Q:
√
Teorema 5.18 Sea K = Q( d) una extensión cuadrática de Q, con d ∈ Z libre de
cuadrados.
√
(1) α = a + b d ∈ K es un entero algebraico si y sólo si 2a ∈ Z y a2 − b2 d ∈ Z.
√
(2) Si d ≡ 2, 3 (mód 4), entonces OK = Z + Z d.
√
(3) Si d ≡ 1 (mód 4), entonces OK = Z + Z(−1 + 2)/2.
√
Demostración. Por la parte (1), a + b d ∈ OK si y sólo si 2a y a2 − db2 ∈ Z. Ahora,
a2 − db2 ∈ Z implica que 4(a2 − db2 ) ∈ Z y como 2a ∈ Z entonces 4a2 ∈ Z por lo
que 4db2 ∈ Z, i.e., d(2b)2 ∈ Z y como d es libre de cuadrados esto último implica
que 2b ∈ Z. Escribamos 2a = m ∈ Z y 2b = n ∈ Z. Entonces, a2 − db2 ∈ Z implica
que (m/2)2 − d(n/2)2 ∈ Z por lo que m2 − dn2 ∈ 4Z, i.e., m2 − db2 ≡ 0 (mód 4).
(2): Supongamos ahora que d ≡ 2 ó 3 (mód 4). Entonces
2
2 2 m + 2n2 ya que −2 ≡ 2 (mód 4)
m − dn ≡
m2 + n2 ya que −3 ≡ 1 (mód 4)
1 √ m n n n√ m+n −1 + √d
m+n d = + − + d= +n
2 2 2 2 2 2 2
y como m ≡ n (mód 2), entonces m + n ≡ 0 (mód 2) por lo que m+n 2 ∈ Z. Se
√
que OK ⊆ Z √
sigue √ + Z((−1 + d)/2). Para la otra inclusión note que (−1/2) +
(1/2) d = (−1 + d)/2) ∈ OK ya que en este caso d ≡ 1 (mód 4), a = −1/2 y
b = 1/2 por lo que d = 1+4t y ası́ 2a = −1 ∈ Z ya2 −db2 = (1/4)−(1+4t)(1/4) =
−t ∈ Z. t
u
dominio entero (i.e., 0 es un ideal primo), cada ideal primo no nulo es máximo y por
lo tanto los pi asociados a I son máximos distintos (ya que pi ⊇ qi ⊇ I 6= 0 ya ası́ los
pi no son nulos) y por lo tanto coprimos por pares. Se sigue que los qi también son
coprimos por pares, ya que
q√
p √ p p
qi + q j = qi + q j = pi + p j = h1i = h1i
El grupo de clases de ideales. El ejemplo 7 muestra que hay anillos de enteros que
no son DFU, o lo que es lo mismo, no son DIP. Es natural entonces pensar cómo
medir la discrepancia de que un anillo de enteros OK sea o no un DIP. En esta sección
introducimos un grupo asociado al anillo OK que mide la obstrucción para que OK
sea o no un DIP y al final probamos que este grupo es finito. La idea es natural, si
K/Q es un campo de números e I, J son ideales no nulos de OK , diremos que I es
equivalente a J, denotado I ∼ J, si existen α, β ∈ OK − {0} tales que αI = β J.
Lema 5.22 La relación anterior es una relación de equivalencia en el conjunto de
ideales no nulos de OK . La clase de equivalencia de OK es la clase de todos los
ideales principales.
Demostración. Claramente es reflexiva y simétrica. Para la transitividad note que
si αI1 = β I2 y γI2 = δ I3 entonces (αγ)I1 = (β δ )I3 . Para la segunda afirmación, si
hαi y hβ i son ideales principales de OK , entonces β hαi = αhβ i, i.e., hαi ∼ hβ i.
Finalmente, si I ∼ h1i = OK , entonces existen α, β ∈ OK no nulos tales que αI =
β OK = hβ i y ası́ β = αλ con λ ∈ I por lo que hλ i ⊆ I. Ahora, si a ∈ I entonces
αa ∈ αI = hβ i por lo que αa = bβ = bαλ y como α 6= 0 se sigue que a = bλ , i.e.,
a ∈ hλ i y por lo tanto I = hλ i. t
u
αm αm
αm
y recordando que J 6= 0, se sigue que no todos los αi son cero y por lo tanto
det (γIm − (ai j )) = 0. Expandiendo el determinante anterior
Finitud del grupo de clases de ideales. En esta sección probaremos que si K/Q
es una extensión finita, entonces el grupo de clases de ideales Cl(OK ), del anillo de
enteros de K, es un grupo finito. Al orden hK del grupo Cl(OK ) se le llama el número
de clase del campo K. Nótese que la segunda afirmación del lema 5.23 nos dice que
OK es un DIP si y sólo si hK = 1. Y como OK es Dedekind, en 5.21 probamos que
OK es DIP si y sólo si OK es un DFU, y por lo tanto OK es DFU si y sólo si hK = 1.
Antes de probar que Cl(OK ) es finito necesitaremos unos preliminares:
Lema 5.28 Sea K/Q una extensión finita de grado n y sea OK el anillo de enteros
de K. Entonces, existe un número real λ > 0, que depende sólo de K, tal que todo
ideal 0 6= I ⊆ OK contiene un elemento 0 6= α ∈ I tal que
t
u
Corolario 5.29 Sean K/Q una extensión finita y λ como en el lema previo. Enton-
ces, toda clase de ideales C ∈ Cl(OK ) contiene un ideal J ∈ C tal que N(J) ≤ λ .
Demostración. Dada cualquier C ∈ Cl(OK ) consideremos su clase inversa C−1 ∈
Cl(OK ) y fijemos un ideal I ∈ C−1 . Sea α ∈ I como en el lema anterior. Ası́, hαi ⊆ I
132 5 Anillos de valuación discreta y de Dedekind
de tal forma que, si probamos que sólo hay un número finito de primos pi ⊆ OK tales
que N(pi ) ≤ λ , entonces ya terminamos porque sólo existirı́a un número finito de
exponentes ei ≥ 0 tales que N(pi )ei ≤ λ , es decir, sólo se tendrı́a un número finito de
ideales J ⊆ OK tales que N(J) ≤ λ . Para probar lo anterior, supongamos que existe
un número infinito de primos pi de OK tales que N(pi ) ≤ λ . Entonces, como N(pi )
es un entero, se tendrı́a que 0 ≤ N(pi ) ≤ [λ ], donde [λ ] denota el mayor entero ≤ λ ;
y como sólo hay un número finito de enteros m tales que 0 ≤ m ≤ [λ ], entonces
existirı́a un número infinito de primos pi de OK tales que tendrı́an la misma norma
N(pi ) =: N, 0 ≤ N ≤ [λ ]. Ahora, N = N(pi ) = OK /pi , y como OK es Dedekind,
entonces OK /pi es un campo (finito) y ası́ existe un número infinito de primos pi
tales que los OK /pi son campos finitos isomorfos. Ası́ todos estos primos pi están
sobre el mismo primo p de Z. Pero esto es una contradicción ya que arriba de un
primo de Z sólo hay un número finito de primos de OK por el ejercicio 26 inciso
(vi) del capı́tulo 3. t
u
Ejercicios
5.8. Generalize el lema 5.10: si L/K es una extensión finita de campos de grado
n = [L : K], y Lal = K al es una cerradura algebraica de ambos, demuestre que existen
a lo más n monomorfismos L Lal que restringidos a K son la identidad, y son
exactamente n si y sólo si L/K es separable.
Sugerencia: La K-álgebra L está generada por α1 , . . . , αm con m ≤ n. Para
m = 1, L = K(α1 ) y para el mónico irreducible Irr(α1 , K) su grado es n y un K-
monomorfismo L Lal está determinado por su valor en α1 que debe ser una raı́z
de Irr(α1 , K). El número de tales raı́ces es ≤ n = gr(Irr(α1 , K) y es igual a n si y
sólo si el polinomio Irr(α1 , K) es separable. Si m > 1, considere la torre de campos
5.16. Sea A un dominio entero. Demuestre que las afirmaciones siguientes son equi-
valentes:
(1) A es Dedekind.
(2) A es noetheriano y para todo ideal máximo m ⊆ A, el localizado Am es un DIP.
N(IJ) = N(I)N(J).
Capı́tulo 6
Dimensión de álgebras y anillos noetherianos
f j = f j (x1 , . . . , xn ) = a1 j x1 + · · · + an j xn ai j ∈ K
137
138 6 Dimensión de álgebras y anillos noetherianos
y ası́
K[x1 , . . . , xn ]/I = K[ f1 , . . . , fr , xi1 , . . . , xin−r ]/I ' K[xi1 , . . . , xin−r ]
lo cual prueba (∗). Finalmente, note que
h f1 , . . . , fm i = h f1 , . . . , fr i = I
se tiene que
a0 (α 1 , . . . , α d ) = 0
grtrK (A/p) = grtrK (A0 /p) < grtrK (A0 ) = grtrK (A/h f i) = grtrK (A) − 1
donde la igualdad es por 6.2. Hemos obtenido ası́ una contradicción con la hipótesis.
t
u
Teorema 6.5 Si A es una K-álgebra de tipo finito que es dominio entero, y si f ∈ A
no es cero ni unidad y p es un primo de A, mı́nimo entre los que contienen a h f i,
140 6 Dimensión de álgebras y anillos noetherianos
entonces
grtrK (A/p) = grtrK (A) − 1.
p
Demostración. (J. Tate). Escribamos h f i = p1 ∩ · · · ∩ pr como intersección irre-
dundante de ideales primos pi ⊇ h f i. Entonces, V(h f i) = V(p1 ) ∪ · · · ∪ V(pr ) es
la descomposición de V( f ) en sus componentes irreducibles. Ası́, existe un punto
P0 ∈ V(p1 ) que no está en todos los otros V(pi ), porque de lo contrario la descom-
posición V( f ) = V(p1 ) ∪ · · · ∪ V(pr ) serı́a redundante. Note que, como V(pi ) son
cerrados, existe una vecindad abierta U = D(h) de P0 que sólo intersecta a V(p1 ) y
es disjunta con las otras V(pi ). Ahora, el anillo Ah es un dominio entero con el mis-
mo campo de fracciones que A y por lo tanto tiene el mismo grado de trascendencia
sobre K. Por el mismo argumento, el anillo Ah /S−1 p tiene p el mismo√grado de tras-
cendencia que A/p. Observe ahora que en Ah se tiene que f /1 = √ f Ah = p1 Ah .
Por lo tanto, después de reemplazar A con Ah podemos suponer que f es un ideal
primo de A, digamos igual a p.
Por otra parte, como A es un dominio entero y como es una K-álgebra finitamen-
te generada, por el teorema de normalización de Noether 2.16 existen elementos
y1 , . . . , yd ∈ A algebraicamente independientes sobre K tales que A es entera sobre
K[y1 , . . . , yd ] y K(y1 , . . . , yd ) → K(A) es una extensión finita de campos, donde K(A)
es el campo de fracciones de A. Si Nm : K(A) → K(y1 , . . . , yd ) es la norma de esta
extensión, para f ∈ K(A) sea f0 = Nm( f ) ∈ K(y1 , . . . , yd ). Por 2.15 se tiene que
f0 ∈ K[y1 , . . . , yd ]. Mostraremos que
p
(1) p ∩ K[y1 , . . . , yd ] = h f0 i.
Antes de probar lo anterior, observe que (1) implica que el morfismo inducido
por la inclusión K[y1 , . . . , yd ] ,→ A al pasar a los cocientes
p
(2) K[y1 , . . . , yd ]/ h f0 i = K[y1 , . . . , yd ]/ p ∩ K[y1 , . . . , yd ] A/p
donde la última igualdad es por 6.2 ya que f0 es irreducible. Notamos que como
f 6= 0 entonces f0 6= 0 y f0 ∈ p implica que f0 no es constante.
Resta probar la afirmación (1). Como ya observamos, por el teorema de norma-
lización de Noether A es entero sobre K[y1 , . . . , yd ] y como la norma Nm : K(A) →
K(y1 , . . . , yd ) manda elementos enteros (por ejemplo, f ) de K(A) en enteros de
K(y1 , . . . , yd ) y como K[y1 , . . . , yd ] es integralmente cerrado ya que es DFU, enton-
ces estos elementos enteros están en K[y1 , . . . , yd ], i.e., f0 = Nm( f ) ∈ K[y1 , . . . , yd ].
Se sigue que f divide a f0 en A y por lo tanto f0 ∈ h f i ⊆ p y consecuentemente
h f0 i ⊆ p ∩ K[y1 , . . . , yd ] por lo que
6 Dimensión de álgebras y anillos noetherianos 141
p
h f0 i ⊆ p ∩ K[y1 , . . . , yd ]
(∗) p0 p1 ··· pn .
p0 p1 ··· pn .
El teorema del ideal principal de Krull. Para una variedad afı́n lineal V ⊆ K n
(i.e., definida por polinomios lineales), a la cual podemos pensar que pasa por el
origen de tal forma que V es un subespacio vectorial de K n , descrita por un sistema
de ecuaciones lineales en n variables y de rango r, el álgebra lineal nos dice que
dimV = n − r. Más aún, cualquier variedad lineal de dimensión d se puede describir
por n − d ecuaciones lineales. Para variedades algebraicas, afines o proyectivas, i.e.,
ceros de sistemas de ecuaciones polinomiales de grado arbitrario, los resultados
correspondientes son más difı́ciles de obtener y comenzamos con el teorema del
ideal principal de Krull, una de cuyas consecuencias es una cota inferior para el
número de generadores de un ideal en un anillo noetheriano, que al ser aplicado
a un ideal del anillo polinomial K[x1 , . . . , xn ] se traduce en una cota inferior para
el número de ecuaciones necesarias para describir una variedad algebraica. Para
demostrar este teorema de Krull necesitaremos los dos lemas siguientes:
Lema 6.9 Sean I = Sni=1 qi una descomposición primaria mı́nima del ideal I ⊆ A y
T
√
pi = qi . Entonces, ni=1 pi = {x ∈ A : (I S
: x) 6= I}. En particular, si el ideal 0 ⊆ A
tiene una descomposiciónSprimaria y D = x6=0 (0 : x) es el conjunto de divisores de
cero de A, entonces D = p∈Ass(0) p.
Demostración. Si I ⊆ A es descomponible, entonces el ideal 0T es descomponible
en el anillo cociente A/I, ya que si I = ni=1 qi , entonces 0 = ni=1 qi , donde qi es
T
Teorema 6.11 (Teorema del ideal principal de Krull) Sean A un anillo noethe-
riano y hxi A un ideal principal propio. Entonces, para todo primo mı́nimo p
de hxi se tiene que h(p) ≤ 1. Más aún, si x no es un divisor de cero de A, entonces
h(p) = 1.
Demostración. La segunda afirmación se sigue de la primera parte. En efecto, co-
mo A es noetheriano el ideal 0Ses descomponible y por el lema 6.9 el conjunto de
divisores de cero de A es D = pi ∈Ass(0) pi . Por lo tanto, si x no es divisor de cero,
x 6∈ pi , para todo pi ∈ Ass(0) y ası́, si p ⊇ hxi con p primo, p no podrı́a ser alguno de
los pi , i.e., no serı́a primo mı́nimo de A y por lo tanto contiene propiamente un ideal
primo p0 p y ası́ h(p) ≥ 1, lo que implica la segunda afirmación.
Para probar la primera afirmación, observe primero que, por el lema 6.10, pAp
es un ideal primo mı́nimo de hxiAp , y por la biyección inducida por el morfismo de
localización ϕ : A → Ap entre los ideales primos de Ap y los ideales primos de A
contenidos en p (donde q p corresponde a qAp pAp ) se sigue que basta probar
el teorema para hxiAp ⊆ pAp , o lo que es lo mismo, suponer que A es un anillo
noetheriano local con ideal máximo p que es además primo mı́nimo de hxi.
Asumiendo lo anterior, si q p es cualquier otro ideal primo debemos probar
que h(q) = 0. Antes de proceder, note que x 6∈ q porque de lo contrario, como p es
primo mı́nimo de hxi se tendrı́a que q = p. Observe ahora que, como p es primo
mı́nimo de hxi, entonces el anillo A/hxi tiene un único primo, a saber p/hxi (ya que
si p0 ∈ Spec(A/hxi), entonces p0 ⊇ hxi con p0 ∈ Spec A y como p es el único ideal
máximo de A, entonces p0 ⊆ p y como p es mı́nimo entre los primos que contienen a
hxi, entonces p0 = p) y por lo tanto dim A/hxi = 0 y como es noetheriano, entonces
por 4.37 es artiniano. Ahora, para demostrar que h(q) = 0, considere las potencias
qi Aq y sus imágenes inversas bajo el morfismo de localización ρ : A → Aq a las que
se denota por q(i) y se conocen como las potencias simbólicas de q. Observe ahora
que las inclusiones qi+1 Aq ⊆ qi Aq inducen inclusiones q(i+1) ⊆ q(i) y como A/hxi
es artiniano la cadena descendente de ideales
N OTA. Antes de generalizar el teorema del ideal principal de Krull, observemos que
en términos de la altura y de la dimensión de Krull, en 6.6 se probó que si A es una
K-álgebra de tipo finito (que es dominio entero) y si p ⊆ A es un primo de altura
h(p) = 1, entonces
i. También, a ∈ p01 − p0 por lo que p0 p01 . Se tiene ası́ que p0 p01 p con p01 6⊆ qi ,
para todo i.
(2): En el caso general, p0 p1 · · · pd−1 p, aplicando la parte (1) a la cadena
pd−2 pd−1 p existe otra cadena pd−2 p0d−1 p con p0d−1 6⊆ qi , para todo i.
Luego, aplicando la parte (1) a la cadena pd−3 pd−2 p0d−1 vemos que existe otra
cadena pd−3 p0d−2 p0d−1 p con p0d−2 6⊆ qi , para todo i. Repetimos estos pasos
hasta llegar al resultado deseado. t
u
Teorema 6.13 (Teorema generalizado del ideal principal de Krull) Si A es un ani-
llo noetheriano e I = ha1 , . . . , am i A es un ideal propio generado por m elementos,
entonces, para cualquier ideal primo mı́nimo p de I, su altura es h(p) ≤ m.
Demostración. Para m = 1, éste es el teorema del ideal principal de Krull. Podemos
entonces suponer que m ≥ 2 y que el teorema ha sido probado para ideales generados
por a lo más m − 1 elementos. Sea p un primo mı́nimo de I = ha1 , . . . , am i y sean
q1 , . . . , qs los primos mı́nimos de ha1 , . . . , am−1 i. Por hipótesis de inducción h(qi ) ≤
m − 1. Si sucediera que p está contenido en algún qi , entonces se tendrı́a que h(p) ≤
h(qi ) ≤ m − 1 ≤ m y ya habrı́amos acabado. Ası́, podemos suponer que p 6⊆ qi , para
todo i. Poniendo d = h(p), queremos probar que d ≤ m. Ahora, como d = h(p), se
tiene una cadena
ha1 , . . . , am−1 , bi. Para comenzar, p contiene un primo mı́nimo p0 de este ideal y
como p0 ⊇ ha1 , . . . , am−1 i, entonces p contiene uno de los qi , pero como b ∈ p − qi
para todo i, entonces p no puede ser igual a este qi . Si p 6= p0 , entonces qi p0 p
y ası́ p := p/ha1 , . . . , am−1 i tiene altura ≥ 2 en A := A/ha1 , . . . , am−1 i. Pero p es un
ideal mı́nimo en A del ideal principal ha1 , . . . , am i/ha1 , . . . , am−1 i y ası́ h(p) ≤ 1 por
el teorema del ideal principal, lo cual es una contradicción. Se sigue que p = p0 y
por lo tanto p es un primo mı́nimo de ha1 , . . . , am−1 , bi. Pero entonces p/hbi es un
primo mı́nimo de ha1 , . . . , am−1 , bi/hbi en A/hbi, que está generado por las clases de
a1 , . . . , am−1 y ası́ h(p/hbi) ≤ m − 1 por hipótesis de inducción. Finalmente, como
se tiene la cadena de primos distintos
Por construcción ha1 i tiene altura h ≥ 1 y ası́ por el teorema del ideal principal de
Krull se sigue que tiene altura hha1 i = 1. Esto completa la demostración cuando n =
1. Podemos entonces suponer que n ≥ 2. De nuevo, notamos que sólo hay un número
finito de primos de altura 1 y que contienen a ha1 i porque un tal primo está en
Assha1 i, y ninguno de estos primos puede contener a I porque estamos suponiendo
que h(I) ≥ 2. Por 1.3 existe un a2 ∈ I − h(p) = 1 y p ⊇ ha1 i p. Por construcción ha1 , a2 i
S
tiene altura h ≥ 2 y ası́ por el teorema generalizado del ideal principal de Krull se
sigue que hha1 , a2 i = 2. Esto completa la demostración en el caso cuando n = 2.
Continuando de esta manera se termina la demostración. t
u
t
u
con los ai ∈ A (recordando que k = A/m), reduciendo (1) módulo hci queda
y la independencia lineal de los αi0 implica que a01 , . . . , a0n son cero en k = A/m, es de-
cir, sus representantes a1 , . . . , an ∈ m y (1) queda de la forma an+1 c ≡ 0 (mód m2 ),
i. e., an+1 c ∈ m2 . Si sucediera que an+1 6∈ m entonces serı́a unidad en A y conse-
cuentemente c ∈ m2 , lo cual contradice la elección de c ∈ m − m2 . Se sigue que
an+1 ∈ m y por lo tanto en (1) todos los coeficientes son cero, i.e., α1 , . . . , αn , c son
una base de m/m2 . t
u
Lema 6.17 Sea (A, m) un anillo noetheriano local. Si A es regular, entonces para
todo c ∈ m − m2 el cociente A/hci también es regular. Más aún,
Ejercicios
6.5. En el ejercicio anterior concluya que todo ideal primo de A se puede escribir
como intersección de ideales máximos.
6.7. Si A ⊆ B son anillos con B entero sobre A, demuestre que dim A = dim B.
6.8. Sean A ⊆ B anillos que satisfacen las hipótesis del teorema de bajada 2.26. Si
q ⊆ B es primo y p = q ∩ A, demuestre que h(q) ≥ h(p).
6.10. Sea K un campo. Demuestre que toda K-álgebra A ⊆ K[x] es de tipo finito
sobre K y si K A, entonces dim A = 1. Vea el ejercicio 24 del capı́tulo 3.
por ejemplo usando la expansión de Taylor de f (x). Lo mismo se puede hacer con
enteros (digamos, positivos): dado m ≥ 1 y un primo p fijo, se tiene que
n
(2) m = ∑ ai pi ,
i=0
153
154 7 Topologı́as, filtraciones y completaciones
G = G0 G1 G2 · · ·
7 Topologı́as, filtraciones y completaciones 155
A = I0 ⊇ I1 ⊇ I2 ⊇ · · · ⊇ In ⊇ · · ·
de tal forma que V ⊆ A es una vecindad del 0 si y sólo si existe un n tal que In ⊆ V .
Diremos entonces que los subgrupos {In } forman una filtración de A. Más aún,
como los In ⊆ A son subgrupos (de la parte aditiva) del anillo A y éste tiene un
producto, es natural el pedir que Im In ⊆ Im+n y decimos entonces que la filtración In
de A es compatible con el producto del anillo. Las filtraciones que consideraremos
pueden estar indexadas por todos los enteros y para simplificar un poco la teorı́a al
filtrar un anillo asumiremos que los In ⊆ A son ideales, no sólo subgrupos aditivos:
dado un anillo A, una filtración en A es una familia de ideales {In }n∈Z de A tales
que:
(i) I0 = A.
(ii) In+1 ⊆ In .
(iii) Im In ⊆ Im+n .
Si A tiene una filtración, diremos que A es un anillo filtrado. Si A es un anillo
filtrado, con filtración {In }, y M es un A-módulo, una filtración en M es una familia
{Mn }n∈Z de submódulos de M tales que
(i) M0 = M.
(ii) Mn+1 ⊆ Mn .
(iii) Im Mn ⊆ Mm+n .
156 7 Topologı́as, filtraciones y completaciones
Lema 7.2 Sean {In } una filtración en el anillo A y {Mn } una filtración en un A-
módulo M. Entonces:
(1) Como los Mn son subgrupos aditivos de M,
d(x, y) = ρ ν(x−y) .
ρ : M → M̂.
decir, sus clases laterales ξn+1 = ξn en M/Mk , i.e., las ξn se vuelven constantes en
M/Mk . Es claro entonces que, bajo el morfismo natural
se tiene que φ (ξn+1 ) = ξn , para todo n ≥ k. Más aún, si {xn } ∼ {yn }, entonces am-
bas sucesiones definen la misma sucesión de clases laterales {ξn } en los cocientes
M/Mn . Recı́procamente, dada una sucesión de clases laterales {ξn } en M/Mn tal
que φ (ξn+1 ) = ξn , escogiendo un representante xn ∈ ξn de cada clase lateral, se tie-
ne que xn+1 − xn ∈ Mn y ası́ {xn } es una sucesión de Cauchy en M. Por lo tanto, M̂ se
puede construir usando las sucesiones ξn de los cocientes M/Mn , sin tener que pen-
sar en clases de equivalencia de {xn } y a partir de ahora pensaremos que M̂ consiste
de estas sucesiones de Cauchy {ξn } a las que podemos considerar como (ciertos)
elementos del producto directo ∏n M/Mn . Para saber cuáles elementos de ∏n M/Mn
están en M̂, recordemos que las clases ξn ∈ M/Mn son compatibles en el sentido que
el morfismo natural φn+1 manda ξn+1 7→ ξn . Por lo tanto, M̂ consiste de los elemen-
tos {ξn } ∈ ∏n M/Mn que son compatibles con los morfismos φn . De hecho, M̂ es un
submódulo de ∏ M/Mn que satisface las condiciones siguientes: para la familia de
A-módulos {M/Mn }n≥0 y la familia de morfismos φmn : M/Mn → M/Mm para cada
m ≤ n, dados por las composiciones
φn φn−1 φm+1
M/Mn −→ M/Mn−1 −→ M/Mn−2 −→ · · · −→ M/Mm+1 −→ M/Mm
éstos satisfacen que siempre que m ≤ n ≤ k se tiene que φnk ◦ φmn = φmk . En es-
tas condiciones se dice que {M/Mn , φmn } es un sistema inverso de módulos. En-
tonces, considerando el producto directo ∏ M/Mk y las proyecciones naturales
pn : ∏ M/Mk → M/Mn en el diagrama siguiente, para m ≤ n,
pn ∏ M/Mk pm
pn−1 pm+1
z y % $
M/Mn / M/Mn−1 / ··· / M/Mm+1 / M/Mm
n
φn−1 φmm+1
en general, los triángulos del diagrama no conmutan y por ello tiene que tomarse el
submódulo M̂ ⊆ ∏k M/Mk de sucesiones compatibles y las restricciones de las pro-
yecciones naturales a M̂ para que en el diagrama siguiente los triángulos inferiores
conmuten:
∏ M/M
O k
pn pm
?
M̂ pm
pn
pn−1 pm+1
v x & %
M/Mn / M/Mn−1 / ··· / M/Mm+1 / M/Mm
n
φn−1 φmm+1
160 7 Topologı́as, filtraciones y completaciones
∏ Mk
pj pi
} !
Mj / Mi
j
ϕi
donde pn : ∏ Mk → Mn son las proyecciones del producto directo. En general, estos
diagramas no conmutan, ya que dado (xk ) ∈ ∏ Mk no hay razón genérica para que
ϕij ◦ p j (xk ) = ϕij (x j ) sea igual a pi (xk ) = xi . Consideremos entonces el subconjunto
lim Mk ⊆ ∏ Mk dado por aquellos elementos (xk ) tales que ϕij ◦ p j (xk ) = xi . Cla-
←−
ramente, lim Mk es un submódulo de ∏ Mk y restringiendo las proyecciones pn a
←−
lim Mk los triángulos inferiores del diagrama siguiente conmutan, siempre que i j
←−
en Λ :
1 Note que no exigimos que la relación sea antisimétrica, i.e. que i j y j i impliquen que i = j,
sin embargo en muchos de los ejemplos éste es el caso y por lo tanto (Λ , ) será un conjunto
parcialmente ordenado en esos ejemplos.
7 Topologı́as, filtraciones y completaciones 161
∏M
O k
pj ? pi
lim Mk
←−
pj pi
| "
Mj / Mi
j
ϕi
El módulo lim Mk se conoce como el lı́mite inverso del sistema {Mk , ϕij }Λ y la
←−
proposición siguiente lista sus propiedades más importantes, en particular su unici-
dad justificando el artı́culo determinado:
Proposición 7.5 (Propiedad universal del lı́mite inverso) Si {Mk , ϕij }Λ es un sis-
tema inverso de A-módulos, el módulo lim Mk junto con las proyecciones pn :
←−
lim Mk → Mn es tal que siempre que i j en Λ , los triángulos siguientes conmutan
←−
lim Mk
←−
pj pi
| "
Mj / Mi
j
ϕi
y si M es cualquier otro A-módulo junto con morfismos qk : M → Mk , para cada
k ∈ Λ , tales que los triángulos del diagrama siguiente conmutan
M
qj qi
~
Mj / Mi
j
ϕi
entonces existe un único morfismo ϑ : M → lim Mk tales que los triángulos laterales
←−
del diagrama siguiente conmutan:
M
ϑ
qj qi
lim Mk
←−
pj pi
| "
Mj / Mi
j
ϕi
es decir, p j ◦ ϑ = q j , para toda j ∈ Λ .
Demostración. La primera parte se probó antes del enunciado. Para definir ϑ , sea
x ∈ M y pongamos ϑ (x) = (qk (x)). Note que si i j entonces,
porque el segundo diagrama del enunciado conmuta por hipótesis. Se sigue que
(qk (x)) ∈ lim Mk y por lo tanto ϑ tiene el codominio indicado. Como las qk son
←−
morfismos, ϑ también lo es. Ahora, si x ∈ M, calculando
Ejemplo 5. El caso que nos interesa es cuando se tiene un A-módulo filtrado M, con
filtración {Mk }k∈Z , de tal forma que el sistema inverso está dado por los cocientes
M/Mk y los morfismos naturales φmn : M/Mn → M/Mm , siempre que m ≤ n. En el
caso cuando la topologı́a inducida por la filtración {Mk } es Hausdorff, el módulo
lim M/Mk es isomorfo a la completación M̂ de M definida usando sucesiones de
←−
Cauchy.
En el caso general, diremos que por definición,
M̂ := lim M/Mk
←−
es la completación o completado de M. Observe ahora que los epimorfismos canóni-
cos qk : M M/Mk inducen, por la propiedad universal del lı́mite inverso, un único
A-morfismo
ϑ : M → M̂ = lim M/Mk
←−
tal que los diagramas del corolario siguiente conmutan:
Corolario 7.7 Si {Mk }k∈Z es una filtración de un A-módulos M, existe un único
A-morfismo ϑ : M → M̂ tal que los diagramas siguientes conmutan, siempre que
i ≤ j:
M
ϑ
qj qi
M̂
pj pi
| !
M/M j / M/Mi
j
ϕi
7 Topologı́as, filtraciones y completaciones 163
Z = 1Z ⊇ · · · ⊇ mZ ⊇ nZ ⊇ · · ·
y los anillos Z/nZ junto con las proyecciones canónicas Z/nZ → Z/mZ siempre
que m|n, forman un sistema inverso cuyo lı́mite inverso, la completación de Z, se
conoce como el anillo de Prüfer
b := lim Z/mZ.
Z
←m
−
Ejemplo 7. Si I = pZ ⊆ Z, con
T n
p un primo, se tiene la filtración p-ádica {pn Z}n≥0
de Z, donde notamos que p Z = 0 por lo que la topologı́a correspondiente es
Hausdorff. La completación p-ádica de Z está dada considerando los anillos Z/pn Z,
para n ∈ N, junto con los morfismos naturales Z/pn Z → Z/pm Z para n ≥ m, que
forman un sistema inverso:
Z p := lim Z/pm Z.
←−
m
que mandan f 7→ f + mi (notando que esta última expresión en efecto trunca la serie
formal f a (la clase lateral de) un polinomio de grado ≤ i) y ası́, por la propiedad
universal de la completación (i.e., del lı́mite inverso B̂ = lim B/mi ) los morfismos
←−
anteriores inducen un único morfismo
A[[x1 , . . . , xn ]] → B̂
Propiedades de exactitud. Si {Mi , ϕij }Λ y {Ni , ψij }Λ son dos sistemas inversos con
el mismo conjunto de ı́ndices Λ , un morfismo de sistemas inversos es una familia de
A-morfismos { fi : Mi → Ni }i∈Λ tales que los diagramas siguientes conmutan para
todo i ≤ j en Λ
j
/ Mi
ϕi
Mj
fj fi
Nj / Ni
j
ψi
7 Topologı́as, filtraciones y completaciones 165
lim Mk
←−
pj pi
| "
Mj / Mi
j
ϕi
fj fi
j
/
ψi
Nj b < Ni
qj qi
lim Nk
←−
notamos que como ψij ◦ ( f j ◦ p j ) = fi ◦ pi , entonces la propiedad universal de lim Ni
←−
implica la existencia de un único morfismo f : lim Mk → lim Nk tal que q j ◦ f =
←− ←−
f j ◦ p j , para toda j ∈ Λ .
Note que si { fi : Mi → Ni }i∈Λ y {gi : Ni → Pi }i∈Λ son morfismos de sistemas
inversos y f : lim Mk → lim Nk , g : lim Nk → lim Pk son los morfismos inducidos en
←− ←− ←− ←−
los lı́mites inversos, entonces g ◦ f : lim Mk → lim Pk es el morfismo inducido por la
←− ←−
composición {gi ◦ fi : Mi → Pi }i∈Λ . Claramente el morfismo inducido por la iden-
tidad {idi : Mi → Mi }i∈Λ es la identidad id : lim Mk → lim Mk . Hemos ası́ mostrado
←− ←−
que el lı́mite inverso es un funtor covariante.
Ejemplo 10. Si M es un A-módulo con una filtración {Mn } y además tiene otra fil-
tración {Mn0 }, hemos visto que cada filtración define una topologı́a en M tomando
como base los submódulos de la filtración correspondiente. Sabemos entonces que
para que las dos filtraciones definan la misma topologı́a en M se requiere que para
cada Mi exista un M 0j tal que M 0j ⊆ Mi y recı́procamente, i.e., para cada Mk0 exista un
Mt tal que Mt ⊆ Mk0 . Entonces, las completaciones definidas usando sucesiones de
Cauchy en M son la misma. Para ver lo anterior usando la definición de completa-
ción en términos de lı́mites inversos, observemos que la condición de que para cada
Mi exista un Mk0 ⊆ Mi implica que se tienen morfismos
M/Mi → M/Mk0
M/M j / M/Mi
M/M`0 / M/M 0
k
por lo que estos morfismos inducen lim M/Mk → lim M/Mk0 , y similarmente para la
←− ←−
condición de que para cada Mi0 exista un M j tal que M j ⊆ Mi0 se tienen los diagramas
correspondientes que inducen el morfismo lim M/Mk0 → lim M/Mk . Dejamos como
←− ←−
un ejercicio el probar que estos dos morfismos son inversos uno del otro y por lo
tanto
lim M/Mk ' lim M/Mk0
←− ←−
por lo que la completación M̂ sólo depende de la topologı́a de M.
0 → Mi0 → Mi → Mi00 → 0
son exactas. Podemos entonces considerar los morfismos inducidos en los lı́mites:
0 / ∏ M0 / ∏ Mi / ∏ M 00 /0
i i
d0 d d 00
0 / ∏ M0 / ∏ Mi / ∏ M 00 /0
i i
lo cual prueba la parte (1). Para probar (2) debemos mostrar que Coker d 0 = 0 o lo
que es lo mismo, debemos mostrar que d 0 : ∏ Mi0 → ∏ Mi0 es suprayectivo, i.e., que
para todo (yk ) ∈ ∏ Mi0 existe (xk ) ∈ ∏ Mi0 tal que d 0 (xk ) = (yk ), i.e., tal que
(∗) xi − ϕij (x j ) = yi
para todo i. Observe ahora que como los ϕij : M 0j Mi0 son suprayectivos, entonces
las ecuaciones (∗) siempre son solubles, es decir, para xi − yi ∈ Mi0 existe x j ∈ M 0j tal
que ϕij (x j ) = xi − yi , como se querı́a. t
u
[ ' M̂/N̂.
y por lo tanto M/N
t
u
En particular, para N = Mi ⊆ M, se tiene la sucesión exacta corta
0 → M̂i → M̂ → M/M
\i → 0
168 7 Topologı́as, filtraciones y completaciones
por lo que M̂ es un módulo filtrado por los M̂i , y como vimos en el párrafo antes del
ejemplo 1, M/Mi es discreto y por lo tanto M/M\i = M/Mi y ası́ la sucesión exacta
corta anterior implica:
Corolario 7.10 Si {Mi } es una filtración en el A-módulo M, entonces para la fil-
tración {M̂i } de M̂ se tiene que
Si M ' M̂, se dice que M es completo. Ası́, el corolario anterior dice que el
completado M̂ de un módulo M es completo.
Ejemplo 12. En los ejemplos 6 y 7, para las completaciones Ẑ y Z p , nótese que por
7.9 se tienen isomorfismos
Z/n
b Z b ' Z/nZ.
Anillos y módulos graduados. Un anillo graduado esLun anillo A junto con una
familia de subgrupos aditivos {An }n≥0 tales que A = An y Am An ⊆ Am+n , para
todo m, n ≥ 0. En particular, A0 A0 ⊆ A0 y por lo tanto A0 es un subanillo de A. Si A
es un anillo graduado con graduación {An }, un A-módulo graduado es un A-módulo
M junto con una familia de subgrupos aditivos {Mn }n≥0 tales que M = Mn y
L
I n /I n+1 = A/I + ⊕I / I 2 ⊕ I 2 /I 3 ⊕ · · ·
M
grI (A) = gr(A) :=
n≥0
donde I 0 := A. Entonces, grI (A) es un anillo graduado donde la suma es la del grupo
aditivo que define la suma directa y para el producto, si am ∈ I m /I m+1 y an ∈ I n /I n+1
están representados por am ∈ I m y an ∈ I n , entonces el producto am an := am an ∈
I m+n /I m+n+1 . Se verifica directamente que lo anterior está bien definido, i.e., no
depende de los representantes y que gr(A) es un anillo conmutativo con uno, al
que se conoce como el anillo graduado asociado a A. Similarmente, si M es un
A-módulo con una filtración {Mn }n≥0 tal que IMn ⊆ Mn+1 , el módulo graduado
asociado de M es M
grI (M) = gr(M) := Mn /Mn+1
n≥0
IiN ⊆ N ∩ IiM
N ∩ I n M = I n−n0 (N ∩ I n0 M).
N ∩ Mi+n0 = I i (N ∩ Mn0 ).
Mn+n0 = I n Mn0 ⊆ I n M
0 → M̂ 0 → M̂ → M̂ 00 → 0.
 ⊗A M →  ⊗A M̂ →  ⊗ M̂ ' M̂
se prueba que la completación I-ádica conmuta con sumas directas finitas. Por lo
tanto, si n ≥ 1, se tiene que  ⊗A An ' ( ⊗A A)n ' (Â)n ' A cn . Ahora, como M es
finitamente generado, se tiene una sucesión exacta corta de la forma 0 → N → An →
M → 0, que da lugar al diagrama conmutativo siguiente con renglones exactos:
 ⊗A N
α / Â ⊗A An β
/ Â ⊗A M /0
f g h
0 / N̂ /A
cn / M̂ /0
γ δ
donde el renglón inferior es exacto por 7.17 ya que A es noetheriano y los módulos
son finitamente generados y el renglón superior es exacto porque tensorar es exacto
derecho. Como vimos antes, g es un isomorfismo y por lo tanto h es suprayectivo
por la conmutatividad del cuadrado de la derecha. Ahora, como A es noetheriano y
An es finitamente generado, entonces N es finitamente generado, y por el argumento
anterior reemplazando M con N se sigue que f es suprayectivo. Finalmente, una
cacerı́a en el diagrama demuestra que si h(x) = 0, entonces x = 0, i.e. h es inyectivo.
t
u
Corolario 7.19 Si A es noetheriano, entonces  es plano como A-módulo.
Demostración. Por 7.8 (1), el funtor completación M 7→ M̂ es exacto izquierdo y ası́,
por el corolario anterior el funtor M 7→ Â ⊗A M ' M̂ también es exacto izquierdo,
en la categorı́a de módulos finitamente generados y por lo tanto en la categorı́a de
todos los A-módulos por 2.13. t
u
Observe
T n
ahora que, como M es finitamente generado y A es noetheriano, entonces
I M es finitamente generado y ası́ de la igualdad (∗) por el ejercicio 1 inciso (1)
del capı́tulo 4 (una variación del lema de Nakayama 4.8) se sigue que existe a−1 ∈ I
tal que a( I n M) = 0, en particular ax = 0 y por lo tanto x ∈ N.
T
A → S−1 A y A → Â
1 + a + a2 + a3 + · · ·
(1 − a)(1 + a + a2 + a3 + · · · ) = 1
y ası́ para todo elemento de S = 1+I su imagen en  es una unidad. Por la propiedad
universal de S−1 A se sigue que existe un morfismo natural S−1 A → Â y el corolario
anterior implica que este morfismo es inyectivo y ası́ S−1 A se puede identificar con
un subanillo de Â.
174 7 Topologı́as, filtraciones y completaciones
A
ϕ
qn qm
Â
pn pm
~
A/In / A/Im
n
ϕm
y por 7.10 se tiene que A/In ' Â/Iˆn de donde se siguen, como en 4.14, por el lema
del quinto, los isomorfismos In /In+1 ' Iˆn /Iˆn+1 y por lo tanto el isomorfismo gr(A) '
gr(Â). Para M es similar. t
u
Localización y lı́mites directos. En esta sección, que bien pudiera haber ido en el
capı́tulo 3, explicamos la afirmación de que el proceso de completación es dual del
176 7 Topologı́as, filtraciones y completaciones
Mi / Mj
ϕ ij
donde µn : Mn → Mk son las inclusiones canónicas en la suma directa en el lu-
L
lim Mk . Entonces, los triángulos inferiores del diagrama siguiente conmutan, siem-
−→
pre que i j en Λ :
L
Mkc
<
µi µj
lim Mk
−<→ b
µi µj
Mi / Mj
ϕ ij
lim Mk
−<→ b
µi µj
Mi / Mj
ϕ ij
y si M es cualquier otro A-módulo junto con morfismos qk : Mk → M, para cada
k ∈ Λ , tales que los triángulos del diagrama siguiente conmutan
>M `
qi qj
Mi / Mj
ϕ ij
entonces existe un único morfismo ϑ : lim Mk → M tales que los triángulos laterales
−→
del diagrama siguiente conmutan:
: MO d
ϑ
qi qi
lim Mk
−<→ b
µi µj
Mi / Mj
ϕ ij
es decir, ϑ ◦ µ j = q j , para toda j ∈ Λ .
Demostración. La primera parte se probó antes del enunciado. Para definir ϑ , sea
(xk ) ∈ lim Mk y pongamos ϑ (xk ) = ∑ qk (xk ) (la suma es finita porque xk = 0 excepto
−→
para un número finito de ı́ndices) y, recordando que lim Mk se definió como un
−→
cociente de la suma directa, observe que la conmutatividad L del segundo diagrama
del enunciado implica que ϑ se anula en el submódulo N ⊆ Mk y por lo tanto ϑ
está bien definida. Ahora, si xi ∈ Mi , calculando
por lo que ϑ hace conmutar los triángulos laterales. Si γ : lim Mk → M es otro mor-
−→
fismo tal que γ ◦ µ j = q j , para toda j ∈ Λ , entonces si (xk + N) ∈ lim Mk , escribiendo
−→
xk + N = µk (xk ) + N se tiene que γ(xk + N) = γ(µk (xk )) = qk (xk ) = ϑ (xk + N) y por
lo tanto γ = ϑ , como se querı́a. t
u
Corolario 7.29 Si {Mk , ϕ ij }Λ es un sistema directo de A-módulos, el módulo lim Mk
−→
junto con los morfismos µk : Mk → lim Mk es único, salvo isomorfismo, con la pro-
−→
piedad universal de la proposición anterior.
Demostración. La usual para objetos que satisfacen propiedades universales. t
u
Ejemplo 19. El caso que nos interesa es cuando se tiene un subconjunto multipli-
cativo S ⊆ A. Para comenzar, podemos ordenar S por divisibilidad, i.e., si f , g ∈ S
178 7 Topologı́as, filtraciones y completaciones
A
ρ
/ S−1 A
ρf
Af
Af / Ag
f
ρg
y por lo tanto existe un único morfismo ρ : lim A f → S−1 A tal que los diagramas
−→
siguientes conmutan
S; −1O Ac
ρ
ρf ρg
lim A f
−
<→ a
µf µg
Af / Ag
f
ρg
lı́m{xn } = x ∈ M
Ahora, como f (x) ≡ g1 (x)h1 (x) (mód m[x]), entonces f (x) − g1 (x)h1 (x) = t(x)
con t(x) ∈ m[x] y ası́, substituyendo en la congruencia anterior debemos resolver
para r1 y s1 la congruencia
donde cada término t(x), r1 (x)h1 (x) y s1 (x)g1 (x) tiene coeficientes en m. Ahora,
como por hipótesis g1 y h1 son coprimos en k[x], existen a(x), b(x) ∈ A[x] tales que
y esto resuelve la congruencia (∗) poniendo e r1 (x) := b(x)t(x) y se1 (x) := a(x)t(x);
sin embargo, tenemos el problema de que no se tiene control sobre el grado de e r1 (x)
y por lo tanto no podemos garantizar que g1 (x) + e r1 (x) sea mónico (y éste es el
candidato para g2 (x)). Para remediar esto observemos que lo que necesitamos es
un polinomio er1 (x) que satisfaga que gr(e
r1 ) < gr(g1 ). Ahora, dividiendo e r1 (x) por
7 Topologı́as, filtraciones y completaciones 181
g1 (x) obtenemos e r1 (x) = g1 (x)q(x) + r1 (x) con gr(r1 ) < gr(g1 ) y poniendo s1 :=
se1 (x) + h1 (x)q(x) se sigue que
r1 h1 + s1 g1 ≡ (e
r1 − g1 q)h1 + (e s1 + h1 q)g1
=er1 h1 − g1 h1 q + se1 g1 + g1 h1 q
=er1 h1 + se1 g1
≡ t (mód m2 [x]),
la última congruencia porque e r1 y se1 son soluciones de (∗); se sigue que los po-
linomios r1 (x) y s1 (x) de A[x] también son soluciones de la congruencia (∗) pero
ahora con la condición de que gr(r1 ) < gr(g1 ), por lo que g2 (x) := g1 (x) + r1 (x) es
mónico y tiene grado m = gr(g). Claramente, g2 (x) ≡ g1 (x) (mód m1 [x]). Más aún,
poniendo h2 (x) := h1 (x) + s1 (x) se tiene que h2 (x) ≡ h1 (x) (mód m1 [x]) y
(1) Si g, h ∈ A[x] son los polinomios que levantan G, H ∈ k[x] en un anillo hense-
liano, entonces g y h son estrictamente coprimos, en A[x], es decir, hg, hi = A[x]. De
hecho, en general si g, h ∈ A[x] son tales que g, h ∈ k[x] son coprimos y g es mónico,
entonces g y h son estrictamente coprimos en A[x]. En efecto, sea M = A[x]/hg, hi.
Observe que como f es mónico, entonces M es finitamente generado como A-módu-
lo, y como hg, hi = k[x], entonces hg, hi + mA[x] = A[x] y ası́ mM = M. Por el lema
de Nakayama se sigue que M = 0, como se querı́a.
(2) La factorización f = gh en A[x] es única. En efecto, si f = gh = g0 h0 , con
0
g, h, g0 , h0 mónicos tales que g = g0 , h = h y g, h coprimos, por la observación (1)
g y h0 son estrictamente coprimos en A[x], i.e., hg, h0 i = A[x] y por lo tanto existen
r, s ∈ A[x] tales que gr = h0 s = 1. Entonces,
g0 = g0 · 1 = g0 gr + g0 h0 s = g0 gr + gghs
y ası́ g|g0 y como ambos son mónicos del mismo grado, deben ser iguales.
Ejemplo 21. Por definición, anillos locales (A, m) completos en la topologı́a m-ádi-
ca, son henselianos, en particular lo son los campos K. Antes de poder dar más
ejemplos, necesitaremos dar algunas caracterizaciones de los anillos henselianos y
para esto necesitaremos algunos resultados sobre álgebras, que además tienen in-
terés propio.
A ' Li × · · · × Ln .
Lema 7.33 Sean k un campo y A una k-álgebra conmutativa de tipo finito. Son
equivalentes,
(1) A es isomorfa a un producto directo finito de extensiones finitas de k.
(2) A es reducida, i.e., nil A = 0.
Demostración. La implicación (1) ⇒ (2) es obvia. Para la otra implicación, des-
componiendo A como un producto directo de un número finito de k-álgebras ines-
cindibles (simples) podemos asumir que A es simple. Entonces, sus únicos idempo-
tentes son 0 y 1, ya que si e ∈ A es idempotente con e 6= 0, 1, entonces se tiene que
A ' Ae+A(1−e) es una descomposición no trivial de A ya que e(1−e) = e−e2 = 0.
Probaremos ahora que todo 0 6= a ∈ A es invertible y por lo tanto A es un campo,
como se quiere. En efecto, como dimk A es finita la cadena de ideales
hai ⊇ ha2 i ⊇ · · ·
se estaciona y por lo tanto existe un entero n tal que an = an+1 b para algún b ∈ A.
Iterando esta igualdad se sigue que an = an+i bn para todo i > 0. En particular, an =
7 Topologı́as, filtraciones y completaciones 183
Ared
184 7 Topologı́as, filtraciones y completaciones
A / ka
?
Li
Observe ahora que como [Li : k] < ∞, el número de inmersions Li → ka que dejan
fijo a k es ≤ [Li : k] y se tiene la igualdad si y sólo si Li /k es separable (vea el
ejercicio 8 del capı́tulo 5). Ası́,
n
(1) | Homk (A, ka )| ≤ | Homk (Ared , ka )| ≤ ∑ [Li : k] = dimk Ared ≤ dimk A,
i=1
(x − α) p = x p α p = x p − a = 0
B = ∏ Bi .
Note que los Bi deben ser necesariamente isomorfos a los anillos Bmi para mi los
ideales máximos de B.
(3) Si f : A → B es étale y existe q ∈ Spec B tal que para p = f −1 (q) ∈ Spec A se
tiene que k(p) = k(q), entonces existe una sección s : B → A de f , i.e., s ◦ f = idA .
(4) Sean f1 , . . . , fn ∈ A[x1 , . . . , xn ]. Si existe un punto a = (a1 , . . . , an ) ∈ kn tal que
f i (a) = 0 para todo i = 1, . . . , n y además
∂ f
i
det = 0,
∂xj a
Ejercicios
7.1. Para el lector que necesite recordar algunos resultados de análisis, en el contex-
to de módulos filtrados Hausdorff, los ejercicios siguientes pueden ser necesarios.
Sea M un módulo con una filtración {Mn }n∈Z tal que la topologı́a correspondiente
es Hausdorff. Sean {xn } y {yn } sucesiones en M. Demuestre que:
186 7 Topologı́as, filtraciones y completaciones
con n0 ∈ Z y an ∈ K.
188 7 Topologı́as, filtraciones y completaciones
para todo m ≥ k(n). Dicho de otra forma, la imagen de Mm se estabiliza para m su-
ficientemente grande. Por ejemplo, si el sistema {Mn }n≥0 es suprayectivo, es decir,
los morfismos fn : Mn+1 → Mn son suprayectivos (vea 7.8(2)), entonces claramente
satisface la condición de Mittag-Lefler.
Si {Mn }n≥0 satisface la condición de Mittag-Lefler y d : ∏ Mn → ∏ Mn es el mor-
fismo d(xi ) = (xi − fij (x j )) (vea la demostración de 7.8), demuestre que Coker d = 0.
En términos de funtores derivados, se está pidiendo probar que el primer funtor de-
rivado del lı́mite inverso es cero:
lim1 {Mn } = 0.
←−
Sugerencia: Muestre que puede suponerse que la función k(n) es monótona crecien-
te.
7.27. Si (A, m) es un anillo local, demuestre que:
(Â, m̂) es local.
A es regular si y sólo si  es regular.
dim A = dim Â.
Capı́tulo 8
Derivaciones y diferenciales de Kähler
189
190 8 Derivaciones y diferenciales de Kähler
a · (x ⊗ y (mód I 2 )) := ax ⊗ y (mód I 2 ).
d(a) := 1 ⊗ a − a ⊗ 1 (mód I 2 ),
D
} f
M
y consecuentemente se tiene un isomorfismo natural de A-módulos
1 i ε
0 → A −→ A ⊗k A −→ A → 0
y por lo tanto
(A ⊗k A)/I 2 ' ρi1 (A) ⊕ ΩA/k
8 Derivaciones y diferenciales de Kähler 191
φ : A ⊗k A → A n M
dado por x ⊗ y 7→ (xy, xDy) donde observamos que φ (I) ⊆ M ya que I = ker(ε) con
ε(x⊗y) = xy; además, como M = 0nM ⊆ AnM, entonces (0, x)·(0, x0 ) = (0, 0) por
lo que M 2 = 0 y consecuentemente φ (I 2 ) = 0; se sigue que φ induce un morfismo
de A-álgebras
φ : (A ⊗k A)/I 2 −→ A n M
que manda dy ∈ ΩA/k = I/I 2 ⊆ A ⊗k A/I 2 en
φ (dy) = φ (1 ⊗ y − y ⊗ 1) = φ (1 ⊗ y) − φ (y ⊗ 1)
= (y, Dy) − (y, yD(1)) = (y, Dy) − (y, 0)
= (0, Dy).
Se sigue que la restricción de φ a ΩA/k = I/I 2 ⊆ (A⊗k A)/I 2 manda a dy a (0, Dy)
y por lo tanto si definimos f como la composición
φ
f : ΩA/k = (0, ΩA/k ) ⊆ A n ΩA/k = (A ⊗k A)/I 2 −→ M = (0, M) ⊆ A n M
Lema 8.2 Sea K/k una extensión de campos y sea d ∈ Derk (K, K) ' ΩK/k una
derivación. Sean a ∈ K y f (x) ∈ k[x] ⊆ K[x]. Entonces
t
u
donde fi = ∂ /∂ Xi .
con f 0 (a) 6= 0. Se sigue que da = 0 para cada a ∈ K, y como ΩK/k está generado
por los da entonces ΩK/k = 0.
i-ésima. Entonces ∂ /∂ xi ∈ Derk (A) := Derk (A, A) y ası́ por la propiedad universal
existe una aplicación lineal f : ΩA/k → A tal que
∂xj
f (dx j ) = = δi j
∂ xi
(la delta de Kronecker). Aplicando f a la combinación lineal ∑ j f j dx j = 0 obtene-
mos
0 = f ∑ f j dx j = ∑ f j f (dx j ) = ∑ f j δi j = f j
j j j
donde g(dL/k z) = dL/K z y f (x ⊗ dK/k y) = xdL/k ψ(y). Más aún, la aplicación f tiene
inversa izquierda, i.e., f es inyectiva, si y sólo si cualquier k-derivación de K en un
L-módulo T se puede extender a una k-derivación de L en T .
Demostración. Claramente g es suprayectivo. Ahora, si x ⊗ dK/k y ∈ L ⊗K ΩK/k en-
tonces
g f (x ⊗ dy) = g(xdψ(y)) = xdψ(y) = 0
porque y ∈ K implica dL/K ψ(y) = 0 por K-linealidad. Se sigue que g f = 0. Para
probar que ker(g) ⊆ Im( f ) es suficiente mostrar que la sucesión
f∗ g∗
HomL (L ⊗K ΩK/k , T ) ←− HomL (ΩL/k , T ) ←− HomL (ΩL/K , T )
es exacta para todo L-módulo T (en nuestro caso se toma T = Coker( f )). Pero, para
esta sucesión de Hom’s recordemos que se tienen isomorfismos canónicos (2.12):
194 8 Derivaciones y diferenciales de Kähler
y también HomL (ΩL/k , T ) ' Derk (L, T ) y HomL (ΩL/K , T ) ' DerK (L, T ), de tal for-
ma que la sucesión de Hom’s anterior se puede identificar con la sucesión
f∗ g∗
Derk (K, T ) ←− Derk (L, T ) ←− DerK (L, T )
φ ψ
Regresando ahora a la situación k −→ K −→ L del teorema anterior, supongamos
además que ψ es un epimorfismo; entonces ΩL/K = 0 (ya que en general dz = 0
siempre que z esté en la imagen de ψ, por K-linealidad), pero la primera sucesión
exacta se puede extender hacia la izquierda como sigue:
φ ψ
Teorema 8.5 (Segunda sucesión fundamental) Sean k −→ K −→ L morfismos de
k-álgebras con ψ suprayectivo. Sea J = ker(ψ) ⊆ K. Entonces, existe una sucesión
exacta de L-módulos
d Dψ
J/J 2 −→ L ⊗K ΩK/k −→ ΩL/k → 0
donde d : z 7→ 1 ⊗ dz y Dψ : x ⊗ dy 7→ xdψ(y).
Demostración. Observemos primero que d manda J 2 en 0 (de tal forma que el mor-
fismo d de la sucesión del teorema está bien definido en J/J 2 ) ya que d : J →
L ⊗K ΩK/k dado por z 7→ 1 ⊗ dK/k z está a su vez dado por la restricción a J de
la derivación universal d : K → ΩK/k ; ası́, si z ∈ K y x ∈ J entonces por la regla
de Leibniz d(zx) = zdx + xdz se tiene que d induce una aplicación K-lineal J →
(ΩK/k )/(JΩK/k ) ' L ⊗K ΩK/k (para el isomorfismo, vea el ejercicio 9 del capı́tulo
2 y use que L ' K/J). Se sigue que si z, x ∈ J entonces d(zx) = zdx + xdz ∈ JΩK/k ,
i.e., d(zx) = 0 en el cociente y por lo tanto d(J 2 ) = 0 y ası́ induce la aplicación de
L-módulos
8 Derivaciones y diferenciales de Kähler 195
d : J/J 2 −→ L ⊗K ΩK/k
del enunciado del teorema. Para probar la exactitud de la sucesión del teorema,
observemos primero que Dψ dada por Dψ(x ⊗ dK/k y) := xdL/k ψ(y) es suprayectivo
ya que ψ : K → L lo es.
Más aún, la composición Dψ ◦ d = 0 ya que si x ∈ J ⊆ K entonces
d∗ Dψ ∗
HomL (J/J 2 , T ) ←− HomL (L ⊗K ΩK/k , T ) ←− HomL (ΩL/K , T )
d∗ Dψ ∗
HomK (J, T ) ←− Derk (K, T ) ←− Derk (K/J, T )
∑ d(ai )α i
D(α) := − ,
m0 (α)
0 = d f = ∑ fi (α1 , . . . , αn )dαi ,
∞
veremos que la separabilidad de K/k depende de la relación entre K y k1/p . Pero
antes, recordemos que si K y L son subcampos de otro campo F y KL es el campo
compuesto, decimos que K y L son linealmente disjuntos sobre k si el morfismo
198 8 Derivaciones y diferenciales de Kähler
y por lo tanto los elementos a1p , . . . , anp forman una base de L/k y ası́ son linealmente
independientes como se querı́a.
Recı́procamente, supongamos ahora que K y k1/p son linealmente disjuntos sobre
k y sea α ∈ K cualquier elemento. Sean f (X) = Irr(α, k) y m = gr( f ).
Si r es cualquier entero ≤ m, entonces los r elementos de K: 1, α, . . . , α r−1 son
linealmente independientes sobre k y como K y k1/p son linealmente disjuntos sobre
k, entonces estos elementos son linealmente independientes sobre k1/p , i.e., sus p-
potencias son linealmente independientes sobre k y por lo tanto f (X) 6∈ k[X p ], i.e.,
f (X) es separable y por lo tanto α es separable sobre k. t
u
L ⊗k K 0 ,
[
L ⊗k K '
k⊆K 0 ⊆K
K0
k
donde K 0 /k es totalmente trascendente finitamente generada y K/K 0 es algebraica
finita (y separable, ya que K/k lo es por hipótesis). Entonces
L ⊗k K = (L ⊗K 0 K 0 ) ⊗k K = L ⊗K 0 (K 0 ⊗k K)
L ⊗k K 0 = L ⊗k k(α1 , . . . , αn ) = L(α1 , . . . , αn )
donde K 0 recorre los subcampos K 0 ⊆ k1/p que son extensiones finitas de k; ası́, es
suficiente probar que K es linealmente disjunto de K 0 para esos K 0 .
Comenzamos observando que K 0 ⊆ k1/p se obtiene adjuntando raı́ces p-ésimas
a k de tal forma que podemos elegir un campo intermedio k ⊆ K10 ⊆ K 0 tal que
K 0 = K10 (α) para algún α tal que α p ∈ K10 y α 6∈ K10 (puede suceder que K10 = k).
Ahora, como
K 0 ⊗k K = (K 0 ⊗K 0 K10 ) ⊗k K = K 0 ⊗K 0 (K10 ⊗k K)
1 1
y como
k1/p ⊗k K = (k1/p ⊗K 0 K10 ) ⊗k K = k1/p ⊗K 0 (K10 ⊗k K)
1 1
x p − α = (x − α 1/p ) p
ya que α p ∈ k ⊆ K, y ası́
k(α1 , . . . , αr )
k
con r = grtr(K 0 /k), i.e., α1 , . . . , αr es una base trascendente de K 0 /k y además
αr+1 , . . . , αn son algebraicos sobre k(α1 , . . . , αr ); supongamos ahora que αr+1 ,
. . . , αq son algebraicos y separables sobre k(α1 , . . . , αr ) y que αq+1 no lo es. Pon-
gamos β = αq+1 y sea f (Y p ) = Irr(β , k(α1 , . . . , αr )). Los coeficientes de f (Y p )
son, por definición, funciones racionales en α1 , . . . , αr de tal forma que eliminando
denominadores obtenemos un polinomio irreducible
F(X1 , . . . , Xr ,Y p ) ∈ k[X1 , . . . , Xr ,Y ]
Para extensiones K/k que no son algebraicas no se tiene una equivalencia com-
pleta, como la de la proposición 8.8, entre las propiedades de ser separablemente
generada y ser separable, a menos que K/k sea finitamente generada:
Teorema 8.10 Sea K/k una extensión de campos de caracterı́stica p > 0.
(1) Si K/k es separablemente generada, entonces K/k es separable.
202 8 Derivaciones y diferenciales de Kähler
∑ ω jp = g(α1p , . . . , αr+1
p
) = f (α1 , . . . , αr+1 ) = 0
j
t
u
204 8 Derivaciones y diferenciales de Kähler
g(α1 , . . . , αn−1 ) − αn = 0
i
entre el monomio αn y los monomios α1i1 · · · αn−1
n−1
, 1 ≤ it < p, que aparecen en g, lo
cual contradice la hipótesis de que B es p-independiente. t
u
Corolario 8.13 Toda extensión K/k de campos de caracterı́stica p > 0 tiene una
p-base y cualesquiera dos p-bases de K tienen la misma cardinalidad.
Demostración. K tiene una base B como K 0 = kK p -espacio vectorial y ası́ cual-
quier subconjunto finito S ⊆ B es K 0 -linealmente independiente y por lo tanto es
p-independiente por la proposición anterior. t
u
Proposición 8.14 Si K/k es una extensión separable finitamente generada de cam-
pos de caracterı́stica p > 0 y B es una p-base de K/k, entonces K/k(B) es una
extensión finita y separable, y B es una base trascendente de K/k.
Demostración. Supongamos que B es algebraicamente dependiente sobre k, diga-
mos que b1 , . . . , bn ∈ B son algebraicamente dependientes sobre k. Sea 0 6= f ∈
k[X1 , . . . , Xn ] un polinomio de grado mı́nimo tal que f (b1 , . . . , bn ) = 0; sea d = gr( f )
y escribamos
f (X1 , . . . , Xn ) = h(X1 , . . . , Xn ) p
Teorema 8.15 Sea K/k una extensión de campos finitamente generada y sea B =
{αi }i∈Λ un subconjunto de K. Entonces, {dαi }i∈Λ es una base diferencial de ΩK/k
si y sólo si:
(1) car(K) = 0 y {αi }i∈Λ es una base trascendente de K/k.
ó
(2) car(K) = p > 0 y {αi }i∈Λ es una p-base de K/k.
Demostración. Como K/k es finitamente generada, podemos suponer que {αi }i∈Λ =
{α1 , . . . , αn } es un conjunto finito.
(1): Supongamos que car(K) = 0 y que {α1 , . . . , αn } es una base trascendente de
K/k. Entonces, K/k(α1 , . . . , αn ) es algebraica (y por lo tanto separable, ya que es-
tamos en caracterı́stica 0) y ası́ la demostración continúa igual que la de 8.7.
(2): Supongamos ahora que car(K) = p > 0. Si B = {αi }i∈Λ es una p-base de K
sobre k. Mostraremos que cualquier función f : Λ → K tiene una única extensión
a una derivación D ∈ Derk (K). En efecto, dado un p-monomio de B, α1r1 · · · αnrn ,
pongamos
n
D(α1r1 · · · αnrn ) := ∑ ri α1r1 · · · αiri −1 · · · αnrn f (αi ),
i=1
Ejercicios
8.1. Si A es una k-álgebra y D ∈ Derk (A, A) es una derivación, note que usando el
producto de A se tiene un producto en Derk (A, A). Demuestre que las potencias de
D ∈ Derk (A, A) satisfacen la regla de Leibniz general:
n
n n i n−i
D (ab) = ∑ D aD b.
i=1 i
L((T1 , . . . , Tn ))/K((T1 , . . . , Tn ))
209
Índice alfabético
211
212 Índice alfabético
fiel, 81 lema
fielmente plano, 41 de Artin-Rees, 170
filtración de Gauss, 3
cociente, 156 de Hensel, 179
en un anillo, 155 de Krull, 73
en un módulo, 155 de la serpiente, 33
estable, 169 de Nakayama, 90
I-ádica, 156 de normalización de Noether, 67
inducida, 156 de Schur, 52
p-ádica, 163 de Zariski, 71
trivial, 156 de Zorn, 7
finitamente generado, 31 del quinto, 34
finitamente presentado, 84 lı́mite directo, 176
función lı́mite inverso, 161
Índice alfabético 213
linealiza, 35 pertenecen, 96
linealmente disjuntos, 197 plano, 40
liso, 147 polinomio
local a global, 77 primitivo, 2
localización, 58 potencia simbólica, 144
longitud, 104 presentación finita, 84
finita, 104 primario, 94
primera sucesión fundamental, 193
módulo primo, 2
artiniano, 110 aislado, 98
cociente, 30 encajado, 98
completo, 168 producto
fiel, 81 de ideales, 5
fielmente plano, 41 de variedades afines, 49
filtrado, 156 directo de módulos, 31
finitamente generado, 31 fibrado, 50, 51
graduado, 168 tensorial, 37
graduado asociado, 169 propiedad local, 77
libre, 32 propiedad universal del producto tensorial, 36
noetheriano, 109 punto liso, 150
plano, 40 puntos
simple, 52 genéricos, 13
topológico, 156
Mittag-Lefler, 188 radical, 25
monomorfismo, 29 de Jacobson, 89
morfismo de un ideal, 9
local, 85 radical de Jacobson, 19
canónico, 56 reducido, 77, 109
de A-álgebras, 42 regla de Leibniz, 189
de anillos, 1 regular, 147
de conexión, 33 restricción de escalares, 41, 52
de módulos, 29
de módulos filtrados, 156 segunda sucesión fundamental, 194
de módulos graduados, 168 separablemente generada, 197
de sistemas inversos, 164 serie de composición, 103
fielmente plano, 85 series de Laurent, 187
frontera, 33 singular, 147
identidad, 29 sistema
plano, 85 directo, 176
multilineal, 52 inverso, 159, 160
soporte, 111
núcleo, 30 subanillo, 1
número de clase, 130 subconjunto multiplicativo, 56
nilpotente, 10 subconjunto multiplicativo generado, 79
nilradical, 10 submódulo, 30
no singular, 147 de torsión, 83
noetheriano, 87 generado por un conjunto, 31
norma, 120 sucesión
de un elemento, 66 convergente, 158
norma de un ideal, 123 de Cauchy, 158
norma euclidiana, 133 exacta, 32
corta, 32
p-primario, 94 suma
parámetro uniformizador, 116 de ideales, 4, 5
214 Índice alfabético
de módulos, 31 topologı́a
directa de módulos, 31 de Zariski, 9, 17
torsión, 83
tangente de Zariski, 147 traslación izquierda, 154
teorema traza, 120
de intersección de Krull, 91, 172
de Jordan-Hölder, 111 ultramétrica, 157
de la base de Hilbert, 88
de los ceros de Hilbert, 71 valuación, 114
de MacLane, 198 discreta, 114
del ideal principal de Krull, 144 p-ádica, 115
generalizado del ideal principal de Krull, variedad afı́n, 17
146 variedad algebraica afı́n, 17