Anillos y m odulos de fracciones Hern an Javier San Mart n

Junio, 2005

Preliminares

En este trabajo la palabra anillo denotar a a un anillo conmutativo con elemento identidad, a menos que se diga lo contrario.

1.1

Parte 1

Proposici on 1.1. Existe una correspondencia biyectiva que conserva el orden entre los ideales b de A que contienen a, y los ideales b de A/a, dada por 1 ( b) = b. Teorema 1.2. Cada anillo A = 0 tiene, por lo menos, un ideal maximal. Corolario 1.3. Si a es un ideal de a = A,existe un ideal maximal de A que contiene a. Observaci on 1.4. Existen anillos exactamente con un ideal maximal;por ejemplo los cuerpos.Un anillo A que tiene exactamente un ideal maximal m se denomina anillo local.El cuerpo k = A/m se denomina cuerpo residual de A. Proposici on 1.5. El conjunto R de todos los elementos nilpotentes en un anillo A es un ideal, y A/R no tiene ning un elemento nilpotente distinto de cero. El ideal R se denomina el nilradical de A. Proposici on 1.6. El nilradical de A es la intersecci on de todos los ideales primos de A. Denicion 1.7. El radical de Jacobson R de A se dene como la intersecci on de todos los ideales maximales de A. Se puede carecterizar como sigue: Proposici on 1.8. x R 1 xy es una unidad en A para todo y A. Deniciones 1.9. Si a y b son ideales en un anillo A,su ideal cociente es (a : b) = {x A : xb a},que es un ideal.En particular (0 : b) se denomina el anulador de b y se indica por Ann(b) (es el conjunto de todos los x A tales que xb = 0).Tambi en denimos el radical de a como r(a) = {x a : xn a para alg u n n > 0} Si f : A B es un homomorsmo de anillos y a es un ideal en A,denimos la extensi on ae de a como el ideal Bf (a) generado por f (a) en B ; en forma m as expl cita se puede denir ae como el conjunto de todas las sumas yi f (xi ) donde xi , yi B . Proposici on 1.10. Si b es un ideal de B , entonces f 1 (b) es siempre un ideal de A,llamado la contracci on bc de b. Si b es primo, entonces bc es primo. Observaci on 1.11. Si a es primo,ae no ha de ser necesariamente primo Proposici on 1.12. Sea f : A B ,a y b como anteriormente. Entonces (i) a aec , b bce ; (ii) bc =bcec ,ae =aece Proposici on 1.13. Si a1 ,a2 son ideales de A y b1 ,b2 son ideales de B , entonces 2

e (i.) (a1 + a2 )e = ae 1 + a2

(ii.) (a1

a2 )e ae 1

ae 2

e (iii.) (a1 a2 )e = ae 1 a2 e iv. (a1 : a2 )e (ae 1 : a2 )

v. r(a)e r(ae )
c vi. (b1 + b2 )c bc 1 + b2

vii. (b1

c b2 )c = bc 1 + b2

c viii. (b1 b2 )c bc 1 + b2 c ix. (b1 : b2 )c (bc 1 : b2 )

x. r(b)c = r(bc )

1.2

Parte 2

Deniciones 1.14. Si N, P son subm odulos de un A-m odulo M , se dene (N : P ) como el conjunto de todos los a A tales que aP N (es un ideal de A). En particular (0 : M ) es el conjunto de todos los a A tales que aM = 0; este ideal se denomina el anulador de M y se lo indica por Ann(M ).Si a Ann(M ). Si x es un elemento de M ,el conjunto de todos los m ultiplos ax(a A) es un subm odulo de M , que se indica por Ax o (x). Si M = Axi , las xi se dice que son un conjunto de generadores de M ; esto signica que cada elemento de M se puede expresar como una combinaci on lineal nita de las xi con coecientes en A. Un a-m odulo M se dice que es de generaci on nita(o nitamente generado)si tiene un conjunto nito de generadores. Proposici on 1.15. i. Ann(M + N ) = Ann(M ) ii. (N : P ) = Ann((N + P )/N ) Proposici on 1.16. Sea M un A-m odulo con generaci on nita y sea a un ideal de A tal que aM = M . Entonces existe x 1(mod a) tal que xM = 0. Proposici on 1.17. (Lema de Nakayama) Sea M un A-m odulo con generaci on nita y a un ideal de A contenido en el radical de Jacobson R de A. Entonces aM = M implica M = 0. Proposici on 1.18. Sean M ,N ,A m odulos. Entonces existe un par (T, g ) formado por un A m odulo T y una aplicaci on A bilineal g : M N T , con la siguiente propiedad: Para cada A m odulo P y cualquier aplicaci on A bilineal f : M N P , existe una aplicaci on A lineal u nica f : T P tal que f = f g (es decir, cada funci on bilineal sobre M N se factoriza a trav es de T ). Adem as,si (T, g ) y (T , g ) son dos pares con esta propiedad, entonces existe un isomorsmo u nico j : T T tal que j g = g Observaci on 1.19. El A m odulo que se acaba de construir se llama producto tensorial de M y N , y se indica por M A N ,o s olo por M N si no hay ambiguedad sobre el anillo A. 3 Ann(N )

Proposici on 1.20. Sean M ,N ,P A-m odulos. Entonces existen isomorsmos u nicos i. M ii. (M iii. A N N N) M (N P ) M N P

P M

M M tales que

a. x y y x b. (x y ) z x (y z ) x y z c. a x ax Proposici on 1.21. Sean A y B anillos, sea M un A-m odulo, P un B y N un (A, B ) bim odulo(es decir, N es a la vez un A-m odulo y un B m odulo y las dos estructuras son compatibles en el sentido que a(xb) = a(xb) para todoa A, b B, x N ).Entonces M N es un B -m odulo, N B P es un A-m odulo, y se tiene (M N ) B P = M A (N B P ) Denicion 1.22. Si el functor TN : M M A N en la categor a de A-m odulos y homomorsmos es exacto,es decir si tensorizando con N se transforman todas las sucesiones exactas en sucesiones exactas, entonces se dice que A es un A- m odulo plano Proposici on 1.23. Para un A-m odulo N , las siguientes propiedades son equivalentes: i. N es plano. ii. Si 0 M M M 0 es una sucesi on exacta cualquiera de A-m odulos, la sucesi on tensorizada 0 M N M N M N 0 es exacta. Proposici on 1.24. Si f : A B es un homomorsmo de anillos y M es un A-m odulo plano, odulo plano. entonces MB = B A M es un B -m

1.3

Resultados de la teor a

Lema 1.25. Lema de Zorn. Sea S un conjunto parcialmente ordenado(es decir se ha dado una relaci on x y en S que es reexiva, transitiva y tal que x y e y x simult aneamente implica x = y ). Un subconjunto T de S es una cadena si x y o y x para cada par de elementos x e y de S . Si cada cadena T de S tiene una cota superior en S entonces S tiene, por lo menos, un elemento maximal. Proposici on 1.26. Sea A un anillo conmutativo con unidad, con 1 = 0. Luego, p es un ideal primo si y s olo si A/p es un dominio de integridad. Proposici on 1.27. Si N es un subm odulo de un A-m odulo M , la funci on f : M M/N es un epimorsmo(de A-m odulos) con Kerf = N. Adem as, M/N = M/Kerf . Proposici on 1.28. Sea A un anillo, I A no vac o. I es un ideal si y s olo si a, b I, r R tenemos que a b A y ra I . 4

Proposici on 1.29. Sea A un anillo conmutativo y m un ideal maximal. Entonces m es primo. Proposici on 1.30. Sea A un anillo y : M N un morsmo de A-m odulos = Im es un subm odulo de N . Proposici on 1.31. Sif : A B es un homomorsmo de anillos y b es un ideal primo de B , 1 entonces f (b) es un ideal primo de A. Proposici on 1.32. Si f : M N es un epimorsmo de A-m odulos, entonces N = M/Kerf . Proposici on 1.33. Sea A un anillo. Luego, la intersecci on de una familia cualesquiera de ideales de A es un ideal de A.

Anillos y m odulos de fracciones

La formaci on de anillos de fracciones y el proceso asociado de localizaci on son quiz a los utensilios t ecnicos m as importantes en Algebra conmutativa. Corresponde a la imagen algebroge ometrica de concentrar la atenci on en un conjunto abierto o en el entorno de un punto, y laa importancia de estas nociones es evidente por s misma. Daremos las deniciones y las propiedades simples de la formaci on de fracciones. El proceso por el que se construye el cuerpo racional Q a partir del anillo de los enteros Z (y encaja Z en Q) se extiende f acilmente a un dominio de integridad A y da lugar al cuerpo de fracciones de A.La construcci on consiste en tomar todos los pares ordenados (a, s) donde a, s A y s = 0 y establecer una relaci on de equivalencia entre estos pares: (a, s) (b, t) at bs = 0 Observaci on 2.1. Esto es v alido s olo si A es un dominio de integridad(D.I), pues la comprobaci on de que la ley es transitiva requiere la ley de simplicaci on, es decir el hecho de que A no tiene divisores de cero no nulos. En efecto, si A es un D.I, la relaci on antes denida es claramente reexiva y sim etrica. Para ver que vale la transitividad, sean a, s, b, t, w, u A con s, t, u no nulos tales que (a, s) (b, t), (b, t) (w, u) Luego at bs bu wu atu bsu bsu wst = = = = 0 0 0 0

= =

aut = wst, es decir (au ws)t = 0. Como A es un D.I, A no tiene divisores de cero distintos de cero, con lo cual au ws = 0 dado que t = 0. As , llegamos a que (a, s) (w, u) ,con lo cual vemos que hay transitividad. Sin embargo, se puede generalizar como sigue: Sea A un anillo. Un subconjunto multiplicativamente cerrado de A es un subconjunto S de A tal que 1 S (1 denota la unidad del anillo A) y S es cerrado respecto a la multiplicaci on. Se dene una relaci on en A S como sigue: (a, s) (b, t) (at bs)u = 0 para alg u n u S Evidentemente esta relaci on es reexiva y sim etrica. Para probar que es transitiva, sup ongase (a, s) (b, t) y (b, t) (c, u). Entonces existen v, w en S tales que (at bs) = 0 y (bu ct)w = 0. Luego, atv buw atvuw buwsv = = = = bsv ctw = bsvuw ctwsv =

atvuw = ctwsv , es decir (au cs)tvw = 0. Puesto que S es cerrado respecto de la multiplicaci on, se tiene que tvw S , por tanto (a, s) (c, u). As se tiene una relaci on de equivalencia . Se indica 6

