Tema 3. Anillos y módulos de fracciones (Localización) 3.1.1.

Anillos de fracciones

Definición:
Sea A un anillo (conmutativo con 1). Sea S un subconjunto de A.
3.1. Anillos de fracciones. Decimos que S es un sistema o conjunto multiplicativo o
multiplicativamente cerrado si 1A 2 S y si a, b 2 S implica que ab 2 S.
3.2. Módulos de fracciones.
EJEMPLO: Sea a ideal de A. S = 1 + a = {1 + x : x 2 a} es un sistema
3.3. Propiedades locales. multiplicativo.
CONSTRUCCIÓN: Vamos a construı́r el anillo de fracciones con
3.4. Ideales extendidos y contraı́dos. numerador en A y denominador en S. Consideramos en A ⇥ S la relación:
⇠ (b, t) () existen u, v 2 S tales que au = bv y su = tv (*)
(a, s) =
que es una relación de equivalencia en A ⇥ S. Claramente tiene las
propiedades reflexiva y simétrica. Veremos si verifica la propiedad
transitiva.

3. Anillos y módulos de fracciones/ R. Gonzalez 1 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.1. Anillos de fracciones 2 / 34

Definición:
En cuanto a la propiedad transitiva, si (a, s) ⇠ = (b, t) y (b, t) ⇠ = (c, r ), Sea S un sistema multiplicativo de un anillo A. Llamamos anillo de
existen u, v , u 0 , v 0 2 S tales que au = bv , su = tv y bu 0 = cv 0 , tu 0 = rv 0 . fracciones o localización de A por S al conjunto AS con la estructura de
Tenemos que anillo con las operaciones:
auu 0 = bvu 0 = cvv 0 , suu 0 = tvu 0 = rvv 0 . Como uu 0 , vv 0 2 S, (a, s) ⇠
= (c, r ). a
s + b
t = at+bs a
st , s · b
t = ab
st .
El conjunto cociente (A ⇥ S)/ ⇠= se denota por S 1A o AS , y la imagen de
cada pareja (a, s) en AS se denota a/s. Estas operaciones no dependen de los representantes elegidos; sustituı́mos
a/s por au/su:
Nótese que la relación de equivalencia (*) se puede escribir ası́: (at+bs)u
a b
⇠ (b, t) () existe ! 2 S tal que !(at bs) = 0 pues s + t = stu = at+bs
st ,
(a, s) =
a b abu ab
9 u, v 2 S tales que au = bv y su = tv () 9 ! 2 S tal que !(at bs) = s · t = stu = st .
0. El cero es 0/1, la unidad es 1/1, el opuesto de a/s es (-a)/s.
Para demostrar ”)” tomamos ! = uv ; y para demostrar ”(” tomamos NOTA: La aplicación : A ! S 1 A, (a) = a/1, es homomorfismo de
u = t!, v = s!. anillos, llamado homomorfismo de localización.
(a + b) = (a) + (b), (ab) = (a) (b), (1A ) = 1/1
Nótese que (s) = s es invertible en S 1 A, para todo s 2 S.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.1. Anillos de fracciones 3 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.1. Anillos de fracciones 4 / 34

Propiedad Universal de la Localización de anillos (3.0):

NOTA: Si A es un dominio entero y S = A {0}, entonces
Frac(A)= S 1 A es el cuerpo de fracciones de A; es inyectivo.
EJEMPLOS: (1) Q es el cuerpo de fracciones de Z.
(2) Sea S = Z (5). Z(5) = {q 2 Q : q = a/b, a, b 2 Z, 5 no divide a b}
3. Anillos y módulos de fracciones/ R. Gonzalez 3.1. Anillos de fracciones
Sea : A ! S 1 A el homomorfismo de localización. Si f : A ! B es un
homomorfismo de anillos tal que f (s) es invertible en B, para todo s 2 S,
entonces existe un único homomorfismo de anillos : S 1 A ! B tal que
f = · .
Demostración: Si f (s) es invertible en B, para todo s 2 S, entonces
existe un homomorfismo de anillos : S 1 A ! B, (a/s) = f (a)/f (s). Se
puede comprobar que la aplicación está bien definida, que es un
homomorfismo de anillos y que es el único tal que f = · .
NOTA: El anillo S 1 A y el homomorfismo de localización : A ! S 1 A
tienen las siguientes propiedades:
(1) s 2 S ) (s) es una unidad en S 1 A.
(2) (a) = 0 ) as = 0, para algún s 2 S.
(3) Cada elemento de S 1 A es de la forma (a) (s) 1 , para algún a 2 A,
s 2 S.
Recı́procamente, estas tres condiciones determinan el anillo S 1 A salvo
isomorfismo. De forma más precisa:
5 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.1. Anillos de fracciones 6 / 34

