Álgebra II

6 de abril de 2018

En estos apuntes A denotará siempre un anillo, y k un cuerpo.

1. Anillos de Fracciones
Definición: S ⊆ A es un sistema multiplicativo si 1 ∈ S, y s, t ∈ S ⇒ st ∈ S.
Consideremos en A × S la siguiente relación,

(a, s) ≡ (b, t) ⇔ existen u, v ∈ S tales que au = bv, su = tv,

que es de equivalencia. Claramente es simétrica y reflexiva, y es transitiva:

Si (a, s) ≡ (b, t) ≡ (c, r), existen u, v, u′ , v ′ ∈ S tales que au = bv, su = tv,
bu = cv ′ , tu′ = rv ′ . Luego auu′ = bvu′ = cvv ′ , suu′ = tvu′ = rvv ′ , donde
′

uu′ , vv ′ ∈ S porque S es un sistema multiplicativo; ası́ que (a, s) ≡ (c, r).

La localización AS de A por S, o anillo de fracciones con denominador
en S, es el conjunto cociente (A × S)/ ≡, con la estructura de anillo

a b at + bs a b ab
+ = , · =
s t st s t st

su para todo u ∈ S.
donde as denota la clase de (a, s), de modo que as = au
Para ver que estas operaciones no dependen de los representantes elegidos,
basta comprobarlo cuando as se sustituye por au
su :

au b (at + bs)u at + bs au b abu ab

+ = = , · = =
su t stu st su t stu st
En AS , tenemos que 0 = 0s , 1 = ss , y − as = −a
s .
Además, as = 0 si y sólo si ua = 0 para algún u ∈ S.
Luego as = bt si y sólo si u(at − bs) = 0 para algún u ∈ S.
El morfismo de anillos γ : A → AS , γ(a) = a1 , es el morfismo de localiza-
ción, y γ(s) es invertible en AS para todo s ∈ S, pues su inverso es 1s .

Teorema: Si A es ı́ntegro, entonces S = A − {0} es un sistema multiplicativo,

el morfismo canónico γ : A → AS es inyectivo, y el anillo AS es un cuerpo
(llamado cuerpo de fracciones de A).

1
Demostración: S es un sistema multiplicativo porque 1 ̸= 0, y el producto de
elementos no nulos nunca es nulo, cuando A es ı́ntegro. Además, si a1 = 0, existe
s ̸= 0 tal que sa = 0; luego a = 0. Es decir, γ es inyectivo, y AS ̸= 0.
Si as ̸= 0, entonces a ̸= 0. Luego a ∈ S, y as ∈ AS es el inverso de as en AS .

Proposición: Si J es un ideal de AS , existe un ideal I de A tal que J = IAS =

{ as ; a ∈ I}.

Demostración: Claramente I = {a ∈ A : a1 ∈ J} es un ideal de A, y { as ; a ∈

I} ⊆ IAS ⊆ J.
Ahora, si bt ∈ J, entonces 1b = 1t bt ∈ J; luego b ∈ I y bt ∈ { as ; a ∈ I}.

Propiedad Universal: Si f : A → B es un morfismo de anillos y f (s) es

invertible en B para todo s ∈ S, entonces existe un único morfismo de anillos
ψ : AS → B tal que ψ( a1 ) = f (a),

A6
f
/B f = ψγ
66 D
γ 66 
  ψ
AS

Demostración: El único morfismo posible, ψ : AS → B, ψ( as ) = f (a)f (s)−1 , no

depende del representante as elegido,
−1
ψ( au
su ) = f (au)f (su) = f (a)f (u)f (s)−1 f (u)−1 = f (a)f (s)−1 .

Ejemplos: El cuerpo de fracciones del anillo Z es Q.

Si k es un cuerpo, el anillo de polinomios k[x1 , . . . , xn ] es ı́ntegro y su cuerpo
de fracciones k(x1 , . . . , xn ) se llama cuerpo de fracciones racionales en n
indeterminadas con coeficientes en k.

Definición: Un dominio de factorización única es un anillo ı́ntegro en que

todo elemento propio descompone, de modo único salvo el orden y factores
invertibles, en producto de elementos irreducibles (Es decir, si a ∈ A no es nulo
ni invertible, existen irreducibles p1 , . . . , pr ∈ A, r ≥ 1, tales que a = p1 · · · pr . Si
a = q1 · · · qs es otra descomposición de a en producto de irreducibles, entonces
r = s y, después de reordenar los factores si fuera preciso, qi = ui pi para ciertos
invertibles u1 , . . . , ur ∈ A).

Ejemplos: Los dominios de ideales principales (Z, k[x],...) son DFU.

En los DFU vale el lema de Euclides (ca. 325 a. C.-ca. 265 a. C.): Si
un elemento irreducible p divide a un producto de elementos, entonces divide
a algún factor (es decir, pA es un ideal primo de A). En efecto, si bc = pa,
al descomponer b y c en producto de irreducibles, algún factor debe coincidir,
salvo un invertible, con p; luego b ó c es múltiplo de p. q.e.d.

2
 Las demostraciones dadas en Z prueban las siguientes afirmaciones en cual-
quier anillo A que sea DFU (donde Σ denota su cuerpo de fracciones):
Si d|bc y no tiene factores irreducibles comunes con b, entonces d|c.
Si p(x) = c0 xn + c1 xn−1 + . . . + cn ∈ A[x] y α es una raı́z de p(x) en Σ, entonces
α = a/b donde a ∈ A divide a cn y b divide a c0 .
Cualquier elemento de Σ que sea raı́z de un polinomio unitario con coeficientes
en A necesariamente está en A.

Lema de Gauss (1777-1855): Si un polinomio no constante en A[x] descompone

en producto de polinomios con coeficientes en Σ, multiplicando los factores por
constantes tenemos una descomposición en A[x].
En particular, si q(x) es irreducible en A[x], también lo es en Σ[x].

Corolario: Un polinomio no constante, con coeficientes en A y sin factores

irreducibles comunes, es irreducible en A[x] si y sólo si es irreducible Σ[x].
Si el producto de dos polinomios unitarios con coeficientes en Σ tiene coefi-
cientes en A, ambos polinomios tienen coeficientes en A.

Criterio de Eisenstein (1823-1852): Sea q(x) = c0 xn +c1 xn−1 +. . .+cn ∈ A[x]

no constante. Si los coeficientes carecen de factores irreducibles comunes y existe
un elemento irreducible p ∈ A que divide a c1 , . . . , cn y p2 no divide a cn ,
entonces q(x) es irreducible en A[x], (y en Σ[x] por el lema de Gauss).

Lema: Si un anillo A es ı́ntegro, entonces A[x] es ı́ntegro y A[x]∗ = A∗ .

Demostración: (an xn + . . .)(bm xm + . . .) = an bm xn+m + . . ., ası́ que gr (P Q) =

gr P + gr Q. Luego A[x] es ı́ntegro, y los invertibles son de grado 0.

Teorema: Si A es un dominio de factorización única, A[x] también lo es.

Demostración: La descomposición en factores irreducibles de P ∈ A[x] se prueba

por inducción sobre el grado. Pongamos P = dQ, donde los coeficientes de Q
ya no tienen factores irreducibles comunes.
Si Q es irreducible, P = dQ es producto de irreducibles.
Si Q no es irreducible, Q = Q1 Q2 , donde Q1 y Q2 no pueden ser constantes;
luego son de grado menor que Q, y son producto de irreducibles por inducción;
luego P = dQ1 Q2 también.
Unicidad : Consideremos dos descomposiciones en factores irreducibles,

p1 . . . pr P1 (x) . . . Ps (x) = q1 . . . qm Q1 (x) . . . Qn (x),

donde pi , qj ∈ A; gr Pi , gr Qj ≥ 1. Sea Σ el cuerpo de fracciones de A.

El anillo Σ[x] es euclı́deo, y los factores Pi , Qj son irreducibles en Σ[x] por
el lema de Gauss.

3
 Luego s = n, y reordenando tendremos Qi = abii Pi (donde ai , bi no tienen
factores irreducibles comunes); bi Qi = ai Pi , y los factores irreducibles de bi
(resp. ai ) dividirı́an a Pi (resp. Qi ), que es irreducible: ai y bi son invertibles, y
p1 · · · pr = uq1 · · · qm , con u ∈ A invertible.
Luego r = m y, reordenando los factores, pi = qi salvo invertibles.