por a/s la clase de equivalencia de (a, s), y sea S 1 A el conjunto de las clases de equivalencia . Se da una estructura de anillo a S 1 A deniendo una adici on y una multiplicaci on de estas fracciones a/s de la misma manera que en algebra elemental: es decir (a, s) + (b, t) = (at + bs)/st (a, s)(b, t) = ab/st Se probar a como ejercicio que estas deniciones son independientes de la elecci on de los representantes 1 (a, s) y (b, t), y que S A satisface los axiomas de anillo conmutativo con elemento identidad, siendo 0/1 el cero en S 1 A y 1/1 el 1 en S 1 A. Se tiene tambi en un homomomorsmo de anillos f : A S 1 A No es en general inyectivo. Observaci on 2.2. Si A es un dominio de integridad y S = A 0, entonces S 1 A es el cuerpo de fracciones de A. El anillo S 1 A se denomina el anillo de fracciones de A con respecto a S . Tiene una propiedad universal: Proposici on 2.3. Sea g : A B un homomorsmo de anillos tal que g (s) es una unidad en B para todo s S . Entonces existe un u nico homomorsmo de anillos h : S 1 A B tal que g = h f Proof. Unicidad: Si h satisface las condiciones, entonces h(a/1) = h(f (a)) = g (a) para todo a A; por tanto si s S , h(1/s) = h((s/1)1 ) = h(s/1)1 = g (s)1 y por tanto h(a/s) = h(a/1)h(1/s) = g (a)g (s)1 , de manera que h est a un vocamente determinada por g . Existencia: Sea h(a/s) = g (a)g (s)1 . Entonces h ser a evidentemente un homomorsmo de anillos siempre que est e bien denido. Sup ongase entonces que a/s = a /s ; entonces existe t S tal que (as a s)t = 0, por tanto (g (a)g (s )1 g (a )g (s))g (t) = 0; puesto que g (t) es una unidad en B se tiene g (a)g (s ) = g (a )g (s), por lo cual tenemos que g (a)g (s)1 = g (a )g (s )1 por ser g (s)yg (s ) unidades. Observaci on 2.4. El anillo S 1 A y el homomorsmo f : A S 1 A tienen las siguientes propiedades: 1. s S = f (s) es una unidad en S 1 A. 2. f (a) = 0 = as = 0 para alg un s S . 3. Cada elemento de S 1 A es de la forma f (a)f (s)1 para alg un a A y alg un s S Proof. 1. Si s S , luego f (s) = s/1. As ,(s/1)(1/s) = s1/1s = 1/1 (la unidad en s1 A), con lo cual f (s) es una unidad en S 1 A. 2. Si f (a) = 0 = a/1 = 0/1 (0/1 es el cero en S 1 A). Luego, existe un s S 1 A tal que (a1 o1)s = 0 = as = 0, para alg un s S . 7 denido por f (x) = x/1.

3. Dado s S , f (s) es una unidad en S 1 A con inverso multiplicativo 1/s (por lo heccho en 1). Por esto, a/s = (a/1)(1/s) = f (a)(1/s) = f (a)(s/1)1 = f (a)f (s)1

Rec procamente, estas tres condiciones determinan el anillo S 1 A a menos de isomorsmo. De manera m as precisa: Corolario 2.5. Si g : A B es un homomorsmo de anillos tal que i. s S = g (s)es una unidad en B ; ii. g (a) = 0 = as = 0 para alg un s S ; iii. cada elemento de B es de la forma g (a)g (s)1 ; entonces existe un isomorsmo u nico h : S 1 A B tal que g = h f . Proof. En virtud de la proposici on 2.3 se ha de probar que h : S 1 A B denida por h(a/s) = g (a)g (s)1 es un isomorsmo (esta denici on hace uso de i.). En virtud de iii., h es suprayectiva,ya que si 1 b B = b = g (a)g (s) , para alg un a A y alg un s S . Para probar que h es inyectiva se ha de considerar el n ucleo de h: si h(a/s) = 0, entonces g (a)g (s)1 = 0,o sea g (a) = 0. Por tanto, en virtud de ii. se tiene at = 0 para alg un t S , por tanto a/s = 0/1, es decir a/s = 0 en S 1 A. EJEMPLOS 1. Primero veamos que si p es un ideal en A, S = A \ p es multiplicativamente cerrado p es primo. En efecto si S = A p es multiplicativamente cerrado, tenemos que 1 S , con lo cual 1 / p; por esto p = A. Adem as, si x, y / p = x, y S = xy S = xy / p. Luego, p es primo. Rec procamente, supongamos que p es primo. Como 1 / p = 1 S . Adem as, si x, y S = x, y / p = xy / p = xy S . Luego, S es multiplicativamente cerrado. Sea p un ideal primo y S su complemento. Sabemos ahora que S es multiplicativamente cerrado. En este caso escribimos Ap en vez de S 1 A. Veamos que los elementos a/s con a p forman un ideal m en Ap . En efecto, m Ap . Adem as (m, +) es un grupo abeliano: Sean a/s, b/t m. Entonces a/s + b/t = (at + bs)/st m, por ser p un ideal y S multiplicativamente cerrado. La asociatividad y conmutatividad respecto de la suma es herencia de la conmutatividad y asociatividad respecto de laa suma en Ap , respectivamente. El elemento 0/1, que es el neutro para la suma en Ap , est a en m ya que 0 p (pues p es un ideal) y 1 S (pues S es multiplicativaamente cerrado). Como (p, +) es un grupo y a p, se tiene que a p con lo cual (a)/s m. As , a/s + (a)/s = 0/1 (por denici on de la suma en Ap ). Veamos que Ap m Ap : si x Ap m = x = yz , con y Ap , z m, y es de la forma a/s y z de la forma b/t = yz = ab/st Ap (por ser p un ideal en A y S multiplicativamente cerrado). Luego, m es efectivamente un ideal en Ap . 8