Corolario 3.0.1:
Sea f : A ! B un homomorfismo de anillos tal que
(1) s 2 S ) f (s) es una unidad en B.
(2) f (a) = 0 ) as = 0, para algún s 2 S.
1
(3) Cada elemento de B es de la forma f (a)f (s) , para algún a 2 A,
s 2 S.
Entonces existe un único isomorfismo de anillos h : S 1A
f =h· .
Demostración: Por (3.0) existe h; se ha de probar que h : S 1 A ! B,
definida por h(a/s) = f (a)f (s) 1 , es un isomorfismo. Por (3), h es
sobreyectiva. Para ver que h es inyectiva, consideramos Kerh, si
h(a/s) = 0, entonces f (a) = 0; por (2) existe t 2 S tal que ta = 0, por lo
que (a, s) ⇠
= (0, 1), es decir a/s = 0.
Teorema 3.1:
Existe una correspondencia biunı́voca entre los ideales primos de AS y los
ideales primos de A que no intersecan S. Es decir, si p es un ideal primo de
AS , existe un único ideal primo q de A que no interseca S, tal que
p = q · AS .
Demostración: Sea p ⇢ AS un ideal primo. Consideramos el
homomorfismo de localización : A ! AS . Sea q = pc = {a 2 A : 1a 2 p}.
! B tal que Es claro que p = q · AS pues, dado as 2 p, as = 1a · 1s , y 1a 2 p. Además, q es
un ideal primo de A que no interseca a S, porque si s 2 q \ S entonces
1 = ss 2 p.
Dado un ideal primo q de A que no interseca a S, se cumple que q · AS es
0
un ideal primo de AS : si as · as 0 = sq00 , con q 2 q, entonces existe t 2 S tal
que taa = tq 2 q por lo que a 2 q o a0 2 q. Por tanto, as 2 q · AS o
0
a0 c a q
s 0 2 q · AS . Además, q · AS es q puesto que, si 1 = s , con q 2 q, existe
t 2 S de modo que ta = tq 2 q por lo que a 2 q. Es claro que 1a 2 q · AS ,
si a 2 q.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.1. Anillos de fracciones 7 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.1. Anillos de fracciones 8 / 34

NOTACIÓN: Sea A un anillo. Si f 2 A, denotamos por Af la localización
de A por el sistema multiplicativo S = {1, f , f 2 , . . . , f n , . . . }. Denotemos
por (f )0 el conjunto de los ideales primos de A que contienen a f .
Corolario 3.2:
El espectro de Af , SpecAf , es igual a SpecA-(f )0 .
Demostración: Por Teorema 3.1, SpecAf se corresponde con los ideales
primos p de A que no intersecan a S = {1, f , f 2 , . . . , f n , . . . }. Esto
equivale a decir que SpecAf se corresponde con los ideales primos p de A
que no contienen a f.
Proposición 3.2.1:
Sean A un anillo, S un sistema multiplicativo, a un ideal de A tal que
a \ S = ;. Sea ⌃ = {ideales b : b a y b \ S = ;}. Se verifica que ⌃ tiene
un elemento maximal p, y todo tal p es un ideal primo.
Demostración: Es evidente que a 2 ⌃, que ⌃ está parcialmente ordenado
por inclusión y que toda cadena en ⌃ tiene una cota superior allı́. Por el
Lema de Zorn, ⌃ tiene un elemento maximal p. Veremos que p es un ideal
primo.
Sean x, y 2 A p. Tenemos que p + (x) y p + (y ) contienen estrictamente
a p. Entonces, existen p, q 2 p, a, b 2 A tales que p + ax 2 S,
q + by 2 S. Como S es un conjunto multiplicativo,
pq + pby + qax + abxy 2 S. Sin embargo, pq + pby + qax 2 p; por lo que
xy 2
/ p. En consecuencia, p es un ideal primo.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.1. Anillos de fracciones 9 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.1. Anillos de fracciones 10 / 34

