Problemas del segundo capı́tulo de Álgebra Local

Pedro Sancho de Salas

2003
2

Problemas
1. Sea M = M0 ⊇ M1 ⊇ M2 ⊇ · · · ⊇ Mn una cadena de A-submódulos de M . Probar que
P
n
l(M/Mn ) = l(Mi−1 /Mi ).
i=1

Resolución:

l(M/Mn ) es el número de eslabones de las cadenas irrefinables que comienzan en Mn y terminan

en M , que coincide con la suma de los números de eslabones de las cadenas irrefinables que
comienzan en Mi y terminan en Mi−1 , desde i = n hasta i = 1.
2. Sea A = k[ξ1 , . . . , ξn ] una k-álgebra de tipo finito y sea O = Ax , donde x ∈ Spec A es un punto
cerrado. Probar que si M es un O-módulo de longitud finita entonces es un k-espacio vectorial
de dimensión finita y
dimk M = l(M ) · dimk O/mx

Resolución:

Sea M = M0 ⊃ M1 ⊇ M2 ⊃ · · · ⊃ Mn una cadena irrefinable de O-submódulos de M . Por

tanto, Mi /Mi+1 ' O/mx . Tenemos que

n
X
dimk M = dimk (Mi−1 /Mi ) = n · dimk O/mx = l(M ) · dimk O/mx
i=1

3. Sea A un anillo ı́ntegro y f, g ∈ A no nulas. Probar que

lA (A/(f g)) = lA (A/(f )) + lA (A/(g))

Resolución:

La sucesión
f·
0 / A/(g) / A/(f · g) / A/(f ) /0

 / fa
ā

 / b̄
b̄
es exacta, luego lA (A/(f g)) = lA (A/(f )) + lA (A/(g)).
4. Probar que si A es un anillo con un número finito de elementos, entonces es un anillo noetheriano
de dimensión cero.

Resolución:

Obviamente A es un anillo de longitud finita.

 3

5. Escribamos el polinomio p(x, y) = pn (x, y)+pn+1 (x, y)+. . .+pm (x, y) como suma de polinomios
homogéneos pi (x, y) de grado i. Sea O = (k[x, y]/p(x, y))x0 , con mx0 = (x, y). Demostrar que
Gmx0 O = k[x, y]/(pn (x, y)). Calcular el polinomio de Samuel de O.

Resolución:

G(x,y) k[x, y] = k[x, y] y pn (x, y) no es divisor de cero en k[x, y], luego Gmx0 O = k[x, y]/(pn (x, y)).

6. Sea O un anillo local noetheriano. Probar que la dimensión de Krull de O es igual a la dimensión
∞
del cono tangente Gm O = ⊕mn /mn+1 en el origen (que es el ideal maximal ⊕ mn /mn+1 ).
n n=1

Resolución:

Gorigen (Gm O) = Gm O, por tanto, O y Gm O tienen el mismo polinomio de Hilbert, luego la

misma dimensión de Krull.

7. Sea A un anillo noetheriano. Probar que dim A[x] = 1 + dim A (Obsérvese que si p ⊂ A es un
ideal primo entonces pA[x] es un ideal primo de A[x]).

Resolución:

Si p1 ⊂ p2 ⊂ · · · ⊂ pn es una cadena de ideales primos de A, entonces (p1 ) ⊂ (p2 ) ⊂ · · · ⊂ (pn ) ⊂

(pn , x) es una cadena de ideales primos de A[x], pues A[x]/(pi ) = (A/pi )[x] y A[x]/(pi , x) = A/pi .
Luego, dim A[x] ≥ 1 + dim A
Sea p1 ⊂ p2 ⊂ · · · ⊂ my una cadena de ideales primos en A[x], y sea py0 = mx ∩A. Localizando en
y 0 (es decir, por A−py0 ), podemos suponer que py0 = my0 es maximal. Ahora bien, A[x]/(my0 ) =
(A/my0 )[x], luego my = (my0 , p(x)), para cierto polinomio p(x). Teniendo en cuenta la definición
paramétrica de dimensión, tenemos que dim A[x]y ≤ dim Ay0 +1 ≤ dim A+1. Luego, dim A[x] ≤
dim A + 1.