Corolario: Z[x1 , . . . , xn ] y k[x1 , . . . , xn ] son dominios de factorización única.

Demostración: Por inducción sobre n, pues A[x1 , . . . , xn ] = A[x1 , . . . , xn−1 ][xn ].

2. Anillos y Módulos Noetherianos

Lema: Si M es un A-módulo, las siguientes condiciones son equivalentes:

1. Todo submódulo N de M es finito generado: N = Am1 + . . . + Amn .

2. Toda sucesión creciente M1 ⊆ M2 ⊆ . . . ⊆ Mn ⊆ . . . de submódulos de M
estabiliza: existe un ı́ndice r tal que Mr = Mr+i para todo i ∈ N (es decir,
toda sucesión estrictamente creciente de submódulos de M es finita).

Demostración: (1 ⇒ 2) Dada una sucesión

∪ creciente M1 ⊆ M2 ⊆ . . . ⊆ Mn ⊆ . . .
de submódulos de M , veamos que N = n Mn es un submódulo: 0 ∈ N porque
0 ∈ M1 , y si m, n ∈ N , entonces m ∈ Mi , n ∈ Mj para ciertos ı́ndices i, j.
Tomando k ≥ i, j tendremos que m, n ∈ Mk . Luego m + n ∈ Mk ⊆ N y
am ∈ Mk ⊆ N para todo a ∈ A, porque Mk es submódulo.
Por hipótesis N = Am1 +. . .+Amn para ciertos elementos m1 , . . . , mn ∈ N ,
y tomando un ı́ndice r suficientemente grande tendremos que m1 , . . . , mn ∈ Mr ,
de modo que Mr ⊆ Mr+i ⊆ N = Am1 + . . . + Amn ⊆ Mr , porque Mr es un
submódulo, y concluimos que Mr = Mr+i para todo i ∈ N.
(2 ⇒ 1) Procedemos por reducción al absurdo.
Supongamos que existe un submódulo N de M que no es finito generado.
Tomamos m1 ∈ N , y Am1 ⊂ N porque N no es finito generado. Luego existe
m2 ∈ N tal que m2 ∈ / Am1 , de modo que Am1 ⊂ Am1 +Am2 , y Am1 +Am2 ⊂ N
porque N no es finito generado. Luego existe m3 ∈ N tal que m3 ∈ / Am1 + Am2 ,
de modo que Am1 +Am2 ⊂ Am1 +Am2 +Am3 , y Am1 +Am2 +Am3 ⊂ N porque
N no es finito generado... Obtenemos ası́ una sucesión infinita estrictamente
creciente de submódulos de M , en contra de la hipótesis de que no existen,

Am1 ⊂ Am1 + Am2 ⊂ Am1 + Am2 + Am3 ⊂ ...

Definición: Un A-módulo es noetheriano si todos sus submódulos son finito

generados, es decir, si toda sucesión creciente de submódulos de M estabiliza.
Un anillo A es noetheriano si lo es como A-módulo; es decir, si todos sus
ideales son finito generados.

Ejemplos: Los dominios de ideales principales (Z, k[x],...) son noetherianos.

4
 i p
Lema: Sea 0 → M ′ −→M − → M ′′ → 0 una sucesión exacta de A-módulos. El
A-módulo M es noetheriano si y sólo si M ′ y M ′′ lo son.

Demostración: Si M es noetheriano, todos sus submódulos son noetherianos

(luego M ′ ≃ i(M ′ ) es noetheriano) y todo submódulo N ′′ de M ′′ es finito
generado, N ′′ = p(p−1 (N ′′ )) = p(An1 + . . . + Ans ) = Ap(n1 ) + . . . + Ap(ns ).
Veamos el recı́proco. Si N es un submódulo de M , la sucesión
p
0 −→ M ′ ∩ N −−−→ N −−−→ p(N ) −→ 0
i

es exacta. Por hipótesis los A-módulos M ′ ∩ N y p(N ) son finito generados,

M ′ ∩ N = Am′1 + . . . + Am′n , p(N ) = Ap(m1 ) + . . . + Ap(mr ),

y terminamos al ver que i(m′1 ), . . . ∑

, i(m′n ), m1 , . . . , mr generan
∑ N:
Si∑m ∈ M , entonces
∑ p(m) ∑ = i a i p(m i ), y p(m
∑ − i a i m ) = 0. Luego
i∑
m − i ai mi = i( j a′j m′j ) = j a′j i(mj ), y m = j a′j i(m′j ) + i ai mi .

Teorema: Si A es noetheriano, todo A-módulo finito generado es noetheriano.

Demostración: Procediendo por inducción sobre n, las sucesiones exactas

0 −→ A −→ An −→ An−1 −→ 0

prueban que An es un A-módulo noetheriano; luego sus cocientes también.

Teorema de la Base de Hilbert (1862-1943): Si un anillo A es noetheriano,

el anillo de polinomios A[x] también es noetheriano.

Demostración: Llamaremos coeficiente director de un polinomio cn xn + . . . + c0

de grado n a cn , y convenimos que 0 es el coeficiente director del polinomio nulo.
Dado un ideal I de A[x], los coeficientes directores de los polinomios de I
forman un ideal a = a1 A + . . . + ar A de A (pruébese).
Tomemos polinomios pi (x) = ai xn + . . . ∈ I que, después de multiplicar por
ciertas potencias de x, podemos suponer todos de igual grado n. ∑
Si q(x)
∑ = m−n axm + . . . ∈ I, con m ≥ n, entonces tendremos a = i bi ai , y
gr (q − i bi x pi ) < m. Reiterando el proceso
∑ vemos que existen polinomios
c1 (x), . . . , cr (x) ∈ A[x] tales que gr (q(x) − i ci (x)pi (x)) < n; es decir,

I ⊆ (p1 , . . . , pr ) + (I ∩ L),

y L = A ⊕ Ax ⊕ . . . ⊕ Axn−1 es A-módulo noetheriano por el teorema anterior.

Luego I ∩ L es un A-módulo finito generado, I ∩ L = Aq1 (x) + . . . + Aqs (x),
y I ⊆ (p1 , . . . , pr , q1 , . . . , qs ). Concluimos que I = (p1 , . . . , pr , q1 , . . . , qs ), porque
la inclusión contraria es obvia al ser p1 , . . . , pr , q1 , . . . , qs ∈ I.

Definición: Una A-álgebra B es finito generada o de tipo finito cuando

existen ξ1 , . . . , ξn ∈ B tales que B = A[ξ1 , . . . , ξn ]; es decir, el morfismo de

5
A-álgebras A[x1 , . . . , xn ] → B, p(x1 , . . . , xn ) 7→ p(ξ1 , . . . , ξn ), es epiyectivo, de
modo que B ≃ A[x1 , . . . , xn ]/I para algún ideal I.

Corolario: Si A es noetheriano, toda A-álgebra finito generada es noetheriana.

Demostración: El anillo A[x1 , . . . , xn ] = A[x1 , . . . , xn−1 ][xn ] es noetheriano, por

inducción sobre n; luego también sus cocientes por ideales.

3. El Espectro de un Anillo
Definición: El espectro de un anillo A es el conjunto Spec A de sus ideales
primos. Los elementos f ∈ A son las funciones sobre Spec A, y el valor de f
en un punto x ∈ Spec A, definido por un primo p, es f (x) := [f ] ∈ A/p.
Aunque el anillo de valores varı́e con el punto, el cero está definido de modo
absoluto, y el ideal primo p de un punto x ∈ Spec A está formado por las
funciones que se anulan en tal punto,
p = {f ∈ A : f (x) = 0}
El hecho de que las funciones que se anulan en un punto dado forman un
ideal primo significa que
La función 0 se anula en todos los puntos.
Si dos funciones se anulan en un punto, su suma también.
Si una función se anula en un punto, sus múltiplos también.
Las funciones invertibles no se anulan en ningún punto.
Si un producto de funciones se anula en x, algún factor se anula en x.
Como todo anillo no nulo tiene algún ideal maximal (y por tanto primo),
todo anillo no nulo tiene espectro no vacı́o, y como todo elemento no invertible
de un anillo está en algún ideal maximal, las funciones invertibles son las que
no se anulan en ningún punto del espectro.

Definición: Llamaremos ceros de una función f ∈ A al subconjunto (f )0 de