3.2.1. Módulos de fracciones

Proposición 3.2.2: Sea S un sistema multiplicativo de un anillo A. Vamos a construı́r el

módulo de fracciones con numerador en el A-módulo M y denominador en
Sean A un anillo, a un ideal de A. Se verifica que:
S. Consideramos en M ⇥ S la relación:
p
a = \{p2SpecA a} p (m, s) ⇠
= (n, t) () 9 u, v 2 S tales que mu = nv y su = tv .
() 9 ! 2 S tal que !(mt ns) = 0
Por convención, la intersección vacı́a es A.
que es una relación de equivalencia en M ⇥ S. Claramente tiene las
p
Demostración: ’ ’: Consideramos x 2 / a. Sea S := {1, x, x 2 , . . . }. S es propiedades reflexiva y simétrica. En cuanto a la propiedad transitiva, si
un sistema multiplicativo tal que a \ S = ;. Por Prop. 3.2.1, existe p, (m, s) ⇠
= (n, t) y (n, t) ⇠
= (p, r ), existen u, v , u 0 , v 0 2 S tales que
p a, pero x 2 / p. Por tanto, x 2 / \{p2SpecA a} p mu = nv , su = tv y nu 0 = pv 0 , tu 0 = rv 0 . Tenemos que
p
’⇢’: Consideramos x 2 pa. Existe n > 0 tal que x n 2 a ⇢ p. Por tanto, muu 0 = nvu 0 = pvv 0 , suu 0 = tvu 0 = rvv 0 . Como uu 0 , vv 0 2 S,
x 2 p. En consecuencia, a = \{p2SpecA a} p. (m, s) ⇠
= (p, r ).
El conjunto cociente (M ⇥ S)/ ⇠ = se denota por S 1 M o MS , y la imagen
de cada pareja (m, s) en MS se denota m/s.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.1. Anillos de fracciones 11 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 12 / 34
Definición:
Sea S un sistema multiplicativo de un anillo A. Llamamos módulo de
fracciones o localización de M por S al conjunto MS con la estructura NOTA: (a) Como la aplicación : A ! S 1 A es un homomorfismo de
de AS -módulo con las operaciones: anillos, (a) = a/1, por restricción de escalares tenemos que:
m n mt+ns a m am
s + t = st , s · t = st . S 1 M es un A-módulo con la multiplicación por escalar
a · (m/s) = (a/1)(m/s) = am
s , 8a 2 A, s 2 S, m 2 M.
Estas operaciones no dependen de los representantes elegidos; sustituı́mos
(b) La aplicación M : M ! S 1 M, (m) = m/1, es un homomorfismo de
m/s por mu/su:
(mt+ns)u
A-módulos y es inyectivo () 8m 2 M, m 6= 0, Ann(Am) \ S = ;.
m n
s + t = stu = mt+ns
st ,
a m amu am
s · t = stu = st .
La aplicación M : M ! S 1 M, (m) = m/1, es homomorfismo de
A-módulos, llamado homomorfismo de localización.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 13 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 14 / 34

NOTA: Sea p 2 SpecA. Si S = A p, MS se denota por Mp .

Definición: El soporte del A-módulo M es:
SopM = {p 2 SpecA : Mp 6= 0}
Definición: (1) Sea A un dominio entero. Llamaremos submódulo de
Propiedad Universal de la Localización de módulos: torsión del A-módulo M a:
Sean S un sistema multiplicativo de un anillo A y el A-módulo M. Sea T (M) = {m 2 M : existe a 2 A no nulo tal que am = 0} Compruébese que
: M ! S 1 M el homomorfismo de localización. Si N es un es submódulo (Hoja 3, Ej. 6).
S 1 A-módulo y f : M ! N un homomorfismo de A-módulos, existe un (2) M se dice libre de torsión si T (M) = 0.
único homomorfismo de S 1 A-módulos : S 1 M ! N tal que f = · ; (3) M se dice módulo de torsión si T (M) = M.
es decir, ( m1 ) = f (m), para todo m 2 M. 1 M,
NOTA: Se puede comprobar que T (M) = Ker siendo : M ! S
Demostración: La unicidad es evidente, pues el homomorfismo ha de homomorfismo de localización, para S = A {0} (Hoja 3, Ej. 6).
ser ( ms ) = s 1 f (m), para todo m 2 M, s 2 S. Para la existencia, veamos
que la igualdad define una aplicación de S 1 M en N:
( um
us ) = us
1 f (um) =s 1 u 1 uf (m) =s 1 f (m),

