I.

ANILLOS DE POLINOMIOS

1. Si a ∈ k, probar que el morfismo natural k → k[x]/(x − a) es un isomorfismo, y que dados

elementos diferentes a1 , . . . , an ∈ k, tenemos un isomorfismo de k-álgebras

k[x]/((x − a1 ) . . . (x − an )) ≃ k ⊕ . . . ⊕ k, [p(x)] 7→ (p(a1 ), . . . , p(an )).

Concluir que para cada sucesión b1 , . . . , bn ∈ k existe un único polinomio p(x) ∈ k[x] de
grado menor que n tal que p(ai ) = bi para todo 1 ≤ i ≤ n.
2. (*) Sean a1 , . . . , an ∈ k. Probar que el ideal m = (x1 − a1 , . . . , xn − an ) de k[x1 , . . . , xn ]
es maximal, y el morfismo natural k → k[x1 , . . . , xn ]/m es isomorfismo.
Concluir que m = {p(x1 , . . . , xn ) ∈ k[x1 , . . . , xn ] : p(a1 , . . . , an ) = 0}.
3. (*) Sea m un ideal de k[x1 , . . . , xn ]. Si el morfismo natural k → k[x1 , . . . , xn ] es un
isomorfismo, entonces existen a1 , . . . , an ∈ k tales que m = (x1 − a1 , . . . , xn − an ).
4. Sea A un anillo y a ∈ A. Demostrar que A[x]/(x − a) ≃ A, A[x, y]/(x − a) ≃ A[y].
Si p(x, y) ∈ A[x, y] y p(x, x) = 0, probar que p(x, y) es múltiplo de y − x en A[x, y].
5. Probar que la k-álgebra k[x, y]/(p(x, y)) no es finita cuando p(x, y) no es constante.
6. Sean A y B dos anillos. Probar que todo ideal de A × B es de la forma a × b para ciertos
ideales a ⊆ A, b ⊆ B. Además (A × B)/a × b = (A/a) × (B/b).
7. (*) Sea I un ideal de un anillo A y π : A → A/I la proyección canónica. Si a1 , . . . , an ∈ A,
probar que π(a1 , . . . , an ) = (ā1 , . . . , ān ) y π −1 (ā1 , . . . , ān ) = a1 A + . . . + an A + I.
8. (*) Un elemento de un anillo es invertible si y sólo si no pertenece a ningún ideal maximal.
9. (*) Sea A ̸= 0 un anillo. Si existe un morfismo de A-módulos An → Am epiyectivo, probar
que n ≥ m. Concluir que todas las bases de un A-módulo libre finito-generado tienen el
mismo número de elementos.
(Indicación: Efectuar un cambio de base A → K, donde K es un cuerpo.)
10. Si un anillo A no es un cuerpo, entonces el anillo de polinomios A[x] no es un dominio de
ideales principales. (Indicación: Considerar el ideal (a, x), donde a es propio.)
11. (*) Sea M un A-módulo. Probar que M = HomA (A, M ), donde m ∈ M se corresponde
con el morfismo A → M , a 7→ am, y M n = HomA (An , M ), donde (m1 , . . . , mn ) ∈ M n se
corresponde con el morfismo An → M , (a1 , . . . , an ) 7→ a1 m1 + . . . + an mn .
12. Sea M un A-módulo y {Mi }i∈I una familia de A-módulos. Probar que
⊕ ∏ ∏ ∏
HomA ( i Mi , M ) = i HomA (Mi , M ) , HomA (M, i Mi ) = i HomA (M, Mi ).
13. Probar que un anillo A es ı́ntegro si y sólo si S = A − {0} es un sistema multiplicativo.
Probar que un ideal I de un anillo A es primo si y sólo si S = {a ∈ A : a ∈ / I} es un
sistema multiplicativo.
14. (*) Sea S un sistema multiplicativo de un anillo A. Probar las siguientes afirmaciones:
(a) La condición necesaria y suficiente para que S −1 A = 0 es que 0 ∈ S.
(b) El morfismo canónico de localización A → S −1 A es un isomorfismo precisamente
cuando todo elemento de S es invertible en A.
/ S y A es un dominio de ideales principales, entonces también lo es S −1 A.
(c) Si 0 ∈
15. ¿Es cierto que el cuerpo de fracciones del anillo Z[x] es isomorfo a Q(x)?
16. (*) Sea p un elemento no nulo de un dominio de factorización única A. Probar que p es