Spec A formado por los puntos donde se anula f (es decir, los ideales primos de
A que contienen a f ), y llamaremos ceros de un ideal I de A al subconjunto de
Spec A formado por los puntos donde se anulen todas las funciones de I:
∩ [ ]
Ideales primos de A
(I)0 = (f )0 = {x ∈ Spec A : f (x) = 0, ∀f ∈ I} =
que contienen a I
f ∈I

En particular (f )0 = (f A)0 . Los ceros de los ideales son los cerrados de una
topologı́a en Spec A, llamada topologı́a de Zariski (1899-1986), porque
(0)0 = Spec A
(A)0 = ∅
∑ ∩
( j Ij )0 = j (Ij )0
(I ∩ J)0 = (I)0 ∪ (J)0 ,

6
y sólo la última igualdad requiere demostración. Si f1 ∈ I, f2 ∈ J no se anulan
en un punto x, entonces f1 f2 no se anula en x, y f1 f2 ∈ I ∩ J.
Los cerrados de la topologı́a de Zariski son las intersecciones arbitrarias de
ceros de funciones, de modo que los ceros de funciones forman una base de
cerrados de la topologı́a de Spec A; es decir, las funciones de A separan puntos
de cerrados en Spec A: dado un cerrado C y un punto x ∈ / C, existe f ∈ A que
se anula en C y no se anula en x. Por tanto, si IC es el ideal de formado por
todas las funciones que se anulen en el cerrado C, tenemos que C = (IC )0 .
Luego una base de abiertos de la topologı́a de Zariski de Spec A está formada
por los abiertos básicos

Uf := Spec A − (f )0 = {x ∈ Spec A : f (x) ̸= 0}

Como todo ideal I ̸= A está contenido en un ideal maximal de A, tenemos

que (I)0 = ∅ si y sólo si I = A, de modo que el Teorema chino de los restos
admite la siguiente reformulación:

Teorema Chino del Resto: Si dos ideales I, J de A no tienen ceros comunes,

(I)0 ∩ (J)0 = ∅, entonces I ∩ J = IJ y tenemos un isomorfismo de anillos

A/IJ = (A/I) × (A/J) .

Proposición: Si p es el ideal primo de un punto x ∈ Spec A, entonces x = (p)0 ,

y diremos que x es el punto genérico de su cierre x. Por tanto Spec A es T0
y sus puntos cerrados se corresponden con los ideales maximales de A.

Demostración: Un cerrado (I)0 pasa por el punto x cuando I ⊆ p, en cuyo caso

(p)0 ⊆ (I)0 . Luego (p)0 es el menor cerrado que contiene a x.

Teorema: El espectro de cualquier anillo es un espacio topológico compacto.

∩ ∑
Demostración:∑Dados cerrados con intersección vacı́a, ∅ = j (Ij )0 = ( j Ij )0 ,
tenemos que j Ij = A. Luego 1 = f1 + . . . + fn para ciertos f1 ∈ Ij1 , . . . , fn ∈
Ijn , y una subfamilia finita ya tiene intersección vacı́a,

(Ij1 )0 ∩ . . . ∩ (Ijn )0 = (Ij1 + . . . + Ijn )0 = (A)0 = ∅.

Definición: Un espacio topológico no vacı́o es irreducible cuando no pueda

descomponerse como unión de dos cerrados estrictamente menores. Llamaremos
componentes irreducibles de un espacio topológico X a los subespacios irre-
ducibles maximales de X, es decir, que no estén contenidos estrictamente en
otro subespacio irreducible.
El cierre de un subespacio irreducible también es irreducible y, en particular,
el cierre de cualquier punto es un cerrado irreducible. Luego las componentes
irreducibles de un espacio siempre son cerradas. Todo espacio irreducible es
conexo, ası́ que cada componente irreducible de un espacio X está contenida en

7
una componente conexa de X; pero un punto de X puede pertenecer a varias
componentes irreducibles.

Teorema: Cada cerrado irreducible de Spec A es el cierre de un único punto.

Por tanto, al asociar a cada ideal primo de A sus ceros, tenemos una corres-
pondencia biyectiva
[ ] [ ]
Ideales primos Cerrados irreducibles
=
del anillo A de Spec A

que invierte el orden. En particular, las componentes irreducibles de Spec A se

corresponden con los ideales primos minimales de A (ideales primos que no
contienen estrictamente a otro ideal primo).

Demostración: Sea Y un cerrado irreducible de Spec A. Si un producto de dos

funciones de A se anula en Y , algún factor se anula en Y , porque Y es irreducible;
ası́ que el ideal IY formado por las funciones de A que se anulan en Y es un
ideal primo p, y sabemos que Y = (IY )0 .
Luego Y es el cierre del punto de Spec A definido por el ideal primo IY .
La unicidad de tal punto se debe a que Spec A es T0 .

Definición: Sean x, y ∈ Spec A. Cuando y ∈ x, decimos que x es una genera-

lización de y, o que y es una especialización de x, y ponemos y ≤ x.
La dimensión de Krull (1899-1971) de un anillo A es el supremo de las
longitudes de las cadenas p0 ⊂ p1 ⊂ . . . ⊂ pn de ideales primos de A, y sólo
depende del espacio topológico Spec A, pues es el supremo de las longitudes de
las cadenas de especializaciones x0 > x1 > . . . > xn , o bien de las cadenas de
cerrados irreducibles Y0 ⊃ Y1 ⊃ . . . ⊃ Yn .

Definición: Un espacio topológico X es noetheriano si toda sucesión estricta-

mente decreciente de cerrados de X es finita; es decir, si toda sucesión decre-
ciente de cerrados estabiliza.

Proposición: Si A es un anillo noetheriano, entonces Spec A es un espacio

topológico noetheriano.

Demostración: Si Y1 ⊃ Y2 ⊃ . . . es una sucesión estrictamente decreciente de

cerrados de Spec A, y ponemos Ii = IYi , tenemos una sucesión creciente de
ideales I1 ⊂ I2 ⊂ . . ., que es estrictamente creciente porque (Ii )0 = Yi . Luego
ha de ser finita cuando el anillo A es noetheriano.

Teorema: Todo espacio noetheriano X descompone en unión de un número

finito de componentes irreducibles.

Demostración: Veamos primero que X es unión finita de cerrados irreducibles.

En caso contrario X no es irreducible, ası́ que es unión de dos cerrados más pe-
queños, alguno de los cuales tampoco será unión finita de cerrados irreducibles.

8
Reiterando el argumento con él obtenemos una sucesión infinita estrictamente
decreciente de cerrados de X, en contra de la noetherianidad de X.
Consideramos ahora una descomposición X = Y1 ∪ . . . ∪ Yr en unión de
cerrados irreducibles tales que no se den inclusiones Yi ⊆ Yj cuando i ̸= j.
Para todo cerrado irreducible Y tenemos que Y = (Y1 ∩ Y ) ∪ . . . ∪ (Yr ∩ Y );
luego Y = Yi ∩ Y , y por tanto Y ⊆ Yi , para algún ı́ndice i.
Es decir, Y1 , . . . , Yr son las componentes irreducibles de X.

Corolario: Todo anillo noetheriano A tiene un número finito de ideales primos

minimales y cada ideal primo de A contiene algún ideal primo minimal.

Corolario: Todo anillo noetheriano de dimensión 0 tiene un número finito de

ideales primos, y todos son maximales.

Demostración: En dimensión 0, todo ideal primo es minimal y maximal.

Definición: Llamaremos variedad algebraica (afı́n) sobre un cuerpo k a

toda pareja (X, A) formada por una k-álgebra de tipo finito A y su espectro
X = Spec A. Diremos que la variedad es ı́ntegra, reducida, de dimensión n, etc.,
si lo es A, y que es conexa, irreducible, etc., si lo es el espacio topológico X.
Corolario: Todo anillo noetheriano de dimensión 0 tiene un número finito de
ideales maximales.

4. Espectro de la Localización
Cada morfismo de anillos j : A → B induce en los espectros una aplicación
ϕ : Spec B → Spec A,

ϕ(q) = q ∩ A := j −1 (q) = {f ∈ A : j(f ) ∈ q}.

Si y ∈ Spec B, por definición una función f ∈ A se anula en ϕ(y) cuando

j(f ) se anula en y; es decir, ϕ−1 (f )0 = (f B)0 , de modo que ϕ es continua:
∩ ∩ −1 ∩
ϕ−1 (I)0 = ϕ−1 ( (f )0 ) = ϕ (f )0 = (f B)0 = (IB)0 .
f ∈I f ∈I f ∈I