que es homomorfismo de S 1 A-módulos.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 15 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 16 / 34

NOTA: Sea f : M ! N un homomorfismo de A-módulos. Se verifica que f

induce de modo natural el homomorfismo de AS -módulos Proposición 3.3:
S 1 f =: fS : MS ! NS , ms ! f (m)
s . Sea f : M ! N un homomorfismo de A-módulos. Sea S un sistema
multiplicativo de un anillo A.
M!S M 1M
1f Se cumple que (Kerf )S = Ker(fS ), (Imf )S = Im(fS ).
f S
# #
N 1N Demostración: El homomorfismo (Kerf )S ! MS tiene su imagen en
N! S
Ker(fS ), pues fS ( ms ) = f (m) 0
s = s = 0. El homomorfismo
N · f lleva M al S
1 A-módulo S 1 N, por lo que existe un único S 1 f (Kerf )S ! Ker(fS ), ms ! ms ; es isomorfismo ya que:
(definido arriba) que hace el cuadrado conmutativo S 1 f · M = N · f . Inyectivo: si ms = 0 en Ker(fS ) ⇢ MS , entonces existe un s 0 2 S de modo
Por tanto, de modo canónico, existe una aplicación A-lineal que s 0 m = 0, por lo que ms = 0 en (Kerf )S .
HomA (M, N) ! HomS 1 A (S 1 M, S 1 N).
Sobreyectivo: Dado ms en Ker(fS ), fS ( ms ) = 0, por lo que f (m)s = 0. Por
Es inmediato comprobar que la localización de homomorfismos conserva tanto, existe un s 0 2 S tal que 0 = s 0 f (m) = f (s 0 m). Por consiguiente,
composiciones y combinaciones A-lineales. m s0m 0
s = s 0 s con s m 2 Kerf .
(f · g )S = fS · gS , (af + bg )S = afS + bgS . Compruébese (Imf )S = Im(fS ).
fS , por restricción de escalares, es un A-módulo homomorfismo.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 17 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 18 / 34
Teorema 3.4:
Sea S un sistema multiplicativo de un anillo A. Sea la sucesión exacta de
f g
homomorfismos de A-módulos M 0 ! M ! M 00 . Entonces, es exacta la
fS gS
sucesión de homomorfismos de AS -módulos MS0 ! MS ! MS00 . NOTA: Si N es un submódulo de un módulo M, ◆ : N ! M inclusión, su
f g localización ◆S : NS ! MS es inyectiva. Basta considerar en 3.4 la
Demostración: Como M! M0 ! es exacta, Kerg = Imf .M 00
sucesión exacta 0 ! N ! M
Im(fS ) ⇢ Ker(gS ) ya que gS · fS = (g · f )S = 0S = 0. 1 (aM) 1 a)(S 1 M).
EJERCICIO: Sea a ideal de A. S = (S
Ker(gS ) ⇢ Im(f )S ya que: si ms 2 Ker(gS ), g (m)
s = 0; por tanto,
0 = tg (m) = g (tm), para algún t 2 S; como Kerg = Imf , existe m0 2 M 0
tal que tm = f (m0 ). Por tanto,
m tm f (m0 ) 0
s = ts = ts = fS ( mts ) 2 Im(fS ).
f g
Por consiguiente, Ker(gS ) = Im(fS ), por lo que MS0 !
S S
MS ! MS00 es
exacta.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 19 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 20 / 34

Corolario 3.4:
Sea S un sistema multiplicativo de un anillo A. La localización respeta la
formación de sumas finitas, intersecciones finitas y cocientes. Es decir, Demostración (Cont.): 0 ! NS ! (N P)S ! PS ! 0, sucesión
para los A-módulos M, N y P: exacta que escinde por lo que S 1 (N P) = S 1 N S 1 P.
1 (N 1N 1P (1) ” ” S 1 N, S 1 P ⇢ S 1 (N + P) por lo que
(1) S + P) = S +S
1 (N 1N 1P S 1N + S 1P ⇢ S 1 (N + P).
(2) S \ P) = S \S
(3) S 1 (N P) = S 1N S 1P ”⇢” S 1 (N + P) = { (x+y
s
)
|x 2 N, y 2 P, s 2 S} ⇢ S 1N +S 1 P.

(4) S 1 (M/N) ' (S 1 M)/(S 1 N) como S 1 A-módulos.

Proposición 3.5:
Demostración: (4) Se obtiene localizando la sucesión exacta Sea S un sistema multiplicativo de un anillo A. Sea M un A-módulo. Los
S 1 A-módulos S 1 M y S 1 A ⌦A M son isomorfos; de modo más preciso,
0 ! N ! M ! M/N ! 0 existe un único isomorfismo f : S 1 A ⌦A M ! S 1 M tal que
(2) ”⇢” Evidente pues N \ P ⇢ N, P. f ( as ⌦ m) = am
para todo a 2 A, m 2 M, s 2 S.
s ,
Veamos ” ” Si ns = sp0 , con s, s 0 2 S, n 2 N, p 2 P, entonces un = u 0 p,
para ciertos u, u 0 2 S; por lo que un 2 N \ P y ns = un
us 2 S
1 (N \ P).

(3) Localizando la sucesión exacta escindida

0!N!N P ! P ! 0 obtenemos:
3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 21 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 22 / 34

Demostración: La aplicación S 1 A ⇥ M ! S 1 M definida por

( as , m) ! am
s es A-bilineal. Por tanto, por la propiedad universal del
producto tensorial, induce un homomorfismo de A-módulos
Corolario 3.6:
f : S 1 A ⌦A M ! S 1 M tal que f ( as ⌦ m) = am s , para todo a 2 A, 1A
S es un A-módulo plano.
m 2 M, s 2 S. Claramente, f es sobreyectiva pues 8m 2 M, s 2 S,
m 1
s = f ( s ⌦ m) y está definida de modo único. Demostración: Véanse Prop. 3.3 y 3.5.
P
Sea i asii ⌦ m 2 S 1 A ⌦A M. Sea s = ⇧i si 2 S, ti = ⇧j6=i sj , tenemos
Proposición 3.7:
X ai X a i ti X1 1 A-módulos
⌦m = ⌦m = ⌦ ai ti m, Sean los A-módulos M, N. Existe un único isomorfismo de S
si s s f :S 1M ⌦S S 1N !S 1 (M ⌦A N) tal que
i i i 1A

1A 1 f ( ms ⌦ nt ) = m⌦n
st , para todo n 2 N, m 2 M, s, t 2 S.
por lo que todo elemento de S ⌦A M es de la forma s ⌦ n, n 2 M.
Por tanto, S 1A ⌦A M = { 1s ⌦ n|n 2 M, s 2 S}. Demostración: Véanse Prop. 3.5 y también Prop. 2.9 .
Supongamos que f ( 1s ⌦ n) = 0. Entonces, ns = 0; obteniendo que tn = 0,
para algún t 2 S, y, por tanto, 1s ⌦ n = stt ⌦ n = st1 ⌦ tn = ts1 ⌦ 0 = 0. Por
consiguiente, f es inyectiva; por lo que f es isomorfismo de S 1 A-módulos.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 23 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.2. Módulos de fracciones 24 / 34
 3.3.1. Propiedades locales
Demostración: Claramente, (1) ) (2) ) (3).
Supongamos que se verifica (3) y que M 6= 0. Sea x 2 M, x 6= 0. Sea
Definición: a = Ann(x). Tenemos que a es un ideal propio de A (a 6= (1)), por lo que
Una propiedad P de un anillo A ( o de un A-módulo) se llama propiedad existe un ideal maximal M que contiene a a. Consideramos x1 2 MM .
local si se verifica que: Como MM = 0, tenemos que x1 = 0, por tanto, existe s 2 A M, tal que
sx = 0 lo que es imposible pues Ann(x) ⇢ M. Por consiguiente M = 0.
A (o M) satisface P () Ap (o Mp ) satisface P, para todo ideal primo p
de A. Proposición 3.9:
Sea f : M ! N un homomorfismo de A-módulos. Son equivalentes:
Proposición 3.8:
(1) f es inyectiva (resp. sobreyectiva).
Sea M un A-módulo. Son equivalentes:
(2) fp : Mp ! Np es inyectiva (resp. sobreyectiva), para todo ideal primo p
(1) M = 0.
de A.
(2) Mp = 0, para todo ideal primo p de A.
(3) fM : MM ! NM es inyectiva (resp. sobreyectiva), para todo ideal
(3) MM = 0, para todo ideal maximal M de A. maximal M de A.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.3. Propiedades locales 25 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.3. Propiedades locales 26 / 34