8. Sea O un anillo local noetheriano de dimensión de Krull 2. Probar que el conjunto Spec O tiene
infinitos puntos. Si A es un anillo noetheriano de dimensión de Krull mayor o igual que dos
probar que el conjunto Spec A tiene infinitos puntos.

Resolución:

El número de ideales primos minimales de O es finito y hay un único ideal primo maximal. Si
hubiese un número finito de ideales primos que no son minimales ni maximales (los cuales no
están ninguno incluido dentro de otro, por ser dim O = 2) entonces sabrı́amos construir una
función f que no se anula en ninguno de ellos y entonces dim O/(f ) ≤ dim O − 2, lo que es
contradictorio.

9. Calcular la dimensión de Krull de C[[x, y]]S , con S = {1, x, . . . , xn , . . .}.

Resolución:

Observemos que dim C[[x, y]] = 2. Spec C[[x, y]]S ⊂ Spec C[[x, y]] y no contiene al punto cerrado,
luego dim C[x, y]]S ≤ 1. Tenemos la cadena (0) ⊂ (y) de ideales primos de C[x, y]] que no corta
con S, luego dim C[x, y]]S ≥ 1. En conclusión, dim C[x, y]]S = 1.
4

10. Sea A = k[x1 , x2 , . . . , xn , . . .] un anillo de polinomios de infinitas variables. Sean pi = (x2i , . . . , x2i+1 −1 )
y S = A − ∪pi .
i

(a) Probar que Specmax AS = {pi · AS }i .

(b) Probar que toda función no nula de AS pertenece a un número finito de ideales maximales.
(c) Probar que AS es un anillo noetheriano.
(d) Probar que dim AS = ∞. (Nagata)

Resolución:

1. Los ideales primos de AS se corresponden con los ideales primos de A que están incluidos en
A − S = ∪i pi .
n
Ahora bien, en todo anillo si I ⊆ ∪pi , pi primos, entonces para algún i, I ⊆ pi : Si I no está
i
incluido en n − 1 de ellos, en tal caso existen fi ∈ I, que no pertenece a ∪ pj (pero fi ∈ pi ),
j6=i
P n
entonces f = i fi ∈ I y f ∈ / ∪pi , contradicción. Luego I está incluido en n − 1 de ellos y
i
reiterando el argumento está incluido en uno de ellos.
Dado f ∈ p, es obvio que f solo pertenece a un número finito de los pi . Por tanto, existe
un pi de modo que p ∩ k[x1 , . . . , x2n −1 ] está incluido en pi ∩ k[x1 , . . . , x2n −1 ] (observemos que
k[x1 , . . . , x2n −1 ] ∩ pj = 0, para todo j ≥ n), para todo n. Luego, p ⊂ pi , para este i.
Ahora ya concluimos que Specmax AS = {pi · AS }i .
2. fs ∈ pi · AS si y sólo si f ∈ pi . Ahora bien, es obvio que f solo pertenece a un número finito
de los pi .
3. Sea I1 ⊆ I2 ⊆ · · · una cadena ascendente de ideales. I1 está incluido en un número finito de
ideales primos maximales, pi1 , . . . , pin , por 2. Denotemos pij = pyj . Para probar que la cadena
de ideales ascendente estabiliza basta probarlo localizando en los yj . Ahora bien, (AS )yj = Ayj
que es localización de k(xr )[x2ij , . . . , x2ij +1 −1 ] , los xr ∈
/ {x2ij , . . . , xx2ij +1 −1 }, son noetherianos.
4. dim AS = supremo {dim Ayi } = ∞.

11. Sean X, Y variedades algebraicas. Probar que

dim(X × Y ) = dim X + dim Y

(Utilı́cese el Lema de Normalización de Noether).

Resolución:

X = Spec A, Y = Spec B. Por el Lema de Normalización de Noether, existen morfismos

inyectivos finitos k[x1 , . . . , xn ] ,→ A, k[y1 , . . . , ym ] ,→ B (luego dim A = n y dim B = m).
Tenemos la composición de morfismos inyectivos finitos