Sean p, S y m como antes. Si b/t / m, entonces b / p, por tanto b S y por consiguiente b/t es una unidad en Ap . Se sigue que si a es un ideal en Ap y a m, a contiene una unidad ( pues existe b/t a tal que b/t / m) y por tanto es todo el anillo (puesto que si x Ap y z es una unidad en el ideal a que sabemos existe, como x = zz 1 x, se tiene que a = Ap ). Por tanto m es el u nico ideal maximal en Ap ; en otras palaabras, Ap es un anillo local. 2. S 1 A es el anillo cero 0 S . En efecto, si S 1 A es el anillo cero, dado s S tenemos que 1/s = 0/1, por lo cual existir a u S tal que u1 = 0. Por esto, 0 S . Rec procamente, sea 0 S . Si a/s S 1 A, como 0 S , a/s = 0/1 ( ya que a0 = 0), por tanto S 1 A es el anillo cero. 3. Sea f A y sea S = {f n }n (con n natural). En este caso Af representa S 1 A. 4. Sea a un ideal cualquiera en A, y sea S = 1 + a = Conjunto de todos los 1 + x donde x a. Evidentemente, S es multiplicativamente cerrado. En efecto, como a es un ideal, se tiene que 0 a, por lo cual 1 S . Sean m, n S = m = 1 + x, n = 1 + y, conxey a = mn = 1 + (x + y + xy ). Como a es un ideal, x + y + xy a. As , mn 1 + a = S . 5. Casos particulares de 1) y 3). (a) A = Z, p = (p), p un n umero primo, Ap = Conjunto de todos los n umeros racionales m/n donde m es primo con p; si f Z y f es no nulo , entonces Af es el conjunto de todos los n umeros racionales cuyo denominador es una potencia de f . (b) A = K [t1 , .., tn ], donde K es un cuerpo y las ti son indeterminadas independientes, p es un ideal primo en A. Entonces Ap es el anillo de todas las funciones racionales f /g donde g / p. Si V es la variedad denida por el ideal p, es decir el conjunto de todos los x = (x1 , .., xn ) K n tales que f (x) = 0 siempre que f p, entonces (supuesto que K es innito) AP puede identicarse como el anillo de todas las funciones racionales en K n que est an denidas en casi todos los puntos de V ; es el anillo local de K n a lo largo de la variedad V . Este es el prototipo de anillos locales que surgen en Geometr a algebraica. La construcci on de S 1 A puede efectuarse con un A-m odulo M en vez del anillo A. Se dene la relaci on en M S como sigue: (m, s) (m , s ) existe t S tal que t(sm s m) = 0 Como antes, esta es una relaci on de equivalencia. Se indica por m/s la clase de equivalencia del par 1 (m, s), por S A el conjunto de estas fracciones, y se convierte S 1 M en un S 1 A-m odulo con las deniciones obvias de adici on y multiplicaci on escalar. Como en los anteriores ejemplos 1) y 3), se escribe Mp en vez de S 1 A cuando S = A p(p primo) y Mf cuando S = {f n }n0 . Sea u : M N un homomorsmo de A-m odulos. Este da lugar a un homomorsmo de S 1 A1 1 1 1 m odulos S u : S M S N , de manera que S A aplica m/s en u(m)/s. Para verlo, sean m/s, m /s S 1 M y a/t S 1 A. Luego, S 1 u(m/s + m /s ) = S 1 u((ms + m s)/ss ) = (s u(m) + su(m )/ss = s u(m)/ss + su(m )/ss = S 1 u(m/s) + S 1 u(m /s ) 9 por por por por denici on de suma ser u un homomorsmo de A-m odulos denici on de la relaci on de equivalencia denici on de S 1 u

Adem as S 1 u((a/t)(m/s)) = S 1 u(am/st) = u(am)/ts = au(m)/ts (a/t)(u(m)/s) (a/t)S 1 u(m/s) por por por por por denici on de producto denici on de S 1 A ser u un homomorsmo de A-m odulos denici on de producto denici on de S 1 u.

Tambi en tenemos que S 1 (v u) = (S 1 v ) (S 1 u). En efecto, si m/s S 1 M ,tenemos que: [(S 1 v (S 1 u)](m/s) = S 1 v (S 1 u(m/s)) = S 1 v (u(m)/s) = v (u(m))/s = [(v u)(m)]/s = S 1 (v u)(m/s) por por por por por denici on denici on denici on denici on denici on
f g

de de de de de

composici on 1 S u S 1 v composici on 1 S (v u)

Proposici on 2.6. La operaci on S 1 es exacta, es decir si M M M es exacta en M , entonces S 1 M S 1 M S 1 M es exacta en S 1 M . Proof. Sea x M = (g f )(x) = g [f (x)]. Por hip otesis, Im(f ) = Ker(g ) = g [f (x)] = 0 x M , con lo cual g f = 0. Por lo probado anteriormente a la proposici on, S 1 g S 1 f = S 1 (g f ) = S 1 g S 1 f = S 1 (g f ) = 0. Luego tenemos que ImS 1 f KerS 1 g . Para ver la inclusi on inversa, sea m/s Ker(S 1 g ). 1 1 Entonces S g (m/s) = g (m)/s = 0 en S M , por lo que existe t S tal que tg (m) = 0 en M . Como g es un homomorsmo de A-m odulos, tenemos que 0 = tg (m) = g (tm) = = = Luego, ker(S 1 g ) = Im(S 1 f ). En particular, se deduce de 2.6 que si M es un subm odulo de M , la aplicaci on S 1 M S 1 M es inyectiva y por tanto S 1 M puede considerarse como un subm odulo de S 1 . Con este convenio, Corolario 2.7. La formaci on de fracciones conmuta con la formaci on de sumas nitas, intersecciones nitas y cocientes. De manera m as precisa, si N , P son subm odulos de un A-m odulo M , entonces i. S 1 (M + P ) = S 1 (N ) + S 1 (P ) ii. S 1 (N P ) = S 1 (N ) S 1 (P ) iii. los S 1 A-m odulos S 1 (M/N ) y S 1 M/S 1 N son isomorfos. tm Ker(g ) = Im(f ) tm = f (m ) para alg un m M 1 m/s = f (m )/ts = S f (m /st) Im(S 1 f ) .
S 1 f S 1 g

10

Proof. i. Sea x S 1 (N + P ) = x = y/s, con y N + P, S S = x = (n + p)/s, con n N , p P . Luego, x = (sn + sp)/ss = sn/ss + sp/ss = n/s + p/n , por lo cual x S 1 N + S 1 P . Por tanto, S 1 (N + P ) S 1 + S 1 P. Sea ahora x S 1 N + S 1 P . Luego x = n/s + p/t, con n N , p P , s, t S . Obtenemos que x = (sn + tp)st. Adem as, sn N , pues N es un subm odulo de un A-m odulo M . Por el mismo motivo, tp P. Como S es multiplicativamente cerrado, st S. As , x S 1 (N + P ), quedando probado as que S 1 (N + P ) = S 1 N + S 1 P. ii. Sea x S 1 (N ) S 1 (P ) = x = y/s = z/t, con y N , z P , s, t S = u S tal que u(ty sz ) = 0 = w = uty = usz N P , ya que: ut A, y N = uty N ; us A, z P = usz P. Luego, x = y/s = w/sty S 1 (N P ). As , S 1 (N ) S 1 (P ) S 1 (N

P ).

Rec procamente, si x S 1 (N P ) = x = y/s, con y N P, s S = x = y/s, con s N, y P, s S = x S 1 (N ) S 1 (P ), quedando as probado que S 1 (N P ) = S 1 (N ) S 1 (P ).

iii. Sea g : M M/N dada por g (m) = m + N . g es un epimorsmo con Ker(g ) = N por la proposici on 1.27. 0 N M M/N 0 , donde i denota la inclusi on, por lo que 0 S 1 N
S 1 g i g S 1 i

S 1 M S 1 (M/N ) 0 es una sucesi on exacta, por la proposici on anterior. Por esta 1 1 1 1 raz on, Im(S g ) = S (M/N ), S N = KerS g . La primer igualdad nos dice que S 1 g es un epimorsmo. Luego, por la proposici on 1.27 y por la segunda igualdad tenemos que 1 1 1 1 1 S (M/N ) = S M/Ker(S g ) = S M/S N . Luego, S 1 (M/N ) = S 1 M/S 1 N.

Proposici on 2.8. Sea M un A-m odulo. Entonces los S 1 A m odulos S 1 M y S 1 A isomorfos; de forma m as precisa, existe un u nico isomorsmo f ((a/s) m) = am/s para el cual a A, m M, s S

M son

(1)

11

Proof. La aplicaci on S 1 A S 1 M denida por (a, s) am/s es A-bilineal. En efecto, sean A, m, m M , a/s, a /s S 1 A y f tal aplicaci on. Luego, f ((a/s) + a /s ) = f (a/s + a /s , m) = f ((as + a s)/ss , m) = (as + as )m/ss = (as m + a sm)ss = (am)/s + (a m)/s = (am/s) + (a m)/s = f (a/s, m) + f (a /s , m). Por otro lado, f (a/s, m + m ) = a(m + m )/s = (am + am )/s = (am)/s + (am /s) = (am/s) + a(m /s) = f (a/s) + f (a/s, m ). Tenemos as que efectivamente f es una aplicaci on bilineal. Sea g : S 1 A M S 1 A A M dada por g (a/s, m) = (a/s) m. Por la propiedad universal 1.18 del producto tensorial induce un A homomorsmo u nico f : S 1 A A M S 1 M tal que f = f g y que que satisface (1). En efecto, (am)/s = f (a/s, m) = (f g )(a/s, m) = f (g (a/s, m)) = f (a/s m). Evidentemente f es suprayectiva y un vocamente denida por (1). Sea i (ai /si ) mi un elemento cualquiera de S 1 A M . Si s = si S , ti = j =i sj ,se tiene que i (ai /si ) mi = i (ai ti )/s m = i (1/s) ai ti m, de manera que cada elemento de S 1 A A es de la forma (1/s) m. Sup ongase que f ((1/s) m) = 0. Entoncesm/s = 0, por tanto tm = 0 para alg un t S , y por tanto (1/s) m = (t/st) m = (1/st) tm = (1/st) 0 = 0. Luego, f es inyectiva y por tanto un isomorsmo. Corolario 2.9. S 1 A es un A-m odulo plano. Proof. Sea 0 M M M 0 una sucesi on exacta de A-m odulos. Por la proposici on 2.6 1 1 1 tenemos que 0 S M S M S M 0 es exacta. Por otro lado, por la proposici on 2.8 S 1 M = S 1 A
A

M ,

S 1 M = S 1 A
A

M y S 1 M = S 1 A
A

M .

Por la proposici on 1.20, S 1 A

A

M =M
A

S 1 A ,

S 1 A
A

M =M
A

S 1 A y S 1 A
A

M =M
A

S 1 A.

Luego, tendremos que S 1 M =M

A

S 1 A ,

S 1 M =M
A

S 1 A y S 1 M =M
A

S 1 A.

1 1 Por lo tanto, 0 M A M A S 1 A M A 0 es una sucesi on exacta. AS AS 1 Tenemos as , en virtud de la proposici on 1.23, que S A es un A m odulo plano.

12

Proposici on 2.10. Si M y N son A-m odulos, entonces existe un isomorsmo u nico de S 1 Am odulos f : S 1 M S 1 A S 1 N S 1 (M A N ) tal que f ((m/s) (n/t)) = (m n)/st En particular, si p es un ideal primo, entonces Mp
Ap

Np = (M
A

N )p

comoAp -m odulos. Proof. Hagamos primero dos observaciones: i. M es un A-m odulo, S 1 A es un (A, S 1 A) bim odulo y S 1 A N es un S 1 A-m odulo.

ii. S 1 A es un S 1 A-m odulo, S 1 A es un (A, S 1 A) bim odulo y N es un A-m odulo. Vayamos ahora a la demostraci on de esta proposici on. S 1 M S 1 A S 1 N (m/s) (n/t) (S 1 A A M ) S 1 A (S 1 A A N ) (por la proposici on 2.8) ((1/s) m) ((1/t) n) on 1.20) (M A S 1 A) S 1 A (S 1 A A N ))(por la proposici (m (1/s)) ((1/t) n) M A (S 1 A S 1 A (S 1 A A N )(por la proposici on 1.21 y la observaci on i.) m ((1/s) ((1/t) n)) on 1.21 y la observaci on ii.) M A ((S 1 A S 1 A S 1 A) N ) (por la proposici m(((1/s) (1/t)) n) M A (S 1 A A N )(por la proposici on 1.20) m (1/st n) (M A S 1 A) A N )(por la proposici on 1.20) (1/st m) h on 1.20) (S 1 A A M ) A N (por la proposici (1/st m) n S 1 A A (M A N )(por la proposici on 1.20) 1/st (m n) on 2.8) S 1 (M A N )(por la proposici (m n)/st. Luego, existe un u nico isomorsmo f : S 1 M
S 1 A

S 1 N S 1 (M
A

N)

tal que f ((m/s) (n/t)) = (m n)/st. En particular, si p es un ideal primo y consideramos S = A p, tenemos que (M N )p = S 1 (M N ) = S 1 M S 1 N = M p Np ,
A A S 1 A Ap

en virtud de lo que hemos demostrado. 13

2.1

Propiedades locales

Una propiedad P de un anillo A ( o de un A-m odulo M ) se dice que es una propiedad local si lo siguiente es cierto: A( o M ) tiene P si y s olo si Ap ( o Mp ) tiene P . Las siguientes proposiciones dan ejemplos de propiedades locales: Proposici on 2.11. Sea M un A-m odulo. Entonces las proposiciones siguientes son equivalentes: i. M = 0; ii. Mp = 0, para cada ideal primo p de A; iii. Mm = 0, para cada ideal maximal m de A. Proof. Veamos i.) = ii.) Sea M = 0 y sea p un ideal primo de A, S = A p = Mp = S 1 M = S 1 0 = 0 ii.) = i.) Sea m un ideal maximal de A, S = A m. Como m es maximal, resulta ser m primo (por 1.29) con lo cual Mm = 0 por hip otesis. iii.)= i.) Supongamos que M = 0. Luego, existir a un elemento x no nulo de M . Sea a = Ann(x), que es un ideal de A. En efecto a A; como 0 a tenemos que a es no vac o. Sean v y w a, como (w v )x = wx vx = 0 tenemos que w v a. Si w A, c a, entonces (cw)x = w(cx) = 0, por lo cual cw a. Por tanto, a es un ideal de A, en virtud de 1.28. Adem as a = (1), pues si a = A tendr amos que xy = 0 y A. Tomando y = 1 se llegar a a que x = 0, un absurdo. Luego, por el corolario 1.3 a est a contenido en un ideal maximal m. Como x/1 Mm = 0, tenemos que x/1 = 0, por tanto x es anulado por alg un elemento de A m lo que es imposible puesto que Ann(x) m. Proposici on 2.12. Sea : M N un homomorsmo de A-m odulos. Entonces las siguientes proposiciones son equivalentes: i, es inyectiva; ii. p : Mp Np es inyectiva para cada ideal primo p; iii. m : Mm Nm es inyectiva para cada ideal maximal m. An alogamente sustituyendo en todas partes donde dice inyectivas por suprayectiva. Proof. i. Caso inyectivo. i.)= ii.). 0 M N es exacta, por tanto 0 Mp Np es exacta (por 2.6), es decir p es inyectiva. ii.)=iii.)puesto que un ideal maximal es primo. iii.)=i.). Sea M = Ker, entonces la sucesi on 0 M M N es exacta( donde f no es 14
f

m as que restringida a M ), por tanto 0 Mm Mm Nm es exacta por 2.6, con lo cual ImS 1 f = Kerm . Como adem as ImS 1 f = Kerm = 0 puesto = Mm , tenemos que Mm que m es inyectiva por hip otesis. De este modo, Mm = 0, por tanto por 2.11 M = 0, es decir es inyectiva. ii. Caso suryectivo i.)=ii.).Sea M N 0. Como es suryectiva, la sucesi on es exacta., por lo cual dado un ideal primo p, la sucesi on Mp Np 0 es exacta por 2.6; es decir, tenemos que Imp = Np , lo que nos dice que p es suryectiva. ii.)=iii.) puesto que un ideal maximal es primo. iii.)=i.).Por 1.30 tenemos que Im es un subm odulo de N . Consideramos la sucesi on f M N N/Im, donde f es la proyecci on al cociente. Esta es una sucesi on exacta en virtud de 1.27. Notemos que es suryectiva si y solo si N/Im = 0. La sucesi on Mm Nm (N/Im)m es exacta, para m un ideal maximal dado, por 2.6. Por hip otesis, m es suryectiva = Kerfm = Imm = Nm . Como fm = 0 = (N/Im)m = 0 = N/Im = 0 por 2.11. Luego, es suryectiva, como quer amos ver. La planitud es una propiedad local: Proposici on 2.13. Para cada A-m odulo M , las siguientes armaciones son equivalentes: i. M es un A-m odulo plano; ii. Mp es un A-m odulo plano para cada ideal primo p; iii. Mm es un A-m odulo plano para cada ideal maximal m. Proof. i.)=ii.). Sea g : A S 1 A dada por g (a) = (a/1). Como M es un A-m odulo plano y g un odulo plano (por 1.24). Adem as, homomorsmo de anillos = MS 1 A = S 1 A A M es un S 1 A m 1 por 2.8 tenemos que MS 1 A = Mp , con lo cual Mp es un S A m odulo plano (1). Veremos que Mp es un A m odulo plano. Sea 0 N N N 0 una sucesi on exacta de A-m odulos. Luego, por 2.9, 1 1 1 A 0 es una sucesi on exacta de A-m odulos, con 0N A N AS A N AS AS lo cual por 1.20, 0 S 1 A A N S 1 A A N S 1 A A N 0 es una sucesi on exacta de A-m odulos. Luego, por (1) y por 1.23, se tiene que 0 (S 1 A A N ) S 1 A Mp (S 1 A A N ) S 1 A Mp (S 1 A A N ) S 1 A Mp 0 es una sucesi on exacta de S 1 A-m odulos. Adem as, (S 1 A A N ) S 1 A Mp = S 1 A S 1 A (N A Mp ) ltimo vale en = N A Mp (esto u virtud de 1.20). Esta propiedad vale tambi en intercambiando N por N y N , respectivamente. De este modo, Mp es un A m odulo plano. ii.)=iii.) puesto que un ideal maximal es primo.
m fm f

