Curvas algebraicas: Hoja 1

Esther Jerez López

27 de septiembre de 2022
 Ejercicio A3

Sea A un anillo y p un ideal primo de A.

(a) Demostrar que S = A \ p es un subconjunto multiplicativo de A.
(b) Demostrar que Ap = S −1 A es local (hay un único ideal maximal).

(c) Sea m el ideal maximal de Ap . Demuestra que Ap /m es isomorfo al cuerpo de fracciones de

A/p.

(a) Por una parte observamos que 1 ∈ S porque al ser p un ideal primo, se cumple 1 ∈ / p. Ahora,
dados s1 , s2 ∈ S supongamos que s1 s2 ∈ / S, es decir, s1 s2 ∈ p. Por ser p ideal primo, esto implica
que s1 ∈ p o s2 ∈ p, pero esto contradice s1 , s2 ∈ S, y por tanto podemos afirmar que s1 s2 ∈ S.
Adicionalmente, podemos comprobar que 0 ∈ / S, ya que para todo ideal de un anillo, el cero esta
en el ideal. De esta forma hemos demostrado que S es un subconjunto multiplicativo de A.
(b) Consideramos el ideal pAp = ps : p ∈ p, s ∈ S = A \ p ⊂ Ap . Queremos ver primero que pAp es


ideal primo. Para ello consideramos as , bt ∈ Ap tal que as bt ∈ pAp . Esto implica que ab



st ∈ pAp ,
y por tanto que existen c ∈ p y d ∈ S = A \ p tal que ab st = c
d . Es decir, están relacionados entre
si por la relación de equivalencia con la que se define el anillo S, lo que se traduce en que existe
un u ∈ A \ p tal que u(abd − stc) = 0. De aquı́ deducimos uabd = ustc, y como c ∈ p y ust ∈ A
sabemos que ustc ∈ p por la condición ide ideal primo de p. Esto implica que uabd ∈ p, y por tanto
o ud ∈ p o ab ∈ p. La primera opción no es posible y que ambos u, d ∈ A \ p (y por tanto ud ∈ A \ p
por ser este un subanillo conmutativo). Por tanto deducimos que ab ∈ p, y entonces o bien a ∈ p o
bien b ∈ p por ser p ideal primo. Esto significa que o bien as ∈ pAp o bien bt ∈ pAp , demostrándose
ası́ que el ideal pAp es primo.
Para mostrar que este ideal es maximal basta con ver que todos los elemento en Ap \ pAp son
unidades. Esto lo demuestra porque ningún ideal contiene unidades de un anillo, y por tanto deberı́a
estar contenido en Ap \U (Ap ) = pAp . Efectivamente tomemos as ∈ Ap \pAp . Esto implica a, s ∈ A\p,
por tanto as ∈∈ Ap \ pAp satisfaciéndose as as = 1 para a, s cualesquiera. Por tanto Ap \ pAp está
formado por unidades, demostrándose ası́ que pAp es un ideal maximal y por tanto que el anillo Ap
es local.
(c) Para este apartado vamos a utilizar un resultado demostrado en el ejercicio (A1), concretamente el
apartado b) que dice:

Sea A un anillo, S un subconjunto multiplicativo S ⊂ A e I un ideal I ⊂ A con π : A → A/I

el homomorfismo natural de paso al cociente. Entonces la localización conmuta con el paso
al cociente:

S −1 A/A−1 I ' π(S)−1 (A/I).

En nuestro caso, tomando S = A \ p, I = p y observando que m = pAp = S −1 p, directamente

obtenemos:

S −1 A/S −1 p = Ap /m ' π(S)−1 (A/p),

siendo este último justo el cuerpo de fracciones de A/p.

1
 Ejercico B2

Sea A un anillo y f = a0 + a1 x + . . . + an xn ∈ A [x]. Demostrar que f es invertible en A [x] si y

sólo si a0 es invertible en A y a1 , . . . , an son nilpotentes.