1
 irreducible si y sólo si el ideal pA es primo.
17. Sea d un entero
√ que no sea cuadrado perfecto. Probar que el número 2 es irreducible en
el anillo Z[ d√] si y sólo si la ecuación x2 − dy 2 = ±2 carece de soluciones enteras, y que
en tal caso Z[ d ] no es √ dominio de factorización única.
Concluir que el anillo Z[ d ] no es√DFU cuando d ≤ √ −3 ó d ≡ 1 √
(mód. 4).√
(Indicación:
√ √Usar la norma N : Z[√ d ] → Z,
√ N (a + b d) = (a + d)(a − d) = a2 − b2 d
y que d = d · d ó 1 − d = (1 + d )(1 − d ) es múltiplo de 2.)
18. Sea p un número primo y d un número entero. Si d es un resto cuadrático
√ mód. p y las
ecuaciones x2 − dy 2 = ±p carecen de soluciones enteras, entonces Z[ d ] no es DFU.
Cuando p = 2, probar que la hipótesis se verifica en los casos d = −5, −4, 5, 8, 10.
19. El anillo A = Z[ni ] no es un dominio de factorización única, donde n ∈ N, n ≥ 2.
(Indicación: El número complejo i = ni/n es raı́z del polinomio x2 + 1 ∈ A[x].)
20. Descomponer en factores irreducibles los siguientes polinomios con coeficientes complejos:
x2 + y 2 − 1, x3 + y 3 + 1, x3 y 3 + 1, xy 2 + x2 y − x − y, y 2 + x2 − y 3 , x2 y 2 − x2 z 2 − y 2 z 2 + z 2 ,
x6 − y 3 , x3 y + yz 3 + x − z, xn + y 3 − 1, xn + xy 2 z m − 1
21. Probar que y 2 − x2n+1 es irreducible en k[x, y] para todo n ≥ 1.
Probar que el anillo A = k[x, y]/(y 2 − x2n+1 ) no es dominio de factorización única.
22. Si p(x) no es un cuadrado en k[x], probar que y 2 − p(x) es irreducible en k[x, y].
23. Probar que los cuerpos y dominios de ideales principales son anillos noetherianos.
24. (*) Sea f : M → M ′′ un morfismo de A-módulos epiyectivo. Si M es finito generado,
también lo es M ′′ . Concluir que si M es noetheriano, también lo es M ′′ .
25. (*) Sea I un ideal de un anillo noetheriano A. El anillo A/I también es noetheriano.
26. (*) Sea A un anillo noetheriano. Los anillos de fracciones AS también son noetherianos.
27. Todo elemento propio de un anillo noetheriano ı́ntegro es producto de irreducibles.
28. Si M1 , . . . , Mr son A-módulos noetherianos, también lo es M1 × . . . × Mr .
29. Si el anillo A[x] es noetheriano, entonces el anillo A también es noetheriano.
30. Sean N y N ′ dos submódulos de un A-módulo M tales que M = N ′ + N . Probar que M
es un A-módulo noetheriano si y sólo si N y N ′ son A-módulos noetherianos.
31. Sean N y N ′ dos submódulos de un A-módulo M tales que 0 = N ′ ∩ N . Probar que M
es un A-módulo noetheriano si y sólo si M/N y M/N ′ son A-módulos noetherianos.
32. Sea M un A-módulo noetheriano y N un A-módulo de tipo finito. Probar que el A-módulo
HomA (N, M ) es noetheriano.
∏ ∏
33. ¿Es noetheriano el anillo ∞ Z? ¿Es noetheriano el anillo ∞ R = C(N)?
34. Probar que todo endomorfismo epiyectivo f : M → M de un A-módulo noetheriano M es
un isomorfismo. (Indicación: Considerar los submódulos Ker f n .)
35. Sea a = {a ∈ A : aM = 0} el ideal anulador de un A-módulo M . Si M es finito-generado,
probar que A/a es un submódulo de M ⊕. . .⊕M . Concluir que el anillo A/a es noetheriano
cuando M es un A-módulo noetheriano.
36. Sea C(R) el anillo de las funciones R → R continuas. El ideal formado por las funciones
continuas que se anulan en algún entorno del punto x = 0 no es finito-generado.
Concluir que los anillos C(Rn ) y C ∞ (Rn ) no son noetherianos cuando n ≥ 1.