S 1 f

15

iii.)=i.). Si N P es un homomorsmo de A-m odulos, y m es cualquier ideal maximal de A, entonces N P inyectiva = Nm Pm inyectiva , por 2.12 = Nm
Am

M m Pm
Am

Mm inyectiva , por 1.23 = M )m inyectiva , por 2.10 =

A

(N
A

M )m (P N
A

M P
A

M inyectiva , por 2.12.

Por tanto M es plano en virtud de 1.23.

2.2

Extensi on y contacci on de ideales en anillos de fracciones

Sea A un anillo, S un subconjunto multiplicativamente cerrado de A y f : A S 1 A el homomorsmo natural denido por f (a) = a/1. Sea C el conjunto de todos los ideales contra dos en A y sea E el conjunto de todos los ideales extendidos en S 1 A. Si a es un ideal en A, su extensi on ae en S 1 A es S 1 a (pues cada y ae es de la forma ai /si , donde ai a, si S ; reduciendo estas fracciones a com un denominador). Proposici on 2.14. i. Cada ideal en S 1 A es un ideal extendido. ii. Si a es un ideal en A, entonces aec =
sS (a

: s). Por tanto ae = (1) a corta S .

iii. a C ning un elemento de S es divisor de cero en A/a. iv. Los ideales primos de S 1 A est an en correspondencia biyectiva (p S 1 p)con los ideales primos de A que no cortan S . v. La operaci on S 1 conmuta con la formaci on de sumas nitas, productos, intersecciones y radicales. Proof. i. Sea b un ideal en S 1 A y sea x/s b. Como S es multiplicativamente cerrrado, 1 S por lo cual x/1 b. Por tanto, x bc y por esto x/s bce . Luego, b bec . Por otro lado, por 1.12 bce b, concluyendo as que b = bce . ii. Sea f : A S 1 A est a dada por f (y ) = y/1, luego x aec f (x) f (a) = S 1 a x/1 = b/s para alg un b a, s S (xs b)t = 0 para alg un t S xst = bt xst a x a/st x sS (a : s) iii. a C aec a. En efecto, como a C , si x aec = x sS (a : s), (por ii.) = x (a : s), para alg un 1 s S = xs a. Como a C , si f es seg un se deni o en ii., xs f (b), para cierto ideal b 1 de S A, por lo cual f (xs) b. As , (xs)/1 b. Dado que b es un ideal de S 1 A, tenemos que 1 (xs/1)(1/s) = x/1 b = x f (b) = a. Luego, aec a. Rec procamente, sea aec a. Por 1.12 aec a, por lo cual a = aec = (ae )c . Como ae es un ideal en S 1 A, a es un ideal contra do, es decir a C . 16

Veamos ahora que aec a (sx a para alg un s S = x a) En efecto, supongamos que aec a; si sx a para alg un s S = x (a : s), para alg un s S = x sS (a : s). Luego, por ii. tenemos que x aec , por lo que x a (por hip otesis). Rec procamente, si x aec = x sS (por ii.) = s S tal que x (a : s) = sx a = x a (por hip otesis). Por esta raz on, aec a. Veamos por u ltimo que (sx a para alg un s S = x a) ning un s S es un divisor de cero en A/a. =). Sea x A/a tal que x = 0 = a. Sea s S = S/a. Si sx a = x a (por hip otesis) = x = a = 0. Absurdo. Luego, sx / a = sx = a = sx = 0. Luego, ning un s S es un divisor de cero en A/a. =). Sea sx a para alg un s S = sx = sx = a = 0 = x = 0 (por hip otesis)= x a. iv. Si q es un ideal primo en S 1 A, entonces q c es un ideal primo en A (esto adem as es cierto para cualquier homomorsmo de anillos por 1.31). Rec procamente, si p es un ideal primo en A, entonces A/p es un dominio de integridad (por 1.26); si S es la imagen de S en A/p, se tiene o est a contenido en el cuerpo de fracciones S 1 A/S 1 p = (S )1 (A/p) (por 2.7) que o es 0 A/p ( por el ejemplo 2), y por tanto es un dominio de integridad, y por tanto S 1 p es el ideal unidad o es primo (por 1.26). La primer posibilidad se presenta si y s olo si p corta S (por i.). v. Para sumas y productos se deduce de 1.13. En efecto, sea f seg un se deni o en ii.; sean a y b ideales de A. Luego, S 1 (a + b) = (a + b)e = ae + be = S 1 a + S 1 b S 1 (ab) = (ab)e = ae be = S 1 aS 1 b Por otro lado, S 1 (a Para los radicales, tenemos que S 1 r(a) r(S 1 a) , por 1.13. En efecto, S 1 r(a) = r(a)e r(ae ) = r(S 1 a). Para ver la inclusi on contraria, sea a/s 1 n 1 n n 1 r(S a) = (a/s) S a, para alg un n > 0. Es decir x /s S a, por lo que xn a = x r(a) = x/s S 1 r(a). As , r(S 1 a) = S 1 r(a). Observaci on 2.15. 1 Si a y b son ideales de A, la f ormula S 1 (a : b) = (S 1 a : S 1 b) es cierta siempre que el ideal b sea de generaci on nita (es una consecuencia del u ltimo corolario que veremos). b) = S 1 a S 1 b, por 2.7.

17

2 En la demostraci on de 1.6 que hace el libro con el que estamos trabajando, se prueba que si f A no es nilpotente existe un ideal primo de A que no contiene f . Un modo de ver esto ser a el n 1 siguiente: puesto que el conjunto S = {f }n>o no contiene el 0, el anillo S A = Af no es el anillo cero (por el ejemplo 2) y por tanto en virtud de 1.2 tiene un ideal maximal, cuya contracci on en A es el ideal primo p que no corta S en virtud de 2.14; por tanto f / p. Sin usar los resultados de este cap tulo, 1.6 se demuestra en el libro del siguiente modo: Sea E la intersecci on de todos los ideales primos de A. Si f A es nilpotente y si p es un ideal primo , entonces f n = 0 para alg un n > 0, por tanto f p (puesto que p es primo). Por tanto, f E. Rec procamente, supongamos que f es no nilpotente. Sea el conjunto de los ideales a con la propiedad n > 0 = f n /p es no vac o puesto que 0 . Sea T = {Ti } una cadena en y sea C = i Ti . Como 0 C , C = . Adem as C A. Si x, y C = i, j tales que x Ti , y Tj . Como T es una cadena, podemos suponer que x Ti , y Ti ; y dado que Ti es un ideal, x y Ti = x y C . Si x C , c A, luego hay un i tal que x Ti = cx Ti ( pues Ti es un ideal) = cx C . Luego, por 1.28 C es un ideal de A, con lo cual T tiene una cota superior en . Podemos ahora aplicar el lema de Zorn al conjunto , obviamente ordenado por inclusi on, y por tanto tiene un elemento maximal, llam emoslo p. Se probar a que p es un ideal primo. Sean x y / p, entonces p + (x), p + (y ) contienen p en sentido estricto y por tanto no pertenecen a ; por tanto f m p + (x), f n p + (y ) para algunos m, n. Se sigue de esto que f m+n p + (xy ), es decir el idea p + (xy ) no est a en y por tanto xy p. Se tiene as un ideal primo p tal que f / p, por tanto f / E. Corolario 2.16. Si R es el nilradical de A, el nilradical de S 1 A es S 1 R. Proof. Sea a/s S 1 R = n > 0 tal que an = 0 = o/1 = an /sn = (a/s)n = a/s al nilradical de S 1 A, llam emoslo T . As ,S 1 R T . Para ver la inclusi on contraria, sea f seg un se deni o en ii. de la proposici on 2.14; sean p B=
p : p es ideal primo de A

C=
p :p es ideal primo de A que no corta S

p.

Claramente, B C = S 1 R = f (R) = f (B ) f (C ) S 1 p (para p ideal primo de A que no corta S )= q (q ideal primo de S 1 A) = T (por 1.13 y por 2.14). Corolario 2.17. Si p es un ideal primo de A, los ideales primos del anillo local Ap est an en correspondencia biyectiva con los ideales primos de A contenidos en p. Proof. Sea p un ideal primo de A y sea S = A p. Por la proposici on 2.14, los ideales primos de 1 S A = Ap est an en correspondencia biyectiva con los ideales primos de A que no cortan S , es decir con los ideales primos de A contenidos en p (por denici on de S ).

18