⇒ Supongamos que f es invertible en A [x], es decir, es una unidad. Considerando p < A un ideal
primo, sabemos que A/p es un dominio de integridad, y por tanto toda unidad de A será enviada
a una unidad de A/P . Supongamos que g ∈ A [x] es el inverso de f , y denotemos las reducciones
de los polinomios f y g en A/p por fp y gp respectivamente. Al estar en un dominio de integridad,
sabemos que deg(fp gp ) = deg(fp ) + deg(gp ), y como f g = 1 esto implica que fp y gp son constantes.
En otras palabras, a1 , . . . , an son cero módulo P , es decir, están contenidos en el ideal primo p. Al
ser p un ideal primo aleatorio, podemos concluir que a1 , . . . , an ∈ N (A) = {elementos nilpotentes
de A}. Es decir, a1 , . . . , an son nilpotentes.
Por otra parte, el hecho de que f g = 1 también nos permite deducir que a0 b0 = 1, y por tanto a0
es invertible en A.
⇐ Para esta parte del ejercicio utilizaremos un resultado que demostraremos en primer lugar.

En todo anillo conmutativo unitario, la suma de un elemento nilpotente y un elemento

invertible resulta en un elemento invertible.

Demostración: Sean u, n ∈ A dos elementos del anillo con u invertible y n nilpotente. Supongamos
m el mı́nimo natural tal que nm = 0, y consideremos u = 1. Entonces:

(1 + n)(1 − n + n2 − n3 + . . . + (−n)m−1 ) = 1 + (−1)m−1 nm = 1.

Y por tanto 1 + n es una unidad. Ahora, para cualquier u, sabemos que u−1 n es nilpotente ya que
(u−1 n)m = 0, y por lo anterior entonces 1 + u−1 n es invertible. Como las unidades de un anillo son
cerradas por el producto, u(1 + u−1 n) = u + n también es invertible. 
Una vez demostrado este resultado, es fácil ver que si a1 , . . . , an son nilpotentes en A, entonces
a1 x, a2 x2 , . . . , an xn son nilpotentes en A [x], y por el resultado anterior a1 x + a0 es invertible.
Usando este argumento al sumar cada uno de los términos restantes hasta obtener f , podemos
concluir que f es invertible en A [x].

2
 Ejercicio C4

Si M → N → L es una sucesión exacta de A-módulos y S es un conjunto multiplicativo, entonces

la sucesión inducida de S −1 A-módulos S −1 M → S −1 N → S −1 L es también exacta.

Sean f : M → N y g : N → L los homomorfismos que hacen la cadena M → N → L exacta. La acción

de S −1 induce por tanto los homomorfismos S −1 f : S −1 M → S −1 N y S −1 g : S −1 N → S −1 L, definidos
como S f ( s ) = f (m)
−1

m
s (igual correspondientemente para g). Queremos comprobar que efectivamente
Im(S −1 f ) = Ker(S −1 g).
⊂ Observamos que

(S −1 g) ◦ (S −1 f ) = S −1 (g ◦ f ) = 0,

ya que Im(f ) = Ker(g). Esto implica por tanto que Im(S −1 f ) ⊆ Ker(S −1 g).
−1 g(m)
⊃ Para la otra inclusión consideramos m
s ∈ Ker(S g) ⇒ (S −1 g)( m
s ) = s = 0. Entonces ∃t ∈ S
tal que tg(m) = g(tm) = 0. Como Ker(g) = Im(f ), esto implica que ∃m0 ∈ M tal que f (m0) = tm.
Entonces:
m ∗ tm f (m0) m0
= = = (S −1 f )( ),
s ts ts ts
y por tanto Ker(S −1 g) ⊂ Im(S −1 f ). Nótese que en la igualdad ∗ se ha utilizado que S es un
subconjunto multiplicativo, y que por tanto ts ∈ S.
De esta forma queda demostrado que Im(S −1 f ) = Ker(S −1 g).