Teorema: Sea I un ideal de A. La aplicación continua i : Spec (A/I) → Spec A

inducida por la proyección canónica π : A → A/I establece un homeomorfismo
de Spec (A/I) con su imagen, que son los ceros del ideal I,
[ ]
Ideales primos de A
Spec (A/I) = (I)0 =
que contienen a I

donde cada primo p̄ de A/I se corresponde con π −1 (p̄) = {a ∈ A : ā ∈ p̄}, y

cada primo p de A que contiene a I se corresponde con π(p) = {ā; a ∈ p}.

9
Demostración: Del curso anterior se sabe que la aplicación es biyectiva, y aca-
bamos
( ) de ver que es continua. Es un homeomorfismo
( ) porque para cada cerrado
π(I) 0 de Spec (A/I) tenemos que i−1 (I)0 = π(I) 0 .
⨿
Corolario: Spec (A × B) = (Spec A) (Spec B)

Demostración: Consideremos en el anillo A × B los ideales a = A × 0, b = 0 × B.

Como a + b = A × B y a ∩ b = 0, tenemos que ⨿ (a)0 ∩ (b)0 = ∅ y (a)0 ∪ (b)0 =
Spec (A × B); es decir, Spec (A × B) = (a)0 (b)0 .
Además (a)0 = Spec (A × B)/a = Spec B y (b)0 = Spec (A × B)/b = Spec A.
Nótese que cada ideal primo p de A se corresponde con el ideal primo p × B
de A × B, y cada ideal primo q de B con el ideal primo A × q de A × B .

Teorema: Sea S un sistema multiplicativo de un anillo A. La aplicación con-

tinua i : Spec AS → Spec A inducida por el morfismo canónico γ : A → AS
establece un homeomorfismo de Spec AS con su imagen, formada por los ideales
primos de A que no cortan al sistema multiplicativo S,
[ ]
Ideales primos de A
Spec AS =
que no cortan a S

donde cada primo q de AS se corresponde con q ∩ A = {a ∈ A : a1 ∈ q}, y cada

primo p de A que no corte a S se corresponde con pAS = { as ; a ∈ p, s ∈ S}.

Demostración: Si q es un primo de AS , entonces p = A ∩ q = {a ∈ A : a1 ∈ q}

no corta a S y q = pAS (pruébese); luego i : Spec AS → Spec A es inyectiva.
Además, si un primo p de A no corta a S, entonces A ∩ (pAS ) = p:

a b
= , b ∈ p ⇒ au = bv ∈ p , u ∈ S ⇒ a ∈ p
1 s
Además pAS es un ideal primo de AS ,

(a1 /s1 )(a2 /s2 ) ∈ pAS ⇒ a1 a2 ∈ A ∩ pAS = p ⇒ ai ∈ p ⇒ ai /si ∈ pAS

y concluimos que i : Spec AS → Spec A establece una biyección entre los ideales
primos de AS y los ideales primos de A que no cortan a S.
Esta biyección es continua, y es un homeomorfismo porque para cualquier
cerrado (IAS )0 de Spec AS tenemos que i−1 (I)0 = (IAS )0 .

Notación: Si p es el ideal primo de un punto x ∈ Spec A, la localización de A

por S = A − p = {f ∈ A : f (x) ̸= 0} se denota Ap = Ax .
Si f ∈ A, la localización de A por S = {1, f, f 2 , . . . , f n , . . .} se denota Af .

Corolario: El anillo Ap tiene un único ideal maximal, que es pAp .

Corolario: Spec Af = Uf = Spec A − (f )0 .

10
Demostración: (f )0 = (f n )0 .

Definición: Si I es un ideal de un anillo A, diremos que

rad I = {f ∈ A : f n ∈ I para algún n ∈ N}

es el radical de I. Por abuso del lenguaje, el radical del ideal 0, formado por
los elementos nilpotentes (con alguna potencia nula), se denomina radical del
anillo A. Un anillo es reducido si su radical es nulo, es decir, si carece de
elementos nilpotentes no nulos.

Teorema: Las funciones nilpotentes son las que se anulan en todo el espectro.
Es decir, el radical de un anillo es la intersección de sus ideales primos.

Demostración: Es claro que los elementos nilpotentes de un anillo A pertenecen

a todos sus ideales primos.
Recı́procamente, si f ∈ A se anula en todos los puntos del espectro de A,
entonces Spec Af = Uf = ∅. Luego Af = 0, y 11 = 0, de modo que existe una
potencia f n tal que 0 = f n 1 = f n .

Corolario: El radical de un ideal I coincide con la intersección de los idea-

les primos que lo contienen, de modo que rad I es el mayor ideal cuyos ceros
coinciden con los ceros de I.

Demostración: Es claro que el radical de I está contenido en cualquier ideal

primo que contenga a I.
Recı́procamente, si una función f ∈ A pertenece a todos los ideales primos
que contienen a I, entonces f¯ se anula en Spec A/I. Luego alguna potencia f¯n
es nula, y concluimos que f n ∈ I. Es decir, f ∈ rad I.

Definición: Sea ϕ : Spec B → Spec A la aplicación continua inducida por un

morfismo de anillos j : A → B, y sea p el ideal primo de un punto x ∈ Spec A.
Diremos que ϕ−1 (x) = {y ∈ Spec B : ϕ(y) = x} es la fibra de ϕ sobre el
punto x, y denotaremos Bx a la localización de B por la imagen del sistema
multiplicativo A − p.

Lema: ϕ−1 (x) = Spec B/pB , cuando el punto x es cerrado.

Demostración: Como x es cerrado, x = x̄ = (p)0 , y terminamos,

ϕ−1 (x) = ϕ−1 ((p)0 ) = (pB)0 = Spec B/pB.

( )
Fórmula de la Fibra: ϕ−1 (x) = Spec Bx /pBx .

Demostración: Sea q el ideal primo de un punto y de Spec B. La condición

ϕ(y) = x significa que p = A ∩ q, lo que implica que q no corta a la imagen
de A − p en B. Luego la fibra ϕ−1 (x) está contenida en Spec Bx , y por tanto

11
coincide con la fibra de Spec Bx → Spec Ax sobre el único punto cerrado de
Spec Ax , definido por el ideal maximal pAx . Terminamos por el lema anterior,

ϕ−1 (x) = Spec B/(pAx Bx ) = Spec (Bx /pBx ).

Cálculos:
1. El espectro de un cuerpo k tiene un único punto, y el espectro de cualquier
k-álgebra finita es un espacio topológico finito y discreto.
2. El espectro de Z tiene un punto cerrado por cada número primo y un
punto genérico definido por el ideal 0. Es irreducible y de dimensión 1.
3. El espectro de Z/nZ, n ≥ 2, tiene un punto cerrado por cada número
primo que divide a n. Su dimensión es 0.
4. El espectro de C[x] . Cada número complejo a define un punto cerrado,
definido por el ideal maximal (x − a). Además tiene un punto genérico pg
definido por el ideal 0. Es irreducible y de dimensión 1.

5. El espectro de k[x] tiene un punto cerrado por cada polinomio irreducible

( )
y unitario p(x) con coeficientes en k, definido por el ideal maximal p(x) ,
y un punto genérico definido por el ideal primo 0. Es irreducible y de
dimensión 1.
( )
6. El espectro de k[x]/ p(x) , donde p(x) es un polinomio no constante
con coeficientes en el cuerpo k, tiene un punto cerrado por cada factor
irreducible y unitario de p(x) en k[x]. Su dimensión es 0.
7. El espectro de C [x, y] . Vamos a calcular las fibras de la aplicación

ϕ : Spec C [x, y] −→ Spec C [x]

que define la inclusión C [x] → C [x, y]. La fibra de un punto x = a es el

espectro de C [x, y]/(x − a) ≃ C [y], donde el isomorfismo transforma x
en a, ası́ que sus puntos están definidos por el ideal primo (x − a) y los
ideales maximales (x−a, y −b), donde b ∈ C. La fibra del punto x = a está
formada por los puntos cerrados x = a, y = b junto con el punto genérico
de la recta x = a.
La fibra del punto genérico de Spec C [x] es el espectro de la localización
C(x)[y] de C[x, y] por los polinomios en x no nulos. Por el lema de Gauss,
los ideales primos no nulos de C(x)[y] son los ideales generados por los
polinomios irreducibles en C [x, y] que sean de grado mayor o igual que 1
en y. Los
( puntos ) de esta fibra están definidos por el ideal 0 y los ideales
primos p(x, y) , donde p(x, y) es un polinomio irreducible de grado ≥ 1 en
y. Es decir, la fibra del punto genérico está formada por el punto genérico
del plano y los puntos genéricos de las curvas irreducibles p(x, y) = 0, de
grado ≥ 1 en y.