2
 II. EL ESPECTRO DE UN ANILLO

1. Sea f : A → B un morfismo epiyectivo de anillos.

Probar que si p es un ideal primo de A que contiene al núcleo de f , entonces f (p) es un
ideal primo de B, y que ası́ se obtienen todos los ideales primos de B.
Además, si m es un ideal maximal de A que contiene al núcleo de f , entonces f (m) es un
ideal maximal de B, y ası́ se obtienen todos los ideales maximales de B.
2. ¿Son ciertas las siguientes afirmaciones para todo morfismo de anillos f : A → B?
Si p es un ideal primo de B, entonces f −1 (p) es un ideal primo de A.
Si m es un ideal maximal de B, entonces f −1 (m) es un ideal maximal de A.
Si p es un ideal primo de A, entonces f (p) es un ideal primo de B.
Si m es un ideal maximal de A, entonces f (m) es un ideal maximal de B.
3. Sea I = (p1 , . . . , pr ) un ideal de un anillo de polinomios A = k[x1 , . . . , xn ] con coeficientes
en un cuerpo k. Probar que la condición necesaria y suficiente para que I ̸= A es que el
sistema de ecuaciones
p1 (x1 , . . . , xn ) = 0
..................
pr (x1 , . . . , xn ) = 0
admita alguna solución x1 = α1 , . . . , xn = αn en alguna extensión L de k.
(Indicación: Si I ̸= A, buscar una solución en L = A/m, donde I ⊆ m).
4. (*) Si f, g ∈ A, probar que Uf ∩ Ug = Uf g .
Si I, J son ideales de A, probar que (IJ)0 = (I)0 ∪ (J)0 .
5. Hallar dos ideales I, J de un anillo A de modo que (I)0 ⊆ (J)0 pero que J no esté
contenido en I.
6. Si m1 , . . . , mr son ideales maximales distintos de un anillo A, probar que los morfismos
naturales A → (A/mn1 1 ) ⊕ . . . ⊕ (A/mnr r ) son epiyectivos. (Indicación: Teorema chino.)
7. Determinar
( 2 el espectro) de los siguientes anillos: C[x]/(x4 −2),R[x]/(x4 −2), Q[x]/(x4 −2),
C[x]/ (x ) ∩ (x − 2) , C[x]/(x + x − 1, x4 − 2).
4 2

8. Determinar el espectro de k[x]/(x6 − 1) cuando k = Q, R, C, F2 , F3 , F5 , F7 .

⨿
9. (*) Probar que Spec (A × B) = (Spec A) (Spec B).
10. (*) Sea Y un subespacio de un espacio topológico X. Probar que si Y es irreducible, en-
tonces su cierre Ȳ en X también es irreducible. Concluir que las componentes irreducibles
de un espacio topológico siempre son cerradas.
11. (*) Sea q(x1 , . . . , xn ) un polinomio con coeficientes en un cuerpo k y q = pn1 1 . . . pnr r
su descomposición en factores irreducibles. Probar que Spec k[x1 , . . . , xn ]/(q) tiene r
componentes irreducibles, que son los cerrados (p1 )0 , . . . (pr )0 .
12. Todo espacio topológico noetheriano es compacto, y todo subespacio de un espacio topológico
noetheriano también es noetheriano (y por tanto compacto).
13. Un espacio topológico es noetheriano si y sólo si todos sus abiertos son compactos.
14. (*) Sea A un anillo noetheriano de dimensión 0. Probar que Spec A es un espacio
topológico finito y discreto.
15. Sea A un anillo y rad A = {a ∈ A : alguna potencia an es nula} su radical. Probar que
Spec A = Spec (A/rad A), y dar un ejemplo de un anillo no noetheriano A cuyo espectro
sea un espacio topológico noetheriano.