Proposición 3.10:
Sea M un A-módulo. Son equivalentes:
Demostración: Veremos (1) ) (2): 0 ! M ! N es exacta, por tanto (1) M es un A-módulo plano.
0 ! Mp ! Np es exacta, por lo que fp es inyectiva. (2) Mp es un Ap -módulo plano, para todo ideal primo p de A.
(2) ) (3) pues un ideal maximal es primo. (3) MM es un AM -módulo plano, para todo ideal maximal M de A.
Veremos (3) ) (1): Sea M 0 = Kerf . 0 ! M 0 ! M ! N es exacta, por Demostración: (1)) (2) Véase Prop. 3.5 y también Prop. 2.15.
tanto 0 ! MM 0 !M !N 0
M M es exacta, por lo que MM = KerfM = 0
(2)) (3) pues un ideal maximal es primo.
pues fM es inyectiva. Por Prop. 3.8, M 0 = 0, por lo que f es inyectiva.
(3)) (1) Sea f : N ! P un homomorfismo inyectivo de A-módulos. Sea
Demuéstrese para f sobreyectiva.
M ideal maximal de A.
Por Prop. 3.9, fM : NM ! PM es inyectiva, por lo que, por (3),
NM ⌦AM MM ! PM ⌦AM MM es inyectiva; es decir,
(N ⌦A M)M ! (P ⌦A M)M es inyectiva. En consecuencia, por Prop. 3.9,
(N ⌦A M) ! (P ⌦A M) es inyectiva, por lo que M es A-módulo plano.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.3. Propiedades locales 27 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.3. Propiedades locales 28 / 34