12
 Spec C [x, y] tiene dimensión 2 y (como los polinomios irreducibles de grado
0 en y son, salvo factores constantes, los polinomios x − a) sus puntos son:
–. Los puntos cerrados x = a, y = b donde a, b ∈ C .
–. Los puntos genéricos de las curvas irreducibles p(x, y) = 0 .
–. El punto genérico del plano afı́n.
Si q(x, y) ∈ C[x, y] no es constante y q(x, y) = p1 (x, y)m1 · · · pr (x, y)mr es
su descomposición en factores irreducibles, entonces

(q)0 = (p1 )0 ∪ . . . ∪ (pr )0 .

Luego los cerrados de Spec C [x, y] son las intersecciones arbitrarias de

uniones finitas de curvas irreducibles. Ahora bien, dos curvas irreducibles
distintas p1 (x, y) = 0, p2 (x, y) = 0 se cortan en un número finito de
puntos cerrados, porque todos los ideales primos del anillo noetheriano
C[x, y]/(p1 , p2 ) son maximales (luego minimales, y por tanto un número
finito), ası́ que los cerrados de Spec C[x, y] (además del vacı́o y el total)
son las uniones finitas de puntos cerrados y curvas irreducibles.
( )
8. El espectro de C [x, y]/ q(x, y) , donde q(x, y) no es constante.
Si q(x, y) = cp1 (x, y)m1 · · · pr (x, y)mr es la descomposición en factores
irreducibles, Spec C [x, y]/(q) = (q)0 tiene dimensión 1 y sus puntos son:
–. Los puntos cerrados (a, b) donde q(a, b) = 0 .
–. Los puntos genéricos de las curvas irreducibles pi (x, y) = 0.
( )
9. El espectro de C [x, y]/ p(x, y), q(x, y) , donde p(x, y) y q(x, y) no son
constantes y carecen de factores irreducibles comunes.
( )
El espectro coincide con los ceros de p(x, y) en Spec C [x, y]/ q(x, y) ; luego
todos sus puntos son cerrados, porque p(x, y) no es múltiplo
( de ningún
) fac-
tor irreducible pi (x, y) de q(x, y). Por tanto C [x, y]/ p(x, y), q(x, y) tiene
dimensión 0 y obtenemos la finitud del número de soluciones complejas
del sistema de ecuaciones algebraicas
}
p(x, y) = 0
q(x, y) = 0

10. El espectro de Z[x]. La inclusión Z → Z[x] induce una aplicación

ϕ : Spec Z[x] −→ Spec Z.

La fibra de cada número primo p es el espectro de Z[x]/pZ[x] ≃ Fp [x],

donde [q(x)] se corresponde con la reducción de q(x) módulo p. Los puntos
de la fibra de p están definidos por el ideal primo pZ[x] y los ideales
maximales (p, q(x)), donde q(x) es un polinomio cuya reducción módulo p
sea irreducible en Fp [x].

13
 La fibra del punto genérico de Spec Z es Spec Q[x]. Por el lema de Gauss,
los primos no nulos de Q[x] están generados por los polinomios irreducibles
en Z[x] no constantes. Luego los primos de Z[x] son el ideal 0 y los ideales
(p(x)), donde p(x) es un polinomio no constante irreducible en Z[x].
Luego dim Z[x] = 2 y (como los polinomios irreducibles constantes son,
salvo el signo, los números primos) los ideales primos de Z[x] son:
–. Los ideales maximales (p, q(x)), donde p es un número primo y q(x) es
un polinomio cuya reducción módulo p es irreducible.
–. Los ideales primos (p(x)) generados por un polinomio p(x) irreducible
en Z[x] (lo que incluye los números primos).
–. El ideal primo 0.

5. Localización de Módulos
Definición: La localización MS de un A-módulo M por un sistema multipli-
cativo S de A es el conjunto cociente de M × S por la relación de equivalencia

(m, s) ≡ (n, t) ⇔ existen u, v ∈ S tales que mu = nv, su = tv,

dotado de la estructura de AS -módulo que definen las siguientes operaciones:

m n tm + sn a m am
+ = , · =
s t st s t st
donde m m
s denota la clase de (m, s). De nuevo s = 0 si y sólo si um = 0 para
algún u ∈ S; ası́ que s = t si y sólo si u(tm − sn) = 0 para algún u ∈ S.
m n

El morfismo de localización M → MS , m 7→ m 1 , es morfismo de A-módulos.

Si f ∈ A, entonces Mf denotará la localización de M por S = {1, f, . . . , f n , . . .}.

Si p es el ideal primo de un punto x ∈ Spec A, entonces Mp = Mx denotará
la localización de M por S = A − p.

Propiedad Universal: Sea N un AS -módulo. Si f : M → N es un morfismo

de A-módulos, existe un único morfismo de AS -módulos ϕ : MS → N tal que
ϕ( m
1 ) = f (m).
HomAS (MS , N ) = HomA (M, N ).
−1 m −1
Demostración: El único morfismo posible, ϕ( m
s ) = ϕ(s 1) = s ϕ( m
1) =
−1
s f (m), está bien definido porque
−1
ϕ( um
us ) = (us) f (um) = s−1 u−1 uf (m) = s−1 f (m),

y es inmediato comprobar que es morfismo de AS -módulos.

Teorema: Hay un isomorfismo de AS -módulos MS = M ⊗A AS , m

s = m ⊗ 1s .

14
Demostración: Por la propiedad universal de la localización, el morfismo de A-
módulos M → M ⊗A AS , m 7→ m ⊗ 1, induce un morfismo de AS -módulos
MS → M ⊗A AS , m/s 7→ s−1 (m ⊗ 1) = m ⊗ (1/s).
Recı́procamente, la aplicación M × AS → MS , (m, as ) 7→ ams es A-bilineal,
ası́ que define un morfismo de A-módulos M ⊗A AS → MS , m ⊗ (a/s) 7→ am/s,
y es sencillo comprobar que ambos morfismos son mutuamente inversos.

Definición: Sea f : M → N un morfismo de A-módulos. Por la propiedad

universal, el morfismo de A-módulos M → NS , m 7→ f (m)
1 , induce un morfismo
f (m)
de AS -módulos fS : MS → NS , fS ( s ) = s , llamado localización de f en S.
m

f g
Teorema: Si M ′ −−→ M −−→ M ′′ es una sucesión exacta de A-módulos, en-
tonces también es exacta la sucesión
fS gS
MS′ −−−−→ MS −−−−→ MS′′ .

Demostración: Im fS ⊆ Ker gS porque gS ◦ fS = (g ◦ f )S = 0S = 0.

g(m)
Ahora, si m s ∈ Ker gS , entonces s = 0, y 0 = tg(m) = g(tm) para
algún t ∈ S. Luego tm = f (m′ ) para algún m′ ∈ M ′ , porque Ker g = Im f , y
f (m′ ) ( ′)
ts ∈ Im fS .
m tm
s = ts = ts = fS m q.e.d.

Si N es un submódulo de M , entonces NS es un submódulo de MS .

1. (N + N ′ )S = NS + NS′ .
(m,m′ ) ′
2. (M ⊕ M ′ )S = MS ⊕ MS′ , s = (m m
s , s ).

3. (N ∩ N ′ )S = NS ∩ NS′ .
m̄
4. (M/N )S = MS /NS , s = [m
s ].

5. (Ker f )S = Ker fS .
6. (Im f )S = Im fS .

Demostración: Todas las igualdades se siguen de la definición, salvo la 4 y 5,

que se obtienen localizando las sucesiones exactas

0 −→ N −→M −→ M/N −→ 0
0 −→ Ker f −→ M −→ N

5.1. Propiedades Locales

Definición: La localización de un A-módulo M en x ∈ Spec A se denota Mx , y
si m ∈ M , ponemos mx = m 1 ∈ Mx . El soporte de un elemento m ∈ M es