k[x1 , . . . , xn ] ⊗k k[y1 , . . . , ym ] ,→ k[x1 , . . . , xn ] ⊗k B ,→ A ⊗k B

que prueba que dim A ⊗k B = n + m.

 5

12. Sean Y, Y 0 subvariedades irreducibles de una variedad algebraica irreducible X. Supongamos

que Y ∩ Y 0 6= ∅. Demuéstrese que

codim Y + codim Y 0 ≥ codim(Y ∩ Y 0 )

Resolución:

Si Y ⊂ X son variedades irreducibles se define codim Y como la máxima longitud de las cadenas
de cerrados irreducibles que comienzan en Y y terminan en X, que coincide con dim X − dim Y .
Si Y = ∪Yi , Yi irreducible entonces se define codim Y como el mı́nimo de las codim Yi , que
coincide con dim X − dim Y .
Sea x ∈ Y ∩ Y 0 un punto cerrado. Sea f una función de X que se anule en todos los puntos
de Y , pero no en todos los puntos de Y 0 . Sea H una de las componentes irreducibles de (f )0
que pase por Y . Tenemos que dim H = dim X − 1, Y ⊂ H, y Y 0 ∩ H = Y10 ∪ · · · ∪ Yn0 , con Yi0
irreducibles y dim Yi0 = dim Y 0 − 1 (pues son unas cuantas de las componentes irreducibles de
Y 0 ∩ (f )0 ). Ahora ya, por inducción sobre dim X, tenemos que en H,

codim(Yi0 ∩ Y ) ≤ codim Y + codim Yi0

luego en X,

codim(Yi0 ∩ Y ) − 1 ≤ codim Y − 1 + codim Yi0 − 1 = codim Y − 1 + codim Y 0

Ahora ya como Y ∩ Y 0 = Y ∩ Y 0 ∩ H = Y ∩ (∪Yi0 ), concluimos.

13. Sea f : X → Y un morfismo entre variedades algebraicas irreducibles. Sea y ∈ f (X) un punto
cerrado. Demuéstrese que
dim f −1 (y) ≥ dim X − dim f (X)

Resolución:

Podemos suponer que f (X) = Y . Sea dim Y = n. En un entorno de y, tenemos que y = {g1 =
0, . . . , gn = 0}, luego en un entorno de f −1 (y), tenemos que f −1 (y) = {g1 ◦f = 0, . . . , gn ◦f = 0}.
Luego,
dim f −1 (y) ≥ dim X − n = dim X − dim f (X)

14. Sea A = k[ξ1 , . . . , ξn ] un anillo graduado, con gr ξi = 1. Probar

(a) Si p ⊂ A es un ideal primo, el ideal generado por los elementos homogéneos de p es un

ideal primo.
(b) Los ideales primos minimales de A son ideales primos homogéneos
(c) dim A = dim Aor , donde mor = (ξ1 , . . . , ξn ).
(d) dim A − 1 es igual al grado del polinomio p(n) = dimk [A]n .
6

Resolución:

1. Sea p ⊂ A un ideal primo y p0 el ideal generado por los elementos homogéneos de p. Ob-
viamente p0 es un ideal homogéneo. Para ver que es primo basta probar que si a, b ∈ A son
elementos homogéneos tales que a · b ∈ p0 , entonces a ∈ p0 ó b ∈ p0 . Ahora, bien a · b ∈ p, luego
a ∈ p ó b ∈ p, por tanto a ∈ p0 ó b ∈ p0 .
2. Si p es un ideal primo minimal, el ideal primo homogéneo generado por los elementos ho-
mogéneos de p al estar incluido en p ha de coincidir con él, luego p es homogéneo.
3. La dimensión de una variedad algebraica es el máximo de las dimensiones de sus componentes
irreducibles. A su vez, la dimensión de una variedad algebraica irreducible es la dimensión del
anillo de gérmenes de cualquiera de sus puntos cerrados. En el caso que nos ocupa, por 2., todas
las componentes irreducibles de Spec A contienen al origen, luego dim A = dim Aor .
4. El polinomio p(n) = dimk [A]n coincide con el polinomio de Hilbert de Aor , luego por 3.
hemos acabado.