3.4.1.Ideales extendidos y contraı́dos Demostración: (1) Sea b un ideal de S 1 A. Por Prop. 1.23, b bce .
Veremos que b ⇢ bce .
Sean A un anillo, S subconjunto multiplicativo de A, : A ! S 1 A, Sea x
2 b. Entonces x
2 b, por lo que x 2 bc ; se sigue que x
2 bce .
s 1 s
(a) = 1a . Sea C el conjunto de los ideales contraı́dos en A y sea E 1 a)c x a
(2) x 2 aec
= (S () = para algún a 2 a,
conjunto de los ideales extendidos de S 1 A. Si a es un ideal de A, su 1 s
s 2 S () (xs a)t = 0 para algún t 2 S () xst 2 a para algún
extensión es ae = S 1 a.
t 2 S () x 2 [s2S (a : s). Es evidente la otra afirmación por lo
Proposición 3.11: siguiente:
(1) Todo ideal de S 1A es un ideal extendido. aece = ae = (1) () (1) = aec () 1 2 [s2S (a : s) () a \ S 6= ;.
(2) Si a es un ideal de A, aec = [s2S (a : s). (3) a 2 C () a aec ()
ae = (1) () a interseca a S. () (x 2 aec () sx 2 a para algún s 2 S ) x 2 a) () ningún
elemento de S es un divisor de cero en A/a.
(3) a 2 C () ningún elemento de S es un divisor de cero en A/a.
(4) Ya visto en Teor. 3.1. Una vez más veremos que
(4) Los ideales primos de S 1 A están en correspondencia biunı́voca con
los ideales primos de A que no intersecan a S. SpecAS $ {Ideales primos de A que no cortan a S}
(5) La operación S 1 conmuta con la formación de sumas finitas, donde cada ideal primo q de AS se corresponde con
productos, intersecciones. A \ q =: {a 2 A : 1a 2 q}, y cada ideal primo p de A se corresponde con
pAS =: { as 2 AS : a 2 p}.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.4. Ideales extendidos y contraı́dos 29 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.4. Ideales extendidos y contraı́dos 30 / 34
 Corolario 3.11.0:
Sea NA el nilradical de A. Se verifica que S 1 (N
A) = NS 1A .
Demostración (Cont.): Por Prop. 1.23, p = A \ q es ideal primo de A,
1 (N
siendo q 2 SpecAS . Es fácil comprobar que q = { as 2 AS : a 2 p} = pAS . Demostración: ”⇢” Sea x/s 2 S A ), con x 2 NA , s 2 S. Entonces,
Por tanto, la correspondencia considerada es inyectiva. Además, p \ S = ; x n = 0, para algún n 1. Por tanto, (x/s)n = 0, por lo que x/s 2 NS 1 A .
ya que,en caso contrario, q = pAS tendrı́a elementos inversibles y entonces ” ” x/s 2 NS 1 A implica que 9m 1 tal que (x/s)m = 0. Existe t 2 S,
q = AS , lo que es absurdo al ser q ideal primo. con tx m = 0; tenemos que (tx)m = 0; por lo que tx 2 NA ;
Sea p un ideal primo de A tal que p \ S = ;. Se verifica que A \ pAS = p (tx)/(ts) = x/s. En consecuencia, x/s 2 S 1 (NA ).
pues Proposición 3.12:
a
1 = bs , b 2 p ) au = bv 2 p, v,u 2 S ) a 2 p. Sean M un A-módulo finitamente generado y S subconjunto multiplicativo
pAS es un ideal primo de AS : de A. Entonces, S 1 (Ann(M))= Ann(S 1 M).
ai
( as11 )( as22 ) 2) a1 a2 2 A \ pAS = p ) ai 2 p, i = 1 ó 2 ) si 2 pAS , i = 1 ó
Demostración: Si esto es cierto para dos A-módulos M, N, es cierto para
2.
M +N :
(5) Véase Cor.3.4.
S 1 (Ann(M + N)) = S 1 (Ann(M) \ Ann(N)), véase Ejercicio en 2.4,
= S 1 (Ann(M)) \ S 1 (Ann(N)), por Cor. 3.4,
= Ann(S 1 M) \ Ann(S 1 N) por hipótesis,
= Ann(S 1 M + S 1 N) = Ann(S 1 (M + N)).
3. Anillos y módulos de fracciones/ R. Gonzalez 3.4. Ideales extendidos y contraı́dos 31 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.4. Ideales extendidos y contraı́dos 32 / 34