sop (m) := {x ∈ Spec A : mx ̸= 0} ,

15
y su anulador es Ann(m) := {a ∈ A : am =∪0}. El soporte de un A-módulo
M es sop (M ) := {x ∈ Spec A :∩Mx ̸= 0} = m∈M sop (m), y su anulador es
Ann M := {a ∈ A : aM = 0} = m∈M Ann(m).

Lema: sop (m) = (Ann (m))0 . Luego m = 0 si y sólo si mx = 0, ∀x ∈ Spec A.

Demostración: La condición mx = 0 afirma que f m = 0 para algún f ∈ A que

no se anula en x; es decir, que x no está en los ceros del ideal Ann(m).
Ahora, si ∅ = sop (m) = (Ann(m))0 , entonces Ann(m) = A, y m = 0.

Corolario: M = 0 si y sólo si Mx = 0 en todo punto x ∈ Spec A.

f g
Teorema: Una sucesión de A-módulos M ′ −−→ M −−→ M ′′ es exacta si y sólo
fx gx
si lo es su localización Mx′ −−−→ Mx −−−→ Mx′′ en todo punto x ∈ Spec A.

Demostración: Si la sucesión es exacta en todo punto, entonces (Im gf )x =

Im (gf )x = Im (gx fx ) = 0. Luego Im gf = 0, y Im f ⊆ Ker g.
Localizando ahora Ker g/Im f vemos que es nulo,
(Ker g/Im f )x = (Ker g)x /(Im f )x = (Ker gx )/(Im fx ) = 0.
Definición: Un anillo es local si tiene un único ideal maximal (como Ax ).

Lema de Nakayama: Sea O un anillo local y m su único ideal maximal. Si M

es un O-módulo finito generado y mM = M , entonces M = 0.

Demostración: Por reducción al absurdo. Si M ̸= 0, consideramos un sistema

mı́nimo de generadores m1 , . . . , mn . Como
M = mM = m(Om1 + . . . + Omn ) = mm1 + . . . + mmn
tendremos m1 = f1 m1 +f2 m2 +. . .+fn mn para ciertas funciones f1 , . . . , fn ∈ m.
Luego 1 − f1 es invertible (no está en el único maximal m) y
(1 − f1 )m1 = f2 m2 + . . . + fn mn .
Vemos que m1 ∈ Om2 + . . . + Omn , y m2 , . . . , mn generan M . Absurdo.

Corolario: Sea O un anillo local y k = O/m el cuerpo residual de su único

ideal maximal m. Si M es un O-módulo finito generado, entonces
1. M = 0 si y sólo si M ⊗O k = 0.
2. La condición necesaria y suficiente para que m1 , . . . , mn ∈ M generen el
O-módulo M es que sus clases m̄1 , . . . , m̄n generen el k-espacio vectorial
M/mM = M ⊗O k.
Demostración: (1) Si 0 = M ⊗O k = M/mM , entonces mM = M , y M = 0.
(2) Pongamos N = Om1 + . . . + Omn . Si m̄1 , . . . , m̄n generan el k-espacio
vectorial M/mM entonces M = N +mM . Pasando al cociente por N obtenemos
que M/N = m(M/N ), y el lema de Nakayama permite concluir que M/N = 0.
Es decir, N = M y m1 , . . . , mn generan el O-módulo M .

16
6. Morfismos Finitos
Definición: Sea A → B un morfismo de anillos. Diremos que un elemento b ∈ B
es entero sobre A si verifica alguna relación de dependencia entera

bn + a1 bn−1 + . . . + an−1 b + an = 0 , a1 , . . . , an ∈ A,

y decimos que el morfismo A → B es finito (o que B es una A-álgebra finita)

cuando B es un A-módulo finito generado, B = Ab1 + . . . + Abn .
En tal caso, si B → C es otro morfismo finito, C = Bc1 +. . .+Bcm , entonces
la composición A → C también es un morfismo finito:

C = (Ab1 + . . . + Abn )c1 + . . . + (Ab1 + . . . + Abn )cm = Ab1 c1 + . . . + Abn cm .

Lema: Sea A → B un morfismo de anillos y b ∈ B. Las siguientes condiciones

son equivalentes:

1. b es entero sobre A.
2. El morfismo A → A[b] es finito.

3. b pertenece a una subálgebra C ⊆ B que es un A-módulo finito generado.

Demostración: (1 ⇒ 2) Si b es entero sobre A, una potencia de b es combinación
lineal de las anteriores, bn = −a1 bn−1 − . . . − an−1 b − an , con a1 , . . . , an ∈ A,
de modo que las sucesivas potencias bn+i también son combinaciones lineales de
1, b, . . . , bn−1 , y concluimos que

A[ b ] = A + Ab + . . . + Abn−1 .

(2 ⇒ 3) Es evidente, pues A[b] es una subálgebra de B y b ∈ A[b].

(3 ⇒ 1) Si C = Ac1 + . . . + Acn es una subálgebra de B y b ∈ C, entonces
para ciertos elementos aij ∈ A tendremos
   c  0
∑ b − a 11 . . . −a 1n 1
   
bci = aij cj ,  . . . ... . . .   ...  =  ...  ,
j −an1 . . . b − ann cn 0

Multiplicando por la izquierda por la matriz adjunta de (δij b − aij ) se sigue

que el determinante |δij b−aij | anula a cada ci ; luego anula a C, y es nulo porque
1 ∈ C. Desarrollando el determinante obtenemos una relación de dependencia
entera bn + a1 bn−1 + . . . + an = 0 sobre A.

Corolario: El morfismo A → A[b1 , . . . , bn ] es finito cuando b1 , . . . , bn ∈ B son

enteros sobre A.

Demostración: Por inducción sobre n, y es parte del lema anterior cuando n = 1.

17
 Si n > 1, por inducción A → A[b1 , . . . , bn−1 ] es finito. Como bn es entero so-
bre A, también lo es sobre A[b1 , . . . , bn−1 ]; luego A[b1 , . . . , bn−1 ] → A[b1 , . . . , bn ]
es finito y concluimos que también lo es A → A[b1 , . . . , bn ].

Corolario: Sea B una A-álgebra. Los elementos de B enteros sobre A forman

una subálgebra, llamada cierre entero de A en B.

Demostración: Si b1 , b2 ∈ B son enteros sobre A, entonces A[b1 , b2 ] es un A-

módulo finito generado, y por el lema todos sus elementos son enteros sobre A.
En particular b1 + b2 y b1 b2 son enteros sobre A.

Ejemplos: (1) Sea L una extensión de un cuerpo k. Los elementos de L enteros

sobre k son precisamente los elementos algebraicos sobre k, y el cierre entero de
k en L es el cierre algebraico de k en L. Si la extensión k → L es finita, entonces
el morfismo k[x1 , . . . , xn ] → L[x1 , . . . , xn ] también es finito.
(2) Los números complejos enteros sobre Z se llaman enteros algebraicos
y, por definición, son las raı́ces complejas de los polinomios unitarios con coe-
ficientes en Z. Cada número algebraico α ∈ C es raı́z de un único polinomio
irreducible unitario pα (x) con coeficientes racionales, y por el lema de Gauss, α
es entero sobre Z si y sólo si pα (x) tiene coeficientes en Z.
(3) Sea C la curva plana y 2 = x3 . La parametrización x = t2 , y = t3 , define
un morfismo finito A1 → C, porque t satisface la relación de dependencia entera
t2 − x = 0 sobre A = k[x, y]/(y 2 − x3 ).
(4) Sea C la curva plana y 2 = x2 + x3 . La parametrización x = t2 − 1,
y = t3 − t, define un morfismo finito A1 → C, porque t satisface la relación de
dependencia entera t2 − (1 + x) = 0 sobre A = k[x, y]/(y 2 − x2 − x3 ).
(5) Un anillo ı́ntegro es normal si coincide su cierre entero en su cuerpo de
fracciones. Los dominios de factorización única son normales.

Teorema: Sea A → B un morfismo finito. Las fibras de la aplicación inducida

π : Spec B → Spec A son finitas y discretas, y no vacı́as cuando A → B es
inyectivo.

Demostración: Sea p el ideal primo de un punto x ∈ Spec A. Como A → B es