Observaci on 2.18. As como el paso de A a Ap elimina todos los ideales exceptos los contenidos en p ( por 2.17) , en la otra direcci on el paso de A a A/p elimina todos los ideales primos excepto aquellos que contienen p (por 1.1). Por tanto si p, q son ideales primos tales que q p, entonces localizando respecto p y tomando el cociente m odulo q (en cualquier orden: estas dos operaciones conmutan en virtud de 2.7), se restringe la atenci on a aquellos ideales primos que est an entre p y q . En particular, si p = q se obtiene nalmente un cuerpo denominado el cuerpo residual en p, que se puede obtener o como cuerpo de fracciones del dominio de integridad A/p o como cuerpo residual del anillo Ap . Proposici on 2.19. Sea M un A-m odulo de generaci on nita, S un subconjunto de A multiplicati1 1 vamente cerado. Entonces S (Ann(M )) = Ann(S M ). Proof. Si es cierto para dos A-m odulos M , N , es cierto para M + N : 1 1 S (Ann(M + N )) = S (Ann(M ) Ann(N )) por 1.15 = S 1 (Ann(M )) S 1 (Ann(N )) por 2.7 = Ann(S 1 M ) Ann(S 1 N ) por hip otesis = Ann(S 1 M + S 1 N ) por 1.15 = Ann(S 1 (M + N )) por 2.7. Por tanto, basta probar 2.19 para M generado por un solo elemento (pues M es de generaci on nita). Sea a = Ann(M ), entonces M odulo). = A/a (como A-m En efecto, como estamos suponiendo que M est a generado por un solo elemento, llam emoslo m, se tiene que M = {xm : x A} y sea f : A/a M dada por f (x + a) = xm. Como f es claramente un epimorsmo, conclu mos que M = (A/a)/Kerf , por 1.32. Como Kerf = {x + a A/a : f (x + a) = mx = 0} = {x + a A/a : x a} = a = M = (A/a)/a = A/a, con lo cual M = A/a. 1 1 1 Luego, S M = (S A)/(S a), en virtud de 2.7, de manera que Ann(S 1 M ) = Ann((S 1 A)/(S 1 a)) = S 1 a = S 1 (Ann(M )). Proposici on 2.20. Si N , P , son subm odulos de un A-m odulo M y si P es de generaci on nita, 1 1 1 entonces S (N : P ) = (S N : S P ). Proof. (N : P ) = Ann((N + P )/N ) en virtud de 1.15. Luego, S 1 (N : P ) = S 1 (Ann((N + P )/N )) = Ann(S 1 ((N + P )/N )), por 2.19 = Ann(S 1 (N + P )/S 1 N ), por 2.7 = Ann((S 1 N + S 1 P )/S 1 N ), por 2.7 = (S 1 N : S 1 P ), por 1.15. Proposici on 2.21. Sea f : A B un homomorsmo de anillos y sea p un ideal primo de A. Entonces p es la contracci on de un ideal primo de B si y s olo si pec = p. Proof. Si p = q c = pec = q cec = q c = p, por 1.12. Rec procamente, si pec = p, sea S la imagen de A p en B . Entonces pe no corta S , por tanto en virtud de 2.14 su extensi on en S 1 B es un ideal propio y por tanto est a contenido en un ideal 1 maximal m de S B (por 1.3). Si q es la contracci on de m en B ( q = mc ), entonces q es un ideal primo (por 1.10 y por 1.29). Adem as, consideremos A B S 1 B 19

p pe pee Como pee m, por 1.12 pe peec = mc = q = pe q . Tambi en tenemos que q S = . En efecto, si no fuera as , q e = S 1 B (por 2.14). Por este motivo, q e = mce m (por 1.12) As , S 1 B = q e m, lo que es un absurdo por ser m maximal. Luego, tenemos que q es primo, pe q y q S = . Como p pec (por 1.12) y pec q c = p q c . Adem as, q S = = q c (A p) = , con lo cual obtenemos que p = q c .

20

Ejercicios
1 Sea A un anillo conmutativo con unidad y S un subconjunto multiplicativamente cerrado de A. En A S hemos denido la relaci on de equivalencia (a, s) (b, t) u S tal que (at bs)u = 0 Se da una estructura de anillo a S 1 A deniendo una adici on y una multiplicaci on de la misma manera que en algebra elemental: es decir (a/s) + (b/t) = (at + bs)/st (a/s)(b/t) = ab/st Comprobar que estas deniciones son independientes de la elecci on de los representantes (a, s) 1 y (b, t), y que S A satisface los axiomas de anillo conmutativo con elemento identidad. Proof. Veamos primero que la suma y el producto est an bien denidos en S 1 A. Sean (a, s) (a , s ) y (b, t) (b , t ) = u1 , u2 S tales que (as a s)u1 = 0 (bt b t) = 0 As , as u1 = a su1 bt u2 = b tu2 por lo cual as u1 t tu2 = a su1 t tu2 bt u2 s su1 = b tu2 s su1 Sumando ambas expresiones obtenemos que (atu1 u2 + bsu1 u2 )s t = (a t u1 u2 + b s u1 u2 )st

Como S es multiplicativamente cerrado, u = u1 u2 S llegando as a que ((at + bs)s t (a t + b s )st)u = 0 Por otro lado, tambi en st S y s t S ,teniendo as que (at + bs)/st (a t + b s )/s t 21

Luego, la suma est a bien denida. Para el producto, tenemos como para la suma as u1 = bt u2 = as u1 bt u2 = a su1 b tu2 = as u1 bt u2 = Sea u seg un se deni o antes, y as (abs t a b st)u = 0 = (ab/st) (a b , s t ) De este modo, el producto est a bien denido. Falta ver que S 1 A es un anillo conmutativo con elemento identidad. (S 1 A, +) es un grupo abeliano con la denici on de suma y producto que hemos dado. En efecto: Sean (a, s), (b, t) S 1 A = (a/s) + (b/t) = (at + bs)/st. Como A es un anillo, at + bs A y como S es multiplicativamente cerrado, st S , con lo cual (a, t) + (b, s) S 1 A. Si adem as (m, n) S 1 A = ((a, s) + (b, t)) + (m, n) = (at + bs)/st + (m, n) = ((at + bs)n + m(st))/stn = (atn + (bn + mt)s) = (a, s) + ((bn + mt)/tn = (a, s) + ((b, t) + (m, n)) As queda probada la asociatividad respecto de la suma. Como 0 A, 1 S = (0, 1) S 1 A. Luego, (a, s) + (0, 1) = (a1 + 0s)/s1 = (a, s) (de igual modo (0, 1) + (a, s) = (a, s)), por lo que (0, 1) es el neutro aditivo. Como a A = (a) A = (a, s) S 1 A. Luego, (a, s) + (a, s) = (as as)/s2 = 0/s2 = (0/1) (la u ltima igualdad vale por denici on de la relaci on de equivalencia, y claramente (a, s) + (a, s) = (0, 1) por la misma raz on). Hemos probado as la existencia de inversos aditivos. La conmutatividad respecto de la suma en S 1 A es una consecuencia directa de la conmutatividad respecto de la suma en A y de la denici on 1 de suma en S A. Por otro lado, ((a, s)(b, t))(m, n) = (ab/st)(m, n) = (abm, stn) = (a, s)(bm/tn) = (a, s)((b, t)(m, n)), por ser A un anillo conmutativo y por denici on de producto en S 1 A. (a, s)((b, t) + (m, n)) = (a, s)((bn + mt)/tn) = ((abn + amt)/stn) = ((atm + bsm)/stn) = ((at + bs)/st)(m, n) = ((a, s) + (b, t))(m, n) 22 a su1 b tu2 = a su1 bt u2 = a b stu1 u2

Tambi en tenemos que (1, 1) S 1 A, y por esto (1, 1)(a, s) = (1a/1s) = (a, s) (pues 1 es la identidad en A, y de igual modo se ve que (a, s)(1, 1) = (a, s). La conmutatividad con respecto al producto es consecuencia de la conmutatividad con respecto al producto de A y de la denici on de producto en S 1 A. Finalmente queda probado que S 1 A es un anillo conmutativo con elemento identidad. 2 Sea A un anillo, N y P subm odulos de un A-m odulo M . Entonces: Ann(M + N ) = Ann(M ) Ann(n)

(N : P ) = Ann((N + P )/N ) Proof. Para ver la primer igualdad, sea x Ann(M + N ) = x(M + N ) = 0 = xm + xn = 0, m M , n N . Si m = 0 = xn = 0, n N = x Ann(N ). Si n = 0 = xm = 0, m M = x Ann(M ). Luego, x Ann(M ) Ann(N ). Rec procamente, si x Ann(M ) Ann(N ) = xM = xN = 0 = xm = xn = 0, m M , n N = x(m + k ) = 0, m M , k N = x Ann(M + N ). Por esta raz on, Ann(M + N ) = Ann(M ) Ann(N ). Para probar la segunda igualdad, sea x (N : P ) = xP N . Sea x = x + N (x A/N ), luego tenemos que para n N , p P se tiene x ((n + p) + N ) = x (p + N ) = N con lo cual x Ann((N + P )/N ). Rec procamente, si x Ann((N + P )/N ), se tiene x = x + N = dado p P , N =x (p + N ) = xp + N = xp N = x (N : P ). Con esto queda probado que (N : P ) = Ann((N + P )/N ). 3 Sea S un subconjunto multiplicativamente cerrado de un anillo A, y sea M un A m odulo con 1 generaci on nita. Probar que S M = 0 si y s olo si existe s S tal que sM = 0. Proof. Para ver la primer implicaci on, hay que ver que para cualquier m de M existe el mismo s S tal que sm = 0. Como M es nitamente generado, cualquier m de M es de la forma Am1 + ... + Amk , para cierto k n umero natural positivo, donde m1 ,....mk M . Por hip otesis, sabemos que S 1 M = 0, por lo cual existen s1 ,...sk S tales que si mi = 0, i = 1, ...k . Sea s = s1 ...sk . Como S es multiplicativamente cerrado, tenemos que s S , y, por tanto, sm1 = ...smk = 0. Luego, sm = A(sm1 ) + ... + A(smk ) = 0. Rec procamente, si existe s S tal que sM = 0 = sm = 0, m M . Sea (n, t) S 1 M = (n/t) = (ns/ts) = (0/ts) = (0/1) = S 1 M = 0.

23

4 Sea a un ideal de un anillo A, y sea S = 1 + a. Probar que S 1 a est a contenido en el radical de Jacobson de S 1 A. Utilizar este resultado y el lema de Nakayama para dar una demostraci on de 1.16 que no dependa de determinantes( si M = aM , entonces S 1 M = (S 1 a)(S 1 M ), por tanto en virtud del lema de Nakayama se tiene S 1 M = 0. Utilizar ahora el ejercicio anterior). Proof. Sea Z el radical de Jacobson de S 1 A (como a es un ideal de A, S = 1 + a es un subconjunto multiplicativamente cerrado de A, por el ejemplo 2. del presente trabajo). Lo que se va a probar es que S 1 a Z . Sean x, y S 1 a, con lo cual x = (b1 /1 + y1 ) con b1 , y1 a y = (b2 /1 + y2 ) con b2 , y2 a. Luego, 1/1 xy = 1/1 (b1 b2 /(1 + y1 )(1 + y2 ) = ((1 + y1 )(1 + y2 ) b1 b2 )/(1 + y1 )(1 + y2 ) = (1 + y1 + y2 + y1 y2 b1 b2 )/(1 + y2 + y1 + y1 y2 ) Como y1 + y2 + y1 y2 b1 b2 y tambi en y2 + y1 + y1 y2 pertenecen al conjunto a (pues a es un ideal), tenemos que (1/1) xy es una unidad (es decir inversible) y por tanto x Z , en virtud de 1.8. As , S 1 a Z . Supongamos ahora que estamos bajo las hip otesis de 1.16. Como aM = M = S 1 M = 1 1 (S a)(S M ). Como acabamos de probar que S 1 a Z , siendo S 1 a un ideal de S 1 a, por el lema de Nakayama S 1 M = 0, con lo cual, por el ejercicio anterior, existe un s S tal que sM = 0. Adem as, como S = 1 + a = (s 1) a, es decir s 1(mod a). 5 Sea A un anillo, sean S y T dos subconjuntos multiplicativamente cerrados de A, y sea U la imagen de T en S 1 A. Probar que los anillos (ST )1 A y U 1 (S 1 A) son isomorfos. Proof. Primero observemos que ST es un subconjunto multiplicativamente cerrado de A. En efecto, si x ST , y ST = x = s1 t1 , y = s2 t2 con s1 , s2 S , t1 , t2 T = xy = (s1 s2 )(t1 t2 ) ST , ya que S y T son subconjuntos multiplicativamente cerrados de A. Adem as, como 1 S T = 1 ST . Sea f : A S 1 A dada por f (a) = a/1. Tenemos que f (S ) = U . El conjunto U es multiplicativamente cerrado en S 1 A puesto que S es multiplicativamente cerrado en A. En efecto, sean x/1, y/1 U = (x/1)(y/1) = xy/1. Como x, y S = xy S , por lo cual xy/1 U . Tambi en, como 1 S = 1/1 U . Por otro lado, sabemos que f es un homomorsmo de anillos. Ahora, denamos g : (ST )1 A U 1 (S 1 A), dada por g (a/st) = (a/s)/f (t) Tenemos que g est a bien denida, por construcci on. Veamos que g es un homomorsmo de anillos:

24

Primero observemos que (1/1)/(1/1) es el neutro en U 1 (S 1 A) con respecto al producto. En efecto, sea (a/s)/u U 1 (S 1 A). Como (1/1)/(1/1) U 1 (S 1 A) (1/1 = f (1)), ((a/s)/u)((1/1)/(1/1) = ((a/s)(1/1))/u(1/1) = (a1/s1)/u = (a/s)/u De modo an alogo vemos que ((1/1)/(1/1))((a/s)/u) = (a/s)/u. Luego, g (1/1) = (1/1)/f (1) = (1/1)/(1/1). Sean a/st y a /s t (ST )1 A = g (a/st + a /s t ) =(por denici on de suma) g ((as t + a st)/sts t ) = (por denici on de g ) ((as t + a st)/ss )/f (tt ) = (por denici on de suma y de la relaci on de equivalencia) ((at /s + a t/s )/f (t)f (t ) = (por denici on de f y de producto) (f (t )(a/s) + f (t)(a /s ))/f (t)f (t ) =(por denici on de relaci on de equivalencia) (a/s)/f (t) + (a /s )/f (t ) = (por denici on de g ) g (a/st) + g (a /s t ) Por otro lado, tenemos que g (a/st)g (a /s t ) = (por denici on de g ) ((a/s)/f (t))((a /s )/f (t ) = (por denici on de producto) ((a/s)(a /s ))/f (t)f (t ) = (por denici on de producto y de f ) (aa /ss )/f (tt ) = (por denici on de g ) g ((a/st)(a /s t )). g es suryectiva por construcci on. Para ver la inyectividad, sea g (a/st) = (0/1)/(1/1) = (a/s)/f (t) = (0/1)/(1/1) (por denici on de g ). Luego, existe v/1 U tal que v S , donde va/s = 0/1. Por esta raz on, existe k S tal que kva = 0 = a/st = auk/stuk = 0/stuk = 0/1. As , g resulta inyectiva, quedando de este modo probado que los anillos (ST )1 A y U 1 (S 1 A) son isomorfos. 6 Sea f : A B un homomorsmo de anillos y sea S un conjunto multiplicativamente cerrado de A. Sea T = f (S ). Probar que S 1 B y T 1 B son isomorfos como S 1 A-m odulos. Proof. T es multiplicativamente cerrado en B , pues S es multiplicativamente cerrado en A y f es un homomorsmo de anillos. En efecto, f (1A ) = 1B . Adem as, si b, c T = bc = f (s)f (t), para ciertos s y t S (por denici on de T ). Como f es un morsmo de anillos, f (s)f (t) = f (st), y como S es multiplicativamente cerrado, se tiene que st S . Luego, bc T , por lo cual T es efectivamente un conjunto multiplicativamente cerrado en B . Dados a A, b B , denimos ab = f (a)b El anillo B es un A-m odulo con esta denici on. En efecto, sean a, a A y b, b B . Luego : a(b + b ) f (a)b + f (a)b (a + a )b (f (a) + f (a ))b ab + a b = = = = f (a)(b + b ) = ab + ab f (a + a )b = f (a)b + f (a )b =

25

(aa )b = f (aa )b f (a)(f (a )b) (1A )b (1B )b

= = = =

(f (a)f (a ))b = a(a b) = f (1A )b b

De este modo, B es un A-m odulo con esta denici on. Luego, S 1 B es un S 1 A-m odulo, con la denici on inducida de la dada anteriormente, es decir considerando (a/s)(b/t) = (f (a)/s)(b/t), para (a/s) S 1 A y (b/t) T 1 B . Vimos en el trabajo que si M es un A-m odulo, luego S 1 M es un S 1 A-m odulo con las deniciones obvias de adici on y multiplicaci on escalar. Veamos ahora que T 1 B es un S 1 A-m odulo deniendo (a/s)(b/t) = (f (a)/f (s))(b/t), para (a/s) S 1 A, (b, t) T 1 B En efecto, sean (a/s), (a /s ) S 1 A y (b/t), (b , t ) T 1 B . Luego,

(a/s)((b/t) + (b /t )) ((f (a)(bt + b t))/f (s)tt ) (f (a)/f (s))(b/t) + (f (a)/f (s))(b /t ) ((a/s) + (a /s ))(b/t) ((f (as + a s)/f (ss ))(b/t) (f (a)f (s )b)/f (s)f (s )t + (f (a )f (s)b)/f (s)f (s )t (a/s)(b/t) + (a /s )(b/t) ((a/s)(a /s ))(b/t) (f (aa )/f (ss ))(b/t) ((f (a)/f (s))((f (a )b)/f (s )t) (a/s)((a /s )(b/t)) (1/1)(b/t) (1/1)(b/t)

= = = = = =

(a/s)((bt + b t)/tt ) = (f (a)bt /f (s)tt ) + (f (a)b t/f (s)tt ) = (a/s)(b/t) + (a/s)(b /t ) ((as + a s)/ss )(b/t) = (f (as )b)/f (ss )t + (f (a s)b/f (ss )t) = (f (a)b/f (s)t) + (f (a )b)/f (s )t =

= (aa /ss )(b/t) = = (f (a)f (a )b)/f (s)f (s )t = = (f (a)/f (s))((a /s )(b/t)) = = ((f (1)/f (1))(b/t) = = (b/t)

Luego, T 1 B es un S 1 A-m odulo. 1 1 Sea g : S B T B dadaa por g (b/s) = b/f (s). La funci on g est a bien denida y es suryectiva, por construcci on. 1 Para ver que g es un homomorsmo de S A-m odulos, sean (b/s), (b /s ) S 1 B y (a/c) 1 S A. Luego:

26

g ((b/s) + (b /s )) (s b + sb )/f (ss ) (f (s )b)/(f (s)f (s )) + (f (s)b )/(f (s)f (s )) g (b/s) + g (b /s ) g ((a/c)(b/s)) f (a)b/f (cs) (a/c)g (b/s)

= g ((s b + sb )/ss ) = = (s b)/f (ss ) + (sb )/f (ss ) = = b/f (s) + b /f (s ) = = g (f (a)b/cs) = = f (a)b/f (c)f (s) =

Para probar la inyectividad de g , supongamos que g (b/s) = 0 en T 1 B . Por esta raz on, existir a un t T tal que tb = 0. Luego, existe s S tal que s b = 0. Entonces, tenemos que (b/s) = 0 en S 1 B , ya que esto ocurre si y s olo si hay un u S tal que ub = 0, lo cual es verdadero. 7 Sea A un anillo no nulo. Sup ongase que para cada ideal primo p, el anillo local Ap no tiene elementos nilpotentes = 0. Probar que no tiene ning un elemento nilpotente = 0. Si cada Ap es un dominio de integridad, es necesariamente A un dominio de integridad?. Proof. Sea R el conjunto de todos los elementos nilpotentes de A. Hay que probar que R = 0. as, R es un ideal, por 1.33. Luego, tenemos R = p , para p ideal primo de A, por 1.6. Adem que R es un A-m odulo. Sea p un ideal primo de A y consideramos S = A p, con lo cual S es un subconjunto multiplicativamente cerrado de A. LLamemos B al conjunto de elementos nilpotentes de S 1 A. Sabemos por 2.16 que B = S 1 R = Rp , y por hip otesis B = 0. Luego, tenemos que dado un ideal primo p, Rp = 0, con lo cual R = 0, en virtud de 2.11, como quer amos ver. Veamos con un ejemplo que puede ser que cada Ap sea un dominio de integridad sin serlo A. Sea A = Z6 . Este anillo no es un dominio de integridad (DI), pues 2= 0, 3= 0 y sin embargo 2 3= 0. Sea : Z Z6 dada por (n) = n . Este es un epimorsmo. Sabemos que todo ideal de Z es de la forma nZ , por lo cual todo ideal de Z6 es de la forma n Z (para n entero). Tambi en ltimos sabemos que Z6 = Z2 Z3 . Los ideales de Z6 son 0, Z6 , Z2 {0}, Z3 {0} (estos dos u v a el isomorsmo que mencionamos antes). Sin embargo Z2 {0} y Z3 {0} son primos, ya que Z6 /Z2 {0} = Z2 Z3 /Z3 {0} = Z3 Z6 /Z3 {0} = Z2 Z3 /Z2 {0} = Z2 Como Z2 y Z3 son DI = p1 = Z2 {0} y p2 = Z3 {0} son primos. Resta chequear que p1 y p2 son DI. ) en (Z6 )p y no p1 =< 3 >= pc a/ b), ( c/d 1 1 = {1, 2, 4, 5}, donde c = complemento. Sean ( ) es no nulo. Supongamos que ( ) = 0,luego: nulos. Quiero ver que ( a, b)( c, d a, b)( c, d ) = 0. Absurdo. Si ( a/ b) fuera invertible = ( c/d Si ( a/ b) no fuera invertible = a p1 = a = 0 oa = 3. Por hip otesis, u pc ua = 0 (1). En 1 : 27

particular, vale para u = 1 = a = 0. Por esta raz on, deber a valer que a = 3 = 2 a= 2 3= 0. c Como 2 p1 , esto contradice (1). ) (Z6 )p y no nulos. Como a/ b), ( c/d An alogamente, p2 =< 2 >= pc 2 2 = {1, 3, 5}. Sean ( ) es no nulo. Para ello, supongamos que ( ) = 0; luego: antes, quiero ver que ( a/ b)( c/d a/ b)( c/d Si ( a/b) fuera invertible = ( a/b) = 0. Absurdo. Si ( a/b) no fuera invertible = a p2 = a = 0, a = 2 oa = 4. Por hip otesis, u pc ua =0 1 : c (2). Como 1 p1 , si fuera a = 0 habr a una contradicci on con (2). Si fuera a = 2, como 3 pc 1, tenemos por (2) que 2 3 = 0,lo que es absurdo dado que 23 = 0 . Por u ltimo, si fuera a = 4, , por (2) tenemos que 3 4 = 0, lo que tambi e n es un absurdo ya que 3 4 = 0. como 3 pc 1 8 Sea A un anillo = 0 y sea el conjunto de todos los conjuntos multiplicativamente cerrados S de A tales que 0 / S . Probar que tiene elementos maximales, y que S es maximal si y s olo si A S es un ideal primo minimal de A. Proof. Sea = {S : S es multiplicativamente cerrado en A y 0 / S }. Como A = 0, S = {1} es multiplicativamente cerrado, 0 / S (ya que 0 = 1), con lo cual = . Sea S = {Si } una cadena en , y consideramos C = i Si . Como 1 est a en cada Si , tambi en est a en C . Adem as, como 0 / Si para ning un i, tenemos que 0 / C . Sean x, y C = i, j tales que x Si , y Sj . Como T es una cadena, podemos suponer que Sj Si , por lo cual x, y Si = xy Si (pues Si es multiplicativamente cerrado) = xy C . Luego, C . As , dada una cadena T en , tiene cota superior en . Por el Lema de Zorn, tiene, al menos, un elemenio maximal. =). Para ver que S c es un ideal, utilizaremos la siguiente caracterizaci on (para S maximal): ()a / S n natural , b S tal que an b = 0 En efecto, si a / S , consideramos B = Conjunto de productos nitos de la forma ab1 ...abm uni on el elemento identidad de A, con b1 ,...,bm elementos arbitrarios en S . Supongamos ahora que no vale que hay un n natural y un b en S tales que an b = 0, por lo cual tenemos que 0 / B. Como B es claramente un subconjunto multiplicativamente cerrado de A, tenemos que B , y como a / S , vale que S B = S = B o B = A (pues S es maximal en ). Por lo dicho antes, la primer posibilidad no puede suceder, por lo que vale que B = A = 0 B , absurdo. Rec procamente, si hay un n natural y un b S tales que an b = 0, como 0 / S = an b / n S = a / S ob / S (por ser S multiplicativamente cerrado). Como b S = an / S . Si n = 1, ya est a. Si no, an = an1 a = an1 /S oa / S . Si vale lo u ltimo, ya est a. De no ser as , vale lo primero, por lo cual n 3. Iterando, tras una cantidad nita de pasos obtenemos que a / S. Veamos ahora que S c es un ideal. A S A. Adem as, 0 / S (pues S )= A S = . Sean x / S, y / S . Veremos que xy / S . Por (*), esto vale si y s olo si hay un n umero n natural y un elemento b S tales que (x y )n b = 0. Como x, y / S = m y k naturales, b1 y b2 elementos de S tales que xm b1 = 0, y k b2 = 0. Sean b = b1 b2 (que est a en S por ser S multiplicativamente cerrado) y n = m + k . Por la f ormula del binomio de Newton (que la podemos usar puesto que el anillo A i ni i es conmutativo), se tiene que (x y )n b = n y b = 0 (ya que si i k utilizo i=1 (1) C (n, i)x la hip otesis sobre y , y si i < k , como ser a n i = m + k i > m, utilizo la hip otesis sobre x). As , x y / S , como quer amos ver. Sean ahora x / S y a S . Como antes, para ver que 28

ax / S es equivalente ver que hay un b en S y un n natural tales que (ax)n b = 0(**). Como x / S = b1 S y n natural tales que xm b1 = 0. Tomamos ahora m = n y b1 = b, valiendo as (**) dado que el anillo A es conmutativo. Luego, en virtud de 1.28, S c es un ideal. c S es primo, ya que si x, y / S = xy / S (pues S es multiplicativamente cerrado). Para ver que A S es primo minimal de A, hay que ver que si p es primo y p A S = p = A S . Veamos que pc . Como 0 p (pues p es un ideal) = 0 / pc . Como p es primo, su complemento es multiplicativamente cerrado (por el ejemplo 1) del presente trabajo). Por esto, pc . Como adem as tenemos que S pc y S es maximal en = pc = A o S = pc . c c Como p = A (pues 0 p) = S = p , como quer amos ver. =). Primero veamos que S . 0 S c (pues S c es un ideal ) = 0 / S. 1 / S c (pues S es un ideal primo) = 1 S . Sean x, y S = x, y / S c = xy / S c (pues S c es un ideal primo) = xy S . Luego, S . Sea A = {T : S T , T }. Veamos que A tiene, al menos, un elemento maximal. S A = A = . Sea V = {Ti } una cadena en A, y sea C = Ti . Como cada Ti = 0 / a ning un Ti = 0 / C . Como cada Ti , 1 Ti i = 1 C . Sean x, y T = i, j tales que x Ti , y Tj . Como V es una cadena, podemos suponer que Ti Tj = x, y Tj = xy Tj (pues Tj ) = xy C . Adem as, S C . As , C . De este modo vemos que dada una cadena en A, esta tiene una cota superior en = A tiene, al menos, un elemento maximal (en virtud del Lema de Zorn). Luego, si T es un elemento maximal de A = tambi en lo es de (1). En efecto, de no ser as , existir a B con T B y B = T . Pero B A, por denici on de A. Absurdo, pues contradice mi hip otesis, ya que T es maximal en A. Luego, si S = pc (con p ideal primo minimal de A) no es maximal en = T tal que S T y T = S (T maximal en ). Por la primer parte, T c es ideal primo minimal. Adem as, T c S c = p, con T c y p ideales primos minimales. Absurdo. Luego, S es maximal.

9 Un subconjunto multiplicativamente cerrado S de un anillo A se dice que es saturado si xy S x S e y S Probar que: i) S es saturado A S es una uni on de ideales primos. ii)Si S es un subconjunto multiplicativamente cerrado de A, existe un u nico subconjunto mul es el complemento tiplicativamente cerrado saturado m nimo S que contiene a S , y tal que S en A de la uni on de los ideales primos que no cortan S . (S se denomina la saturaci on de S.). iii)Si S = 1 + a, donde a es un ideal de A, hallar S . Proof. i)Sea S saturado. Consideramos a = {I A : I

S = , a I, I es ideal}. Sea U (A) = U nidades de A

Tenemos que U (A) Sc = , ya que si no lo fuera, existir a u U (A) S c = uu1 = 1 S = u S (pues S es saturado)( Absurdo). Como a S c = aA =< a >= A. Luego, 29

< a > S = ( ya que si no fuera as , existir a t A, s S : at = s = a S , pues S es saturado (Absurdo). Queda as probado que a = . Sea T = {Ii } una cadena en a , y sea C = i Ii . Si C = A = 1 Ii , para alg un i = Ii = A,absurdo, ya que Ii = A por ser Ii a . Luego, C = A. C es un ideal. En efecto, 0 Ii i = 0 C = C = . Si x, y C = i, j : x Ii , y Ij = x, y Ii (podemos as suponerlo ya que T es una cadena) = x y Ii = x y C . Si x C , a A = i tal que x Ii = ax Ii (puesto que Ii es un ideal) = ax C . De este modo, C es un ideal. Por otro lado, C S = i (Ii S ) = . Adem as, a C . Luego, dada una cadena T en a tiene una cota superior en a ; por tanto en virtud del lema de Zorn, existe p ideal maximal en a . Veamos que p es primo. Sea xy p y supongamos que x, y / p. Si A =< p {x} >= 1 = a + tx, a p = y = ay + txy . Como ay p, txy p = y p(absurdo). As , < p {x} >= A y es un ideal. Del mismo modo se ve que < p {y } >= A, y este tambi en es un ideal. Si < p {y } >= = p1 + t1 x = s1 , p2 + t2 y = s2 , con p1 y p2 p,t1 y t2 A. Luego, s1 s2 = p1 p2 + p1 t2 y + +p2 t1 x + t1 t2 xy p ( ya que p es un ideal y xy p). Pero s1 s2 S , con lo cual hay una contradicci on (ya que p S = ). Luego, tenemos que < p {y } >= y de igual modo se ve que < p {x} >= . De este modo, < p {x} > a y como p < p {x} > y es maximal = p =< p {x} > o < p {x} >= A. Como vimos que esta u ltima posibbilidad no puede suceder, se tiene que p =< p {x} = x p, lo que es un absurdo. Por este motivo, p es un ideal primo. De este modo, S c = a S c es una uni on de ideales primos. / S pa = c Rec procamente, si S es una uni on de ideales primos, sean x, y S c = existe un ideal primo p tal que x, y p = xy p (pues p es un ideal) = xy S c . Si xy S c = x / S, y /S (pues S es multiplicativamente cerrado). Luego, S es saturado. =A S = . ii) Sea S p con p ideal primo tal que p es saturado. En efecto, sean x, y S = x, y no est S an en ning un ideal primo p que no corta a . Adem S = xy / p, para ning un ideal primo p que no corta S (por ser p primo) = xy S as, 1 S . De este modo, vemos que S es multiplicativamente cerrado. Si xy S = xy / p, para ning un ideal primo p que no corta S = x, y no est an en ning un ideal primo p que no corta a . As es saturado. Adem = s p, para alg S (por ser p ideal)= x, y S , S as, si s /S un . Sea S T , T saturado = S T. ideal primo p que no corta a S = s / S . As , S S En efecto, sea x T c = q ideal primo tal que x q (por i)). Como S T , y se tiene que q T = (por i))= q S = = x est a en la uni on de ideales primos que no cortan c . As T. S = x S , S iii.) S = 1 + a es multiplicativamente cerrado (por ejemplo 4. del presente trabajo). Sea p un ideal primo de A p S = x p : x 1 a Luego p = As , S S = x / p : x1 / a (1) pc , para p ideal primo que no corta S , donde tenemos la caracterizaci on (1).