3
16. Si A es noetheriano, probar que (rad A)n = 0 para algún exponente n ∈ N.
17. Dar un ejemplo de un anillo A y un punto x ∈ Spec A tal que el morfismo canónico de
localización γ : A → Ax sea un isomorfismo (resp. inyectivo, pero no epiyectivo) (resp.
epiyectivo pero no inyectivo).
18. Sea S un sistema multiplicativo de un anillo A. Son equivalentes las afirmaciones
(a) El morfismo canónico γ : A → AS es un isomorfismo.
(b) Todos los elementos de S son invertibles en A.
(c) La aplicación natural Spec AS → Spec A es biyectiva.
19. (*) Sea x un punto del espectro de un anillo A. Probar que Spec Ax es la intersección de
todos los entornos de x en Spec A.
20. Sean S y T dos sistemas multiplicativos de un anillo A. Probar que si Spec AS = Spec AT
(como subconjuntos de Spec A), entonces AS = AT .
21. Sea x ∈ Spec A un punto definido por un ideal maximal m de A. Probar que Ax = A1+m .
22. (*) Sean I, J ideales de un anillo A. Probar que (I)0 ⊆ (J)0 si y sólo si rad (J) ⊆ rad (I).
23. Sea A un anillo y f, g ∈ A. Probar que Uf ⊆ Ug ⇔ g divide a alguna potencia de f .
24. Sea I un ideal de un anillo A. Probar que (I)0 = Spec A si y sólo si el ideal I está generado
por elementos nilpotentes.
25. Sea A un anillo reducido. Probar que Spec A tiene un punto denso si y sólo si A es ı́ntegro.
¿Es cierto el resultado si se elimina la hipótesis de que A sea reducido?
26. Sea A un anillo y X = Spec A. Probar que un punto x ∈ X es denso precisamente cuando
su ideal primo coincide con el radical de A. Concluir que X tiene un punto denso si y
sólo si rad A es un ideal primo (es decir, A/rad A es ı́ntegro).
27. Todo elemento de un primo minimal divide a cero. (Indicación: Localizar en el primo).
28. Hallar el espectro (determinando sus componentes irreducibles) y determinar los ideales
maximales, los ideales primos minimales y la dimensión de los siguientes anillos:
C[x, y]/(x
( 2+ x , y + 21), C[x,
4 2 2 2
) y]/(x +(y ),
2
C[x, y]/(yx − x2) − y + x), yx + x2 − y − x),
C[x, y]/ (x + xy) ∩ (y + xy) , C[x, y]/ (x , y − 1) ∩ (x2 , xy) , C[x, y]/(y 2 + x, y 2 − xy + x),
2

C[x, y]/(xy + 2, x3 − x + y 2 x), C[t, t−1 ], k × k[t].

29. Dar un ejemplo de un anillo de dimensión no nula con un ideal maximal que también sea
un primo minimal.
30. Si dos curvas planas complejas p(x, y) = 0, q(x, y) = 0 no se cortan (en el sentido del
Análisis), probar que 1 = hp + gq para ciertos polinomios h, g ∈ C[x, y].
31. Sea A un anillo. Si una función f ∈ A es idempotente, f 2 = f , probar que Uf es un
abierto cerrado del espectro de A. Si f ̸= 0, 1, concluir que Spec A no es conexo.
32. (*) Sea A un anillo. Probar que todo abierto cerrado U de Spec A es un abierto básico, y
que A descompone en producto directo, A = (A/I) × (A/J), donde (I)o = U y (J)o = U c .
Concluir que U = Uf para alguna función idempotente f ∈ A.
(Indicación: Si U = (a)0 y U c = (b)0 , entonces a + b = A y 1 = a + b para ciertos a ∈ a,
b ∈ b. Tomar I = an A y J = bn A, donde an bn = 0.)
33. (*) Si un morfismo de anillos j : A → B es inyectivo, probar que la correspondiente
aplicación continua ϕ : Spec B → Spec A tiene imagen densa. (Indicación: Si un cerrado
(I)0 contiene a la imagen de ϕ, entonces IB ⊆ rad B y por tanto I ⊆ rad A).