Demostración (Cont.): Por tanto, es suficiente demostrar esta
proposición para M generado por un elemento; entonces M ' A/a, como
A-módulo, donde a = Ann(M). Por Cor. 3.4, S 1 M ' (S 1 A)/(S 1 a).
En consecuencia, Ann(S 1 M) = S 1 a = S 1 (Ann(M)).
Corolario 3.13:
Sean N, P submódulos de M un A-módulo Sea P finitamente generado.
Entonces, S 1 (N:P)= (S 1 N:S 1 P).
Demostración: Por Ejercicio en 2.4, (N : P) = Ann((N + P)/N).
Aplicamos ahora Prop. 3.12 y Cor.3.4.
Proposición 3.14:
Sea f : A ! B un homomorfismo de anillos. Sea p un ideal primo de A. Se
verifica que p = qc para algún q 2 SpecB si y sólo si pec = p.
Demostración: ”)”: Por Prop. 1.23, p = qc ) pec = p.
”(”: Sea pec = p. Sea T = f (A p). T es un conjunto
multiplicativamente cerrado, al serlo S = A p, pues dados t1 ,
t2 2 T = f (S), 9s1 , s2 2 S, por lo que
t1 t2 = f (s1 )f (s2 ) = f (s1 s2 ) 2 f (S) = T y 1B = f (1A ) 2 T .
Tenemos que pe \ T = ;, por lo que su extensión, T 1 (pe ), en T 1 B es
un ideal propio por Prop. 3.11. Por tanto, existe un ideal maximal, m, de
T 1 B que lo contiene. Si q es la contracción de m en B, q es primo tal
que q pe y q \ T = ;, por lo que qc = p.

3. Anillos y módulos de fracciones/ R. Gonzalez 3.4. Ideales extendidos y contraı́dos 33 / 34 3. Anillos y módulos de fracciones/ R. Gonzalez 3.4. Ideales extendidos y contraı́dos 34 / 34