10 Sean S , T subconjuntos multiplicativamente cerrados de A, tales que S T . Sea : S 1 A T 1 A el homomorsmo que aplica cada (a/s) S 1 A a (a/s) considerado como 30

un elemento de T 1 A. Probar que las siguientes armaciones son equivalentes: i.) es biyectiva. ii.) Para cada t T , (t/1) es una unidad en S 1 A. iii.) Para cada t T existe x A tal que xt S . iv.) T est a contenido en la saturaci on de S (ejercicio aanterior). v.) Cada ideal primo que corta T corta tambi en S . Proof. i.) = ii.) Sea t T = (1/t) = (1/t) en S 1 A (pues es suryectiva), por lo cual (1/t) es inversible en S 1 A con inverso (t/1) = (t/1) es una unidad en S 1 A. ii.) = iii.). Sea t T = (t/1) es una unidad en S 1 A (por hip otesis) = (a/s) S 1 A tal que (t/1)(a/s) = (1/1) = u S tal que uat = us. Sea x = ua. Como S es multiplicativamente cerrado, us S = x A tal que xt S . iii.) = iv ) =Saturaci . Sea S on de S . Veamos que T S ( pues por el ejercicio anterior, Sea t T = x A tal que xt S (por hip otesis) = xt S ) = x S , t S (por denici ) = t S . Luego, T S . SS on de S iv.) = v.) pc , con p ideal Sea q un ideal primo de A tal que q T = . Por el ejercicio anterior, S , por hip primo tal que p S = . Por hip otesis, sabemos que T S otesis. Supongamos que c q S = . Como T S = T q = T q = , lo que es absurdo. Luego, vale que q S = . iii.) = i.) es suryectiva. Sea (a/t) T 1 A. Debemos probar que (a/t) = (b/s), con b A, s S . Esto vale si y s olo si u T tal que aus = btu. Si tomamos s = ux y b = ax, como ux S por hip otesis, vale lo que quer amos probar. es inyectiva. Sea (a/t) = (a/t) = 0 en T 1 A = u T tal que ua = 0. Para este u T , existe x A tal que ux S = (ux)a = (ua)x = 0. Sea s = ux. Como s S y sa = 0 = (a/t) = 0 en S 1 A. v.) = iv ) c =( T Por el ejercicio anterior, S p S = p) (p primo). Si p S = = p T = (por hip otesis). Si p T = = p S = (pues S T ). Luego, para p primo, p T = p S =
c c = ( T T As , para p primo, S p S = p) = ( p T = p) = T . Como T T (por el ejercicio . anterior), se tiene que T S iv.) = ii.) (por hip Sea t T . Como T S otesis), por el ejercicio anterior vale que t / p, para p ideal primo arbitrario tal que p S = . Queremos ver que (t/1) es inversible en S 1 A. Para ello supongamos que no lo es, con lo cual < (t/1) >= A. De este modo, por 1.3 existe m ideal maximal en A tal que < (t/1) > m. Como m es maximal, es tambi en primo. Consideramos