4
34. Sea ϕ : Spec B → Spec A la aplicación continua inducida por un morfismo de anillos
A → B. Probar que el cierre de la imagen de ϕ es (Ker j)0 .
En general, si J es un ideal de B, el cierre de ϕ(J)0 coincide con (J ∩ A)0 .

5
 III. LOCALIZACIÓN DE MÓDULOS

1. (*) Sea M un A-módulo y S un sistema multiplicativo del anillo A. Si N ′ es un submódulo

del AS -módulo MS , probar la existencia de un submódulo N de M tal que N ′ = NS .
Si M es un A-módulo noetheriano, probar que MS es un AS -módulo noetheriano.
2. (*) Sea M un A-módulo de tipo finito. Si Mx = 0 en algún punto x ∈ Spec A, probar la
existencia de un entorno básico Uf de x tal que Mf = 0.
3. (*) Sean S y T dos sistemas multiplicativos de un anillo A. Probar que (MS )T = MST ,
donde ST = {st : s ∈ S, t ∈ T }.
4. Dar un ejemplo de un anillo A y dos puntos x ̸= y de su espectro tales que (Ax )y =
̸ 0.
Dar un ejemplo de un anillo A y dos puntos x ̸= y de su espectro tales que (Ax )y = 0.
5. Si m es el único ideal maximal de un anillo A, probar que, para todo A-módulo M , el
morfismo canónico M → Mm es un isomorfismo.
6. Determinar los puntos x ∈ Spec Z donde Mx ̸= 0, cuando M = Z, Z/12Z, Q, Q/Z.
7. Sea I un ideal de A y x ∈ Spec A. Las siguientes condiciones son equivalentes:
(a) Ix = Ax
(b) Alguna función de I no se anula en un entorno de x.
(c) El punto x está en el abierto complementario de (I)0 .
8. Sea I un ideal de A y x ∈ Spec A. Las siguientes condiciones son equivalentes:
(a) Ix = 0
(b) Para cada función h ∈ I existe un entorno básico Uf de x tal que h = 0 en Af .
Además, si I es finito-generado, equivalen a que x esté en el interior del cerrado (I)0 .
9. (*) Sea x ∈ Spec A un punto cerrado de ideal maximal m. Probar que
A/m = (A/m)x = Ax /mx y mn /mm = (mn /mm )x = mnx /mm x , cuando n > m.
10. (*) Si M es un A-módulo finito generado, entonces Sop M = (Ann M )0 .
11. Si M es un A-módulo noetheriano, entonces Sop M es un cerrado noetheriano de Spec A.
12. Sea Spec A = Uf1 ∪ . . . ∪ Ufn un recubrimiento por abiertos básicos. Un A-módulo M es
noetheriano si y sólo si Mfi es un Afi -módulo noetheriano para todo ı́ndice i.
13. Un sistema de ecuaciones lineales diofánticas tiene solución entera si y sólo si para cada
número primo p admite solución racional con denominadores que no son múltiplos de p.
14. (*) Sea N un submódulo de un A-módulo M y m ∈ M . Si mx ∈ Nx para todo x ∈ Spec A,
demostrar que m ∈ N .
15. Cualquier sistema de n generadores del A-módulo libre An forman una base.
(Indicación: Aplicar el lema de Nakayama al núcleo del epimorfismo An → An .)
16. Sean M , N dos A-módulos. Si M es finito-generado y M ≃ M ⊕ N , probar que N = 0.
¿Es cierto si se elimina la hipótesis de que M sea finito-generado?
17. El ideal maximal m = (x, y) de A = k[x, y]/(x2 , y 2 ) no es principal. (Indicación: Nakayama.)
Concluir que la k-álgebra finita A = k[x, y]/(x2 , y 2 ) no es un cociente de k[x].
18. Sean M , N dos módulos finito-generados sobre un anillo local O.
Si M ⊗O N = 0, entonces M = 0 o N = 0. (Indicación: El cambio de base O → O/m.)
Si M ⊗O N = O, entonces M = N = O. (Indicación: Probar que M y N son monógenos.)