finito, también lo son los morfismos Ax → Bx y k := Ax /pAx → Bx /pBx .
Como Bx /pBx es una k-álgebra finita, Spec (Bx /pBx ) = π −1 (x) es finito y
discreto. Además, si 0 → A → B es exacta, entonces 0 → Ax → Bx es exacta y
Bx ̸= 0. Luego Bx /px Bx ̸= 0 por Nakayama, y su espectro no es vacı́o.

Corolario: Si A → B es finito, entonces dim B ≤ dim A.

Demostración: En ninguna cadena de especializaciones y0 > . . . > yn en Spec B

se dan coincidencias π(yi−1 ) = π(yi ), porque la fibra de π(yi ) no serı́a discreta.

18
Teorema del Ascenso: Los morfismos finitos son cerrados.

Demostración: Sea π : Spec B → Spec A la aplicación inducida por un morfismo

finito A → B. Si J es un ideal de B y ponemos I = J ∩ A, entonces el morfismo
natural A/I → B/J es finito e inyectivo (pruébese), y el siguiente cuadrado
conmutativo muestra que π(J)0 = (I)0 ,
π
Spec B −−→ Spec A
∪ ∪
Spec B/J −−→ Spec A/I

Corolario: Sea A → B un morfismo finito, y p ⊂ p′ ideales primos de A. Si q

es un ideal primo de B y p = q ∩ A, entonces existe en B un ideal primo q′ ⊃ q
tal que p′ = q′ ∩ A.

Demostración: Sean x, x′ , y los puntos definidos por los primos p, p′ , q.

El cierre de x = π(y) está contenido en π(y), porque π es cerrada; luego
x′ ∈ π(y), y existe y ′ ∈ y tal que x′ = π(y ′ ).

Corolario: Si A → B es finito e inyectivo, entonces dim A = dim B.

Demostración: Sea p0 ⊂ . . . ⊂ pn una cadena de ideales primos en A.

Existe un primo q0 en B tal que p0 = q0 ∩ A, porque las fibras no son vacı́as,
y por el corolario anterior existe una cadena de primos q0 ⊂ . . . ⊂ qn tales que
q1 ∩ A = pi ; luego dim B ≥ dim A.

6.1. Teorema de los Ceros

Definición: Sea A una k-álgebra. Diremos que a1 , . . . , an ∈ A son algebrai-
camente dependientes sobre el cuerpo k si p(a1 , . . . , an ) = 0 para algún
polinomio no nulo p(x1 , . . . , xn ) ∈ k[x1 , . . . , xn ], y en caso contrario (es decir,
cuando el morfismo de k-álgebras k[x1 , . . . , xn ] → A, xi 7→ ai , es inyectivo)
decimos que son algebraicamente independientes sobre k.

Lema de Normalización: Si A = k[ξ1 , . . . , ξn ] es una k-álgebra de tipo finito,

existe un morfismo de k-álgebras finito e inyectivo k[x1 , . . . , xd ] → A, donde
d ≤ n y d < n cuando ξ1 , . . . , ξn son algebraicamente dependientes sobre k.

Demostración: Por inducción sobre n, y es cierto cuando n = 0 porque en tal

caso A = k. Cuando n ≥ 1, si ξ1 , . . . , ξn son algebraicamente independientes,
entonces k[x1 , . . . , xn ] = A, y el enunciado es cierto.
Si ξ1 , . . . , ξn son algebraicamente dependientes, verifican alguna relación (de
la que escribimos el monomio con mayor grado en ξ1 , y en caso de coincidencia
el de mayor grado en ξ2 ,..., y podemos suponer que el coeficiente es 1)

ξ1r1 ξ2r2 · · · ξnrn + . . . = 0.

19
 Pongamos ξi′ = ξi − ξndi , con d1 ≫ d2 ≫ . . . ≫ dn−1 .
Ahora A = k[ξ1′ , . . . ξn−1
′
, ξn ], donde ξ1′ , . . . , ξn−1
′
, ξn satisfacen una relación
en la que el término de mayor grado en ξn es

ξnd1 r1 +...+dn−1 rn−1 +rn + . . . = 0,

de modo que el morfismo k[ξ1′ , . . . , ξn−1′

] ,→ A es finito. Por inducción, existe un
′ ′
morfismo finito k[x1 , . . . , xd ] ,→ k[ξ1 , . . . , ξn−1 ], con d ≤ n − 1, y terminamos.

Teorema de los Ceros de Hilbert (1862-1943): Si m es un ideal maximal de

una k-álgebra de tipo finito A, entonces la extensión k → A/m es finita.

Demostración: Tomemos un morfismo finito e inyectivo k[x1 , . . . , xd ] → A/m.

Como la aplicación inducida Spec(A/m) → Spec k[x1 , . . . , xd ] es epiyectiva, ve-
mos que k[x1 , . . . , xd ] tiene un único punto. Luego d = 0.

Definición: Diremos que el punto cerrado de Spec A que define un ideal maxi-
mal m de una k-álgebra A es racional si el morfismo natural k → A/m es un
isomorfismo.
Cuando el cuerpo k es algebraicamente cerrado, por el Teorema de los Ceros
los puntos cerrados de las variedades algebraicas sobre k son racionales.

Corolario: Si m es un ideal maximal de k[x1 , . . . , xn ] y k es algebraicamente

cerrado, entonces existen a1 , . . . , an ∈ k tales que m = (x1 − a1 , . . . , xn − an ).

Demostración: Como la extensión k → k[x1 , . . . , xn ]/m es finita, es trivial; ası́

que existen ai ∈ k tales que xi − ai ∈ m. Luego (x1 − a1 , . . . , xn − an ) ⊆ m, y
coinciden porque el ideal (x1 − a1 , . . . , xn − an ) es maximal.

Lema: Sea A → B un morfismo de k-álgebras entre dos k-álgebras de tipo finito.

Si m es un ideal maximal de B, entonces m ∩ A es un ideal maximal de A.

Demostración: El morfismo natural A/(m ∩ A) → B/m es inyectivo, y como

B/m es una extensión finita de k, se sigue que A/(m ∩ A) es un cuerpo.

Teorema de los Ceros (forma fuerte): El radical de cualquier k-álgebra de

tipo finito A es la intersección de sus ideales maximales.

Demostración: Si f ∈ A se anula en todos los puntos cerrados de Spec A, en-

tonces la variedad algebraica Uf = Spec A[ f1 ] carece de puntos cerrados por el
corolario anterior; luego es vacı́a, y f se anula en Spec A.

Corolario: En las variedades algebraicas sobre un cuerpo algebraicamente ce-

rrado, las funciones nilpotentes son las que se anulan en los puntos racionales.

20
7. Teorı́a de la Dimensión
Teorema: dim k[x1 , . . . , xn ] = n.

Demostración: Por inducción sobre n, y sabemos que es cierto cuando n = 0, 1.

Si 0 ⊂ p1 ⊂ . . . ⊂ pm es una cadena de ideales primos en k[x1 , . . . , xn ],
tomamos p(x1 , . . . , xn ) ∈ p1 no nulo, de modo que la dimensión de Krull de
A = k[x1 , . . . , xn ]/(p) = k[ξ1 , . . . , ξn ] es ≥ m − 1.
Como p(ξ1 , . . . , ξn ) = 0, por el lema de normalización hay un morfismo finito
e inyectivo k[y1 , . . . , yd ] → A, con d < n. Luego dim A = dim k[y1 , . . . yd ].
Por inducción dim k[y1 , . . . , yd ] = d; ası́ que m − 1 ≤ d < n.
Es decir, m ≤ n y dim k[x1 , . . . , xn ] ≤ n.
Al ser 0 ⊂ (x1 ) ⊂ (x1 , x2 ) ⊂ . . . ⊂ (x1 , . . . , xn ) una cadena de ideales primos
de k[x1 , . . . , xn ], tenemos que dim k[x1 , . . . , xn ] ≥ n, y terminamos.

Corolario: Toda variedad algebraica sobre un cuerpo tiene dimensión finita.

Demostración: Si A = k[ξ1 , . . . , ξn ] es una k-álgebra de tipo finito, por el lema

de normalización existe un morfismo finito e inyectivo k[x1 , . . . , xd ] ,→ A, con
d ≤ n; luego d = dim k[x1 , . . . , xd ] = dim A.

Teorema: La dimensión de cualquier k-álgebra de tipo finito ı́ntegra A coincide

con el grado de trascendencia sobre k de su cuerpo de fracciones Σ.

Demostración: Por el lema de normalización tenemos un morfismo finito inyec-