31

ahora el homomorsmo f : A S 1 A dado por f (a) = (a/1). Luego, por 2.14 p = f 1 (m) es un ideal primo que no corta S . Se tiene entonces que t f 1 (< (t/1) >) p = t p, para cierto ideal primo p, lo que es un absurdo. 11 El conjunto S0 de todos los no divisores de cero en A es un subconjunto multiplicativamente cerrado saturado de A. Por tanto el conjunto D de los divisores de cero en A es una uni on de ideales primos (por el ejercicio 9). Probar que cada ideal primo minimal de A est a contenido en D. Utilizar el ejercicio 8. 1 El anillo S0 A se denomina el anillo total de fracciones de A. Probar que: i). S0 es el mayor subconjunto multiplicativamente cerrado de A para el cual el homomorsmo 1 A S0 A es inyectivo. 1 ii). Cada elemento en S0 A es o divisor de cero o una unidad. iii). Cada anillo en el que cada no unidad es un divisor de cero es igual a su anillo total de 1 fracciones (es decir A S0 A es biyectiva). Proof. Veamos primero que S0 es un subconjunto multiplicativamente cerrado saturado de A. En efecto, 1 S0 , por denici on de S0 . Si x, y S0 = dados a elemento no nulo de A, a(xy ) = 0 dado que a(xy ) = (ax)y . Como x S0 . se tiene que ax = 0, y como y S0 tenemos que (ax)y = 0. Luego, xy S0 . Rec procamente, si xy S0 = dado a elemento no nulo de A, a(xy ) = 0, con lo cual ax = 0 y ay = 0, es decir que x S0 , y S0 . Ahora veremos que si p es un ideal primo minimal de A = p D(1). p = S c . Como p es primo, S es multiplicativamente cerrado (en virtud del ejemplo 1. del presente trabajo); adem as, como p es un ideal, 0 / S . As , S (seg un se deni o en el ejercicio 8). Luego, para probar (1) bastar a probar que S0 S , donde S es maximal en (en virtud del ejercicio 8). Sea, pues, x S0 y consideramos el conjunto B = {sxn tales que n es natural y s S } ( donde x0 signif ica 1) Tenemos que S B . Como x S0 y 0 / S = 0 / B . Como S es maximal en = S = B o B = A. Si vale lo primero, tomamos n = 1 y s = 1, teniendo as que x S . Si valiera lo segundo, ser a 0 B , un absurdo. Luego, S0 S , como quer amos ver. 1 i). f : A S0 A dada por f (a) = a/1 es inyectiva. En efecto, si f (a) = 0 = s S0 tal que as = 0 = a = 0 (por denici on de S0 ). Veamos ahora que si S es multiplicativamente cerrado en A y g : A S 1 A dada por g (a) = a/1 es inyectiva = S S0 . En efecto, sabemos que si u S tal que ua = 0 = a = 0(2) (por la inyectividad de g ). Sea s S y a un elemento no nulo de A = sa = 0 (por (2)) = s S0 , por lo cual S S0 . 1 1 ii). Supongamos que (a/s) S0 A no es una unidad en S0 = a / S0 . (a/s) es un divisor de cero si y s olo si hay un (b/t) no nulo tal que (a/s)(b/t) = 0 si y s olo si hay un b en A no nulo y un u S0 tales que uab = 0 si y s olo si hay un b no nulo en A tal que ab = 0 si y s olo si a es un divisor de cero en A si y s olo si a / S0 , lo cual es verdadero.
1 A dada por g (a) = a/1. Por i) g es inyectiva. Para ver la suryectividad, iii). Sea g : A S0 1 sea (a/s) S0 A. Hay que ver que existe c A tal que g (c) = (a/s). Esto ocurre si y s olo si existe c A tales que (c/1) = (a/s) si y s olo si hay un c en A, w en S0 tal que w(cs a) = 0