6
19. Si M , N son A-módulos finito-generados, entonces Sop (M ⊗A N ) = (Sop M ) ∩ (Sop N ).

7
 IV. MORFISMOS FINITOS

1. Probar que el morfismo natural R[x1 , . . . , xn ] → C[x1 , . . . , xn ] es finito.

2. Sea k → L una extensión algebraica y A = k[x1 , . . . , xn ] → L[x1 , . . . , xn ] = B el morfismo
natural. Probar que todo elemento de B es entero sobre A.
3. Si A → B, A → C son morfismos finitos, también lo es A → B ⊗A C, a 7→ a ⊗ 1 = 1 ⊗ a.
√ √ √ √
3
4. Probar que los números complejos 2 y 3 3 son enteros sobre Z; pero no 22 , 33 ni √
1
4 .
2
√
1+ −3 1+ −5
√ √
5. Determinar si son enteros sobre Z los números complejos , 4
, 2 + i + 2,
√4 1
√4
2+i
2 2
2 + i + 2, 2 ,
6. Sea Σ el cuerpo de fracciones de un dominio de factorización única A. Probar que todo
elemento ab ∈ Σ entero sobre A está en A. (Indicación: Si α ∈ Σ es raı́z de un polinomio
a0 xn + . . . + an ∈ A[x], entonces α = ab donde an es múltiplo de a, y a0 múltiplo de b.)
7. Determinar el cierre entero de Z[ i ] en su cuerpo de fracciones Σ = Q(i).
√ √
8. Determinar el cierre entero de Z[ −3 ] en su cuerpo de fracciones Σ = Q( −3 ). (Indi-
cación: Si α ∈ Σ es entero sobre Z, también lo es σ(α) para todo automorfismo σ del
cuerpo Σ.)
9. Sea A un anillo y f ∈ A. Si el abierto básico Uf ⊆ Spec A no es cerrado, entonces el
morfismo A → Af no es finito.
10. Sea A = C[x, y]/(y 2 − x) el anillo de funciones algebraicas sobre la parábola x = y 2 y
consideremos la función f = y − 1 ∈ A. Probar que el morfismo natural C[x] → Af no es
finito, aunque la aplicación inducida Spec Af → Spec C[x] es cerrada (e incluso abierta)
epiyectiva y sus fibras son finitas y discretas.
11. La dimensión de Krull de R[x, y] es 2. (Indicación: La dimensión de C[x, y] es 2.)
12. Determinar un morfismo finito C[ t ] ,→ A cuando A = C[x, y]/(y − xn ), C[x, y]/(xy − 1),
C[x, y]/(xy − x − y), C[x, y]/(xn y n − 1), C[x, y, z]/(x2 + y 2 + z 2 , xz 2 + z + 1). (Indicación:
es posible cambiar los generadores).
13. Si un sistema de ecuaciones polinómicas con coeficientes complejos

p1 (x1 , . . . , xn ) = 0 
.........

pr (x1 , . . . , xn ) = 0

carece de soluciones complejas, entonces existen q1 , . . . , qr ∈ C[x1 , . . . , xn ] tales que

1 = q1 (x1 , . . . , xn )p1 (x1 , . . . , xn ) + . . . + qr (x1 , . . . , xn )pr (x1 , . . . , xn ).
14. Consideremos dos sistemas de ecuaciones polinómicas con coeficientes complejos:
 