tivo k[x1 , . . . , xd ] → A, donde d = dim k[x1 , . . . , xd ] = dim A.
Consideremos el sistema multiplicativo S = {p ∈ k[x1 , . . . , xd ] : p ̸= 0}.
El morfismo natural k(x1 , . . . , xd ) → AS es finito (pruébese) y AS es ı́ntegra;
luego es cuerpo y coincide con el cuerpo de fracciones Σ de A. Luego Σ es una
extensión finita de k(x1 , . . . , xd ), y su grado de trascendencia sobre k es d.

Corolario: Sea X = Spec A una variedad algebraica ı́ntegra. Si una función

f ∈ A no es nula, entonces dim Uf = dim X.

Demostración: A y Af = A[ f1 ] tienen el mismo cuerpo de fracciones.

Corolario: Si un polinomio p ∈ k[x1 , . . . , xn ] es irreducible, entonces

dim k[x1 , . . . , xn ]/(p) = n − 1.

Demostración: Pongamos A = k[ξ1 , . . . , ξn ] = k[x1 , . . . , xn ]/(p), que es ı́ntegra,

y sea Σ su cuerpo de fracciones. Podemos suponer que el grado de p(x1 , . . . , xn )
en la indeterminada xn no es nulo. Entonces ξ1 , . . . , ξn−1 son algebraicamente
independientes, pues ningún polinomio en x1 , . . . , xn−1 es múltiplo de p, y la
extensión k(ξ1 , . . . , ξn−1 ) → k(ξ1 , . . . , ξn ) es finita porque p(ξ1 , . . . , ξn ) = 0.
Luego el grado de trascendencia de Σ = k(ξ1 , . . . , ξn ) es n − 1.

21
Corolario: Si un polinomio f ∈ k[x1 , . . . , xn ] no es constante, entonces

dim k[x1 , . . . , xn ]/(f ) = n − 1.

Demostración: Si p1 , . . . , pr son los factores irreducibles de f , entonces

Spec k[x1 , . . . , xn ]/(f ) = (f )0 = (p1 )0 ∪ . . . ∪ (pr )0 ,

donde todos los cerrados (pi )0 son de dimensión n − 1.

Teorema del Ideal Principal de Krull (1899-1971): Sea X = Spec A una

variedad algebraica ı́ntegra de dimensión n. Si f ∈ A no es nulo ni inverti-
ble, entonces todas las componentes irreducibles de (f )0 = Spec A/f A son de
dimensión n − 1.

Demostración: Sea (f )0 = Y1 ∪. . .∪Yr la descomposición de (f )0 en componentes

irreducibles, y tomemos h ∈ A que se anule en Y2 ∪ . . . ∪ Yr pero no en Y1 . Ahora
Uh = Spec Ah es una variedad algebraica ı́ntegra de dimensión n en la que los
ceros de f son irreducibles; luego podemos suponer que (f )0 es irreducible.
Por el lema de normalización de Noether, tenemos un morfismo finito e
inyectivo k[x1 , . . . , xn ] → A, con n = dim A.
Ahora la inclusión k[x1 , . . . , xn , f ] → A es un morfismo finito e inyectivo, y
la aplicación
( ) continua inducida ϕ : Spec A → Spec k[x1 , . . . , xn , f ] cumple que
ϕ−1 (f )0 = (f )0 , ası́ que por el teorema del ascenso ambos cerrados tienen
igual dimensión, y podemos suponer que A = k[x1 , . . . , xn , f ].
Sea p el núcleo del epimorfismo k[x1 , . . . , xn , xn+1 ] → k[x1 , . . . , xn , f ] = A,
de modo existe una cadena de primos p ⊂ p1 ⊂ . . . ⊂ pn , y tomemos un
polinomio irreducible p(x1 , . . . , xn+1 ) ∈ p.
Si la inclusión (p) ⊆ p fuera estricta, en k[x1 , . . . , xn+1 ] tendrı́amos una
cadena de primos 0 ⊂ (p) ⊂ p ⊂ p1 ⊂ . . . ⊂ pn de longitud n + 2, lo que es
absurdo. Luego p = (p) y A = k[x1 , . . . , xn+1 ]/(p). ( )
Ahora A/f A = k[x1 , . . . , xn+1 ]/(p, xn+1 ) = k[x1 , . . . , xn ]/ p(x1 , . . . , xn , 0)
tiene dimensión n − 1, porque p(x1 , . . . , xn , 0) no es constante (ya que f no es
nulo ni invertible).

Corolario: Sea A una k-álgebra de tipo finito ı́ntegra de dimensión n. Todas

las cadenas irrefinables de ideales primos de A tienen longitud n.

Demostración: Por inducción sobre n, y es obvio cuando n = 0.

Si n ≥ 1, sea 0 ⊂ p1 ⊂ . . . ⊂ pm una cadena irrefinable de primos de A y
tomemos 0 ̸= f ∈ p1 . Al ser irrefinable, p1 define un primo minimal de A/f A,
y (p1 )0 es una componente irreducible de (f )0 .
Por el teorema anterior, dim A/p1 = dim (p1 )0 = n − 1, y concluimos que
m = n, ya que p1 ⊂ . . . ⊂ pm define una cadena irrefinable de primos en A/p1 .

Definición: Un anillo A es catenario si todas las cadenas irrefinables de primos

p = p0 ⊂ p1 ⊂ . . . ⊂ pn = q con extremos prefijados p, q tienen igual longitud.

22
Teorema: Toda k-álgebra de tipo finito A es catenaria.

Demostración: Sustituyendo A por A/p podemos suponer que A es ı́ntegra y

p = 0. En tal caso, si 0 ⊂ p1 ⊂ . . . ⊂ pn = q y 0 ⊂ p′1 ⊂ . . . ⊂ p′m = q son dos
cadenas irrefinables, consideramos una cadena irrefinable q ⊂ q1 ⊂ . . . ⊂ qr .
Ahora 0 ⊂ p1 . . . ⊂ pn ⊂ q1 . . . ⊂ qr y 0 ⊂ p′1 . . . ⊂ p′m ⊂ q1 . . . ⊂ qr son dos
cadenas irrefinables de ideales primos de A.
Luego n + r = m + r por el corolario anterior, y concluimos que n = m.

23
8. Apéndice
Definición: Sea k → L una extensión. Un elemento α ∈ L es algebraico sobre
k si es raı́z de algún polinomio no nulo p(x) ∈ k[x]. En caso contrario diremos
que α es trascendente sobre k. Diremos que L es una extensión algebraica de
k cuando lo sean todos sus elementos.
Por ejemplo, todas las extensiones finitas son algebraicas.

Definición: Sea k → L una extensión. Unos elementos x1 , . . . , xn ∈ L algebrai-

camente independientes sobre k forman una base de trascendencia de L sobre
k si no existe x ∈ L tal que x1 , . . . , xn , x sean algebraicamente independientes
sobre k; es decir, si la extensión k(x1 , . . . , xn ) → L es algebraica.

Proposición: Todas las bases de trascendencia de L sobre k tienen igual número

de elementos, llamado grado de trascendencia de L sobre k.

Demostración: Si existieran dos bases de trascendencia x1 , . . . , xn e y1 , . . . , ym

con n < m, procediendo por inducción sobre i vamos a ver que L es extensión
algebraica de k(y1 , . . . , yi , xi+1 , . . . , xn ), lo que es absurdo cuando i = n porque
y1 , . . . , yn , yn+1 son algebraicamente independientes.
Cuando i = 0 es cierto porque la extensión k(x1 , . . . , xn ) → L es algebraica.
Cuando i ≥ 1, el elemento yi es algebraico sobre k(y1 , . . . , yi−1 , xi , . . . , xn )
por hipótesis de inducción,

pr (y1 , . . . , yi−1 , xi , . . . , xn )yir + . . . + p0 (y1 , . . . , yi−1 , xi , . . . , xn ) = 0.

Quitando denominadores podemos suponer que los coeficientes son polino-

mios y (reordenando xi , . . . , xn si fuera preciso) en alguno ha de aparecer xi
porque y1 , . . . , yi son algebraicamente independientes. Luego xi es algebraico
sobre k(y1 , . . . , yi , xi+1 , . . . , xn ), y son algebraicas las extensiones

k(y1 , . . . , yi , xi+1 , . . . , xn ) −→ k(y1 , . . . , yi , xi , xi+1 , . . . , xn ) −→ L.

24