32

si y s olo si hay un c A tal que cs = a. Si s fuera invertible, tomo c = s1 a. Si no lo fuera, por hip otesis s ser a un divisor de cero, lo cual es una contradicci on ya que s S0 . Luego, g es biyectiva. 12 Sea S un subconjunto multiplicativamente cerrado de un dominio de integridad A. Sea M un A-m odulo. Un elemento x M es un elemento de torsi on de M si Ann(x) = 0, es decir si x es anulado por alg un elemento no nulo de A. Los elementos de torsi on de M forman un subm odulo de M , que se denomina subm odulo de torsi on de M y se indica por T (M ). Si T (M ) = 0 se dice que el m odulo M es sin torsi on. Probar que T (S 1 M ) = S 1 (T M ). Deducir que las siguientes armaciones son equivalentes: i.) M es sin torsi on. ii.) Mp es sin torsi on para todo ideal primo p. iii.) Mm es sin torsi on para cada ideal maximal m. Proof. Veamos primero que T (M ) es un subm odulo de M . 0 T (M ) = T (M ) = . T (M ) M . Si x, y T (M ) = a A, b A no nulos tales que xa = 0, yb = 0. Sea c = ab, que es no nulo pues A es DI. De este modo, (x + y )c = 0. La asociatividad respecto de la suma es herencia de la asociatatividad respecto de la suma en M . Como 0 T (M ) (el neutro aditivo en M ), 0 es el neutro en T (M ). Si x T (M ) = a A no nulo tal que ax = 0 = (x)a = (xa) = 0 = (x) T (M ) (existencia de inversos aditivos). Luego, T (M ) es un subgrupo de M . Adem as, si x, y T (M ) = a A, b A no nulos tales que xa = yb = 0 = c(xy ) = 0, siendo c como se deni o antes = xy T (M ). Luego, T (M ) es un subm odulo de M . Veamos ahora que T (S 1 M ) = S 1 (T M ). Sea (x/y ) T (S 1 M ) = (m/s) S 1 A no nulo tal que (x/y )(m/s) = (0/1) = u S tal que xmu = 0. Como (m/s) es no nulo = t S : mt = 0, en particular esto vale para t = u. Como (mu)x = 0, con mu = 0 = x T (M ) = (x/y ) S 1 (T M ). Rec procamente, 1 1 si (x/y ) S (T M ) = x es no nulo. Sea (m/s) S M tal que (x/y )(m/s) = (0/1). Luego, hay un w S tal que wms = 0 = (m/s) = (wsm/wss) = (0/1). Adem as, (x/y ) es no nulo, ya que de serlo habr a un c A no nulo tal que cx = 0 = x = 0, absurdo. Luego, (x/y ) T (S 1 M ). Queda as probado que S 1 (T M ) = T (S 1 M ). i.) = ii.). M es sin torsi on = T (M ) = 0 = (T (M ))p = 0 para todo ideal primo p (por 2.11. Por lo probado antes, (T (Mp ) = (T (M ))p = 0 = Mp es sin torsi on. ii.) = iii.). Vale porque todo ideal maximal es primo. iii.) = i.). Ses Mm sin torsi on para todo ideal maximal T (Mm ) = 0 = (T M )m = T (Mm ) = 0, por lo probado antes. Luego, por 2.11 T (M ) = 0 = M es sin torsi on. 13 Sea M un A-m odulo y a un ideal de A. Se supone que Mm = 0 para todos los ideales maximales a m. Probar que que M = aM (Pasar al A/a-m odulo M/aM y utilizar 2.11). Proof. aM = Subm odulo de M generado por {bm : b a , m M }. = M/aM es un A-m odulo. Sea b a A, bm = bm 0, m M/aM . Entonces se tiene una acci on de A/a en M/aM , bm = bm en M/aM . Luego, M/aM es un A/a-m odulo. Son ideales 33

maximales en A/a los m A/a tales que m contienen a a (con m me reero a m visto en A/a). Si vemos que (M/aM )m = 0, por 2.11 se tendr a que M/aM = 0, es decir, M = aM . Para verlo, utilizamos 2.7 y el hecho de que Mm = 0 para todo ideal maximal m tal que a m. En efecto, (M/aM )m = Mm /(aM )m = (aM )m .

References
[1] Hundgerford, T. W., Algebra, Springer-Verlag (1974). [2] Atiyah, M. F. y Macdonald, I. G., Introducci on al algebra conmutativa, Revert e (1978).

34