p1 (x1 , . . . , xn ) = 0  q1 (x1 , . . . , xn ) = 0 
......... , .........
 
pr (x1 , . . . , xn ) = 0 qs (x1 , . . . , xn ) = 0

Si todas las soluciones complejas del primer sistema también son soluciones del segundo,
probar que existe un exponente m y polinomios h1 , . . . , hr ∈ C[x1 , . . . , xn ] tales que
q1m = h1 (x1 , . . . , xn )p1 (x1 , . . . , xn ) + . . . + hr (x1 , . . . , xn )pr (x1 , . . . , xn ).

8
 V. TEORÍA DE LA DIMENSIÓN

1. Si P (x, y) es un polinomio no constante con coeficientes complejos, probar que existen

números complejos a, b tales que P (a, b) = 0.
Concluir que si P (x, y) es un polinomio no constante con coeficientes complejos, entonces

dim C[x, y]/(P (x, y)) = 1.

2. Sea k → L una extensión y x1 , . . . , xn ∈ L elementos algebraicamente independientes

sobre k. Probar que la extensión k(x1 , . . . , xn ) → L es algebraica si y sólo si no existe
α ∈ L tal que x1 , . . . , xn , α sean algebraicamente independientes sobre k.
3. Dados polinomios p1 , . . . , pr ∈ k[x1 , . . . , xn ] y una extensión k → L, probar que

dim k[x1 , . . . , xn ]/(p1 , . . . , pr ) = dim L[x1 , . . . , xn ]/(p1 , . . . , pr ).

4. Dados polinomios p(x) ∈ k[x] y q(y) ∈ k[y], probar que

( )
dim k[x, y]/ p(x), q(y) = dim k[x]/(p) + dim k[y]/(q).

En general, dados polinomios p1 , . . . , pr ∈ k[x1 , . . . , xm ] y q1 , . . . , qs ∈ k[y1 , . . . , yn ], probar

que la dimensión del anillo dim k[x1 , . . . , xm , y1 , . . . , yn ]/(p1 , . . . , pr , q1 , . . . , qs ) es

dim k[x1 , . . . , xm ]/(p1 , . . . , pr ) + dim k[y1 , . . . , yn ]/(q1 , . . . , qs ).

5. Sea Y un cerrado irreducible de Spec A y U un abierto. Si Y ∩ U no es vacı́o, probar que

es irreducible.
6. Sea ϕ : Spec B → Spec A la aplicación inducida por un morfismo finito e inyectivo A ,→ B.
Probar que la dimensión de cualquier cerrado Y ⊆ Spec A coincide con la dimensión de
ϕ−1 (Y ). (Indicación: Teorema del Ascenso).
7. Si p(x, y) es un polinomio no constante con coeficientes en un cuerpo k, probar que
dim k[x, y]/(p) = 1.
8. Sean p(x, y) y q(x, y) dos polinomios no constantes con coeficientes en un cuerpo k, sin
factores irreducibles comunes. Demostrar que la dimensión del anillo k[x, y]/(p, q) es nula.
Concluir que el sistema de ecuaciones algebraicas
}
p(x, y) = 0
q(x, y) = 0

sólo tiene un número finito de soluciones en k.

9. Sea A una k-álgebra de tipo finito ı́ntegra. Probar que dim A = dim Ax en todo punto
cerrado x ∈ Spec A.
10. Hallar la dimensión de Krull del anillo C[x, y, z]/(x2 + y 2 + z 2 − 1, y − x2 ).
11. Probar que todo ideal maximal de k[x, y] está generado por dos polinomios.
Procediendo por inducción, obtener que todo ideal maximal de k[x1 , . . . , xn ] está generado
por n polinomios.
(Indicación: Fórmula de la fibra para el morfismo k[x1 , . . . , xn−1 ] → k[x1 , . . . , xn ]).
12. Probar que ningún ideal maximal de k[x1 , . . . , xn ] puede generarse con n − 1 polinomios.