Algebra Conmutativa

Pedro Sancho de Salas Diciembre-2001

 Indice General
1 Anillos 1.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . o 1.2 Anillos. Ideales . . . . . . . . . . . . . . . . . . . . . . . 1.3 Espectro primo de un anillo . . . . . . . . . . . . . . . . 1.4 Aplicacin inducida en los espectros por un morsmo de o 1.5 Localizacin. Frmula de la bra . . . . . . . . . . . . . o o 1.6 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Mdulos o 2.1 Mdulos . . . . . . . . . o 2.2 Localizacin de mdulos o o 2.3 Longitud de un mdulo o 2.4 Problemas . . . . . . . . 5 5 7 10 13 15 18 21 21 25 29 31 35 35 37 41 42 43 46 48 53 53 55 57 59 60 61 63 64 66

. . . . . . . . . . . . anillos . . . . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

3 Dominios de ideales principales. Mdulos o 3.1 Dominios de ideales principales . . . . . . . . . . . . 3.2 Teoremas de descomposicin . . . . . . . . . . . . . . o 3.3 Clasicacin de los grupos abelianos nito generados o 3.4 Clasicacin de los endomorsmos lineales . . . . . . o 3.4.1 Matrices de Jordan . . . . . . . . . . . . . . . 3.5 Factores invariantes . . . . . . . . . . . . . . . . . . 3.6 Problemas . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

4 Producto tensorial. Mdulos proyectivos e inyectivos o 4.1 Categor as. Funtor de homorsmos . . . . . . . . . . . . . . 4.2 Construccin del producto tensorial . . . . . . . . . . . . . o 4.3 Propiedades del producto tensorial . . . . . . . . . . . . . . 4.4 Producto exterior . . . . . . . . . . . . . . . . . . . . . . . . 4.5 Producto tensorial de lgebras . . . . . . . . . . . . . . . . a 4.6 Mdulos planos y proyectivos . . . . . . . . . . . . . . . . . o 4.7 Mdulos inyectivos. Criterio del ideal . . . . . . . . . . . . . o 4.7.1 Aplicacin a sistemas en derivadas parciales lineales o 4.8 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

INDICE GENERAL 69 69 71 72 74 76 77 79 81 81 81 85 87 89 90 93 93 94 96 97 103 105 107

5 Anillos noetherianos 5.1 Mdulos noetherianos . . . . . . . . . . . . . o 5.2 Teorema de la base de Hilbert . . . . . . . . . 5.3 Ideal primario. Interpretacin geomtrica . . o e 5.4 Existencia de las descomposiciones primarias 5.5 Unicidad en la descomposicin primaria . . . o 5.6 Una descomposicin primaria cannica . . . . o o 5.7 Problemas . . . . . . . . . . . . . . . . . . . . 6 Variedades algebraicas anes 6.1 Introduccin . . . . . . . . . . . . . . . . . . . o 6.2 Morsmos nitos . . . . . . . . . . . . . . . . 6.3 Normalizacin de Noether y ceros de Hilbert o 6.4 Grado de trascendencia y dimensin . . . . . o 6.5 Catenariedad de las variedades algebraicas . . 6.6 Problemas . . . . . . . . . . . . . . . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

7 Variedades proyectivas 7.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . o 7.2 Espectro proyectivo . . . . . . . . . . . . . . . . . . . . . . . 7.3 Dimensin en variedades proyectivas . . . . . . . . . . . . . o 7.4 Interseccin de curvas planas. Teorema de Bzout . . . . . o e 7.5 Desingularizacin de curvas planas v el contacto maximal o a 7.6 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . Indice de trminos e

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

Bibliograf a: o e 1. M. Atiyah, I.G. Macdonald: Introduccin al Algebra Conmutativa, Ed. Revert, Barcelona (1973). 2. W. Fulton: Curvas Algebraicas, Ed. Revert, Barcelona (1971). e 3. S. Lang: Algebra, Addison Wesley, (1971). 4. H. Matsumura: Commutative Algebra, W.A. Benjamin Co, New York (1970). 5. J.A. Navarro: Algebra Conmutativa Bsica, Manuales UNEX, n 19, (1996). a 6. R. Hartshorne: Algebraic Geometry, GTM n 52, Springer Verlag (1977).

Cap tulo 1

Anillos
1.1 Introduccin o

Desde un punto de vista aritmtico, los anillos son las estructuras que recogen las operaciones de suma e y producto, como las que tenemos en Z. Ahora bien, los anillos pueden entenderse geomtricamente e como anillos de funciones continuas de un espacio. Intentemos justicar la introduccin de los anillos desde un punto de vista geomtrico. o e Paradjicamente, nuestro punto de partida va a ser el anillo, y a partir del anillo deniremos el o espacio. El mirar moderno del espacio es coordenndolo. Imaginamos tres ejes de coordenadas a y todo punto del espacio viene denido por tres coordenadas. Los puntos vienen determinados por los valores de las funciones coordenadas en ellos. Adems los objetos del espacio, por ejemplo un a paraboloide, los solemos denir en impl citas. Dos objetos sern iguales si no los sabemos distinguir, a es decir, con nuestra terminolog si no existe una funcin que valore distintamente en los dos objetos. a o De hecho, dependiendo de las funciones que consideremos como admisibles, el espacio ser de a una forma u otra. Por ejemplo, dado R3 , si consideramos que cualquier aplicacin de conjuntos o de R3 en R es una observacin o funcin admisible, estaremos considerando nuestro espacio como o o un conjunto discreto. Si consideramos slo las funciones continuas, lo estaremos considerando como o espacio topolgico. Si consideramos el anillo generado algebraicamente por las tres coordenadas, lo o consideraremos como espacio algebraico. En ste ultimo caso, los objetos vienen denidos por el lugar geomtrico denido por ecuaciones e e (compatibles) del tipo p1 (x1 , x2 , x3 ) = 0, . . . , pr (x1 , x2 , x3 ) = 0 ()

Objetos que denominaremos subvariedades algebraicas. Como es obvio, si al sistema anterior le n o e aadimos una ecuacin del tipo i fi pi (x1 , x2 , x3 ) = 0 sta es redundante. As pues, el sistema de ecuaciones denido por los polinomios p1 (x1 , x2 , x3 ), . . . , pr (x1 , x2 , x3 ) es equivalente al denido voca entre por el ideal (p1 (x1 , x2 , x3 ), . . . , pr (x1 , x2 , x3 )). Tenemos, pues, una correspondencia biun los ideales y las subvariedades. Los puntos son las subvariedades ms pequeas, luego se correspona n dern con los ideales maximales de R[x1 , x2 , x3 ] (nuestro anillo de funciones admisibles). Como a veremos, las subvariedades irreducibles (es decir, las que no son unin de dos subvariedades propias) o se corresponden con los ideales primos. As pues, el conjunto de los ideales primos de R[x1 , x2 , x3 ] se corresponde con el conjunto de las subvariedades irreducibles de R3 . 5

Cap tulo 1.

Anillos

Diremos, por razones obvias, que un polinomio p(x1 , x2 , x3 ) se anula en el lugar geomtrico denie do por el sistema (): cuando p(x1 , x2 , x3 ) I = (p1 (x1 , x2 , x3 ), . . . , pr (x1 , x2 , x3 )), es decir, cuando p(x1 , x2 , x3 ) pertenezca al ideal denido por el sistema de ecuaciones. Adems, dos polinomios cualesa quiera denirn la misma funcin algebraica sobre el lugar geomtrico cuando dieran en un polinomio a o e perteneciente al ideal. Es decir, el anillo de funciones algebraicas de la subvariedad algebraica denida por el sistema () es R[x1 , x2 , x3 ]/I. El lugar geomtrico de un sistema de ecuaciones, como conjunto de soluciones del sistema, no e recoge toda la informacin geomtrica deseable, pero que sin embargo s que est en el anillo de o e a funciones del objeto que dene (o en el ideal denido). Por ejemplo, si consideramos el sistema x2 + x2 1 = 0, x1 1 = 0 1 2 podr amos decir que el lugar geomtrico denido es el punto (1, 0). Sin embargo, dir e amos que el punto (1, 0) est contado dos veces. Concepto, por ahora, impreciso. Ya veremos que este hecho a est relacionado con la igualdad dimR R[x1 , x2 ]/(x2 + x2 1, x1 1) = 2. a 1 2 Aunque el anillo de funciones algebraicas del lugar geomtrico denido por un sistema de ecuaciones e p1 (x1 , x2 , x3 ) = 0, . . . , pr (x1 , x2 , x3 ) = 0 ()

es un concepto del todo claro, paradjicamente el propio lugar geomtrico no es un concepto claro. o e Por ejemplo, si consideramos en el plano la ecuacin o x2 + x2 + 1 = 0, 2 1 elipse imaginaria

podemos decir que el lugar geomtrico denido es el vac si consideramos R (y no C). Sin embargo, e o, podemos hablar del anillo de funciones algebraica de la subvariedad denida por esta ecuacin, que o a como hemos dicho es R[x1 , x2 ]/(x2 +x2 +1). Adems, los ideales primos maximales de R[x1 , x2 ]/(x2 + 2 1 1 x2 + 1) verican que al hacer cociente por ellos obtenemos C, y se corresponden con las soluciones 2 imaginarias de la ecuacin (ya se ver). o a En este cap tulo iniciaremos la comprensin geomtrica de cualquier anillo conmutativo A, asoo e cindole un espacio cuyos puntos se corresponden con los ideales primos de A. Espacio que denotaa remos por Spec A y denominaremos espectro primo de A. Tomamos como espacio todos los ideales primos y no slo los maximales, por razones que se o aclararn a lo largo del cap a tulo. Digamos ahora slo que los ideales primos recogen mejor el concepto o de primo (en el sentido del Lema de Euclides), que toda morsmo de anillos induce un morsmo entre los espectros (lo que no suceder en general si slo tomamos los ideales maximales) y que a o si una funcin se anula en todo primo entonces es nilpotente (lo que no sucede en general si slo o o tomamos los ideales maximales). Adems, hay una razn de a o ndole topolgica: As como todo espacio o topolgico puede suponerse T0 , es decir, puede asignrsele, de modo natural, un espacio T0 , tambin o a e o a todo espacio topolgico puede asignrsele un espacio topolgico en el que cada cerrado irreducible o a (cerrados que no son unin de dos cerrados) es el cierre de un punto. Esto ultimo es lo que hacemos o a o en Geometr Algebraica cuando consideramos Spec A y no slo el conjunto de los ideales primos maximales. La teor de ideales inicia el cumplimiento del sueo de Kronecker: la unicacin de la Aritmtica y a n o e la Geometr Desde esta perspectiva los elementos de cualquier anillo conmutativo pueden entenderse a. como funciones sobre el espectro primo del anillo. As por ejemplo, los nmeros enteros, los enteros , u de Gauss, etc., son verdaderas funciones y podemos aplicarles intuciones y recursos geomtricos. e

1.2.

Anillos. Ideales

Los nmeros primos podrn ser interpretados geomtricamente como los puntos o subvariedades u a e irreducibles de un espacio, etc. Las dos operaciones o procesos bsicos estudiados en este cap a tulo, sern la localizacin y paso al a o cociente en anillos. Estos dos procesos pueden ser entendidos geomtricamente como los dos procesos e o de restriccin a abiertos y restriccin a cerrados. o

1.2

Anillos. Ideales
+

Comencemos con una revisin rpida de la denicin y propiedades elementales de los anillos. o a o Denicin 1.2.1. Un anillo A es un conjunto con dos operaciones A A A, (a, a ) a + a , o A A A, (a, a ) a a 1 , que denominamos suma y producto, tales que 1. A es un grupo abeliano con respecto a la suma (luego, tiene un elemento cero, que se denota por 0, y cada a A tiene un opuesto que se denota por a). 2. La multiplicacin es asociativa ((a b) c = a (b c)) y distributiva (a (b + c) = a b + a c). o Adems slo consideraremos anillos conmutativos con unidad, es decir vericando a o 3. ab = ba, para todo a, b A. 4. Existe un elemento 1 A tal que a1 = 1a = a, para todo a A. A lo largo del libro entenderemos anillo por anillo conmutativo con unidad. Ejemplos de anillos son Z, el anillo de funciones reales continuas C(X) de un espacio topolgico X, los anillos de polinomios o C[x1 , . . . , xn ], los anillos de series formales C[[x1 , . . . , xn ]], etc. Denicin 1.2.2. Diremos que un anillo es un cuerpo si para cada a A no nulo, existe el inverso o respecto de la multiplicacin, que denotaremos a1 . o Los anillos Q, R, C son cuerpos. Denicin 1.2.3. Una aplicacin f : A B entre los anillos A y B, diremos que es un morsmo de o o anillos si cumple 1. f (a + a ) = f (a) + f (a ), para toda a, a A. 2. f (aa ) = f (a)f (a ), para todo a, a A. 3. f (1) = 1. Ejemplo 1.2.4. La aplicacin C[x] C, p(x) p(33), es un morsmo de anillos. Dada una o aplicacin continua : X Y entre espacios topolgicos, la aplicacin : C(Y ) C(X), f f o o o es un morsmo de anillos. La imagen Im f es un subanillo de B, es decir, un subconjunto de B que con las operaciones de B es anillo. La composicin de morsmos de anillos es un morsmo de anillos. o
1 Ser a

usual utilizar la notacin a a = aa o

Cap tulo 1.

Anillos

Denicin 1.2.5. Un subconjunto I A diremos que es un ideal de A si es un subgrupo para la o suma y cumple que a i I, para todo a A y todo i I. La interseccin de ideales es un ideal. Dado un subconjunto F A, denotaremos por (F ) al o ideal m nimo de A que contiene a F (que es la interseccin de todos los ideales que contienen a F ). o Explicitamente (F ) = {a A : a =
n

tambin notaremos (a) = aA. e Como I es un subgrupo de A, podemos considerar el grupo cociente A/I, donde A/I = {, a A, de modo que a = a a a I} a Ahora bien, el producto a a = a a dota a A/I de estructura de anillo (comprubese) y es la e unica estructura de anillo que podemos denir en A/I, de modo que el morsmo de paso al cociente A A/I, a a, sea un morsmo de anillos. Dado un morsmo f : A B de anillos, el ncleo de f , Ker f = {a A : f (a) = 0}, es un ideal. u def Si J A es un ideal incluido en Ker f , entonces existe un unico morsmo de anillos f : A/J B () = f (a)) de modo que el diagrama (denido por f a
f /B AC CC {= CC {{ {{ C CC {{ f ! { A/J def

i=0

ai fi con fi F, ai A y n N variables}. Dado a A,

es conmutativo, siendo el morsmo de paso al cociente. La antiimagen por un morsmo de anillos de un ideal es un ideal. Es inmediata la proposicin o siguiente. Proposicin 1.2.6. Sea I A un ideal y : A A/I, a a el morsmo de paso al cociente. Se o verica la correspondencia biun voca Ideales de A que contienen a I {Ideales de A/I}

/ (J)

1 (J ) o
=

Denicin 1.2.7. Un ideal p A diremos que es un ideal primo de A si cumple que si ab p o entonces a p o b p. Un elemento a A diremos que es un divisor de cero si existe b A, no nulo tal que ab = 0. Diremos que un anillo es ntegro si el unico divisor de cero es el cero. Por ejemplo, los cuerpos son anillos ntegros.

1.2.

Anillos. Ideales

Proposicin 1.2.8. Un ideal p A es un ideal primo si y slo si A/p es un anillo o o ntegro.

=

Demostracin. Supongamos que p A es un ideal primo. Si a a = 0 en A/p entonces a a = 0, o luego a a p. Por tanto, o a p o a p, luego o a = 0 o a = 0. En conclusin A/p es o ntegro. Rec procamente, supongamos que A/p es ntegro. Si a a p, entonces a a = 0 en A/p. Por tanto, a a = 0, luego o a = 0 o a = 0. Es decir, o a p o a p. En conclusin, p es un ideal primo. o Denicin 1.2.9. Diremos que un ideal m A es maximal si los unicos ideales que contienen a m o
=

son m y A. Proposicin 1.2.10. En todo anillo A = 0 existen ideales maximales. o Demostracin. Esta es una aplicacin t o o pica del lema de Zorn (que puede evitarse en anillos noetherianos, ms tarde estudiados). Sea X el conjunto de los ideales de A, distintos de A. En X podemos a denir una relacin de orden: decimos que un ideal I es menor o igual que otro I cuando I I . o Observemos que toda cadena de ideales, distintos de A tiene una cota superior: la unin de los ideales o de la cadena (que es distinto de A, pues el 1 no est en ninguno de ellos, ni por tanto en la unin). a o El lema de Zorn nos dice que existen elementos de X maximales, es decir, existen ideales maximales. Ejercicio 1.2.11. En todo anillo A = 0 existen ideales primos minimales. Corolario 1.2.12. Todo ideal I A est incluido en un ideal maximal. a
=

Demostracin. Sea : A A/I el morsmo de paso al cociente. En la correspondencia biun o voca Ideales de A que contienen a I {Ideales de A/I}

/ (J)

1 (J ) o

los ideales maximales de A que contienen a I se corresponden con los ideales maximales de A/I, que no es vac por la proposicin anterior. o o Un elemento a A es invertible si y slo si (a) = A (suponemos A = 0). Por tanto, a A es o invertible si y slo si no est incluido en ningn ideal maximal. En particular, un anillo es un cuerpo o a u o si y slo si los unicos ideales del anillo son el (0) y todo el anillo. Proposicin 1.2.13. Un ideal m A es maximal si y slo si A/m es un cuerpo. En particular, los o o
=

ideales maximales son ideales primos, por la proposicin 1.2.8. o Demostracin. A/m es cuerpo si y slo si el unico ideal maximal es el (0). Que equivale a decir que o o el unico ideal maximal que contiene a m es m, es decir, que m es maximal.

10

Cap tulo 1.

Anillos

Denicin 1.2.14. Sea k un cuerpo. Si i : k A es un morsmo de anillos diremos que A es una o k-lgebra. Seguiremos la notacin i() = . Si A y B son k-lgebras, diremos que un morsmo a o a : A B de anillos es un morsmo de k-lgebras si () = , para todo k. a Denicin 1.2.15. Diremos que un ideal m de una k-lgebra A es racional si A/m o a k-lgebras). a En particular, los ideales racionales son maximales. Proposicin 1.2.16. Un ideal m de k[x1 , . . . , xn ] es racional si y slo si m = (x1 1 , . . . , xn n ), o o i k para todo i. Demostracin. Sea m = (x1 1 , . . . , xn n ), Veamos que m es racional. El ncleo del morsmo o u de k-lgebras k[x1 , . . . , xn ] k, p(x1 , . . . , xn ) p(1 , . . . , n ), es m (como puede comprobarse). a Adems el morsmo es epiyectivo, luego k[x1 , . . . , xn ]/m k. a Rec procamente, sea un isomorsmo : k[x1 , . . . , xn ]/m k de k-lgebras. Consideremos la coma posicin o k[x1 , . . . , xn ] k[x1 , . . . , xn ]/m
N ot.

k (como

donde es el morsmo de paso al cociente. Sean i = (i ). Por tanto, (p(x1 , . . . , xn )) = x p(1 , . . . , n ). Por un lado, como hemos visto ms arriba, se cumple que Ker() = (x1 1 , . . . , xn a n ). Por otro lado, Ker( ) = ( )1 (0) = 1 (1 (0)) = 1 (0) = m. En conclusin, o m = (x1 1 , . . . , xn n ). As pues, existe una correspondencia biun voca entre los ideales racionales de k[x1 , . . . , xn ] y los puntos (1 , . . . , n ) del espacio af An (k). Es decir, si pensamos k[x1 , . . . , xn ] como las funciones n n algebraicas del espacio af An (k), el modo de recuperar An (k) a partir de k[x1 , . . . , xn ] es considerando sus ideales racionales. En general, por las razones esbozadas en la introduccin, dado un anillo o consideraremos el espacio formado por el conjunto de todos los ideales primos (y no slo los ideales o racionales). Ejercicio 1.2.17. Probar que los ideales racionales de k[x1 , . . . , xn ]/(p1 (x1 , . . . , xn ), . . . , pr (x1 , . . . , xn )), se corresponden biyectivamente con los (1 , . . . , n ) An (k) tales que pi (1 , . . . , n ) = 0, para todo i.

1.3

Espectro primo de un anillo

Denicin 1.3.1. Se llama espectro primo de un anillo A al conjunto Spec A de sus ideales primos. o Notacin: Un ideal primo lo denotaremos por x cuando lo consideremos como elemento de Spec A, o y por px cuando lo consideremos como ideal de A. Llamaremos funciones a los elementos del anillo A y puntos a los elementos de Spec A. Diremos que una funcin a A se anula en un punto x Spec A cuando a px , es decir, cuando 0 = a A/px o (suele denotarse a(x) = a A/px ). Como px es un ideal primo se verica: 1. La funcin 0 se anula en todos los puntos de Spec A. o 2. Si dos funciones se anulan en un punto x, su suma tambin. e

1.3.

Espectro primo de un anillo

11

3. Si una funcin se anula en un punto x, sus mltiplos tambin. o u e 4. Si un producto de funciones se anula en un punto x, algn factor se anula en x. u Denicin 1.3.2. Sea A un anillo. Si f A, llamaremos ceros de la funcin f al subconjunto o o (f )0 Spec A formado por todos los puntos donde se anule f . Llamaremos ceros de un ideal I A al subconjunto de Spec A formado por los puntos donde se anulen todas las funciones de I y lo denotaremos (I)0 , es decir, (I)0 = (f )0 =
f I

Ideales primos px A tales que I px

Ejercicio 1.3.3. Probar que una funcin f A es invertible si y slo si no se anula en ningn punto o o u de Spec A. Probar que p(x, y) se anula en el ideal primo m, = (x , y ) k[x, y] si y slo si o p(, ) = 0. Proposicin 1.3.4. Se verican las siguientes igualdades: o 1. (0)0 = Spec A y (A)0 = . 2. (
jJ n

Ij )0 = (Ij )0 .
jJ n

3. ( Ij )0 = (Ij )0 .
j=1 j=1

Demostracin. Todas las igualdades son de demostracin inmediata, salvo quizs la 3. Para sta, o o a e basta probar que (I1 I2 )0 = (I1 )0 (I2 )0 . Veamoslo: Obviamente, (I1 I2 )0 (I1 )0 (I2 )0 . Veamos la otra inclusin: Sea x (I1 I2 )0 . Si x (I1 )0 y o / x (I2 )0 , entonces existe f1 I1 y f2 I2 que no se anulan en x, luego f1 f2 no se anula en x. Pero / como f1 f2 I1 I2 llegamos a contradiccin con que x (I1 I2 )0 . Por tanto, x (I1 )0 (I2 )0 y o (I1 I2 )0 (I1 )0 (I2 )0 . Ejercicio 1.3.5. Demostrar que (I1 I2 )0 = (I1 )0 (I2 )0 , donde denotamos por I1 I2 = { ai I1 , bi I2 }. ai bi |

Denicin 1.3.6. Llamamos topolog de Zariski de Spec A, a la topolog sobre Spec A cuyos o a a cerrados son los ceros de los ideales de A. La proposicin anterior nos dice que la topolog de Zariski es efectivamente una topolog o a a. Ejercicio 1.3.7. Determinar los puntos y la topolog de Spec Z. a Observemos que los cerrados de esta topolog son intersecciones arbitrarias de ceros de funciones. a Por denicin una base de abiertos de la topolog de Zariski de Spec A est formada por los o a a complementarios de los ceros de funciones, es decir, por los abiertos Uf = Spec A (f )0 = {x Spec A : f no se anula en x} llamados abiertos bsicos. Obsrvese que a e Uf g = Uf Ug

12

Cap tulo 1.

Anillos

Dado un punto x Spec A y un cerrado C = (I)0 , si x C existe f I A que no se anula en / x: Las funciones de A separan puntos de cerrados en Spec A. Obviamente dada una inclusin I1 I2 de ideales se tiene que (I1 )0 (I2 )0 . Dado un cerrado C o se verica que C = (I)0 , donde I es el ideal de todas las funciones que se anulan en C: Obviamente C (I)0 . Por otra parte C = (J)0 para algn ideal J A. Tenemos que las funciones de J se anulan u en C, luego J I. Por tanto, C = (J)0 (I)0 . Hemos concluido. Si bien, C = (I)0 , donde I es el ideal de todas las funciones que se anulan en C, pueden existir ideales J I tales que C = (I)0 = (J)0 . Dado un subconjunto Y de Spec A, denotamos por Y el cierre de Y en Spec A. Proposicin 1.3.8. Dado x Spec A se verica que x = (px )0 . o En particular, Spec A es un espacio topolgico T0 (puntos distintos tienen cierres distintos) y un o punto x es cerrado si y slo si px es un ideal maximal. o Demostracin. El cierre de x, x ser de la forma x = (I)0 , para cierto ideal I A. Obviamente, o a como x x, tenemos que I px . Por tanto, (px )0 (I)0 . Ahora bien, (I)0 es el menor cerrado que contiene a x y x (px )0 , luego (px )0 = (I)0 = x. Denicin 1.3.9. Diremos que un espacio topolgico es irreducible cuando no pueda descomponerse o o o como unin de dos cerrados estrictamente menores. Llamaremos componentes irreducibles de un espacio topolgico a los subespacios irreducibles maximales de X, es decir, los subespacios irreducibles o no contenidos estrictamente en otro subespacio irreducible. El cierre de un subespacio irreducible es irreducible, en particular las componentes irreducibles de un espacio son cerradas. Proposicin 1.3.10. Cada cerrado irreducible del espectro de un anillo es el cierre de un unico o punto, llamado punto genrico de tal cerrado. En particular, las componentes irreducibles de Spec A e son los cierres de los puntos denidos por los ideales primos minimales de A. Demostracin. Sea C un cerrado irreducible. Sabemos que C = (I)0 , donde I es el ideal de todas las o funciones que se anulan en C. Basta ver que I es primo, porque si I = px entonces (I)0 = x. Si f g I, es decir, f g se anula en C, entonces C = C (f g)0 = C ((f )0 (g)0 )) = (C (f )0 ) (C (g)0 ) luego, o bien f se anula en C, o bien g, porque C es irreducible. Es decir, o bien f I, o bien g I. Ejercicio 1.3.11. Calcular las componentes irreducibles de Spec k[x, y]/(xy). Ejemplo 1.3.12. Los ideales primos de k[x] son los ideales (p(x)), con p(x) primo o irreducible y el ideal (0). Si k = C, los ideales primos de C[x] son m = (x ), C y (0). As que los ideales n. primos maximales de C[x] se corresponden con los puntos de una recta af De aqu que se siga la notacin Spec C[x] = A1 (C). En resumen o Spec C[x] = Puntos cerrados: (x ), con C. Punto genrico: g (0). e
=

En general, si k es un cuerpo, diremos que Spec k[x] es la recta af sobre k. n

1.4.

Aplicacin inducida en los espectros por un morsmo de anillos o

13

Dado un ideal (p(x)) los ceros de (p(x)) se corresponden con las raices de p(x), salvo cuando p(x) = 0, en este caso los ceros es todo el espectro. Por tanto, los cerrados de la topolog de Zariski a de Spec C[x], a parte del vac y el total, son los conjuntos nitos de puntos cerrados (de la recta o af n). Ejemplo 1.3.13. Sea X = [0, 1] R y C(X) el anillo de funciones reales continuas denidas sobre X. Dado un punto p X, el ideal mp de funciones que se anulan en p es un ideal maximal, porque C(X)/mp R, f f (p). Veamos el rec proco: dado un ideal maximal m C(X), si m = mp para todo p X, entonces para cada p X existe una funcin fp m que no se anula en p, luego tampoco en un entorno Up de o 2 2 p. Como X es compacto, un nmero nito Up1 , . . . , Upn recubren X. Por tanto, f = fp1 + + fpn u no se anula en ningn punto de X, luego es invertible y f m, contradiccin. u o Si denotamos por Specm A el subespacio de Spec A formado por los ideales primos maximales, es fcil comprobar que la biyeccin a o X Specm C(X), p mp

es un homeomorsmo. Dado un ideal I, denotemos (I)m = (I)0 Spec A. Bien, a travs de la igualdad e 0 anterior, se cumple que {x X, tales que f (x) = 0, para toda f I} = (I)m . 0 Teorema 1.3.14. El espectro de cualquier anillo es un espacio topolgico compacto. o Demostracin. Sea Cj = (Ij )0 una familia de cerrados de Spec A. Si Cj = entonces o
j

= (Ij )0 = (
j j

Ij )0

Por tanto,
j

Ij = A. Luego 1 = f1 + + fn para ciertas f1 Ij1 , . . . , fn Ijn . Luego, de nuevo (Ij1 )0 (Ijn )0 =

Ij1 + + Ijn = A y es decir, Cj1 Cjn = y Spec A es compacto.

1.4

Aplicacin inducida en los espectros por un morsmo de o anillos

def

Sea j : A B un morsmo de anillos. Si J es un ideal de B, entonces j 1 (J) = {a A : j(a) J} es a un ideal de A. Es fcil comprobar que si p es un ideal primo de B entonces j 1 (p) es un ideal primo o de A. Obtenemos as una aplicacin natural j : Spec B Spec A, j (p) = j 1 (p)

Teorema 1.4.1. La aplicacin inducida en los espectros por cualquier morsmo de anillos es contio nua.

14

Cap tulo 1.

Anillos

Demostracin. Consideremos los morsmos o A Spec A Sea (I)0 Spec A un cerrado. Entonces j 1 ((I)0 ) = {x Spec B : j (x) (I)0 } = {x Spec B : j 1 (px ) I} = {x Spec B : px j(I)} = ((j(I)))0 y concluimos que j es continua. Ejercicio 1.4.2. Sea X = [0, 1] R y C(X) el anillo de las funciones reales continuas denidas en X. Probar que la aplicacin o Homcont. (X, X) HomRalg (C(X), C(X)), : f f
j j

B Spec B

es biyectiva (usar el ejemplo 1.3.13 y que todo morsmo C(X) C(X) induce un morsmo entre los espectros). Teorema 1.4.3. Sea I un ideal de A. Consideremos los morsmos naturales A Spec A

A/I Spec A/I

aa

Se verica que es un homeomorsmo de Spec A/I con con su imagen, que es el cerrado (I)0 . Demostracin. Los ideales primos de A/I se corresponden con los ideales primos de A que contienen o a I. Expl citamente, Ideales primos de A que contienen a I {Ideales primos de A/I}

/ (p)

1 (p ) o que es justamente el morsmo Spec A (I)0

Spec A/I

Lo que demuestra la biyeccin buscada. Sabemos que es continua, para ver que la biyeccin es o o un homeomoersmo, nos falta probar que es cerrada. Igualmente, los ideales primos de A/I que contienen a un ideal J, se corresponden con los ideales primos de A que contienen a 1 (J). Es decir, ((J)0 ) = ( 1 (J))0 . Por tanto, es cerrada.

1.5.

Localizacin. Frmula de la bra o o

15

Ejercicio 1.4.4. Sea Y un subespacio cerrado de un espacio topolgico X. Probar que el subconjunto, o del anillo de funciones reales continuas C(X) de X, formado por las funciones que se anulan en Y es un ideal. Si X es un espacio topolgico normal probar que C(X)/I o C(Y ) (recurdese que el e teorema de extensin de Tietze arma que toda funcin continua sobre un cerrado Y admite una o o extensin continua a todo X). o Corolario 1.4.5. Spec(A B) = (Spec A) (Spec B).

Demostracin. Consideremos en el anillo A B los ideales I = A 0, J = 0 B. Como I + J = A B o y I J = 0, tomando ceros tenemos (I)0 (J)0 = y (I)0 (J)0 = Spec(A B). Es decir, Spec(A B) = (I)0 (J)0 . Para concluir basta observar que, de acuerdo con el teorema anterior, (I)0 = Spec(A B)/I = Spec B (J)0 = Spec(A B)/J = Spec A Explicitamente, los ideales primos de A B son de la forma p B o A q, donde p es un ideal primo de A y q es un ideal primo de B.

Ejercicio 1.4.6. Sean X e Y espacios topolgicos y consideremos el espacio topolgico X o o Demostrar que C(X Y ) = C(X) C(Y ) Justicar la frase A B es el anillo de funciones de Spec A Spec B.

Y.

1.5

Localizacin. Frmula de la bra o o

Sea S un sistema multiplicativo de A (es decir, 1 S y si s, s S entonces s s S). Consideremos la localizacin de A por S, AS , es decir o a a a AS = { , a A y s S : = si existe un s S tal que s (as a s) = 0}2 s s s . Con la suma y producto ordinarios de fracciones AS es un anillo. Dado un morsmo de anillos j : A B, cuando no cause confusin, seguiremos las siguientes o notaciones: Dado un ideal J de B, escribiremos j 1 (J) = J A, dado un ideal I de A escribiremos (j(I)) = j(I) B = I B. Teorema 1.5.1. Consideremos el morsmo j : A AS , a a , de localizacin por S. La aplicacin o o 1 inducida j : Spec AS Spec A establece un homeomorsmo de Spec AS con su imagen, que est a o formada por los puntos donde no se anula ninguna funcin de S: Spec AS = {ideales primos de A que no cortan a S}
j
2 Observemos m s

que efectivamente

m s

m s

m , s

que si

m s

m s

entonces

m s

m , s

y que si

m s

m s

m s

m s

entonces

16

Cap tulo 1.

Anillos

Demostracin. Consideremos el morsmo de localizacin j : A AS . o o Las asignaciones Spec AS

{Ideales primos de A que no cortan a S} Spec A

j

/ p A
p

p AS o

estn bien denidas y son inversas entre si, sin ms que comprobar: a a 1. Si p es un ideal primo de AS entonces p A es un ideal primo de A que no corta con S y (p A) AS = p . 2. Si p es un ideal primo de A que no corta con S entonces p AS es un ideal primo de AS y (p AS ) A = p. Para ver que esta biyeccin es un homeomorsmo basta observar que j (( a )0 ) = j (( a )0 ) = o s 1 (a)0 Im j . Notacin: Sea A un anillo. Si f A, denotaremos Af la localizacin de A por el sistema o o multiplicativo S = {1, f, f 2 , . . . , f n , . . . }. Si x es un punto de Spec A, denotaremos por Ax la localizacin de A por el sistema multiplicativo o S = A px . Corolario 1.5.2. El espectro de Af es igual Spec A (f )0 : Spec Af = Uf o Demostracin. Por el teorema anterior, Spec Af se corresponde con los ideales primos px de A que no cortan con S = {1, f, f 2 , . . . , f n , . . . }. Que equivale a decir que Spec Af se corresponde con los ideales primos px de A que no contienen a f , es decir, Uf . Ejercicio 1.5.3. Sea C(Rn ) el anillo de funciones reales continuas sobre Rn . Sea U un abierto de Rn , C(U ) es el anillo de funciones reales continuas sobre U y S el sistema multiplicativo formado por las funciones que no se anulan en ningn punto de U . Probar que existe un isomorsmo natural u d(x,U c ) C(Rn )S = C(U ). (Pista: dada h C(U ), s(x) = 1+h2 (x) no se anula en U , s y f = hs son restriccin o de funciones continuas de Rn y h = f ). s Corolario 1.5.4. Los ideales primos de Ax se corresponden con los ideales primos de A contenidos en px . En particular, Ax tiene un unico ideal maximal, que es px Ax . Demostracin. Spec Ax se corresponde con los ideales primos de A que no cortan con A px . Es o decir, con los ideales primos de A contenidos en px . Denicin 1.5.5. Los anillos con un unico ideal maximal se les denomina anillos locales. o

1.5.

Localizacin. Frmula de la bra o o

17

Observemos que el anillo de funciones que consideramos en Uf es Af . Como es de desear, cuando nos pasamos a Uf , hacemos invertibles las funciones que no se anulan en ningn punto de Uf . Dado u un punto x, es usual no querer jar la atencin en un entorno dado de x, sino considerar un entorno o lo sucientemente pequeo, luego las funciones que no se anulan en x pasan a ser invertibles y n consideraremos por tanto el anillo Ax . As pues, Ax recoge el concepto impreciso de funciones en un entorno sucientemente pequeo de x. n Denicin 1.5.6. Dado un anillo A llamaremos radical de A al ideal formado por el conjunto de los o elementos nilpotentes de A, es decir, si por denotamos rad A al radical de A entonces rad A = {a A : an = 0, para algn n N} u Es decir, una funcin es nilpotente si y slo si se anula en todo punto. o o Corolario 1.5.7. El radical de un anillo coincide con la interseccin de todos los ideales primos del o anillo: rad A = px
xSpec A

Es decir, una funcin es nilpotente si y slo si se anula en todo punto del espectro. o o Demostracin. Si f A es nilpotente, i.e., f n = 0 para un n N, entonces f ha de pertenecer a todo o ideal primo de A. Luego rad A px .
xSpec A

Sea ahora f
1 1

xSpec A

px . Por el corolario anterior Spec Af = . Por tanto, Af = 0, es decir,

= 0 . Luego existe un f n {1, f, f 2 , . . . }, de modo que f n (1 1 0 1) = 0. Entonces f n = 0 y f 1 es nilpotente. En conclusin rad A o px y hemos terminado.
xSpec A

Dado un morsmo de anillos j : A B y un sistema multiplicativo S en A, escribiremos Bj(S) = BS . Igualmente, dado un ideal primo px de A, escribiremos Bj(Apx ) = Bx . Teorema 1.5.8 (frmula de la bra). Sea j : A B un morsmo de anillos y j : Spec B o Spec A el morsmo inducido. Dado un punto x Spec A se verica j 1 (x) = Spec Bx /px Bx Si px es un ideal primo minimal se verica j 1 (x) = Spec Bx Si px es un ideal primo maximal se verica j 1 (x) = Spec B/px B Demostracin. o j 1 (x) = {y = {y = {y = {y Spec B : py A = px } Spec B : py A px y px py A} () Spec B : (py A) (A px ) = y px py A} Spec Bx : px py A} = Spec Bx /px Bx

Las dos armaciones siguientes del teorema se deducen de que en () podemos prescindir de una de las dos condiciones, en la primera armacin de la segunda condicin y en la segunda armacin o o o de la primera condicin. o

18

Cap tulo 1.

Anillos

Ejemplo 1.5.9. Calculemos Spec C[x, y]. Consideremos el morsmo i : C[x] C[x, y], p(x) p(x) y sea i : Spec C[x, y] Spec C[x] el morsmo inducido en los espectros. Cada punto de Spec C[x, y] est en la bra de un unico punto de Spec C[x], as que vamos a calcular tales bras. a Los ideales primos de C[x] son el ideal (0) y los ideales maximales m = (x ). Segn la frmula u o de la bra i 1 () = Spec C[x, y]/m C[x, y] = Spec C[x, y]/(x ) Ahora bien, C[x, y]/(x ) C[y], x , y y. Luego,

i 1 () = Spec C[y] = {(y ), (0) con C} que se corresponden con los ideales primos de C[x, y], (x , y ), (x ). Slo nos falta calcular la bra de (0) = pg o i 1 (g) = Spec C[x, y]C[x](0) = Spec C(x)[y] Los ideales primos no nulos de C(x)[y] estn generados por un polinomio irreducible con coecientes a en C(x) de grado mayor o igual que 1 en y. Por el Lema de Gauss se corresponden con los polinomios p(x, y) C[x, y] irreducibles de grado mayor o igual que 1 en y. Por tanto, i 1 (g) est formado por a los ideales primos (p(x, y)), (0) (donde p(x, y) es un polinomio irreducible de grado mayor o igual que 1 en y) En resumen, los puntos de Spec C[x, y] = A2 (C) son
Not

1. Los puntos cerrados (, ), es decir, los ideales primos (x , y ). 2. Los puntos genricos de las curvas irreducibles (p(x, y))0 p(x, y) = 0, es decir, los ideales e primos (p(x, y)), p(x, y) irreducible. 3. El punto genrico del plano af (0)0 A2 (C), es decir, el ideal primo (0). e n Ejemplo 1.5.10. Calculemos Spec C[x, y]/(q(x, y)). Consideremos la descomposicin en producto o de polinomios irreducibles q(x, y) = q1 (x, y)n1 qr (x, y)nr , que no dieran en factores constantes. Tenemos que Spec C[x, y]/(q(x, y)) = (q(x, y))0 = (qi (x, y))0 que son:
i=1 r

1. Los ideales maximales (x , y ) tales que (q(x, y)) (x , y ). Es decir, con otras notaciones, los puntos (, ) tales que q(, ) = 0. 2. Los puntos genricos de las curvas irreducibles qi (x, y) = 0. e

1.6

Problemas
C[y]. Probar que C[x, y, z]/(y x2 , y 3 + z 3 ) C[x, z]/(x6 + z 3 ).

1. Demostrar que C[x, y]/(x)

2. Sea A un anillo y S A un sistema multiplicativo de A. Los elementos de S son invertibles en A si y slo si el morsmo de localizacin A AS es un isomorsmo. o o 3. Sea f : A B un morsmo de anillos y S A un sistema multiplicativo. Si f (S) son elementos invertibles de B entonces existe un unico morsmo fS : AS B tal que f sea la composicin o fS de los morsmos A AS B.

1.6. 4. Probar que (AS )S = ASS . 5. Probar que k[x, y]/(xy 1) 6. Probar que C[x]R[x]0 k[x]1,x,x2 ,... .

Problemas

19

C(x). Probar que Z[x]Z[x]{0} = Q(X).

7. Probar que el morsmo de localizacin i : A AS es un isomorsmo si y slo si i : Spec AS o o Spec A es un homeomorsmo. Prubese que si Spec AS = Spec AS (en Spec A) entonces AS = e AS . 8. Probar que A1+mx = Ax . 9. Calcular Spec Z/6Z, Spec(C[x, y]/(y 2 x3 ))x . 10. Calcular Spec Z[x], Spec Z[ 5]. 11. Calcular Spec R[x, y]. 12. Si Spec A es la unin disjunta de dos abiertos U1 , U2 probar que U1 = Spec AU1 . o 13. Sean I, I A dos ideales. Probar que (I)0 = (I )0 si y slo si r(I) = r(I ). o 14. Probar que los elementos de los ideales primos minimales de un anillo son divisores de cero (Pista: local cese en los ideales primos minimales). 15. Probar que si f : A B es un morsmo de anillos inyectivo entonces f : Spec B Spec A es una aplicacin continua densa. o 16. Probar que la interseccin de dos rectas paralelas (ax + by + c)0 , (ax + by + c )0 (c = c ) es vac o a. 17. Dado i : C[x] C[x, y]/(y 2 x2 + x3 ), calcular el morsmo i : Spec C[x, y]/(y 2 x2 + x3 ) Spec C[x], calcular las bras de i . 18. Calcular el morsmo f : C[x, y]/(x 1) C[x, y]/(y x3 ) que en espectros aplica cada punto (cerrado) (, ) de la cbica y = x3 en el punto de la recta x = 1 que se obtiene como corte de u la recta que pasa por el origen y (, ), con la recta x = 1.

20

Cap tulo 1.

Anillos

Cap tulo 2

Mdulos o
2.1 Mdulos o

Los espacios vectoriales son el ejemplo ms sencillo y usual de espacio geomtrico. Muchos problemas a e se resuelven linealizndolos, lo que permite aplicarles adems la intuicin geomtrica. Aadamos, en a a o e n esta breve justicacin de la introduccin de los espacios vectoriales, que muchas de las estructuras o o usuales en Matemticas son estructuras de espacios vectoriales. a Si I es un ideal de un anillo A, es un grupo conmutativo respecto de la suma de A y el producto de A dene una aplicacin A I I que verica todos los axiomas de espacio vectorial, salvo la o condicin de que los escalares formen un cuerpo; lo que resumiremos diciendo que I es un A-mdulo. o o En esta seccin iniciaremos el estudio de la estructura de mdulo sobre un anillo A y veremos que casi o o todas las deniciones del Algebra Lineal (submdulos, cocientes, sumas y productos directos, producto o tensorial, etc.) pueden generalizarse para los A-mdulos; aunque la frecuente existencia de mdulos o o que no admiten bases introduzca grandes modicaciones en la teor de mdulos. La posibilidad de a o efectuar muchas operaciones (cocientes, sumas directas, productos tensoriales, etc.) que carecen de sentido en los ideales hace que la teor de mdulos sea mucho ms exible y natural, que una teor a o a a restringida unicamente a los ideales. Esta generalidad no complica las demostraciones, sino que la posibilidad de usar las operaciones bsicas del Algebra Lineal las aclara y simplica. a Los mdulos aparecen tambin con frecuencia en Matemticas. Ya veremos que los grupos abeo e a lianos y los espacios vectoriales con un endomorsmo lineal son ejemplos de mdulos, y que su clasio cacin es la clasicacin de la estructura de mdulos. o o o Hablando sin precisin ni rigor, el estudio de los mdulos equivale al estudio de los brados o o vectoriales : E X, es decir, de los epimorsmos continuos, de bras espacios vectoriales. El estudio de ser equivalente al estudio del C(X)-mdulo de las secciones de . La extensin del a o o o concepto de espacio vectorial (sobre un punto) a un espacio topolgico es el concepto de brado vectorial, o el concepto de mdulo. En cursos posteriores, se profundizar en lo que aqu apenas o a hemos esbozado. Denicin 2.1.1. Sea A un anillo y M un conjunto. Diremos que una operacin M M M , o o (m, m ) m + m y una aplicacin A M M, (a, m) a m denen en M una estructura de o A-mdulo cuando cumplen o 1. (M, +) es un grupo conmutativo. 2. a (m + n) = a m + a n, para todo a A y m, n M . 21
+

22

Cap tulo 2.

Mdulos o

3. (a + b) m = a m + b m, para todo a, b A y m M . 4. (ab) m = a (b m), para todo a, b A y m M . 5. 1 m = m, para todo m M . Es decir, dada una aplicacin A M M , (a, m) a m, cada elemento a A dene una o aplicacin a : M M , m a m. El segundo punto expresa que a es morsmo de grupos. Los tres o ultimos puntos expresan que la aplicacin : A End(M ), (a) = a, es morsmo de anillos (donde o End(M ) son los endomorsmos de grupos del grupo conmutativo M ). Rec procamente, si M es un grupo conmutativo, cada morsmo de anillos : A End(M ) dene una estructura de A-mdulo en o M tal que a m = (a)(m).
def

Ejemplo 2.1.2. 1. Todo ideal I A es un A-mdulo, pues con la suma denida en A y con o el producto por los elementos de A ya denido en A, I tiene estructura de A-mdulo. En o particular, A es un A-mdulo. o 2. Si A es un cuerpo entonces los A-mdulos son los A-espacios vectoriales. o 3. Si G es un grupo abeliano, entonces es un Z-mdulo de modo natural: n g = g + . n . + g si o . n n N+ , ng = (g)+ . . .+/(g) si n N+ , y 0g = 0. Rec procamente, si G es un Z-mdulo, o en particular es un grupo abeliano. 4. Si T : E E es un endomorsmo de k-espacios vectoriales entonces E tiene estructura natural de k[x]-mdulo: ( i xi ) e = o i T i (e). Rec procamente, dado un k[x]-mdulo E, la o aplicacin T : E E denida por T (e) = x e, es un endomorsmo de k-espacios vectoriales. o 5. Sea {Mi }iI una familia de A-mdulos con o ndices en un conjunto I. Su producto directo se denotar Mi , mientras que Mi denotar el subconjunto de Mi formado por los elementos a a
iI iI iI def

(mi ) que tienen todas sus componentes nulas salvo un nmero nito de ellas, y se llamar suma u a directa de los {Mi }iI . Tanto Mi como Mi son A-mdulos con la siguiente suma y producto o por elementos de A:
iI iI

(mi )iI + (mi )iI = (mi + mi )iI a (mi )iI = (a mi )iI

def def

Denicin 2.1.3. Un subconjunto N de un A-mdulo M , decimos que es un submdulo si con la o o o operacin + de M y con la multiplicacin por elementos de A, es un A-mdulo. o o o Notacin: Alguna vez, escribiremos am en vez de a m por sencillez de escritura. o Denicin 2.1.4. Una aplicacin f : M M entre A-mdulos M, M , diremos que es un morsmo o o o o de A-mdulos si cumple 1. f (m + n) = f (m) + f (n), para todo m, n M . 2. f (am) = af (m), para todo a A y m M .

2.1.

Mdulos o

23

Los elementos de un mdulo M que por un morsmo de A-mdulos f : M M , van al cero, se o o les denomina ncleo de f y denota por Ker f . Se cumple que Ker f es un submdulo de M y que f u o es inyectiva si y slo si Ker f = 0. Los elementos de la imagen, Im f forman un submdulo de M . o o Cuando f sea biyectiva diremos que f es un isomorsmo de A-mdulos. o Denotaremos por HomA (M, N ) al conjunto de morsmos de A-mdulos de M en N . Con las o deniciones de suma de morsmo y producto por elementos de A naturales: (f + g)(m) = f (m) + g(m)
def def

(af )(m) = a(f (m)) tenemos que HomA (M, N ) es un A-mdulo. o Si N es un submdulo de M entonces es un subgrupo conmutativo de M . Por tanto, podemos o considerar el grupo cociente M/N , donde M/N = {m, m M de modo que m = m m m N } Ahora bien, el producto a m = a m dota a M/N de estructura de A-mdulo (comprubese) y es o e la unica estructura de A-mdulo que podemos denir en M/N , de modo que el morsmo de paso al o cociente M M/N , m m, sea un morsmo de mdulos. o Ejercicio 2.1.5. Dado un epimorsmo : M M de A-mdulos, si tiene seccin (es decir, o o existe s : M M de modo que s = Id) entonces M Ker M . (Pista: Los morsmos Ker M M , (m, m ) (m + s(m )) y M Ker M , m (m s((m)), (m)) son inversos entre si). Dado un morsmo i : N M inyectivo, si i tiene retracto (es decir, existe r : M N de modo que r i = Id) entonces M N M/N . (Pista: Los morsmos M N M/N , m (r(m), m) y N M/N M , (n, m) n + (m r(m)) son inversos entre si). Teorema 2.1.6. Sea f : M M un morsmo de A-mdulos. Sea N Ker f un A-submdulo. o o Existe un unico morsmo f : M/N M (que vendr denido por f (m) = f (m)) de modo que el a diagrama /M ME < EE xx EE xx EEE xx " xx f M/N es conmutativo, siendo el morsmo de paso al cociente. Teorema 2.1.7 (de isomorf a). Sea f : M M un morsmo de A-mdulos. Se cumple que el o diagrama M M/ Ker f
f f def

/M O
f

? Im f

donde (m) = m, f (m) = f (m) (que est bien denida) y i(m ) = m , es conmutativo, f es un a isomorsmo, es epiyectiva y i inyectiva.

24 Demostracin. Al lector. o

Cap tulo 2.

Mdulos o

Dado un conjunto {Mi }iI de submdulos de M denotaremos o Mi = {m M : m =

iI iI

mi

con mi Mi nulos para casi todo i I} que es el menor submdulo de M que contiene a los submdulos Mi . Diremos que dos submdulos o o o M1 , M2 de M estn en suma directa si M1 M2 = 0, que equivale a decir que el morsmo M1 M2 a M1 +M2 , (m1 , m2 ) m1 +m2 es un isomorsmo. Se dice que M es la suma directa de dos submdulos o M1 , M2 si M1 M2 = 0 y M1 + M2 = M , que equivale a decir que el morsmo M1 M2 M , (m1 , m2 ) m1 + m2 es un isomorsmo. Dado un conjunto {mi }iI de elementos de un mdulo M , denotaremos por o mi
iI

= {m M : m =
iI

ai mi ,

con ai = 0 para todo i salvo un nmero nito} u que es el menor submdulo de M que contiene a {mi }iI . Diremos que {mi }iI es un sistema o generador de M si mi iI = M . Evidentemente todo mdulo tiene sistemas generadores, por ejemplo o el formado por todos los elementos de M . Si I es adems nito diremos que el mdulo es de tipo a o nito. Diremos que un conjunto de elementos {mi }iI es base de M si es un sistema generador y si ai mi = 0 entonces ai = 0 para todo i.
i

Denotaremos M (I) = Mi , siendo Mi = M . Se dice que un mdulo es libre si es isomorfo a A(I) . o

iI

Si denotamos 1j = (ai ) A(I) , donde ai = 0 para todo i = j y aj = 1, entonces {1j }jI forma una base de A(I) . Los morsmos de A(I) en un A-mdulo M se corresponden con conjuntos {mi }iI de o M . Sea {mi }iI un conjuntos de elementos de M , y denamos el morsmo : AI M, (ai )iI
iI

ai mi

Se cumple que es epiyectivo si y slo si {mi }iI es un sistema generador de M , es inyectivo si o y slo si {mi }iI son linealmente independientes. Por tanto, es isomorsmo si y slo si {mi }iI es o o una base de M . En consecuencia, todo mdulo es cociente de un libre y un mdulo es libre si y slo o o o si tiene bases. El lema de Nakayama nos va a permitir calcular, mediante Algebra Lineal, sistemas generadores: Si M es un A-mdulo e I A es un ideal, denotaremos por I M = {m M : m = o ai mi , con ai I y mi M }, que es un A-submdulo de M . Se cumple que el A-mdulo M/I M es de modo o o natural un A/I-mdulo: a m = a m. Es obvio que M M/IM es un A-submdulo de M/IM , o o si y slo si es un A/I-submdulo, y que m1 , . . . , mr M/IM es un sistema A-generador de M/IM o o si y slo si es un sistema A/I-generador de M/IM . En el caso de que I = m sea un ideal maximal, o o tendremos que m1 , . . . , mr M/mM es un sistema A-generador de M/mM si y slo si es un sistema generador del A/m-espacio vectorial M/mM .

2.2.

Localizacin de mdulos o o

25

Lema 2.1.8 (de Nakayama). Sea O un anillo local de ideal maximal m y M un mdulo nito o generado. Denotemos mM = {m M : m = ai mi , con ai m y mi M }. Se cumple que mM = M M = 0 Como consecuencia se obtiene que m1 , . . . , mn M es un sistema generador de M si sus clases m1 , . . . , mn en M/mM son un sistema generador. Demostracin. Sea n1 , . . . , nr un sistema generador de M con el menor nmero posible de elementos. o u Si mM = M tendremos que n1 =
r i=1

ai ni , con ai m. Entonces (1 a1 )n1 =

r P

i=2

ai ni . Como (1 a1 )

no se anula en el unico ideal maximal de O, es invertible. Por tanto, n1 = i=2 1 , y n2 , . . . , nr = M , 1a lo que es contradictorio salvo que r = 0, es decir, M = 0. Veamos la consecuencia. Si m1 , . . . , mn = M/mM entonces M = m1 , . . . , mn + mM . Haciendo cociente por m1 , . . . , mn y denotando M = M/ m1 , . . . , mn , tenemos M = 0 + mM . Por tanto, = 0, es decir, M = m1 , . . . , mn . M

ai ni

2.2

Localizacin de mdulos o o
MS = { m , m M, s S de modo que s m m = si existe un s S tal que s (s m sm ) = 0}1 s s

Sea S un sistema nultiplicativo de un anillo A y M un A-mdulo, denotaremos por MS : o

Con las operaciones (bien denidas) m m s m + sm + = s s def ss a m am = s s def ss MS tiene estructura de AS -mdulo y diremos que es la localizacin de M por S. La aplicacin o o o cannica o m M MS , m 1 es un morsmo de A-mdulos y diremos que es el morsmo de localizacin. Dado un morsmo o o f : M N de A-mdulos, induce de modo natural la aplicacin (bien denida) o o fS : MS NS , f (m) m def s s

que es morsmo de AS -mdulos. Es inmediato comprobar que la localizacin de morsmos conserva o o composiciones y combinaciones A-lineales: (f g)S = fS gS (af + bg)S = afS + bgS
1 El m s

lector avisado se dar cuenta que hay que comprobar que a y

m s

m s

m s

entonces

m s

m s

m s

m , s

que si

m s

m s

entonces

m s

m , s

y que si

26

Cap tulo 2.

Mdulos o

Proposicin 2.2.1. Dado un morsmo f : M N de A-mdulos y S un sistema multiplicativo de o o A entonces se cumple que (Ker f )S = Ker fS y (Im f )S = Im fS Demostracin. El morsmo (Ker f )S MS , m m valora en Ker fS , pues fS ( m ) = f (m) = 0 = 0 o s s s s s (para m Ker f y s S). Tenemos que comprobar que el morsmo (Ker f )S Ker fS , m m es s s un isomorsmo. Inyectivo: Si m = 0 en Ker fS MS entonces existe un s S de modo que s m = 0, s luego m = 0 en (Ker f )S . Epiyectivo: Dado m en Ker fS , entonces fS ( m ) = 0, luego f (m) = 0. s s s s Por tanto, existe un s S de modo que s f (m) = 0, es decir, f (s m) = 0. Luego m = s m con s ss s m Ker f y concluimos la epiyectividad. Dejamos como ejercicio el probar que (Im f )S = Im fS . Denicin 2.2.2. Diremos que una sucesin de morsmos de A-mdulos o o o Mn1 Mn Mn+1 es exacta cuando Im fn = Ker fn+1 para todo n. Casos concretos: 1. 0 N M es una sucesin exacta si y slo si i es inyectiva. o o 2. M M 0 es una sucesin exacta si y slo si es un epimorsmo. o o 3. 0 M M M 0 es exacta si y slo si i es inyectiva, es epiyectiva y Ker = Im i. o Dado un mdulo M tenemos un epimorsmo : A(I) M , igualmente dado Ker podemos o denir un epimorsmo A(J) Ker . Componiendo este ultimo morsmo con la inclusin natural o o Ker A(I) , tenemos un morsmo natural s : A(J) A(I) , de modo que la sucesin A(J) A(I) M 0 es exacta. Es decir M es isomorfo a Coker s, por tanto, el estudio de M se reduce al estudio de s, que o a es una aplicacin A-lineal entre mdulos libres. Un ejemplo de este estudio se dar en el siguiente o cap tulo, con la introduccin de los factores invariantes. o Proposicin 2.2.3. Sea S un sistema multiplicativo de A y sea o M M M una sucesin exacta de A-mdulos. Entonces es exacta la sucesin o o o M
f g S f g s i i fn fn+1

MS M

fS

gS

Demostracin. Si M M M una sucesin exacta de A-mdulos entonces Ker g = Im f . Por o o o fS gS m tanto, Ker gS = (Ker g)S = (Im f )S = Im fS (expl citamente, s m ) y M S MS M S es s exacta. Ejercicio 2.2.4. Probar 1. (M/N )S = MS /NS .

2.2. 2. (M N )S = MS NS . 3. (M + N )S = MS + NS . 4. (M N )S = MS NS .

Localizacin de mdulos o o

27

Uno de los procesos geomtricos ms bsicos es el de localizar la atencin en un entorno de un e a a o punto. Una propiedad es local cuando slo depende del comportamiento en un entorno de cada o a, punto. Por ejemplo la continuidad de las funciones consideradas en Topolog la derivabilidad de las funciones consideradas en Anlisis, la conexin local o compacidad local de los espacios topolgicos, a o o etc. Por el contrario, una propiedad es global cuando no es local, es decir, depende de todo el espacio considerado. Por ejemplo el concepto de funcin acotada no es local, ni el de espacio compacto o o conexo. Un resultado central de este cap tulo ser demostrar que la anulacin de un mdulo es una cuestin a o o o local y que por tanto, tambin son locales todos los problemas que puedan reducirse a la anulacin e o de un mdulo. o Denicin 2.2.5. Sea M un A-mdulo, llamaremos anulador de M al ideal o o Anul(M ) = {a A : am = 0, para todo m M }
def

Dicho de otro modo, el anulador de M es el ncleo del morsmo de estructura A End(M ), u a a. Se dice que M es un A-mdulo el si Anul(M ) = 0, es decir, si el morsmo A End(M ) es o inyectivo. Todo A-mdulo M es de modo natural un A/ Anul(M )-mdulo el (donde a m = am). o o Dado un elemento m M , llamaremos anulador de m M al ideal anulador del mdulo m = o {am, a A}. Es decir, el ideal anulador de m es Anul(m) = {a A : am = 0} El epimorsmo de A-mdulos A m , a am, tiene de ncleo el ideal anulador de m. Por tanto, o u por el teorema de isomorf A/ Anul(m) a m. Igual que hac amos para los anillos, dada f A denotaremos Mf a la localizacin de M por el o sistema multiplicativo S = {1, f, f 2 , . . . }. Dado un ideal primo px A denotaremos por Mx a la localizacin de M por el sistema multiplicativo S = A px . o Denicin 2.2.6. Llamaremos soporte de un A-mdulo M al subespacio de Spec A formado por los o o puntos x donde Mx = 0 y lo denotaremos por Sop(M ), i.e., Sop(M ) = {x Spec A : Mx = 0}
def

Teorema 2.2.7. El soporte de un A-mdulo nito generado coincide con los ceros de su ideal anuo lador, i.e., Sop M = (Anul M )0 Como consecuencia se tiene que la condicin necesaria y suciente para que un mdulo M (nito o o generado o no) sea cero es que Mx = 0 para todo punto cerrado x Spec A.

28

Cap tulo 2.

Mdulos o

Demostracin. Empecemos probando que si M = m1 , . . . , mr es un A-mdulo nito generado eno o tonces MS = 0 si y slo si existe un f S de modo que f M = 0: Si MS = 0 entonces mi = 0 para o 1 todo i, luego existen fi S de modo que fi mi = 0. Por tanto, f = f1 fr S cumple que f M = 0. Rec procamente, si existe f S de modo que f M = 0, entonces m = 0 para todo m MS y MS = 0. s s Ahora ya, dado x Spec A, tendremos que Mx = 0 si y slo si Anul(M ) (A px ) = , es decir, o Anul(M ) px . Luego Sop(M ) = (Anul M )0 . Por ultimo, veamos la consecuencia. Probemos slo la suciencia. Si Mx = 0 para todo punto o cerrado x Spec A, entonces para todo submdulo m M se cumple que m x = 0. Por tanto, o el (Anul m )0 , no contiene ningn punto cerrado de Spec A, es decir, Anul m no est contenido en u a ningn ideal maximal. En conclusin, Anul( m ) = A, luego m = 1 m = 0 y M = 0. u o Proposicin 2.2.8. o 1. Una inclusin N M de mdulos es una igualdad si y slo si Nx = Mx o o o para todo punto cerrado x Spec A. 2. Dos submdulos N, N de un mdulo M son iguales si y slo si Nx = Nx para todo punto cerrado o o o x Spec A. Demostracin. 1. N = M M/N = 0 (M/N )x = 0 para todo punto cerrado x Spec A o Mx /Nx = 0 para todo punto cerrado x Spec A Mx = Nx para todo punto cerrado x Spec A. 2. Veamos slo que si Nx = Nx para todo punto cerrado x Spec A entonces N = N . Tendremos o que Nx = Nx + Nx = (N + N )x para todo punto cerrado x Spec A. Luego por el punto 1 N = N + N , es decir, N N . Del mismo modo obtenemos la inclusin inversa y concluimos la o igualdad.
f g

Teorema 2.2.9. Sea M M M condiciones son equivalentes

f g

una sucesin de morsmos de A-mdulos. Las siguientes o o

1. M M M es una sucesin exacta. o 2. Mx Mx Mx es exacta para todo punto x Spec A. 3. Mx Mx Mx es exacta para todo punto cerrado x Spec A. Demostracin. La implicacin 1 2 es un caso particular de 2.2.3. La implicacin 2 3 es evidente. o o o Veamos que 3 1. Si la sucesin es exacta en todo punto cerrado x entonces Ker gx = Im fx . o Luego (Ker g)x = (Im f )x . Por tanto, por la proposicin anterior, Ker g = Im f y la sucesin del o o punto 1 es exacta. Como corolario, dado que los morsmos inyectivos y epiyectivos son casos concretos de sucesiones o exactas, tendremos que un morsmo es inyectivo (o epiyectivo) si y slo si lo es localmente, para todo punto cerrado del espectro del anillo. Si U es un abierto de Spec A denotaremos AU por la localizacin de A por el sistema multiplicativo o u de las funciones que no se anulan en ningn punto de U . Proposicin 2.2.10. Si Spec A es la unin disjunta de dos abiertos U1 , U2 entonces A = AU1 AU2 . o o
fx gx fx gx

2.3.

Longitud de un mdulo o

29

Demostracin. Observemos que Spec AU1 = U1 (igualmente Spec AU2 = U2 ). En efecto, U1 o Spec AU1 , porque las funciones del sistema multiplicativo por las que localizamos no se anulan en ningn punto de U1 . Por otra parte, como U1 , U2 son cerrados, si denotamos Ii al ideal de funciones u que se anulan en Ui tenemos que (I1 )0 (I2 )0 = , por tanto (I1 + I2 )0 = y I1 + I2 = A. As pues, existen fi Ii , tales que f1 + f2 = 1. En conclusin, f2 = 1 f1 es una funcin que se anula en todo o o los puntos de U2 y no se anula en ningn punto de U1 , por tanto Spec AU1 U1 y Spec AU1 = U1 . u Consideremos el morsmo natural a a A AU1 AU2 , a ( , ) 1 1 Vamos a probar que este morsmo es isomorsmo. Por el teorema anterior, basta verlo localmente. Dado x U1 , tenemos que (AU1 )x = (Ax )U1 = Ax porque el sistema multiplicativo de las funciones que no se anulan en U1 , est incluido en el sistema multiplicativo de las funciones que no se anulan a en x. Por otra parte, Spec(AU2 )x = , porque U2 {y Spec A : py px , i.e., x y } = , luego (AU2 )x = 0. En conclusin, Ax = (AU1 AU2 )x si x U1 , e igualmente si x U2 . Hemos terminado. o Corolario 2.2.11. Si Spec A = {x1 , . . . , xn }, donde x1 , . . . , xn son puntos cerrados, entonces A = Ax1 Axn

2.3

Longitud de un mdulo o

El concepto de longitud de un mdulo se corresponde con el concepto de dimensin en espacios o o vectoriales. Usualmente, se dene la dimensin de un espacio vectorial como el nmero de vectores o u de sus bases. En los A-mdulos pueden no existir bases, por tanto, no podemos dar esta denicin. o o Por otra parte, tampoco es sta la denicin ms natural o intuitiva. El concepto de base es ms e o a a elaborado, si bien es muy prctico en espacios vectoriales. Si intuimos que R3 es de dimensin 3 a o es porque observamos la cadena de inclusiones irrenable punto, recta, plano, espacio. En teor de a mdulos, seguiremos este otro punto de vista. o Denicin 2.3.1. Diremos que un A-mdulo M = 0 es simple cuando sus unicos submdulos son o o o los triviales: 0 y M . Si M es un A-mdulo simple entonces M = m , luego M o A/ Anul m . Ahora bien, los submdulos de A/ Anul m se corresponden con los ideales de A que contienen a Anul m . Por tanto, o M es simple si y slo si Anul m es un ideal maximal, es decir, M es simple si y slo si M o o A/m, donde m es un ideal maximal de A. Denicin 2.3.2. Diremos que una cadena de submdulos 0 = M0 M1 Mn = M es o o o o una serie de composicin si los cocientes sucesivos Mi /Mi1 son A-mdulos simples. Diremos que la longitud de esta serie de composicin es n. o Como los submdulos de Mi /Mi1 se corresponden biyectivamente con los submdulos de Mi que o o contienen a Mi1 , el que Mi /Mi1 sea simple equivale a que no existe una cadena Mi1 N Mi .
= =

Por tanto, que una cadena de submdulos 0 = M0 M1 Mn = M sea serie de composicin o o equivale a decir que no podemos aadirle ms eslabones. n a

30

Cap tulo 2.

Mdulos o

Denicin 2.3.3. Llamaremos longitud de M a la m o nima longitud de todas sus series de composicin. Si no existe ninguna serie de composicin diremos que la longitud de M es innita. Denotaremos o o a la longitud de un mdulo M por l(M ). o Sobre espacios vectoriales el concepto de longitud coincide con el de dimensin. o Proposicin 2.3.4. Todas las series de composicin de un mdulo tienen la misma longitud. o o o Demostracin. Si l(M ) = la proposicin es obvia. Supongamos que l(M ) = n < . o o Dado un submdulo propio N M se cumple que l(N ) < l(M ): Sea 0 = M0 M1 o Mn = M una serie de composicin de longitud m o nima de M . Si en 0 = M0 N M1 N Mn N = N quitamos los trminos repetidos obtenemos una serie de composicin en N , porque e o Mi N/Mi1 N Mi /Mi1 , luego Mi N/Mi1 N = Mi /Mi1 pues Mi /Mi1 es simple. Por tanto, l(N ) l(M ). Si l(N ) = l(M ) entonces Mi N/Mi1 N = 0 para todo i. Entonces, M1 N contiene estrictamente a M0 N = 0 y est incluido en M1 , luego M1 N = M1 . Sigamos, M2 N a contiene estrictamente a M1 N = M1 y est incluido en M2 luego M2 N = M2 Recurrentemente, a N = Mn N = Mn = M , lo que es contradictorio. As pues, dada una serie de composicin 0 = M0 M1 Mm = M , tenemos que l(M ) > o l(Mm1 ) > > l(M1 ), luego l(M ) m. Como m n = l(M ), tenemos que m = n. Observemos que hemos demostrado que si un mdulo es de longitud nita entonces todo submdulo o o suyo es de longitud nita. Es fcil probar que si un mdulo es de longitud nita entonces es nito a o generado, y por tanto, tambin todo submdulo, que es de longitud nita, ser nito generado. e o a Si un mdulo es de longitud nita todo cociente suyo tambin lo es, pues toda serie de composicin o e o dene por paso al cociente una serie de composicin (eliminando las igualdades que aparezcan en la o serie). Proposicin 2.3.5. La longitud es una funcin aditiva, es decir, dada una sucesin exacta 0 o o o i M M M 0 se cumple que l(M ) = l(M ) + l(M ). Demostracin. Si 0 = M0 M1 Mn = M y 0 = M0 M1 Mn = M son series o de composicin de M y M entonces o 0 = i(M0 ) i(M1 ) i(Mn ) = i(M ) = 1 (M0 ) 1 (M1 ) 1 (Mn ) = M es una serie de composicin de M , luego l(M ) = n + n = l(M ) + l(M ). o En particular, si consideramos la sucesin exacta o 0 M m M M (m , 0) (m , m ) M m 0

tenemos que l(M M ) = l(M ) + l(M ). La sucesin de morsmos de mdulos o o 0 M0 Ms1 Ms Ms+1 Mn 0
fs+1 fs fs+1

()

es exacta si y slo si son exactas las sucesiones 0 Im fs Ms Im fs+1 0. As si la sucesin o , o es exacta, tendremos que l(Im fs ) l(Ms ) + l(Im fs+1 ) = 0 y haciendo el sumatorio para todo s tenemos l(M0 ) l(M1 ) + + (1)n l(Mn ) = 0

2.4.

Problemas

31

Proposicin 2.3.6. Si M es de longitud nita, entonces Sop(M ) es un nmero nito de puntos o u cerrados. Demostracin. Recordemos que los mdulos simples son isomorfos a A/m, siendo m un ideal maximal. o o Si mx es un ideal maximal y px es un ideal primo distinto de mx entonces (A/mx )x = 0, pues Sop(A/mx ) = (mx )0 = x por 2.2.7. Ahora ya, dada una serie de composicin o 0 = M0 M1 Mn = M tenemos que Mi /Mi1 A/mxi , siendo mxi ideales maximales. Por tanto, (Mi /Mi1 )x (A/mxi )x = 0, para todo punto x Spec A distinto de los xi . Luego Mx = (Mn )x = = (M0 )x = 0, para todo punto x Spec A distinto de los xi . En conclusin, el soporte de M es subconjunto de {xi } y hemos o terminado.

2.4

Problemas
mi M } es un A-mdulo. o
def

1. Sea I A un ideal y M un A-mdulo probar que IM = {m M : m = o

ai mi , con ai I y

Si M es otro A-mdulo probar que I(M M ) = IM IM . Si M y M son submdulos de o o un mdulo probar que I(M + M ) = IM + IM . o 2. Sean N M y N M submdulos. Probar que N N es un submdulo de modo natural o o de M M y que (M M )/(N N ) = M/N M /N . 3. Si N, N son submdulos de un mdulo M probar que o o (N + N )/N = N/(N N ) Si denotamos por N = { M/N : n N }, probar que n (M/N )/N = M/(N + N ) 4. Sea f : M M un morsmo de A-mdulos. Sean N1 , N2 dos submdulos de M probar que o o f (N1 + N2 ) = f (N1 ) + f (N2 ) (denotamos por f (N ) = {f (n) M , con n N }). Sea I un ideal, probar que f (I N1 ) = I f (I1 ). 5. Sea f : M M un morsmo de A-mdulos y m = f (m). Probar que f 1 (m ) = m + Ker f = o {m + n con n Ker f }. Sea N un submdulo de M , probar que f 1 (f (N )) = N + Ker f . o
def

6. Probar la igualdad HomA (A/I, M ) = {m M : Im = 0}. Probar que HomA (An , M ) = M .n. M . . 7. Calcular los siguientes Z-mdulos: HomZ (Q, Z), HomZ (Zn , Z), HomZ (Zn , Q) y HomZ (Q/Z, Z). o 8. Probar que si un endomorsmo f : M M , cumple que f 2 = f entonces M = Ker f Ker(f Id). 9. Probar que el anulador del A-mdulo A/I es I. o

32

Cap tulo 2.

Mdulos o

10. Probar que si M es un A-mdulo libre entonces Anul(M ) = 0. o 11. Sea el Z-mdulo M = o que Anul( m ) = 0? 12. Probar que si M M1 Mn entonces Anul(M ) = Anul(Mi ). Calcular el ideal anulador
i 0=nZ

Z/nZ. Probar que Anul M = (0) Existe algn m M de modo u

del Z-mdulo Z/3Z Z/6Z Z/15Z. o

13. Sea 0 M1 M2 M3 0 una sucesin exacta de A-mdulos. Demostrar que Anul(M2 ) o o Anul(M1 ) Anul(M3 ). 14. Es Z/4Z un Z-mdulo libre? Es un Z/4Z-mdulo libre? Denir un sistema generador de o o Z/4Z como Z-mdulo. o 15. Sea M = { 2a , a Z, n N} Q. Probar que M es un Z-submdulo de Q y que no es nito o n generado. 16. Probar que todo cociente de un mdulo nito generado es nito generado. Probar que la suma o o de dos submdulos nito generados es nito generado. 17. Sea M un A-mdulo y N un submdulos de M . Probar que si N y M/N son A-mdulos nito o o o generados entonces M es nito generado. 18. Sea C(R) el anillo de todas las funciones reales continuas de variable real. Demostrar que el conjunto de las funciones reales continuas de variable real que se anulan en algn entorno del u cero forman un ideal de C(R), que no es nito generado. 19. Probar que todo Z-submdulo nito generado de Q no nulo, es libre generado por un elemento. o Probar que Q Z. 20. Hallar una base (si existe) de Z[x] como Z-mdulo. o 21. Probar que todo epimorsmo de un mdulo en un libre tiene seccin. o o 22. Sea i : N M un morsmo inyectivo de A-mdulos. Si r : M N es un retracto de i, es decir, o r i = Id, probar que M N Ker r (def nase N Ker r M, (n, n ) i(n) + n ). Sea : M M un epimorsmo de mdulos, de modo que exista una seccin s de , es decir, o o s = Id. Probar que M Ker M . 23. Sea 0 M M M 0 una sucesin exacta de A mdulos. Se dice que la sucesin exacta o o o rompe si existe un diagrama conmutativo 0 /M
Id f f g

/M

/M
Id

/0 /0

/M

/ M M

/M

donde es un isomorsmo, i(m ) = (m , 0) y (m , m ) = m . Probar que si r : M M es un retracto de f , i.e., r f = Id entonces la sucesin exacta rompe. o o o Probar que si s : M M es una seccin de g, i.e., g s = Id, entonces la sucesin exacta rompe.

2.4.

Problemas

33

24. Probar que (AnulA (M ))S = AnulAS (MS ), si M es un A-mdulo nito generado. o 25. Sea f : A B un morsmo de anillos. Sea S A un sistema multiplicativo. Sabemos que B es de modo natural un A-mdulo, por tanto, podemos denir BS . Por otra parte, f (S) B es o un sistema multiplicativo. Demostrar que BS = Bf (S) . 26. Sea I A un ideal y px A un ideal primo. Probar que Ix = Ax si y slo si x (I)0 . o / 27. Probar que (I M )S = IS MS = I MS . 28. Sea A un anillo ntegro, e I = 0 un ideal. Probar que I es libre si y slo si I = aA (a = 0). o 29. Sea M un A-mdulo nito generado y S A un sistema multiplicativo de A. Probar que si o MS = 0 entonces existe un s S tal que s m = 0 para todo m M . 30. Sea I A un ideal y M un A-mdulo nito generado. Probar que IM = M M1+I = 0. o 31. Probar que si un endomorsmo T : M M de un A-mdulo nito generado es epiyectivo o entonces es un isomorsmo. 32. Demostrar que Zn es un Z-mdulo isomorfo a Zm si y slo si n = m. o o 33. Demostrar que An es un A-mdulo isomorfo a Am si y slo si n = m. o o 34. Sea M un A-mdulo nito generado. Probar que si M o cierto este resultado si M no es nito generado? M N entonces N = 0 Es siempre

35. Sea m1 , . . . , ms un sistema generador de un A-mdulo libre An . Probar que s n. o 36. Probar que todo sistema de n generadores de un mdulo libre An es base. o 37. Sean M y M dos A-mdulos de tipo nito. Sea f : M M un morsmo de A-mdulos. o o Probar que si los morsmos fx : M/mx M M /mx M , m f (m) son epiyectivos, para todo punto cerrado x Spec A, entonces el morsmo f es epiyectivo. 38. Demostrar que si existe un morsmo Am An inyectivo de A-mdulos entonces m n. o 39. Demostrar que la longitud del k[x]-mdulo k[x]/(xn ) es n. o

34

Cap tulo 2.

Mdulos o

Cap tulo 3

Mdulos sobre dominios de ideales o principales

3.1 Dominios de ideales principales

Denicin 3.1.1. Diremos que un ideal p es principal si est generado, como A-mdulo, por un slo o a o o elemento, i.e., p = aA. Diremos que un anillo es un dominio de ideales principales si es un anillo ntegro cuyos ideales son principales. Ejemplo 3.1.2. Los anillos eucl deos, en particular Z, k[x], son dominios de ideales principales. La localizacin de un dominio de ideales principales es un dominio de ideales principales. o El ideal p = (2, x1 ) del anillo Z[x1 , . . . xn ] no es principal porque un generador de p ser un divisor a de 2 y stos son 1 y 2, que no generan p. En consecuencia, los anillos Z[x1 , . . . , xn ] no son dominios e de ideales principales. Anlogamente, si k es un cuerpo, el ideal (x1 , x2 ) del anillo k[x1 , . . . , xn ] no es principal, as que a los anillos k[x1 , . . . , xn ] no son dominios de ideales principales (para n > 1). Si A es un dominio de ideales principales, los elementos de A, salvo productos por invertibles, se corresponden con los ideales de A. En stos anillos es vlida gran parte de la teor elemental de la e a a divisibilidad de nmeros enteros. En efecto, si a, b A, entonces aA + bA = dA, siendo el mximo u a comn divisor: Si c divide a y b entonces divide d y obviamente d divide a y b. Igualmente, u a a a el m nimo comn mltiplo de a y b es el generador del ideal aA bA. Por tanto, el mximo comn u u a u divisor y el m nimo comn mltiplo de dos elementos de un dominio de ideales principales A siempre u u existen y estan bien denidos salvo factores invertibles. Adems, a Proposicin 3.1.3 (Identidad de Bzout). Sea d el mximo comn divisor de a y b. Existen o e a u elementos , A tales que d = a + b o Denicin 3.1.4. Un elemento propio (no nulo ni invertible) se dice que es irreducible si no descompone en producto de dos elementos propios. Se dice que dos elementos propios son primos entre s si carecen de divisores propios comunes. Lema 3.1.5 (de Euclides). Si un elemento irreducible divide a un producto divide algn factor. u 35

36

Cap tulo 3.

Dominios de ideales principales. Mdulos o

Demostracin. Si a es irreducible y divide a bc, entonces si a no divide a b implica que el mximo o a comn divisor de a y b es el 1. Por tanto, existen , A tales que a + b = 1. Luego ac +bc = c. u De esta igualdad obtenemos que a divide a c. Corolario 3.1.6. Sea p un elemento no nulo de un dominio de ideales principales A. Las siguientes condiciones son equivalentes: 1. p es irreducible en A. 2. pA es un ideal primo de A. 3. pA es un ideal maximal de A. Demostracin. 3. 2. Obvio. o 2. 1. Sea pA un ideal primo. Por tanto, si ab = p, p ha de dividir a uno de los factores, por ejemplo a, y tendremos pa b = p, luego b ser invertible y p irreducible. a 1. 3. Sea p un elemento irreducible de A. Sea I = aA un ideal. Si pA I = aA, entonces existe b A tal que ab = p. Luego a es invertible y I = A, o b es invertible y I = pA. En conclusin, o pA es maximal. Lema 3.1.7. Toda cadena creciente de ideales de A establiza. Demostracin. Dada una cadena de ideales p1 p2 . . . , consideremos el generador c del ideal pi . o Se cumple que c pn , para algn n. Las inclusiones u pn pn+j pi = cA pn
i i

prueban que pn = pn+j , para todo j 0. Teorema 3.1.8 (de descomposicin en factores irreducibles). Todo elemento propio a A o descompone en producto de factores irreducibles a = p1 pn . Adems la descomposicin es unica a o salvo orden y factores invertibles. Demostracin. Empecemos probando que a todo elemento a A lo divide algn elemento irreducible: o u Si a no es irreducible entonces a = a1 b1 , a1 , b1 elementos propios. Si a1 no es irreducible, entonces a1 = a2 b2 , con a2 , b2 elementos propios. As sucesivamente, vamos obteniendo una cadena (a)
=

(a1 ) (a2 ) . . . que ha de ser nita por el lema anterior y terminar cuando an sea irreducible. a
= =

Ahora ya, sea a1 irreducible que divide a a y escribamos a = a1 b1 . Si b1 no es irreducible sea a2 irreducible, que divide a b1 y escribamos a = a1 b1 = a1 a2 b2 . As sucesivamente, vamos obteniendo a la cadena (a) (b1 ) (b2 ) . . . que ha de ser nita y terminar cuando bn sea irreducible. En tal
= = =

caso a = a1 an1 bn es producto de irreducibles. Veamos ahora la unicidad. Sean a = p1 pn = q1 qm dos descomposiciones en factores irreducibles. Por el Lema de Euclides, q1 divide algn factor pi , luego coincide con l (salvo un facu e tor invertible). Pongamos p1 = q1 (salvo invertibles). Simplicando la igualdad original tenemos p2 pn = q2 qm (salvo invertibles). Razonando con q2 como hemos hecho antes con q1 llegamos a que q2 coincide con algn pi . Reiterando el argumento, obtendremos que las dos descomposiciones u son iguales (salvo orden y factores invertibles).

3.2.

Teoremas de descomposicin o

37

3.2

Teoremas de descomposicin o

El objetivo de esta seccin, es clasicar y determinar la estructura de los A-mdulos nito generados o o o sobre un dominio de ideales principales. En particular, obtendremos la clasicacin de los grupos abelianos y la clasicacin de los endomorsmos de un espacio vectorial de dimensin nita, como o o veremos en las siguientes secciones. Denicin 3.2.1. Sea A un anillo o ntegro y M un A-mdulo. Denotemos = AA{0} y M = o MA{0} . Llamaremos rango de M al nmero dim M . u Observemos que si M = A . n . A entonces el rango de M es n. . Denicin 3.2.2. Sea A un anillo o ntegro y M un A-mdulo. Llamaremos torsin de M , que o o denotaremos T (M ), a T (M ) = {m M : existe a A no nulo tal que am = 0} Es fcil comprobar que T (M ) coincide con el ncleo del morsmo de localizacin M MA{0} = a u o M , m m . 1 Se dice que un mdulo M es libre de torsin si T (M ) = 0. o o Ejemplo 3.2.3. Consideremos el Z-mdulo Z (Z/4Z). o T (Z (Z/4Z)) = {(n, m) Z (Z/4Z) | Existe r Z {0}, tal que r(n, m) = (rn, rm) = 0} = {(0, m) | m Z/4Z} Z/4Z o ntegro. Si M es un A-mdulo nito generado libre de torsin o o Proposicin 3.2.4. Sea A un anillo entonces es un submdulo de un A-mdulo libre del mismo rango. o o Demostracin. Tenemos que M = m1 , . . . , mn y el morsmo de localizacin M M es inyectivo. o o Evidentemente m1 , . . . , mn es un sistema generador del -espacio vectorial M . Reordenado, podemos 1 1 suponer que m1 , . . . , mr es una base del -espacio vectorial M , (r n). Por tanto, para cada mj 1 1 tendremos
mj 1

s=1

ajs ms bjs 1 .

Denotemos b =
i,j

bij . Con las notaciones obvias, tendremos el siguiente

diagrama conmutativo de morsmos inyectivos t / M M  NN O NNN NNN NNN N'  ? A m1 A mr b b

Proposicin 3.2.5. Sea A un dominio de ideales principales. Si M es un A-mdulo nito generado o o libre de torsin entonces es un A-mdulo libre. o o Demostracin. Basta probar que los submdulos de un A-mdulo libre son libres, por 3.2.4. Proceo o o o deremos por induccin sobre el rango del mdulo libre, que denotaremos L. o Si el rango de L es cero es obvio. Si el rango de L es uno entonces L A. Por tanto, todo submdulo M de L es isomorfo a un ideal de A, luego M aA. Si a = 0 entonces A aA, b ab, o luego M es libre de rango 1. Si a = 0 entonces M = 0.

38

Cap tulo 3.

Dominios de ideales principales. Mdulos o An es fcil denir una sucesin a o

Supongamos que el rango de L es n > 1. Como L

0L LL 0 con L libre de rango 1 y L libre de rango n 1. Dado M L consideremos el diagrama 0 /L O ? / L M /L O ? /M

/L O ? / (M )

/0 /0

de las exactas. Por induccin L M y (M ) son libres de rango nito. Por tanto, como (M ) o es libre, el epimorsmo M (M ) tiene seccin y por el ejercicio 2.1.5 M = L M (M ). En o conclusin, M es libre. o Teorema 3.2.6 (Primer teorema de descomposicin). Sea A un dominio de ideales principales o o y M un A-mdulo nito generado. Se cumple M T (M ) (M/T (M ))

donde T (M ) es un mdulo nito de torsin y M/T (M ) es un mdulo nito libre. Se cumple adems o o o a que si M M L, siendo M un A-mdulo de torsin y L libre, entonces M o o T (M ) y L (M/T (M )). Demostracin. M/T (M ) es un mdulo nito libre de torsin: si m T (M/T (M )) entonces existe o o o a A no nulo tal que am = 0, luego am T (M ) y existe b A no nulo tal que bam = 0, por tanto m T (M ) y m = 0. Por la proposicin anterior M/T (M ) es un mdulo libre. El epimorsmo de paso o o al cociente M M/T (M ) tiene seccin, porque M/T (M ) es libre, luego M T (M ) (M/T (M )). o Si M M L, entonces T (M ) T (M L) = T (M ) T (L) = M . Luego (M/T (M )) (M L)/M = L. Hemos concluido. Observemos que MA{0} = (M/T (M ))A{0} . Por tanto, el rango de M/T (M ) es el de M . As o pues, en el teorema anterior M/T (M ) es un mdulo libre de rango el de M . Hemos reducido el problema de la clasicacin de los mdulos nitos sobre dominios de ideales o o principales, a la clasicacin de los mdulos nitos de torsin. Si M es un mdulo nito generado o o o o de torsin, entonces Anul(M ) = 0. En efecto, si M = m1 , . . . , mn , y ai A {0} cumplen que o ai mi = 0, entonces 0 = a1 an Anul(M ). Lema 3.2.7. Sea M un A-mdulo anulado por pq, siendo p y q primos entre s Entonces M o . descompone en suma directa de un mdulo anulado por p y otro submdulo anulado por q, en concreto o o M = Ker p Ker q donde denimos p : M M , m pm q : M M , m qm. Demostracin. De acuerdo con la identidad de Bzout existen , A tales que o e p + q = 1 Por tanto, cada m M cumple pm+qm = m, donde pm Ker q y qm Ker p. Por consiguiente M = Ker p + Ker q.

3.2.

Teoremas de descomposicin o

39

Slo nos falta probar que Ker p Ker q = 0. Si m Ker p Ker q entonces m = pm + qm = o 0 + 0 = 0. Teorema 3.2.8 (Segundo teorema de descomposicin). Sea M un A-mdulo de ideal anulador o o aA y a = pn1 pns la descomposicin de a en factores irreducibles. Entonces M descompone de o s 1 modo unico en suma directa de submdulos Mi de anuladores respectivos pni A, en concreto o i M = Ker pn1 Ker pns s 1 o Demostracin. Por el lema anterior, M = Ker pn1 Ker(pn2 pns ) = Ker pn1 Ker pns s s 1 2 1 Como el ideal anulador de una suma directa es el m nimo comn mltiplo de los anuladores de u u n los sumandos, tendremos que si pi i A son los anuladores de los Ker pni , entonces el anulador de M es i p1 1 ps s A. Por tanto, pni = pi i y tenemos que efectivamente el ideal anulador de Ker pni es pni . i i i Obviamente, si M = M1 Ms , con Mi de anulador pni , entonces Mi Ker pni y por tanto i i Mi = Ker pni . i Si M es un A-mdulo anulado por mn entonces M es un A/mn -mdulo. Si a mx entonces a o o / x x a= a n es invertible en A/mx , y por tanto, el morsmo M M es un isomorsmo. En consecuencia, M = Mx y es un Ax -mdulo. En particular, (A/mn ) = (A/mn )x = Ax /(mn Ax ). Por otra parte, o x x x si x = y Spec A, entonces My = 0. Por tanto, si M es un A-mdulo nito generado de torsin, o o entonces Mx = (Ker pn1 Ker pns )x = s 1 0 Ker pni i si mx = (pi ), para todo i si mx = (pi )
n n n

Luego si {x1 , . . . , xr } son los puntos cerrados del soporte de M , M = Mx1 Mxr . Proposicin 3.2.9. Sea A un dominio de ideales principales local, de ideal maximal m = (p). Sea o : Am An un morsmo de A-mdulos. Se cumple que existen bases {e1 , . . . , em }, {e1 , . . . , en } en o Am y An , de modo que (ei ) = i ei . Demostracin. Sea (aij ) la matriz asociada a , en las bases estndar {u1 , . . . , um }, {u1 , . . . , un } de o a Am y An . Si en vez de {u1 , . . . , um }, consideramos la base que se obtiene permutando dos vectores de {u1 , . . . , um }, la matriz de en las nuevas bases, se obtiene permutando las correspondientes columnas de la matriz (aij ). Igualmente, si permutamos dos vectores de {u1 , . . . , un }, la matriz de se obtiene permutando las correspondientes las de (aij ). Si en vez de {u1 , . . . , um }, consideramos la base {u1 , . . . , ui aj uj , . . . , um }, la matriz de en las nuevas bases, se obtiene cambiando la columna i, Ci de la matriz (aij ) por la columna Ci aj Cj . Si en vez de {u1 , . . . , um }, consideramos la base {u1 , . . . , ui aj uj , . . . , un }, la matriz de en las nuevas bases, se obtiene cambiando la la j, Fj de la matriz (aij ) por la la Fj + aj Fi . Este tipo de transformaciones de la matriz (aij ) (o equivalentemente de las bases {ui }, {ui }) las denominaremos transformaciones elementales. Vamos a probar que mediante transformaciones elementales la matriz de es diagonal, es decir, (ei ) = i ei , para todo i.
i i

40

Cap tulo 3.

Dominios de ideales principales. Mdulos o

Dado a A, tendremos que a = pi b, con b no divisible por p, es decir, b m = (p), luego b / invertible. Por tanto, (a) = (pi ). Sea pi el mximo comn divisor de todos los aij . Existe un ars , a u tal que (ars ) = (pi ). Por tanto, ars divide a todos los coecientes aij . Permutando las y columnas a1i podemos suponer que r = 1 y s = 1. Transformando las columnas Ci por Ci a11 C1 para i > 1, y ai1 posteriormente las las Fi por Fi a11 F1 , obtendremos la matriz a11 0 . . . 0 Procediendo del mismo modo reiteradamente, con la matriz (bij ), diagonalizaremos . Teorema 3.2.10 (Tercer teorema de descomposicin). Sea A un dominio de ideales principales o y M un A-mdulo nito generado, de ideal anulador pn A, siendo p A irreducible. Se cumple que o M A/pn1 A A/pnr A 0 ... bij 0

con ni n, determinados un vocamente por M . o Demostracin. Podemos suponer que A es local, de ideal maximal m = (p). Consideremos un epimorsmo : An M . Por ser Ker submdulo de un mdulo libre, es libre, digamos Am = Ker . o o Existe, pues, una sucesin exacta o Am An M 0 y M = Coker . Por la proposicin anterior, existen bases {e1 , . . . , em }, {e1 , . . . , en } de Am y An , de o modo que (ei ) = i ei , para todo i. Luego, M = Coker = [Ae1 Aen ]/[(1 )e1 . . . (m )em 0 0] = A/(1 ) A/(m )A A y fcilmente concluimos. a Veamos la unicidad de los ni . Reordenando tenemos M = (A/pn A)mn (A/pn1 A)mn1 (A/pA)m1 con mi 0. Tenemos que ver que M determina los mi . Sea pi : M M , m pi m. Si M = A/pr A entonces Ker pi = (ri ), para i r, y Ker pi = ( p 1), para i r. Por tanto, Ker pi /(Ker pi1 + p Ker pi+1 ) = 0 si i = r y Ker pr /(Ker pr1 + p Ker pr+1 ) = (que es un A/pA espacio vectorial de dimensin 1). 1 o Ahora en general, mi = dimA/pA Ker pi /(Ker pi1 + p Ker pi+1 ). Teorema 3.2.11 (de clasicacin). Dado un A-mdulo M nito generado, existe un isomorsmo o o o de A-mdulos n M (A . r . A) ( A/pi i,j A) .
i,j

donde los pi,j A son irreducibles y r, ni,j y pi estn un a vocamente determinados por M . Demostracin. Es un consecuencia directa de los tres teoremas de descomposicin. o o

3.3.

Clasicacin de los grupos abelianos nito generados o

n

41

Denicin 3.2.12. A las potencias pi i,j del teorema de clasicacin se les denomina divisores eleo o mentales de M . Corolario 3.2.13. Dos mdulos nito generados son isomorfos si y slo si tienen el mismo rango y o o los mismos divisores elementales. Ejercicio 3.2.14. Dos mdulos nito generados sobre un dominio de ideales principales son isomorfos o si y slo si son localemente isomorfos. o Ejercicio 3.2.15. Probar que en el caso de que r = 0 entonces Anul(M ) = m.c.m.{pi i,j }i,j A. Demos, por razones prcticas, la siguiente proposicin. a o Proposicin 3.2.16. Sea M un A-mdulo nito generado de torsin. Sean mijk M tales que o o o las clases de {mijk }k sean una base del A/pi A-espacio vectorial Ker pj / Ker pj1 + pi Ker pj+1 . Se i i i cumple que M = A/pj A mijk i
i,j,k n

Demostracin. El morsmo natural : (A/pj A) mijk M , (mijk ) = mijk , es un epimorsmo: o i Basta verlo localmente, por lo que podemos suponer que M = Ker pn . Por Nakayama, basta ver que i : (A/pj A) mijk M/pi M es epiyectivo. Tenemos que mi1k k = Ker pi , luego mi1k k + i
i,j,k i,j,k

mi2k k = Ker p2 , etc. i Por ultimo, M y A/pj Amijk tienen los mismos divisores elementales (repsese la demostracin a o i
i,j,k

de la unicidad de los divisores elementales), luego son isomorfos y tienen la misma longitud. Por tanto, el epimorsmo es un isomorsmo.

3.3

Clasicacin de los grupos abelianos nito generados o

Dado un grupo abeliano G tiene de modo natural estructura de Z-mdulo: La suma considerada es o la suma del grupo abeliano y el producto por escalares se dene . si n N+ g + .n. + g n (g) + . . . + (g) si n N / ng = 0 si n = 0 Rec procamente, todo Z-mdulo es en particular un grupo abeliano. As pues, hablar de grupos o abelianos o de Z-mdulos es slo una diferencia en la terminolog usada. o o a As por ejemplo, un grupo abeliano es nito generado si y slo si es nito generado como Z-mdulo. o o Teorema 3.3.1 (de clasicacin). Sea G un grupo abeliano nito generado. Existe un isomorsmo o de grupos n G (Z . r . Z) ( Z/pi i,j Z) .
i,j

con pi Z primos, y r, ni,j y pi determinados. En particular, todo grupo abeliano nito generado es suma directa de grupos c clicos.

42

Cap tulo 3.

Dominios de ideales principales. Mdulos o

En el caso particular de que G sea un grupo abeliano nito tendremos que G

i,j

Z/pi i,j Z

Corolario 3.3.2. Dos grupos abelianos nito generados son isomorfos si y slo si tienen el mismo o rango y los mismos divisores elementales. Ejercicio 3.3.3. Probar que Z/4Z Z/4Z Z/4Z Z/2Z Z/2Z

3.4

Clasicacin de los endomorsmos de un espacio vectorial o

Un endomorsmo T : E E de un k-espacio vectorial E, induce una estructura de k[x]-mdulos en o E del siguiente modo p(x) e = p(T )(e) en particular x e = T (e). Rec procamente, si E es un k[x]-mdulo, tenemos el endomorsmo E E, o e x e. Cuando pensemos E con la estructura de k[x]-mdulo inducida por el endomorsmo T , lo o escribiremos ET . Denicin 3.4.1. Dos endomorsmos T, T de E se dicen que son equivalentes si existe un autoo morsmo lineal de E tal que T = T 1 . Esta igualdad signica la conmutatividad del cuadrado T / E E E
T x

/E

o o Proposicin 3.4.2. Dos endomorsmos T, T de un espacio vectorial son equivalentes si y slo si existen una base para T y otra base para T en las que que T y T tienen la misma matriz. Demostracin. El endomorsmo es precisamente el que manda una base a la otra. o Proposicin 3.4.3. Dos endomorsmos T, T de un espacio vectorial son equivalentes si y slo si o o inducen estructuras de k[x]-mdulos isomorfas. o Demostracin. Si T, T son equivalentes existe un automorsmo lineal tal que T = T . Veamos o que : ET ET es un isomorsmo de k[x]-mdulos: o (x e) = (T (e)) = T ( (e)) = x (e) Reiterativamente, probamos que (xi e) = (T i (e)) = T ( (e)) = xi (e) y por linealidad que (p(x) e) = p(x) (e). Para el rec proco se razona de modo similar. Si T es un endomorsmo de un espacio vectorial de dimensin nita, entonces es un k[x]-mdulo o o nito, y el rango de ET ha de ser cero, porque la dimensin de k[x] sobre k es innita. o Teorema 3.4.4. Dos endomorsmos de un espacio vectorial de dimensin nita son equivalentes si o y slo si poseen los mismos divisores elementales. o
i

3.4.

Clasicacin de los endomorsmos lineales o

43

3.4.1

Matrices de Jordan

1. Caso de un cuerpo k algebraicamente cerrado Lema 3.4.5. Sea p(x) k[x] un polinomio de grado n, entonces x, . . . , xn1 es una base de 1, k[x]/(p(x)). Demostracin. Escribamos p(x) = an xn + + a0 . Veamos que x, . . . , xn1 son linealmente indeo 1, pendientes: si
n1 i=0 n1 i=0

i xi = 0, con i k, entonces

i xi = p(x). Ahora bien, el grado del trmino e

de la izquierda de la igualdad es menor que n, mientras que el de la derecha es mayor o igual que n, salvo que sea cero, as ha de ser y por tanto i = 0 para todo i. Veamos que x, . . . , xn1 son generadores: Escribamos p(x) = an xn + + a0 . Tenemos 0 = 1, p(x) = an xn + + a0 , por tanto xn = 1 (an1 xn1 + + a0 ) x, . . . , xn1 1, an x xn+1 = (an1 xn1 + + a0 ) x, . . . , xn1 , xn = x, . . . , xn1 1, 1, an etc. Lema 3.4.6. { x , . . . , (x ) 1,
n1

} es una base de k[x]/((x )n ).

Demostracin. Sabemos que las clases y , . . . , y n1 forman una base de k[y]/(y n ). Haciendo el o 1, cambio y = x concluimos. Sea T un endomorsmo de un espacio vectorial E. Supongamos que ET Tomemos la base {ej = (x )
j1

k[x]/((x )n ).

| 0 j n 1}. Se tiene = (x ) (x ) 1
j1

T (ej ) = x (x ) Por lo tanto, la matriz de T vale

j1

+ (x )

j1

= ej+1 + ej

.. . .. 1

En general, la descomposicin de ET ser o a ET = k[x]/((x i )nij )

i,j

(no hay sumandos de la forma k[x] porque E es de dimensin nita). Tomando una base en cada o sumando k[x]/((x i )nij ), como acabamos de hacer, obtendremos una base de E en la que la matriz de T es de la forma llamada de Jordan: (B11 ) .. . (Bij ) .. .

44

Cap tulo 3.

Dominios de ideales principales. Mdulos o

siendo (Bij ) la siguiente matriz nij nij i 1 (Bij ) = i .. . .. 1 2. Caso del cuerpo R Lema 3.4.7. Sea E un espacio vectorial sobre C, de base {e1 , . . . , en }. Entonces {e1 , ie1 , . . . , en , ien } es una base de E como R espacio vectorial. Demostracin. C = R1 Ri, por tanto o E = Ce1 Cen = (Re1 Rie1 ) (Ren Rien ) i

Lema 3.4.8. Sea E un espacio vectorial sobre C, de base {e1 , . . . , en }. Sea T : E E un endomorsmo C-lineal, cuya matriz asociada es (aij ). Escribamos aij = bij + bij i. Entonces T es un endomorsmo R-lineal cuya matriz en la base {e1 , ie1 , . . . , en , ien } es (a11 ) . . . (a1n ) (aij ) (a1n ) . . . (ann ) siendo (aij ) = bij bij bij , es decir, (aij ) es la matriz de multiplicar por aij en C. bij

o o Demostracin. Slo es observar que T (ei ) = T (iei ) =

j j

aij ei =

(bij ei + bij iei )

j

aij iei =

(bij ei + bij iei )

Lema 3.4.9. Sea C R. Existe un isomorsmo de R[x]-mdulos o R[x]/((x )n (x )n ) = C[x]/((x )n ) Por tanto, multiplicar por x en el trmino de la izquierda de la igualdad es multiplicar por x en el e trmino de la derecha y aqu es un endomorsmo C-lineal. e Demostracin. Ambos mdulos son R-espacios vectoriales de dimensin 2n. Sea el R[x]-submdulo o o o 1 o de C[x]/((x )n ) generado por la clase Determinemos el anulador de Por una parte, es claro 1. 1: que (x )n (x )n es un polinomio con coecientes reales que anula a por otra parte, el anulador 1; deber ser un mltiplo de (x)n . Dado que todo polinomio con coecientes reales que tiene una ra a u z compleja tiene tambin la conjugada (con igual multiplicidad) se concluye que el polinomio anulador e 1 de es (x )n (x )n .

3.4.

Clasicacin de los endomorsmos lineales o

45

Se tiene entonces una inclusin o R[x]/((x )n (x )n ) = C[x]/((x )n ) 1 y como ambos R-espacios vectoriales son de la misma dimensin, se concluye que la inclusin anterior o o es una igualdad. Los polinomios irreducibles de R[x] son x , ( R) y (x )(x ), con C R. Sea T un endomorsmo de un espacio vectorial real E. Supongamos que ET R[x]/((x)n (x )n ) = C[x]/((x)n ). Multiplicar por x en C[x]/((x n1 n ) ) es un endomorsmo C-lineal, cuya matriz asociada en la base, sobre C, (x ), . . . , (x ) 1, es 1 .. .. . . 1 por tanto, en la base {ej = (x )j1 , ej = i(x )j1 } la matriz asociada a T es b b b b () 1 0 b b (1) () 0 1 b b = .. .. .. .. . . . . (1) () b b 1 0 b b 0 1 siendo = b + b i. Nota: Si en R[x]/((x )n (x )n ) consideramos la base {ej = (x )j1 , ej = i(x )j1 }, donde i = q(x) cumple que q(x) = 1 (y escribimos = b + b q(x)), entonces la matriz asociada a T es la anterior. Expl citamente, como es tedioso comprobar, puede tomarse q(x) = y con y =
xb b , n1 i=0 2

ai (y 2 + 1)i ,

a0 = 1, ar =

1 2

1 2

i+j=r
i,j<r

ai aj .

En el caso general, la descomposicin del R-espacio vectorial E de dimensin nita ser o o a ET = R[x]/(pi (x)nij )
i,j

donde los pi (x) son irreducibles y por lo tanto son de la forma pi (x) = x i bien pi (x) = o (x i )(x i ), con i = bi + bi i (bi = 0). Tomando como antes una base en cada sumando R[x]/(pi (x)nij ), obtendremos una base de E en la que la matriz de T es (B11 ) .. . (Bij ) .. .

46

Cap tulo 3.

Dominios de ideales principales. Mdulos o

donde (Bij ) es la matriz: Si pi (x) = x i entonces

i 1 (Bij ) = Si pi (x) = (x i )(x i ) entonces (Bij ) = bi bi bi bi 1 0 0 1

i .. . .. 1 i

bi bi

bi bi .. .

. 1 0 0 1

..

bi bi

bi bi

3.5

Factores invariantes
Am An M 0

Consideremos una presentacin de un A-mdulo M nito generado, es decir, una sucesin exacta o o o

Consideremos sendas bases {e1 , . . . , em } y {e1 , . . . , en } de Am y An . Escribamos (ei ) = as que (aij ) es la matriz de . Denimos entonces los siguientes ideales:

aij ej ,

Denicin 3.5.1. Se llama i-simo ideal de Fitting de M al ideal Fi (M ) generado por los menores o e de orden n i de la matriz de . Si i > n seguiremos la convencin Fi (M ) = (1) y si m < i n o seguiremos la convencin Fi (M ) = (0). o Veamos que los ideales de Fitting de un mdulo no dependen de las bases elegidas en la preseno tacin: Consideremos otra base {1 , . . . , em } de Am y escribamos (j ) = i aij ei , as que la nueva o e e matriz de es (ij ). Denotemos Fi (M ) y Fi (M ) a los respectivos ideales i-simos de Fitting de las a e matrices (aij ) y (ij ). Cada ej es combinacin lineal de la antigua base {e1 , . . . , em } y, por lo tanto, a o cada columna de (ij ) es combinacin lineal de las columnas de (aij ). En consecuencia, los menores a o de orden n i de (ij ) son combinacin lineal de los menores de (aij ), es decir, Fi (M ) Fi (M ) . a o Por simetr tambin se cumple Fi (M ) Fi (M ); luego en conclusin Fi (M ) = Fi (M ) . Si la que a e o cambiamos es la base de An se razona de modo similar (por las en vez de por columnas). Dada la sucesin exacta Am An M 0 y x Spec A, entonces Am An Mx 0 es o x x exacta. La matriz asociada a , es la misma que la asociada a x , por tanto (Fi (M ))x = Fi (Mx ). Notacin: Denotemos ci al generador del ideal Fi (M ), es decir, ci es el mximo comn divisor o a u de los menores de orden n i de la matriz de . Los menores de orden n i son combinacin lineal o u de menores de orden n i 1, por tanto, ci es mltiplo de ci+1 . Denicin 3.5.2. A los elementos i = ci1 /ci se les llama factores invariantes del mdulo M . Si o o ci = ci1 = 0 diremos que i = 0.
x

3.5.

Factores invariantes

47

Teorema 3.5.3 (de clasicacin. Segunda versin). Los ideales de Fitting de un mdulo no o o o dependen de la presentacin nita escogida. Por tanto, los factores invariantes no dependen de la o presentacin nita escogida. o Adems, a M A/(1 ) A/(n ) Luego, dos A-mdulos nito generados son isomorfos si y slo si poseen los mismos factores o o invariantes. o Demostracin. Sea Am An M 0 una sucesin exacta. Dos elementos de A son iguales (salvo o invertibles) si al localizar en cada punto cerrado del espectro son iguales y dos mdulos son isomorfos o si lo son localmente. Por lo tanto, podemos suponer que A es un anillo local de ideal maximal m = (p). Por 3.2.9 existen bases de Am y An de modo que correspondiente matriz de es n p 1 s .. . ns p 1 s .. . 1 0 0 . .. . . . r 0 . . . . . . 0 0 Reordenado la base de Am , podemos suponer que pn1 pns . Ahora ya tenemos que M = Ar A/(pn ) A/(pns ). Por tanto, r es el rango de M y pni 1 son los divisores elementales de M . Es una sencilla comprobacin el ver que ci = 0 para i < r, o ci = pns pnir+1 , para r i < r + s, ci = 1, para i r + s. Tenemos calculados los ideales de Fitting, en trminos del rango y los divisores elementales de M , por tanto, no dependen de . Por e ultimo, i = 0 para i r, i = pnir para r < i r + s, y i = 1 para i > r + s. As pues, M A/(1 ) A/(n )

Observacin 3.5.4. Observemos, por el clculo efectuado en la demostracin del teorema anterior, que o a o i es mltiplo de i+1 . Por tanto, (1 ) es el ideal anulador de M . u Teorema 3.5.5 (de clasicacin de endomorsmos). Dos endomorsmos de un k-espacio veco torial de dimensin nita E son equivalentes si y slo si poseen los mismos factores invariantes. o o Sea E un k-espacio vectorial de dimensin n. Consideremos un endomorsmo T y la correspono o diente estructura de k[x]-mdulo sobre E. Sea (ij ) la matriz de T en una base {e1 , . . . , en } de E. Vamos a determinar los factores invariantes de T a partir de su matriz.

48

Cap tulo 3.

Dominios de ideales principales. Mdulos o ai xi )( ej xj ) =

Sea E[x] el conjunto de polinomios con coecientes en E. E[x] es k[x]-mdulo, ( o

i i,j

ai ej xi+j , y resulta ser libre de base {e1 , . . . , en }. Consideremos el epimorsmo de k[x]-mdulos o

i

: E[x] E, (

ei x i ) =

el ncleo de . Veamos que coinciden: u En E[x]/ ex xe | e E se verica que x e = ex = xe, luego exn = xn e = xn e. Por tanto, i el morsmo de k-espacios vectoriales E E[x]/ ex xe | e E , e e es epiyectivo. Como la composicin o i E E[x]/ ex xe | e E E es el morsmo identidad, se deduce que E[x]/ ex xe | e E = E. As pues, tenemos la sucesin exacta de k[x]-mdulos o o E[x] e
(xx)

xi ei . Obviamente el k[x]-mdulo ex xe | e E o

k[x]

est incluido en a

E[x] E 0 ex xe

Por lo tanto, la sucesin anterior es una presentacin de ET como k[x]-mdulo. La matriz del o o o morsmo (x x) es xId (ij ). Luego Teorema 3.5.6. Sea (ij ) la matriz nn de un endomorsmo T . Sea ci (x) el mximo comn divisor a u de los menores de orden n i de la matriz xId (ij ) . Se verica ci (x) = i+1 (x) n (x) i (x) = ci1 (x)/ci (x) siendo 1 (x), . . . , n (x) los factores invariantes de T . Observaciones: a) El polinomio c0 (x) = det xId (ij ) se llama polinomio caracter stico de T . Segn el teorema u anterior, el polinomio caracter stico es igual al producto de los factores invariantes. Adems como a todos los factores invariantes dividen al primet factor invariante, 1 (que es el polinomio anulador), tenemos que el polinomio caracter stico tiene las mismas ra salvo multiplicidades que el polinomio ces anulador. b) Un caso particular es el Teorema de Hamilton-Cayley: 1 (x) = c0 (x)/c1 (x) es decir, el polinomio anulador de T es igual al cociente del polinomio caracter stico por el mximo a comn divisor de los menores de orden n 1 de la matriz xId (ij ) . u

3.6

Problemas

1. Sea A un dominio de ideales principales. Si aA bA = cA, prubese que c es el m e nimo comn u mltiplo de a y b. u 2. Sea A un dominio de ideales principales. Sean a = pn1 pnr , b = pm1 pmr con ni , mj 0, r r 1 1 u nimo comn mltiplo y mximo u u a pi irreducibles y pi primo con pj , para i = j. Calclese el m comn divisor de de a y b. u

3.6.

Problemas

49

3. Sea A el C-espacio vectorial de todas las funciones reales a valores complejos innitamente diferenciables. Se designa por D el operador derivada. Es claro que D es un endomorsmo C lineal de A. (a) Probar la frmula de conmutacin o o P (D)(ex y) = ex P (D + )y para y A y C. (b) Probar que Ker Dr+1 = {Polinomios de grado menor o igual que r}. Calcular Ker(D )r+1 . Si p(x) = (x 1 )n1 (x r )nr , calcular Ker p(D). (c) Resolver la ecuacin diferenciales: y o 2y + 2y = 0, y + y = 0.

4. Con las notaciones del ejercicio anterior sea la ecuacin P (D)y = z, con z A. Supongamos o que existe un polinomio Q(x) primo con P (x) de modo que Q(D)z = 0. Prubese que existe un e o o polinomio R(x), de modo que R(D)z es una solucin particular de la ecuacin dada. Resolver la ecuacin y (n y = xn . o
1 5. Dada la ecuacin diferencial P (D)y = z, escribamos y = P (D) z. Si P (x) = (x 1 )n1 (x o nr r ) , expresar y en trminos de primitivas (reiteradas) de sumas de productos de funciones e exponenciales y derivadas de z (sese la descomposicin de fracciones racionales en fracciones u o simples y la frmula de conmutacin). Resolver y y = senx. o o

6. Sea Suc(C) = {(an )} el C-espacio vectorial de las sucesiones de nmeros complejos. Sea el u operador siguiente : Suc(C) Suc(C) la aplicacin C-lineal denida por (an ) = (an ), o donde an = an+1 . Sea = Id, el operador diferencia. (a) Probar las frmulas de conmutacin o o P ( )((n ) (an )) = (n ) P ( )(an ) P ( )((n ) (an )) = (n ) P ( )(an ) (b) Demostrar que las sucesiones {(1), (n), . . . , (nr )} son una base de Ker r+1 . Calcular Ker( )r . (c) Resolver la ecuacin an+2 = an+1 + an , con las condiciones iniciales a0 = 0, a1 = 1, a2 = 2 o (sucesin de Fibonacci). o 7. Dada la ecuacin inhomognea p( )(an ) = (bn ), supngase que existe un polinomio q(x), primo o e o e con p(x), tal que q( )(bn ) = 0. Prubese que existe un polinomio r(x) tal que r( )(an ) es una solucin particular de la ecuacin dada. o o Estdiese el caso en que p(x) y q(x) no son primos entre s Resolver an+2 + 2an+1 8an = 2n . u . 8. Sea A un dominio de ideales principales y M un A-mdulo de ideal anulador no nulo a A. o Probar que si a es un elemento propio que divide a a, entonces Ker a = 0, donde a es el endomorsmo de M , denido por (a )(m) = am. 9. Sean p y q nmeros primos distintos. Calcular el nmero de grupos abelianos nitos desisomorfos u u de orden p2 q.

50

Cap tulo 3.

Dominios de ideales principales. Mdulos o

10. Prubese que un grupo abeliano nito que no sea c e clico contiene un subgrupo isomorfo a Z/pZ Z/pZ, para un cierto entero primo p. 11. Sea G un grupo abeliano nito. Demostrar que G es c clico si y slo si para cada n divisor del o orden de G, existe un unico subgrupo de G de orden n. 12. Sea G un subgrupo discreto del grupo aditivo de Rn . Prubese que existe un nmero natural e u r n, tal que G est generado como Z-mdulo por r vectores linealmente independientes sobre a o R. 13. Clasif quese el endomorsmo multiplicar por x sobre el espacio E = k[x]/(x) k[x]/(x3 ) k[x]/(x5 ) 14. Clasif quense los endomorsmos nilpotentes de un espacio vectorial de dimensin 3. Problema o anlogo para espacios de dimensin 4 y 5. a o 15. Clasif quense los endomorsmos T de un espacio vectorial real E, que cumplan (a) Anulador de T = (x 1)2 , dim E = 5. (b) Anulador de T = (x2 + 4)2 (x + 8)2 , dim E = 8. 16. Sea E el espacio vectorial real de todos los polinomios con coecientes reales de grado menor que 6, y sea D el operador derivada sobre E. Clasif quese el endomorsmo T = D2 . 17. Probar que un grupo abeliano nito generado es c clico si y slo si tiene un unico factor invariante. o 18. Clasicar sobre el cuerpo racional 1 0 0 0 1 2 0 1 los endomorsmos 1 0 1 2 2 1 1 0 0 0 1 0

0 1 0 1

1 0 1 2

0 1 0 1

19. Sean T, T : E E dos endomorsmos lineales de un espacio vectorial de dimensin nita, de o modo que en cierta base la matriz de T es la transpuesta de la de T . Probar que T y T son endomorsmos equivalentes. 20. Sea A un anillo eucl deo y (aij ) una matriz con coecientes aij A. Sustituyendo de modo conveniente y sucesivo la la Fi por la la Fi + bj Fj , i = j, bj A (i, j, bj arbitrarios), demosa trar que la matriz (aij ) es triangulable. Si admitimos, adems, las mismas transformaciones elementales con las columnas, demostrar que (aij ) es diagonalizable. Resolver el sistema de a ecuaciones diofnticas 7x + 5y = 1 5x + 3y = 3 o 21. Clasicar los Z-mdulos (Z Z)/ (7, 5), (5, 3) y (Z Z Z)/ (12, 30, 24), (4, 8, 6), (6, 4, 8) .

3.6.

Problemas

51

22. Mediante transformaciones elementales calcular los factores invariantes del endomorsmo de R3 de matriz 0 1 0 0 1 2 1 1 3 Calcular e1 , e2 R3 de modo que R3 = (k[x]/(1 ))e1 (k[x]/(2 ))e2 . 23. Probar que si el polinomio caracter stico de un endomorsmo lineal tiene todas sus ra ces distintas entonces coincide con el primer factor invariante. 24. Sea T : E E un endomorsmo lineal de un espacio vectorial de dimensin nita. Probar que o la condicin necesaria y suciente para que el endomorsmo p(T ) sea invertible es que p(x) y o cT (x) sean primos entre s . 25. Sea T : E E un endomorsmo lineal de un espacio vectorial de dimensin nita. Sea E E o e un subespacio estable por T . Denotemos T : E/E E/E , T () = T (e), el endomorsmo inducido por T en E/E . Probar que cT (x) = cT|E (x) cT (x) 26. Sea E un C-espacio vectorial de dimensin n y T un endomorsmo de E. Sea cT (x) = o
n

o stico de T . Prubese que si p(x) e la descomposicin en factores lineales del polinomio caracter es un polinomio con coecientes en C, entonces
n

i=1

(xi )

cp(T ) (x) =
i=1 n

(x p(i ))
n i=1

En particular, se tiene que tr(p(T )) =

i=1

p(i ), det(p(T )) =

p(i ).

27. Sea E un C-espacio vectorial de dimensin nita. Sea T : E E un endomorsmo C-lineal de o E. Demostrar que si cT (x) es el polinomio caracter stico de T considerado como endomorsmo C-lineal, entonces el polinomio caracter stico de T considerado como endomorsmo R-lineal es cT (x) cT (x) (donde cT (x) es el conjugado de cT (x)). 28. (a) Sea X = AX un sistema homogneo de ecuaciones diferenciales, siendo A una matriz e cuadrada de coecientes constantes. Probar que eAt C son las soluciones del sistema, siendo C una matriz columna de constantes. (b) Sea X = AX + B(t) un sistema lineal de ecuaciones diferenciales. Calcular la matriz o columna C(t) tal que eAt C(t) sea una solucin del sistema. 29. Resulvanse los siguientes sistemas de ecuaciones diferenciales e
dx dt dy dt dz dt

= x 3y + 3z = 2x 6y + 13z = x 4y + 8z

dx dt dy dt dy dt du dt

= 3x y =x+y = 3x + 5z 3u = 4x y + 3z u

dx dt dy dt

= 11x 4y = 15x + 6y

52

Cap tulo 3.

Dominios de ideales principales. Mdulos o

30. Sea P (x) R[x] un polinomio de grado n. Probar que la ecuacin diferencial P (D)y = f (x) o es equivalente a un sistema de ecuaciones diferenciales lineales con coecientes constantes de primer orden de n variables. 31. (a) Sea P (x) R[x] un polinomio mnico de grado n. Sean s1 (x), . . . , sn (x) soluciones, linealo o mente independientes, de la ecuacin diferencial P (D)y = 0. Probar que si c1 (x), . . . , cn (x) cumplen las ecuaciones c1 (x) s1 (x) + . . . + cn (x) sn (x) = 0 ... c1 (x) s1 (x)n2) + . . . + cn (x) sn (x)n2) = 0 c1 (x) s1 (x)n1) + . . . + cn (x) sn (x)n1) = f (x) entonces c1 (x)s1 (x) + . . . + cn (x)sn (x) es una solucin particular de P (D)y = f (x). o (b) Prubese este resultado como caso particular de 28 (b). e 32. Sea A una matriz con coecientes en k[D]. Probar que mediante las transformaciones elementales, el problema de resolver los sistemas AX(t) = Y (t), se reduce al problema de resolver ecuaciones P (D)f (t) = h(t). 33. Resolver el sistema de ecuaciones diferenciales x x + y = et x + 2x + x + y = et

Cap tulo 4

Producto tensorial. Mdulos o proyectivos e inyectivos

4.1 Categor as. Funtor de homorsmos

Dar una categor C es dar a 1. Una familia arbitraria, cuyos elementos llamaremos objetos de C. 2. Unos conjuntos HomC (M, N ), para cada par de objetos M, N de C, cuyos elementos f llamaremos morsmos de M en N y denotaremos por el s mbolo f : M N . 3. Una aplicacin o HomC (N, P ) HomC (M, N ) HomC (M, P ), (f, g) f g para cada terna M, N, P de objetos de C. Satisfacindose e (a) (f g) h = f (g h). (b) Para cada objeto M de C, existe un morsmo IdM : M M de modo que f IdM = f y IdM g = g para todo morsmo f : M N y g : N M . Un morsmo f : M N se dice que es un isomorsmo si existe g : N M de modo que f g = IdN y g f = IdM . Ejemplo 4.1.1. La categor CConj de conjuntos es la categor cuyos objetos son los conjuntos y a a los morsmos entre los objetos son las aplicaciones de conjuntos. La categor CM od de A-mdulos es a o o la categor cuyos objetos son los A-mdulos y los morsmos entre los objetos son los morsmos de a mdulos. o o as. Dar un funtor covariante F : C C es asignar a cada Denicin 4.1.2. Sean C y C dos categor objeto M de C un objeto F (M ) de C , y cada morsmo f : M M de C un morsmo F (f ) : F (M ) F (N ) de C , de modo que se verique que F (f g) = F (f ) F (g) y F (IdM ) = IdF (M ) . Anlogamente se denen los funtores F contravariantes, que invierten el sentido de los morsmos; a es decir, asignan a cada morsmo f : M N de C un morsmo F (f ) : F (N ) F (M ) de C , de modo que verica F (f g) = F (g) F (f ) y F (IdM ) = IdF (M ) . 53

54

Cap tulo 4.

Producto tensorial. Mdulos proyectivos e inyectivos o

Un morsmo f : M M induce las aplicaciones Hom(N, M ) Hom(N, M ), g f (g) = f g

def f

Hom(M , N ) Hom(M, N ), g f (g) = g f

def

Estamos diciendo que Hom(N, ) es un funtor covariante de C en la categor de los conjuntos a CConj , es decir, Hom(N, ) : C M f (f g) Hom(, N ) es un funtor contravariante Hom(, N ) : C M f (f g) CConj Hom(M, N ) f (f g) = (g f )

CConj Hom(N, M ) f (f g) = (f g )

Denicin 4.1.3. Dos funtores F, F : C C se dicen que son isomorfos, y escribimos F F , si para o cada objeto M de C tenemos isomorsmos M : F (M ) F (M ), de modo que para cada morsmo f : M N el diagrama F (M )
M F (f )

/ F (N )
N

F (M ) es conmutativo.

F (f )

/ F (N )

Proposicin 4.1.4. El funtor Hom(M, ) es isomorfo al funtor Hom(M , ), si y slo si M o o Los objetos de una categor estn determinados por sus relaciones a a

M.

Demostracin. Veamos slo la suciencia. Si Hom(M, ) Hom(M , ), entonces este isomorsmo o o queda determinado por M (IdM ) = g: Dado f Hom(M, N ) consideremos el diagrama Hom(M, M ) Hom(M, N ) Luego N (f ) = f (g) = f g.
f M

Hom(M , M ) Hom(M , N )
f

IdM _
f

/g _
f

N f _ _ _ _/ f (g) = f g

4.2.

Construccin del producto tensorial o

55

As pues, si tenemos un isomorsmo Hom(M, ) 1 M (IdM ) = f tendremos que IdM IdM

M
1 M

Hom(M , ) y denotamos M (IdM ) = g y

g f

1 M

g (f ) = g f = IdM f (g) = f g = IdM

Denicin 4.1.5. Se dice que un funtor covariante F es representable si existe un objeto M , de modo o que F = Hom(M, ). Se dice que un funtor contravariante F es representable si existe un objeto M , de modo que F = Hom(, M ). En estos casos se dice que M es el representante de F . Por la proposicin anterior sabemos que el representante de un funtor representable es unico salvo o isomorsmos. Teorema 4.1.6. La condicin necesaria y suciente para que una sucesin de morsmos de Ao o p i o mdulos 0 M M M sea exacta es que para todo A-mdulo N sea exacta la sucesin o o
0 HomA (N, M ) HomA (N, M ) HomA (N, M )

Se dice que HomA (N, ) es un funtor exacto por la izquierda. Demostracin. Es sencillo comprobar la necesidad de la condicin. En cuanto a la suciencia, basta o o tomar N = A, pues para todo A-mdulo M tenemos un isomorsmo natural HomA (A, M ) = M , o f f (1). Tambin se tiene el teorema dual del anterior: e Teorema 4.1.7. La condicin necesaria y suciente para que una sucesin de morsmos de Ao o p i mdulos M M M 0 sea exacta es que para todo A-mdulo N sea exacta la sucesin o o o 0 HomA (M , N ) HomA (M, N ) HomA (M , N ) Se dice que HomA (, N ) es un funtor exacto por la derecha. Demostracin. Es sencillo comprobar la necesidad de la condicin. Veamos la suciencia. Sea N = o o M / Im p, y : M N la proyeccin cannica. Tenemos que p () = p = 0, luego = 0 y p es o o epiyectiva. Si tomamos ahora N = M , entonces 0 = (p i )(Id) = p i, luego Im i Ker p. Por ultimo, si N = M/ Im i y : M M/ Im i es la proyeccin cannica, entonces i () = i = 0. o o Luego existe un morsmo f : M N tal que f p = p (f ) = y concluimos que Ker p = p1 (0) (f p)1 (0) = 1 (0) = Im i.
p i

4.2

Construccin del producto tensorial de mdulos o o

El objetivo de esta seccin es denir el producto tensorial de dos A-mdulos. Si bien se puede dar o o una interpretacin geomtrica del producto tensorial, creemos conveniente que primero se domine esta o e

56

Cap tulo 4.

Producto tensorial. Mdulos proyectivos e inyectivos o

operacin. Queremos denir el producto () de elementos de M por N , cumpliendo las siguientes o propiedades (m + m ) n = m n + m n m (n + n ) = m n + m n am n = a(m n) m an = a(m n) Es decir, queremos denir un mdulo M A N generado por elementos m n, m M y n N , o cumpliendo las propiedades anteriores y sin ms relaciones que las generadas por las relaciones de M a y N y estas propiedades. Empecemos con el formalismo necesario para la construccin de M A N . o Sean M y N dos A-mdulos. Consideremos el A-mdulo libre A(M N ) . Dado (m, n) M N , o o denotemos (m, n) = (ai )iM N al elemento de A(M N ) denido por a(m ,n ) = 0 si (m , n ) = (m, n) y a(m ,n ) = 1 si (m , n ) = (m, n). Es decir, estamos identicando los elementos de M N con la base estndar de A(M N ) . a Sea R el submdulo de A(M N ) generado por los elementos de la forma o (m + m , n) (m, n) (m , n) (m, n + n ) (m, n) (m, n ) (am, n) a(m, n) (m, an) a(m, n) Denicin 4.2.1. Llamaremos producto tensorial de M y N sobre el anillo A al A-mdulo cociente o o A(M N ) /R y lo denotaremos M A N . Cada clase (m, n) A(M N ) /R = M A N la denotaremos m n. De acuerdo con la denicin de R y M A N tenemos que o (m + m ) n = m n + m n m (n + n ) = m n + m n am n = a(m n) m an = a(m n) propiedades que se expresan diciendo el producto tensorial es A-bilineal. Dado que los elementos {(m, n)}(m,n)M N forman una base de A(M N ) entonces los elementos {m n}(m,n)M N forman un sistema generador de M A N . Por las propiedades de bilinealidad recin escritas, si {mi } y {nj } son sistemas generadores de M y N , entonces {mi nj } es un sistema e generador de M A N . Sea P un A-mdulo. o Denicin 4.2.2. Diremos que una aplicacin : M N P es A-bilineal si o o (m + m , n) = (m, n) + (m , n) (m, n + n ) = (m, n) + (m, n ) (am, n) = a(m, n) (m, an) = a(m, n) El conjunto de las aplicaciones A-bilineales de M N en P se denota BilA (M, N ; P ). La condicin o de que una aplicacin : M N P sea A-bilineal expresa que la aplicacin m : N P , m (n) = o o (m, n), es un morsmo de A-mdulos para cada elemento m M . Obtenemos as un isomorsmo o natural BilA (M, N ; P ) = HomA (M, HomA (N, P )) El morsmo natural : M N M N , (m, n) m n, es bilineal.

4.3.

Propiedades del producto tensorial

57

Teorema 4.2.3 (Propiedad universal del producto tensorial). La aplicacin o HomA (M A N, P ) = BilA (M, N ; P ), es un isomorsmo. Es decir, M A N es el representante del funtor BilA (M, N ; ). Demostracin. Sea : M N P una aplicacin A-bilineal, entonces el morsmo de A-mdulos o o o : A(M N ) P, (
i

ai (mi , ni )) =
i

ai (mi , ni )

se anula sobre los generadores del submdulo R, anteriormente denido. Por la tanto, induce el o morsmo de A-mdulos : M A N P , m n (m, n). Este morsmo cumple que = o y si un morsmo cumple esta igualdad entonces (m n) = (m, n) y coincide con , pues los elementos m n generan M N . Por ultimo, es una simple comprobacin ver que dado un morsmo de A-mdulos : M N P o o entonces = es una aplicacin bilineal de M N en P . o As pues, este teorema nos dice que denir un morsmo de A-mdulos : M N P , es asignar o a cada mn M A N un elemento (mn) de modo que ((am+m )n) = a(mn)+(m n) y (m (an + n )) = a(m n) + (m n ). Observacin 4.2.4. Anloga construccin se puede hacerse para cualquier familia nita M1 ,. . . , Mn o a o de A-mdulos, obtenindose un A-mdulo M1 A A Mn con una propiedad universal similar. o e o Para denir un morsmo de A-mdulos f : M1 A A Mn P , bastar denir las imgenes o a a f (m1 mn ) de modo que f (m1 ai mi + ni ) = ai f (m1 mi ) + f (m1 ni )

4.3

Propiedades del producto tensorial

Teorema 4.3.1. Existen isomorsmos naturales 1. (M A N ) A P = M A N A P , (m n) p m n p. 2. M A N = N A M , m n n m. 3. A A M = M , a m am. 4. ( Mi ) A N = (Mi N ), (mi )iI n (mi n)iI .
iI iI

5. M A AS = MS , m

a s

am s .

6. M A (A/I) = M/IM , m a am. Demostracin. Dejamos al lector que dena los morsmos inversos. Veamos, slo, que el morsmo de o o 1. est bien denido: Para cada p el morsmo M A N p M A (N A P ), (mn)p m(np) a est bien denido. Luego tenemos un morsmo (M A N ) P M A (N A P ), que es bilineal e a induce el morsmo denido en 1.

58

Cap tulo 4.

Producto tensorial. Mdulos proyectivos e inyectivos o

Probemos, con otro mtodo, ( Mi ) A N = (Mi N ): e

iI iI

HomA (( Mi ) A N, P ) = HomA ( Mi , HomA (N, P )) =

iI iI iI

HomA (Mi , HomA (N, P ))

=
iI

HomA (Mi A N, P ) = HomA ( (Mi A N ), P )

iI

Por la unicidad del representante (4.1.4), ( Mi ) A N = (Mi N ).

iI iI

Si f : A B es un morsmo de anillos entonces B es de modo natural un A-mdulo. Cada o elemento b B dene un endomorsmo 1 b : M A B M A B, m b m bb . Podemos denir as una estructura de B-mdulo en M A B que viene dada por el siguiente producto , o b(
i def

mi bi ) =
i

mi bbi

Se dice que el cambio de base de M por A B es M A B. Notacin: Denotaremos M A B = MB y usualmente denotaremos f (a) = a. o Proposicin 4.3.2. Sean A B y B C morsmos de anillos y M, M A-mdulos y N un o o B-mdulo. Existen isomorsmos naturales o 1. MB B N = M A N , (m b) n m bn. 2. (M A M ) A B = MB B MB , (m m ) b (m b) (m 1). 3. (MB )C = MC , (i.e., (M A B) B C = M A C), (m b) c m bc. Demostracin. Def o nanse los morsmos inversos. Proposicin 4.3.3. Sea M M M 0 una sucesin exacta y N un A-mdulo. Se cumple o o o que M A N M A N M A N 0 es una sucesin exacta. Es decir, A N es un funtor exacto por la derecha. o Demostracin. Sea M la sucesin exacta inicial. De acuerdo con 4.1.7 o o HomA (M , HomA (N, P )) = BilA (M , N ; P ) = HomA (M A N, P ) es una sucesin exacta para todo A-mdulo P . De nuevo 4.1.7 nos permite concluir que la sucesin o o o M A N es exacta.

4.4.

Producto exterior

59

4.4

Producto exterior

Ahora, nuestro objetivo es denir el producto exterior de un A-mdulo. o Denicin 4.4.1. Si A B es un morsmo de anillos se dice que B es una A-lgebra. o a Denicin 4.4.2. Un anillo R = Rn diremos que es un lgebra graduada, si los Rn son estables o a para la suma y dados rn Rn , rm Rm entonces rn rm Rn+m . Adems, diremos que R es una a A-lgebra graduada si R0 es una A-lgebra. a a Los anillos de polinomios son de modo obvio k-lgebras graduadas. a Dado un A-mdulo M , diremos que T n M = M A . n . A M es el producto tensorial n-simo de o e . M . Seguiremos las convenciones T 0 M = A y T 1 M = M . Denicin 4.4.3. Diremos que T M = T n M es el lgebra tensorial de M . o a
i=0 nZ

Dados m1 mn T n M y m1 mr T r M denimos (m1 mn ) (m1 mr ) = m1 mn m1 mr T r+n M que extendido linealmente a T M , dene un producto, con el que es una A-lgebra graduada. a Proposicin 4.4.4. Hay un isomorsmo T n (M M ) = o
i+j=n

T i M A T j M natural.

Demostracin. Es consecuencia de que el producto tensorial conmuta con la suma directa. o Consideremos en T n M el submdulo o Mn = m1 . n . mn T n M | mi = mj para ciertos i = j . Denicin 4.4.5. Diremos que n M = T n M/Mn es el lgebra exterior n-sima del A-mdulo M . o a e o M = i M es el lgebra exterior de M Diremos que a
i=0

Proposicin 4.4.6. Hay un isomorsmo n (M M ) = o

i+j=n

i M A j M natural.
i+j=n

Demostracin. La composicin de los morsmos T n (M M ) o o j M induce un morsmo n (M M ) los morsmos naturales morsmo
i+j=n i+j=n j i+j=n

T i M A T j M

i+j=n

i M A

i M A j M . Rec procamente, la composicin de o

i+j=n

T i M A T j M

T n (M M ) n (M M ) induce el

i M A M n (M M ). Fcilmente se comprueba que estos dos morsmos a A.

son inversos entre si. Ejercicio 4.4.7. Probar que n An

r

Es claro que Mn T M Mn+s . Por tanto el producto que tenemos denido en T M , dene por paso al cociente un producto de M . Luego M es un lgebra graduada. a Se suele denotar m1 mn a la clase de m1 . n . mn en n M y al producto que tenemos . denido en M . Obeservemos que 0 = m + m m + m = ( m m . . . ) + ( m m . . . ) Luego m1 m m mn = (m1 m m mn ). De aqu es fcil a concluir que dados wn n M y wr r M , entonces wr wn = (1)rs wr wn . Por tanto, M es una A-lgebra graduada anticonmutativa. a

60

Cap tulo 4.

Producto tensorial. Mdulos proyectivos e inyectivos o

4.5

Producto tensorial de lgebras a

Ahora, nuestro objetivo es denir el producto tensorial de A-lgebras. a Si B y C son A-lgebras, el A-mdulo B A C tiene tiene una estructura de A-lgebra natural: a o a El producto es el morsmo B A C B A C B A C, (b c, b c ) bb cc inducido por el correspondiente morsmo B A C A B A C B A C. Con este producto B A C es un anillo y por ultimo el morsmo A B A C, a a 1 = 1 a es un morsmo de anillos. Denicin 4.5.1. Diremos que un morsmo de anillos f : B C entre A-lgebras, es un morsmo o a de A-lgebras si f (a) = a para todo a A. a Proposicin 4.5.2. Sean B, C y D A-lgebras. Se cumple el isomorsmo o a HomAalg (B A C, D)

HomAalg (B, D) HomAalg (C, D) / o (1 , 2 ) 1 (b) = (b 1), 2 (c) = (1 c)

: (b c) 1 (b)2 (c)

(1 , 2 )

Consideremos el sistema de ecuaciones p1 (x1 , . . . , xn ) = 0 ... pr (x1 , . . . , xn ) = 0 Sea I = (p1 (x1 , . . . , xn ), . . . , pr (x1 , . . . , xn )) y llamemos A = C[x1 , . . . , xn ]/I el anillo de funciones de la variedad de soluciones del sistema de ecuaciones anterior. Observemos que HomCalg (A, C) se identica con los puntos de la variedad de soluciones del sistema de ecuaciones anterior. Ya veremos que los puntos cerrados de Spec A se identica con la variedad de soluciones del sistema de ecuaciones anterior, luego con HomCalg (A, C). Dada otra variedad de ecuaciones p1 (x1 , . . . , xn ) = 0 ... ps (x1 , . . . , xn ) = 0 denotemos I = (p1 (x1 , . . . , xn ), . . . , ps (x1 , . . . , xn )) y A = C[x1 , . . . , xn ]/I . La proposicin anterior nos dice que HomCalg (A, C) HomCalg (A , C) = HomCalg (A C A , C). o Este hecho justicar la denicin Spec A Spec A = Spec A C A . As se interpretar el producto a o , a tensorial de anillos de funciones de variedades como el anillo del producto de las variedades. Proposicin 4.5.3. Sean B y C A-lgebras. Se cumple el isomorsmo o a HomA (B, C) |B o

def

HomC (BC , C) / : (b c) = (b) c

4.6. Ejercicio 4.5.4.

Mdulos planos y proyectivos o

61

1. Con las notaciones obvias, prubese que e HomAlg grad. (T M, Bi ) = HomA (M, B0 ) a
i

Prubese tambin que HomAlg grad. e e a

anti. (

M, B ) = Hom (M, B ). i A 0
i

2. Probar que T M A T M = T (M M ) y que M A M = (M M ), a partir de las proposiciones 4.4.4, 4.4.6, o de 1.

4.6

Mdulos planos y proyectivos o

Denicin 4.6.1. Diremos que un A-mdulo P es plano si para toda sucesin exacta 0 N o o o N N 0 la sucesin 0 N A P N A P N A P 0 es exacta. Es decir, por la o proposicin 4.3.3, si para toda inyeccin N M entonces N A P A P tambin es inyectiva. o o e Dado que N A A(I) = N (I) es fcil comprobar que A(I) -es un A-mdulo plano. Como N A (P a o P ) = (N A P ) (N A P ) es fcil comprobar que una suma directa de mdulos es plana si y slo a o o si cada sumando es plano. Proposicin 4.6.2. Si P es un A-mdulo plano y A B es un morsmo de anillos, entonces PB o o es un B-mdulo plano. o Demostracin. Para todo B-mdulo M tenemos que PB B M = P A M , as que la exactitud del o o funtor PB B () es consecuencia de la exactitud del funtor P A (). Proposicin 4.6.3. La condicin necesaria y suciente para que un A-mdulo P sea plano es que o o o Nx sea un Ax -mdulo plano para todo punto cerrado x Spec A. o Demostracin. Denotemos toda sucesin exacta 0 N N de A-mdulos por N . P es plano o o o para toda sucesin exacta N entonces N A P es exacta para todo punto cerrado x Spec A o la sucesin (N A P )x = Nx Ax Px es exacta Px es un Ax -mdulo plano para todo punto o o cerrado x Spec A Lema 4.6.4. Sea M un mdulo nito generado sobre un anillo local O. Si el morsmo natural o I O M M , i m im, es inyectivo para todo ideal nito generado I A, entonces M es un O-mdulo libre. o Demostracin. Sea m1 , . . . , mr un sistema de generadores de M , obtenido por Nakayama (es decir, o de modo que m1 , . . . , mr sea una base de M/mM , donde m es el ideal maximal de O). Dada una relacin a1 m1 + + ar mr = 0, consideremos el ideal I = (a1 , . . . , ar ). Por hiptesis el morsmo o o natural I O M M es inyectivo, as que a1 m1 + + ar mr = 0. En el O/m-espacio vectorial (I O M )/m(I O M ) = (I O M ) O O/m = (I O O/m) O/m (M O O/m) = I/mI O/m M/mM tendremos que a1 m1 + + ar mr = a1 m1 + + ar mr = 0. Pero m1 , . . . , mr es una base de M/mM , por tanto a1 = = ar = 0. Luego I/mI = 0 y por Nakayama I = 0. En conclusin, o m1 , . . . , mr es una base de M y M es libre.

62

Cap tulo 4.

Producto tensorial. Mdulos proyectivos e inyectivos o

Teorema 4.6.5 (Criterio del ideal de platitud). Sea M un A-mdulo nito generado. Si el o morsmo natural I A M M es inyectivo para todo ideal I A, entonces M es un A-mdulo o plano. Demostracin. En cada punto cerrado x Spec A tenemos que el morsmo natural o Ix Ax Mx = (I A M )x Mx es inyectivo. Como cada ideal nito generado de Ax es localizacin de un ideal nito generado de A, o el lema anterior permite concluir que Mx es un Ax -mdulo libre y, por tanto, plano. Luego M es un o A-mdulo plano. o Teorema 4.6.6. Un A-mdulo nito generado es plano si y slo si es localmente libre. o o Demostracin. Es consecuencia inmediata de 4.6.3 y 4.6.4. o Denicin 4.6.7. Se dice que un A-mdulo P es proyectivo si para todo epimorsmo : M M o o entonces : HomA (P, M ) HomA (P, M ) es un epimorsmo. Es decir (por el teorema 4.1.6), P es proyectivo si la toma de HomA (P, ) conserva sucesiones exactas (es decir, HomA (P, ) es un funtor exacto). Como HomA (A(I) , M ) =
I

M es fcil demostrar que los A-mdulos libres son proyectivos. a o

Proposicin 4.6.8. Un A-mdulo es proyectivo si y slo si es sumando directo de un libre. o o o Demostracin. Supongamos que P es un A-mdulo proyectivo. Consideremos un epimorsmo : A(I) o o P . Si consideramos el morsmo Id : P P sabemos que levanta a un morsmo s : P A(I) , tal que s = Id, por ser P proyectivo. Por el ejercicio 2.1.5, A(I) = Ker P . Rec procamente, sea M es un sumando directo de un libre, es decir A(I) = M M . A(I) es un mdulo proyectivo, por tanto M M es proyectivo. Ahora bien, como HomA (M M , ) = o HomA (M, )HomA (M , ) es fcil probar que una suma directa de mdulos es un mdulo proyectivo a o o si y slo si lo es cada sumando. En conclusin, M es proyectivo. o o Proposicin 4.6.9. Los mdulos proyectivos son planos. o o Demostracin. Los mdulos proyectivos son sumandos directos de un libre, que es plano, luego los o o mdulos proyectivos son planos. o Denicin 4.6.10. Un A-mdulo M se dice que es de presentacin nita si existe una sucesin exacta o o o o de la forma Am An M 0. Si A es un anillo noetheriano (ms adelante estudiados) un A-mdulo es de presentacin nita si a o o y slo si es nito generado. o Proposicin 4.6.11. Sea M un A-mdulo de presentacin nita y S A un sistema multiplicativo. o o o Entonces para todo A-mdulo N se cumple que o HomA (M, N )S = HomAS (MS , NS )

4.7.

Mdulos inyectivos. Criterio del ideal o

63

Demostracin. Si un A-mdulo L o o Ar es libre entonces HomA (L, N )S = (N r )S = (NS )r = HomAS (LS , NS ). Por hiptesis tenemos una sucesin exacta Am An M 0. Tomando HomA (, N ) obteneo o mos la sucesin exacta o 0 HomA (M, N ) HomA (An , N ) HomA (Am , N ) Localizando por S tenemos la sucesin exacta o 0 / HomA (M, N )S / HomA (An , N )S / HomA (Am , N )S

/ Ker

/ HomAS (An , NS )
S

/ HomAS (Am , NS ) S

Ahora bien, tomando HomAS (, NS ) en la sucesin exacta Am An MS 0, concluimos que o S S Ker = HomAS (MS , NS ) y terminamos. Teorema 4.6.12. Un mdulo de presentacin nita es proyectivo si y slo si es localmente proyectivo. o o o Es decir, P es un A-mdulo proyectivo si y slo si para todo punto cerrado x Spec A se cumple que o o Px es un Ax -mdulo proyectivo. o Demostracin. Denotemos la sucesin exacta 0 N N N 0 por N . Digamos que un o o mdulo P es proyectivo si y slo si para toda sucesin exacta N de A-mdulos entonces la sucesin o o o o o HomA (P, N ) es exacta. Con estas convenciones tenemos: P es proyectivo para toda sucesin o exacta N de A-mdulos HomA (P, N ) es exacta para toda sucesin exacta N de A-mdulos o o o HomA (P, N )x = HomAx (Px , Nx ) es exacta para todo punto cerrado x Spec A Px es un Ax -mdulo proyectivo (pues toda sucesin exacta de Ax -mdulos N es localizacin de una sucesin o o o o o exacta de A-mdulos, expl o citamente (N )x = N ). Teorema 4.6.13. Sea M un mdulo de presentacin nita. Las condiciones de ser plano, localmente o o libre y proyectivo son equivalentes. Demostracin. Si M es plano entonces es localmente libre por 4.6.6. o Si M es localmente libre entonces es localmente proyectivo. Como la propiedad de ser proyectivo es local ser proyectivo. a Si M es proyectivo por 4.6.9 es plano.

4.7

Mdulos inyectivos. Criterio del ideal para mdulos ino o yectivos

Denicin 4.7.1. Diremos que un A-mdulo M es inyectivo si el functor contravariante HomA (, M ) o o a o es exacto en la categor de A-mdulos; es decir, si transforma inyecciones en epiyecciones. Se verican trivialmente las siguientes propiedades: a) El producto directo de mdulos inyectivos es inyectivo. o b) Un sumando directo de un mdulo inyectivo es tambin inyectivo. o e

64

Cap tulo 4.

Producto tensorial. Mdulos proyectivos e inyectivos o

Proposicin 4.7.2 (Criterio del ideal). Un A-mdulo M es inyectivo si y slo si para todo ideal o o o I A el morsmo HomA (A, M ) HomA (I, M ) es epiyectivo. Demostracin. Basta ver el rec o proco. Dada una inclusin N N y un morsmo f : N M o tenemos que demostrar que f extiende a un morsmo f : N M . Sea N un submodulo de N que contiene a N y maximal con la condicin de que exista una extensin f : N M de f . o o La existencia de N se debe al lema de Zorn. Tenemos que probar que N = N . Sea n N e I = {a A : a n N }. Tenemos denido un morsmo g : I M, a f (a n), que por hiptesis o extiende a un morsmo g : A M . El morsmo n M, a n g (a) et bien denido, coincide a con f sobre n N = I n, luego dene un morsmo f : N + n M, n + an f (n ) + g (a). Por maximalidad de N ha de vericarse que n N , luego N = N . Denicin 4.7.3. Sea A un dominio de integridad. Un A-mdulo M se dice de divisin si para todo o o o a a A no nulo, el morsmo M M es epiyectivo. Teorema 4.7.4. Sea A ntegro. Todo mdulo inyectivo es de divisin. Si A es un dominio de ideales o o principales, entonces un mdulo es inyectivo precisamente si es de divisin. o o Demostracin. Tmese la sucesin exacta o o o 0 / aA   /A /A / A/aA /0

0 y HomA ( , M ).

/A

/ A/aA

/0

As por ejemplo, Q y Q/Z son Z-mdulos inyectivos, y por tanto R = Q Q/Z es inyectivo. , o

4.7.1

Integrabilidad de los sistemas de ecuaciones diferenciales en derivadas parciales lineales

El objetivo de esta seccin es dar las condiciones necesarias y sucientes para que el sistema de o ecuaciones diferenciales Pi ( ,..., )v(x1 , . . . , xn ) = ui (x1 , . . . , xn ), i = 1, . . . , m x1 xn ()

con Pi (x1 , . . . , xn ) R[x1 , . . . , xn ] y ui (x1 , . . . , xn ) R[[x1 , . . . , xn ]], sea integrable, es decir, exista v(x1 , . . . , xn ) R[[x1 , . . . , xn ]] vericando el sistema anterior. Si consideramos una sucesin exacta o R[[x1 , . . . , xn ]]
Pi ( x ,..., xn ) m 1 i

i=1

R[[x1 , . . . , xn ]] Coker

la existencia de v(x1 , . . . , xn ) vericando el sistema anterior, equivale a decir que (u1 , . . . , um ) = 0. Vamos a ver que se puede obtener esta sucesin exacta como dual de otra bien conocida. o

4.7.

Mdulos inyectivos. Criterio del ideal o

65

Lema 4.7.5. Consideremos R[ x1 , . . . , xn ] como el anillo obvio, isomorfo a R[x1 , . . . , xn ]. Consi deremos R[[x1 , . . . , xn ]] como R[ x1 , . . . , xn ]-mdulo del modo obvio: o

P(

,..., ) v(x1 , . . . , xn ) = P ( ,..., )v(x1 , . . . , xn ) x1 xn x1 xn

Con esta estructura de R[x1 , . . . , xn ]-mdulo, se cumple que R[[x1 , . . . , xn ]] es el representante del o funtor HomR (, R) en la categor de R[x1 , . . . , xn ]-mdulos. En particular, R[[x1 , . . . , xn ]] es un a o R[ x1 , . . . , xn ]-mdulo inyectivo. o Demostracin. Sea A una k-lgebra. Empecemos probando que el A-mdulo Homk (A, k) es inyectivo. o a o En la categor de A-mdulos, se cumple el isomorsmo de funtores a o Homk (, k) w

HomA (, Homk (A, k))

/ ((w)(m))(a) = w(am)
w

1 (w)(m) = (w(m))(1) o

Como el funtor Homk (, k) es exacto, tenemos que Homk (A, k) es un A-mdulo inyectivo. o Por otra parte, es una sencilla comprobacin, el ver que el morsmo o R[[x1 , . . . , xn ]] HomR (R[ denido por (s(x1 , . . . , xn ))(P ( ,..., )) = (P ( ,..., )s(x1 , . . . , xn ))(0, . . . , 0) x1 xn x1 xn

,..., ], R) x1 xn

es un isomorsmo de R[ x1 , . . . , xn ]-mdulos. Con todo, R[[x1 , . . . , xn ]] es un R[ x1 , . . . , xn ]-mdulo o o inyectivo.

Consideremos la sucesin exacta o R[x1 , . . . , xn ] R[x1 , . . . , xn ] R[x1 , . . . , xn ] R[x1 , . . . , xn ]/(P1 , . . . , Pm ) 0 Aplicando el funtor HomR (, R) = HomR[x1 ,...,xn ] (, R[[x1 , . . . , xn ]]) obtenemos la sucesin exacta o (R[x1 , . . . , xn ]/(P1 , . . . , Pm )) R[[x1 , . . . , xn ]]
Pi ( x ,..., xn ) m 1

(pij ) m

Pi

R[[x1 , . . . , xn ]] R[[x1 , . . . , xn ]]

(pij )t m

As pues, el sistema diferencial () es integrable si y slo si (pij )t (u1 , . . . , un ) = 0. Adems, observe o a mos que si hay soluciones, la dimensin del espacio de soluciones es dimR (R[x1 , . . . , xn ]/(P1 , . . . , Pm )). o Dejamos como ejercicio que el lector pruebe las siguientes armaciones. Consideremos la sucesin o exacta de R[x1 , . . . , xn ]-mdulos o

66

Cap tulo 4.

Producto tensorial. Mdulos proyectivos e inyectivos o

0 R[x1 , . . . , xn ] x1 xn R[x1 , . . . , xn ] x1 xi xn
i i

R[x1 , . . . , xn ] xi R[x1 , . . . , xn ] R 0 donde (xi1 xir ) = (1)k xik xi1 xik xir . Aplicando el funtor HomR (, R) =

o HomR[x1 ,...,xn ] (, R[[x1 , . . . , xn ]]) obtenemos la sucesin exacta de De Rham R R[[x1 , . . . , xn ]] R[[x1 , . . . , xn ]] dxi R[[x1 , . . . , xn ]] dx1 dxi dxn
i i d d d d

R[[x1 , . . . , xn ]] dx1 dxn 0

4.8

Problemas

1. Probar que si E es un k-espacio vectorial de dimensin n y E es un k-espacio vectorial de o dimensin m, entonces E k E es un k-espacio vectorial de dimensin n m. o o 2. Probar que M A A[x] = M [x]. 3. Probar que R[x]/(p(x)) R C = C[x]/(p(x)). 4. Probar que (A[x1 , . . . , xn ]/I) A B = B[x1 , . . . , xn ]/I B[x1 , . . . , xn ]. 5. (a) Sea N N un A-submdulo y M = N/N . Probar que si N A N = 0 entonces o M A M = 0. (b) Sea I un ideal de A, calcular A/I A A/I. (c) Probar que si M es un A-mdulo nito distinto de cero entonces M A M es distinto de o cero. 6. Probar que (Q/Z) Z (Q/Z) = 0. 7. Sea A B un morsmo de anillos, M un A-mdulo y N, P B-mdulos. Probar que o o (M A N ) B P = M A (N B P ) o 8. Denir un morsmo natural M A N HomA (M, N ). Demostrar que si N es un mdulo de tipo nito y libre entonces M A N = BilA (M, N ; A).
9. Si M1 , . . . , Mn son A-mdulos libres nito generados probar que M1 A A Mn = M ultilA (M1 , . . . , Mn ; A). o

10. Probar que si Spec A = U1

U2 , y M es un A-mdulo, entonces M = MU1 MU2 . o

11. Sea A B un morsmo de anillos. Sean M y M dos B-mdulos, en particular son A-mdulos. o o Sea el A-submdulo de M A M , N = bm m m bm | m M, m M , b B . Probar o o que existe un isomorsmo de B-mdulos (M A M )/N 12. Probar que C R C = C C como C-lgebra. a M B M

4.8. 13. Calcular HomRlg. (C, C). a

Problemas

67

14. Probar que Homklg. (A, k) es igual al conjunto de ideales primos maximales de A, de concleo u a k. 15. Sea A ntegro y M un A-mdulo de presentacin nita. Probar que existe un abierto U Spec A o o no vac tal que MU es un AU -mdulo libre. o o 16. Sea A un anillo ntegro y M un A-mdulo plano. Probar que T (M ) = 0. o 17. Probar que si M y N son A-mdulos planos, tambin lo es M A N . Probar que si B es una o e A-lgebra plana y M es un B-mdulo plano, entonces M es un A-mdulo plano. a o o 18. Probar que k[x, y]/(x) no es un k[x, y]-mdulo plano. Sea k[x] k[x, y]/(y 2 x) el morsmo o natural, probar que k[x, y]/(y 2 x) es una k[x]-lgebra plana. a 19. Sea A un dominio de ideales principales y M un A-mdulo libre de torsin. Probar que M es o o unin de mdulos libres nito generados. o o 20. Sea A un anillo local y M un A-mdulo proyectivo. Probar que M es un A-mdulo libre. o o 21. Probar que existe un isomorsmo Homk (k[x]/(p(x)), k) k[x]/(p(x)), de k[x]/(p(x))-mdulos. o Probar que k[x]/(p(x)) es un k[x]/(p(x))-mdulo inyectivo. Dar una nueva demostracin del o o tercer teorema de descomposicin de los k[x]-mdulos nitos. o o

68

Cap tulo 4.

Producto tensorial. Mdulos proyectivos e inyectivos o

Cap tulo 5

Anillos noetherianos
5.1 Mdulos noetherianos o

La introduccin de los mdulos la justicabamos con diversas razones. La primera que dbamos es o o a que los ideales son mdulos. Dec o amos adems que las operaciones bsicas como producto tensorial, a a cocientes etc., se realizan de un modo mucho ms exible y claro con los mdulos, y que muchos de a o los objetos usuales en Matemticas tienen estructura de mdulo. a o En Geometr Algebraica los espacios estudiados son objetos denidos por un nmero nito de a u ecuaciones (la nitud es una condicin natural). Es decir, los ideales que se consideran son los o generados por un nmero nito de funciones. Los anillos cuyos ideales son nito generados se deu nominan noetherianos. Como veremos los anillos que usualmente aparecen en Geometr Algebraica a y la Aritmtica son noetherianos, de forma que estos anillos proporcionan el marco natural para e desarrollar su estudio. De nuevo, ser natural comenzar estudiando los mdulos nito generados, cuyos submdulos sean a o o nito generados, en vez de limitarnos simplemente a los anillos cuyos ideales son nito generados. Denicin 5.1.1. 1 Un A-mdulo M se dice que es un A-mdulo noetheriano si todo submdulo o o o o suyo (propio o no) es nito generado. Denicin 5.1.2. o submdulos de M o
2

Un A-mdulo M se dice que es noetheriano si toda cadena ascendente de o M1 M2 Mn

estabiliza, es decir existe m >> 0 de modo que Mm = Mm+1 = . Proposicin 5.1.3. Las dos deniciones anteriores son equivalentes. o Demostracin. def1 def2 : Sea una cadena ascendente de submdulos de M , M1 M2 o o Mn . Sea M = Mi M . Como M es un submdulo de M , es nito generado. Escribamos o a M = m1 , . . . , mr , con mj Mij . Sea m el mximo de todos los ij . Entonces trivialmente se obtiene que M = Mm , luego Mm = Mm+1 = . def2 def1 : Sea M M . Sea m1 M y consideremos el submdulo de M , M1 = m1 . Si o M1 = M , sea m2 M M1 . Consideremos el submdulo de M , M2 = m1 , m2 . Repitiendo el o 69
i=1

70

Cap tulo 5.

Anillos noetherianos

proceso, obtenemos una cadena de inclusiones estrictas m1 m1 , m2 que ha de ser nita, porque por la segunda denicin toda cadena estabiliza. Por tanto, existe un o m N tal que m1 , . . . , mm = M . Ejemplo 5.1.4. Los k-espacios vectoriales de dimensin nita son k-mdulos noetherianos. o o Proposicin 5.1.5. Todo submdulo de un mdulo noetheriano es noetheriano. o o o Proposicin 5.1.6. Todo cociente de un mdulo noetheriano es noetheriano. o o Demostracin. Sea M noetheriano y : M M/N un cociente. Dado un submdulo M M/N , o o 1 = (m1 ), . . . , (mr ) . tenemos que M = m1 , . . . , mr . Por tanto, M Proposicin 5.1.7. Sea o 0 M1 M2 M3 0 una sucesin exacta de A-mdulos. Se verica que M2 es noetheriano M1 y M3 son noetherianos. o o Demostracin. ) Esto es lo que arman las dos proposiciones anteriores. o ) Sea M M2 . El diagrama siguiente es conmutativo y las las son exactas: 0 M M1 M (M ) 0 0 M1 M2

M3 0

Tenemos que M M1 = m1 , . . . , mr y que (M ) = (n1 ), . . . , (ns ) . Por tanto, tenemos la igualdad M = m1 , . . . , mr , n1 , . . . , ns . Ejercicio 5.1.8. Probar que M y M son noetherianos si y slo si M M es noetheriano. o Denicin 5.1.9. Se dice que un anillo es noetheriano si como A-mdulo es noetheriano, es decir si o o todo ideal es nito generado, o equivalentemente, si toda cadena ascendente de ideales estabiliza. Ejemplo 5.1.10. Los cuerpos, los anillos de ideales principales, como Z, k[x], son noetherianos. Un ejemplo de anillo no noetheriano, es el anillo de funciones diferenciales en la recta real: 1 1 Sea In el ideal de las funciones que se anulan en ( n , n ), n N. Tenemos que I1 I2 In es una cadena ascendente estricta de ideales en el anillo, luego no estabiliza. Por tanto, el anillo no es noetheriano. Corolario 5.1.11. Si A es noetheriano entonces todo A-mdulo nito generado es noetheriano. o Demostracin. Si A es noetheriano An es un A-mdulo noetheriano, por el ejercicio que sigue a o o la proposicin 5.1.7. Ahora bien, como todo mdulo nito generado es cociente de un libre nito o o o generado, concluimos que los mdulos nitos son noetherianos.

5.2.

Teorema de la base de Hilbert

71

Por tanto, sobre los dominios de ideales principales todo mdulo nito generado es noetheriano. o Ejercicio 5.1.12. Si A es noetheriano AS es noetheriano Ejercicio 5.1.13. Demostrar que Q[x, x1 , . . . , xn , . . . ]/((x n)xn ){nN} es localmente noetheriano pero no es noetheriano. Proposicin 5.1.14. Si A es un anillo noetheriano, entonces Spec A es un espacio topolgico noeto o heriano. (Un espacio topolgico se dice que es noetheriano si toda cadena descendente de cerrados o estabiliza). Demostracin. Sea C1 C2 Cn una cadena descendente de cerrados. Sean Ii los o ideales de funciones que se anulan en Ci . Luego (Ii )0 = Ci y tenemos la cadena I1 I2 In Cadena que estabiliza por ser A noetheriano. Es decir, existe m N de modo que Im = Im+1 = . Luego, Cm = Cm+1 = . Ejercicio 5.1.15. Demostrar 1. Todo espacio topolgico noetheriano es compacto. o o 2. Todo abierto de un espacio topolgico noetheriano es noetheriano. 3. Llamemos cerrado irreducible a todo cerrado que no es unin de dos cerrados propios. Todo o espacio topolgico noetheriano es unin de un nmero nito de cerrados irreducibles. o o u Ejercicio 5.1.16. Probar que en un anillo noetheriano el nmero de ideales primos minimales es u nito.

5.2

Teorema de la base de Hilbert

Teorema 5.2.1 (de la base de Hilbert). Si A es un anillo noetheriano entonces A[x] es un anillo noetheriano. Demostracin. Sea I A[x] un ideal. Tenemos que ver que es nito generado: o Sea J A el conjunto formado por los coecientes de mximo grado de los p(x) I. Es fcil ver a a que J es un ideal de A. Observemos para ello, que si p(x) = a0 xn + +an , q(x) = b0 xm + +bm I, entonces xm p(x) + xn q(x) = (a0 + b0 )xn+m + I, luego si a0 , b0 J entonces a0 + b0 J. Por ser A noetheriano, J = (b1 , . . . , br ) es nito generado. As existen p1 , . . . , pr I cuyos , a coecientes de grado mximo son b1 , . . . , br , respectivamente. Adems, multiplicando cada pi por una a potencia conveniente de x, podemos suponer que gr p1 = = gr pr . Escribamos gr pi = m. Dado p(x) = a0 xn + + an I. Supongamos que n m. Escribamos a0 = 1 b1 + + r br , con i A para todo i. Tenemos que p(x) i xnm pi I y gr(p(x) i xnm pi ) < gr p(x). Recurrentemente obtendr que e
i i

I = (p1 , . . . , pr )A[x] + I {A + Ax + + Axm1 }

72

Cap tulo 5.

Anillos noetherianos

Ahora bien I {A + Ax + + Axm1 } es un A-mdulo nito generado ya que es submdulo de o o {A + Ax + + Axm1 }, que es un A-mdulo noetheriano. En conclusin, si escribimos I {A + o o Ax + + Axm1 } = (q1 , . . . , qs )A , tenemos que I = (p1 , . . . , pr , q1 , . . . , qs ). Denicin 5.2.2. Dado un morsmo de anillos f : A B se dice que B es una A-lgebra. Se dice o a que B es una A-lgebra de tipo nito si existen 1 , . . . , n B que generen A-algebraicamente B, es a decir, si el morsmo A[x1 , . . . , xn ] B,
1 ,...,n

a1 ,...,n x1 xn n 1
1 ,...,n

f (a1 ,...,n )1 1 n n

es epiyectivo. Corolario 5.2.3. Sea k un cuerpo. Toda k-lgebra de tipo nito es noetheriana. a Demostracin. Todo cuerpo es un anillo noetheriano, luego k es noetheriano. Por el teorema de o la base de Hilbert k[x1 ] es noetheriano. De nuevo, por el teorema de la base de Hilbert, k[x1 , x2 ] es noetheriano. En conclusin k[x1 , . . . , xn ] es noetheriano y todo cociente k[x1 , . . . , xn ]/I tambin. o e Luego toda k-lgebra de tipo nito es noetheriana. a Denicin 5.2.4. Diremos que Spec A es una variedad algebraica af sobre un cuerpo k si A es o n una k-lgebra de tipo nito. Los cerrados de las variedades algebraicas los llamaremos subvariedades a algebraicas. Si A y B son k-lgebras de tipo nito, f : A B un morsmo de k-lgebras, diremos que el a a morsmo inducido f : Spec B Spec A es un morsmo de variedades algebraicas.

5.3

Ideal primario. Interpretacin geomtrica o e

Quremos demostrar que todo ideal de un anillo noetheriano viene denido por condiciones innitesimales en un nmero nito de puntos del espectro. Resultado que puede entenderse aritmticamente u e como el teorema de Euclides para anillos noetherianos. Comencemos con los ideales primarios que sern los denidos por condiciones innitesimales en un punto. a Denicin 5.3.1. Sea A un anillo. Un ideal q = A es primario si o ab q , a q bn q para algn n 1 / u Es decir, cuando en A/q todo divisor de cero sea nilpotente. Ejemplo 5.3.2. 1. Los ideales primos son primarios.

2. Si p Z es un nmero primo entonces (pn ) es un ideal primario de Z. Igualmente si p(x) k[x] u es un polinomio irreducible entonces (p(x)n ) es un ideal primario de k[x] Denicin 5.3.3. Dado un ideal I A, llamaremos radical y denotaremos r(I) a o r(I) = {a A : an I para cierto n N}

5.3.

Ideal primario. Interpretacin geomtrica o e

73

Observemos que si : A A/I es el morsmo de paso al cociente, entonces 1 (rad A/I) = r(I). El radical de un ideal primario es un ideal primo. En efecto, sea p el radical de un ideal primario q. Si ab p y a p, entonces an bn q para algn n 1. Como an q, se sigue que alguna potencia / u / de bn ha de estar en q, lo que implica que b p = r(q). Sea q un ideal primario. Diremos que q es un ideal p-primario que p es el ideal primo asociado a o q cuando p es el radical de q. En tal caso, si B A es un morsmo de anillos, es sencillo comprobar que B q es un ideal (B p)-primario de B. Sea m un ideal maximal de un anillo A. Los ideales m-primarios de A son los ideales de radical m. En efecto, si m es el radical de un ideal I, entonces es el unico ideal primo de A que contiene a I. Se sigue que el anillo A/I tiene un unico ideal primo; luego todo elemento de A/I es invertible o nilpotente y concluimos que en A/I todo divisor de cero es nilpotente. En particular, todas las potencias mn son ideales m-primarios. Si el anillo A es noetheriano, cada ideal contiene una potencia de su radical, as que todo ideal m-primario es de la forma 1 () para algn ideal de A/mr (donde : A A/mr es el morsmo de q u q paso al cociente). En el caso del anillo A = C [x1 , . . . , xn ], si consideramos el ideal maximal m formado por todos los polinomios que se anulan en cierto punto racional (a1 , . . . , an ) y ponemos ti = xi ai , entonces Polinomios de grado A/mr = C [t1 , . . . , tn ]/(t1 , . . . , tn )r = < r en t1 , . . . , tn y la reduccin mdulo mr de cualquier polinomio coincide con el clsico desarrollo de Taylor hasta o o a el orden r 1 en el punto (a1 , . . . , an ). Por tanto, el ideal m-primario q est formado por todas a las funciones f A cuyo desarrollo de Taylor f A/mr , en el punto denido por m, satisface las relaciones impuestas por cierto ideal de A/mr . Por lo que diremos que los ideales primarios de q radical maximal mx son los ideales denidos por condiciones innitesimales en el punto cerrado x. || Una base del C-espacio vectorial dual de A/mr , la constituyen las formas lineales { = 1 x1 n xn , || f 1 + + n < r}, que vienen denidas por (f ) = 1 x n xn (a1 , . . . , an ). Por tanto, todo ideal 1 r de A/m est denido por un sistema de s-ecuaciones a i, (f ) = 0, 1 i s

Es decir, los ideales m-primarios son ideales formados por las funciones f que verican un sistema de ecuaciones de s-ecuaciones i,

|| f (a1 , . . . , an ) = 0, 1 i s 1 x1 n xn

(variando r,i, se obtienen todos los ideales m-primarios) Por tanto, cada ideal m-primario viene denido por ciertas relaciones entre las derivadas parciales iteradas en el punto (a1 , . . . , an ). Proposicin 5.3.4. Sea S un sistema multiplicativo de un anillo A y sea q un ideal px -primario. o 1. Si px corta a S, entonces qAS = AS . 2. Si px no corta a S, entonces qAS es un ideal px AS -primario y q = A (qAS ) . En particular: q = A (qAx )

74

Cap tulo 5.

Anillos noetherianos

Por tanto, para que dos ideales px -primarios coincidan es suciente que coincidan al localizar en x. Demostracin. 1. Si s S px , entonces q contiene alguna sn , que es invertible en AS ; luego o qAS = AS . 2. Si S px = , entonces px AS es un ideal primo de AS y es fcil comprobar que qAS es un a ideal px AS -primario. Por ultimo, veamos que q = A (qAS ). Si f A (qAS ), entonces sf q para a algn s S. Ninguna potencia de s est en q, por tanto, f q. Concluimos que A (qAS ) q. La u inclusin q A (qAS ) es evidente. o En general, sea px el ideal primo de un punto x Spec A. Los ideales de Ax de radical px = px Ax (que deben llamarse ideales de condiciones innitesimales en el punto x, pues en el caso noetheriano vienen determinados por los ideales de los anillos Ax /pr+1 Ax ) son precisamente los ideales x px -primarios, porque px es un ideal maximal de Ax . Por tanto, si qx es uno de estos ideales, A qx es un ideal px -primario de A. Si denotamos : A Ax /pr Ax por el morsmo natural, todo ideal x px -primario es de la forma 1 (), donde es un ideal de Ax /pr Ax . As se obtienen todos los q q x ideales px -primarios de A; es decir, los ideales px -primarios son los ideales denidos por condiciones innitesimales en el punto x. Ejemplo 5.3.5. Si un ideal primo p no es maximal, pueden existir ideales de radical p que no son primarios. Fijemos en un plano af un punto racional y una recta que pase por l. Sea m el ideal n e e maximal del punto y p el ideal primo del punto genrico de la recta. Consideremos ahora el ideal I = m2 p formado por los polinomios que se anulan en el punto genrico de la recta y sus derivadas e parciales se anulan en el punto jado. El radical de I es r(I) = r(m2 ) r(p) = m p = p pero el ideal I no es primario: el producto de la ecuacin de la recta jada por la de otra recta que o pase por el punto est en I, la ecuacin de la recta jada no est en I y la ecuacin de la otra recta a o a o no est en p = r(I). Esto se debe a que el ideal I no est denido por condiciones innitesimales en a a un solo punto del espectro sino en dos: en el punto jado y en el punto genrico de la recta dada. e Incluso puede darse el caso de que una potencia de un ideal primo no sea un ideal primario. Por ejemplo, sea A el anillo de las funciones algebraicas sobre un cono en A3 y sea px el ideal primo de A denido por una generatriz. El ideal px 2 no viene denido por condiciones innitesimales en el punto genrico de tal generatriz; e es decir, px 2 no coincide con A px 2 Ax sino que involucra adems condiciones en el vrtice del cono, a e pues las funciones de px 2 deben cumplir adems la condicin de estar en m2 , donde m denota el a o ideal maximal del vrtice del cono. En efecto, la ecuacin del plano tangente al cono a lo largo de la e o directriz est en A px 2 Ax ; pero no est en px 2 porque no pertenece a m2 . Luego el ideal px 2 no es a a primario.

5.4

Existencia de las descomposiciones primarias

Denicin 5.4.1. Sea I un ideal de un anillo A. Diremos que una descomposicin I = q1 . . . qn o o o o como interseccin de ideales primarios de A es una descomposicin primaria reducida de I cuando no tenga componentes redundantes (I = q1 . . . qi . . . qn para todo 1 i n) ni componentes asociadas a un mismo ideal primo (r(qi ) = r(qj ) cuando i = j).

5.4.

Existencia de las descomposiciones primarias

75

Proposicin 5.4.2. Si q y q son dos ideales px -primarios entonces q q es px -primario. o Demostracin. Al lector. o Si un ideal de un anillo puede descomponerse como interseccin nita de ideales primarios, agruo pando los trminos de igual radical obtenemos una descomposicin primaria en que todos los trminos e o e tienen radicales diferentes. Eliminando entonces trminos redundantes si los hubiera se obtiene una e descomposicin primaria reducida: si un ideal admite una descomposicin primaria, admite una deso o composicin primaria reducida. o Denicin 5.4.3. Diremos que un ideal q de un anillo A es irreducible si no es interseccin de dos o o ideales estrictamente mayores; es decir, si el ideal 0 del anilo cociente A/q no es interseccin de dos o ideales no nulos. Lema 5.4.4 (Fundamental). Sea A un anillo noetheriano. Todo ideal irreducible q = A es primario. Demostracin. Para ver que q es primario, tenemos que probar que los divisores de cero de A/q son o nilpotentes. Sea b A/q divisor de cero. Consideremos los ncleos de los morsmos de A-mdulos u o bn : A/q A/q: 0= Ker b Ker b2 Ker bn Como A/q es noetheriano, Ker bn = Ker bn+1 para algn exponente n. Luego (Ker b)(Im bn ) = 0. u Por ser q irreducible y Ker b = 0 Im bn es nulo. Entonces 0 = bn 1 = bn y b es nilpotente en A/q. Concluimos que el ideal q es primario. Teorema 5.4.5 (de existencia). Sea A un anillo noetheriano. Todo ideal I = A es interseccin o nita de ideales primarios de A; es decir, est denido por condiciones innitesimales en un nmero a u nito de puntos de Spec A. Demostracin. Si I no es un ideal primario, por el lema anterior, no es irreducible. Entonces I = I1 J1 o con con I I1 , J1 . Si I1 no es primario, de nuevo, existirn I2 , J2 tales que I1 = I2 J2 con I1 I2 , J2 a
= =

y I = I2 (J2 J1 ). Si J2 J1 = I, tenemos I como interseccin propia de los dos ideales I2 , (J2 J1 ) o o y I1 I2 . Si J2 J1 = I, redenotaremos J2 = I2 y de nuevo tenemos I como interseccin de dos
=

ideales I2 , J1 , con I1 I2 . Si I2 no es primario repetimos el proceso. As tendremos una cadena

=

I1 I2 I3 . . . In
= = = =

que por noetherianidad ha de ser nita. Luego, para n >> 0, In es primario. En conclusin, podemos escribir I = I1 J1 con I I1 , J1 e I1 primario. Si J1 no es primario, de o
=

nuevo, J1 = I2 J2 con J1 I2 , J2 e I2 primario. Por tanto, I = I1 I2 J2 , con I1 , I2 primario y

=

I J1 J2 . Repitiendo este proceso, obtenemos la cadena

= =

I J1 J2 . . . Jn
= = = =

que ha de ser nita, por noetherianidad. Luego, para n >> 0, Jn es primario y I = I1 In1 Jn , que es una interseccin de ideales primarios. o Demos otra demostracin, menos algor o tmica, pero argumentalmente ms simple. De acuerdo con a el lema anterior, bastar probar que todo ideal I de A es interseccin nita de ideales irreducibles. a o

76

Cap tulo 5.

Anillos noetherianos

Si I no es interseccin de un nmero nito de ideales irreducibles entonces I = I1 I2 con I I1 , o u

=

I I2 y I1 I2 (digamos I1 ) no es interseccin de un nmero nito de ideales irreducibles. De nuevo, o o u

=

I1 = I11 I12 con I1 I11 , I1 I12 y I11 I12 (digamos I11 ) no es interseccin de un nmero nito o o u
= =

de ideales irreducibles. Obtenemos as una cadena de inclusiones estrictas I1 I11 I111

= = =

lo que contradice la noetherianidad de A. Luego I es interseccin de un nmero nito de ideales o u irreducibles.

5.5

Unicidad en la descomposicin primaria o

Teorema 5.5.1. Sea A un anillo y sea 0 = q1 . . . qn una descomposicin primaria reducida del o ideal 0. Los divisores de cero de A son las funciones que se anulan en alguno de los puntos denidos por los ideales primos asociados pi = r(qi ) : {Divisores de cero de A} =
n i=1

pi

o u / Demostracin. Sea a A un divisor de cero: ab = 0 para algn b A no nulo. Luego b qi para algn u ndice i, porque la descomposicin primaria es reducida, y concluimos que a r(qi ) = pi . o Rec procamente, si a p1 , entonces alguna potencia an q1 , de modo que an b = 0 para cualquier b q2 . . . qn no nulo, y concluimos que a es un divisor de cero. Lema 5.5.2. Sean px1 , . . . , pxn ideales primos de un anillo A e I un ideal de A. Si I px1 . . . pxn entonces I pxi para algn u ndice i. Demostracin. Podemos suponer que los pxi pxj para todo i = j. Es decir, podemos suponer que o xi xj para todo i = j. Si I pxi entonces xi (I)0 y existe una funcin fi que se anula en (I)0 y / / o en todo xj salvo en xi . Por tanto, f = f1 + + fn se anula en (I)0 y no se anula en ninguno de los {xi }1in . Por tanto, tendr amos que f n I y f n pxi para todo i y n >> 0. Contradiccin. / o Teorema 5.5.3 (de unicidad (de los primos asociados)). Si un ideal I de un anillo A admite una descomposicin primaria reducida I = i qi , los ideales primos asociados pi = r(qi ) no dependen o de la descomposicin. o Demostracin. Veamos primero el caso I = 0. Sean o 0 = q1 . . . qn = q1 . . . qm dos descomposiciones primarias reducidas del ideal 0 y sea p el ideal primo asociado a una componente de la segunda descomposicin. Bastar ver que p coincide con pi = r(qi ) para algn o a u ndice i. Adems, a

5.6.

Una descomposicin primaria cannica o o

77

por 5.3.4, localizando en p podemos suponer que el anillo A es local y que p es su unico ideal maximal m. Ahora, por el teorema anterior p1 . . . pn = m pues ambos trminos coinciden con el conjunto de los divisores de cero de A, y concluimos al aplicar e el lema anterior. En el caso de un ideal I arbitrario, cada ideal q I se corresponde con un ideal de A/I, y q q es un ideal p-primario precisamente cuando es un ideal -primario, porque A/q = (A/I)/ y q p q p q es el radical de . Por tanto, cada descomposicin primaria reducida I = q1 . . . qn dene una o q descomposicin primaria reducida 0 = I = 1 . . . n del ideal 0 del anillo A/I. Luego los ideales o q primos i no dependen de la descomposicin y concluimos que los ideales primos pi tampoco. p o Denicin 5.5.4. Sea A un anillo noetheriano. Llamaremos ideales primos asociados a un ideal I a o los radicales de las componentes de cualquier descomposicin primaria reducida de I. o Teorema 5.5.5 (de unicidad de las componentes no-sumergidas). Sea I un ideal de un anillo A y sea px el ideal primo de una componente irreducible de (I)0 . Si I admite una descomposicin o primaria reducida I = i qi , entonces px es el radical de alguna componente qi y qi = A (IAx ) Luego tal componente qi no depende de la descomposicin elegida. o Demostracin. Cuando j = i, tenemos que qj Ax = Ax , porque r(qj ) corta al sistema multiplicativo o A px por el que localizamos. Luego IAx = qj Ax = qi Ax
j=1 n

y, por 5.3.4, concluimos que qi = A (qi Ax ) = A (IAx ). Sea I = i qi una descomposicin primaria reducida de un ideal I de un anillo A. Segn el teorema o u anterior, si un ideal primo p es minimal entre los ideales primos de A que contienen a I, entonces p es el radical de alguna componente qi y diremos que qi es una componente no sumergida. Es decir, una componente qj est sumergida cuando sus ceros estn contenidos estrictamente en los ceros de a a alguna otra componente: (qj )0 (qi )0 . Las componentes no-sumergidas corresponden a los puntos genricos de las componentes irreducibles de (I)0 (que de nuevo obtenemos que son un nmero nito), e u mientras que las componentes sumergidas estn asociadas a puntos ms pequeos de (I)0 . a a n Corolario 5.5.6. Si los ceros de un ideal I de un anillo noetheriano son puntos aislados, la descomposicin primaria reducida de I es unica salvo el orden. o

5.6

Una descomposicin primaria cannica o o

Proposicin 5.6.1. Sea I A un ideal y I = q1 qn una descomposicin primaria reducida, o o de primos asociados r(qi ) = pxi . Dado pxj supongamos reordenando que qi pxj si y slo si i j. o Se cumple que A Ixj = q1 qj Por tanto, la interseccin q1 qj no depende de los primarios de la descomposicin primaria o o escogida.

78

Cap tulo 5.

Anillos noetherianos

Demostracin. Ixj = q1,xj qj,xj . Por tanto, o A Ixj = (A q1,xj ) (A qj,xj ) = q1 qj

Corolario 5.6.2. Sea I = q1 qn = q1 qn dos descomposiciones primarias reducidas, de primos asociados r(qi ) = r(qi ) = pxi . Se cumple que I = q1 qj1 qj qj+1 qn para cualquier j. En consecuencia, si {qi }1in son ideales pxi -primarios que aparecen cada uno en alguna descomposicin primaria de I, entonces o I = q1 qn o o o Demostracin. Reordenado, como en la proposicin anterior, podemos suponer que qi pxj si y slo si i j. Se deduce de la proposicin anterior que q1 qj1 = q1 qj1 . Por tanto, o q1 qj1 qj = q1 qj1 qj = q1 qj Cortando con qj+1 qn , obtenemos q1 qj1 qj qj+1 qn = q1 qj qj+1 qn = I

Proposicin 5.6.3. Sea A un anillo noetheriano. Sea I = q1 qm A una descomposicin o o i primaria reducida de I. Sea r(qi ) = pxi . Existe ni N de modo que pni qi . Denotemos por pni el x i i ideal pxi -primario antiimagen de (Ixi + pni ) Axi en el morsmo de localizacin A Axi , entonces o x I = q1 pni qm i Demostracin. Tenemos I pni qi , por tanto, o i I = I q1 qi qm pni q1 qi qm qi q1 qi qm = I i luego las inclusiones son igualdades y concluimos. Con palabras, el ideal pni es el ideal de funciones de A cuyos desarrollos de Taylor en xi hasta i orden ni , son desarrollos de Taylor en xi , hasta orden ni , de funciones de I. Procedamos a ver que entre las descomposiciones primarias de I hay una cannica. Siguiendo o nimo de modo que pni aparezca en alguna descomposicin primaria notaciones, para cada i, sea ni m o i de I. Entonces I = pn1 pnm m 1 Demos un mtodo de clculo. Dado pxj , supongamos que ya tenemos calculados los pni , cuando e a i nj1 pxi pxj , reordenando digamos que son pn1 , . . . , pj1 . 1

5.7.

Problemas
n n

79

j1 Bien, nj es el m nimo nmero natural de modo que pn1 pj1 pj j Ixj , que equivale a u 1 nj nj1 decir que (pn1 pj1 pj )xj = Ixj . 1 1 As sucesivamente vamos determinando los nj y obteniendo la descomposicin primaria cannica, o o

I = pn1 pnm m 1

5.7

Problemas

1. Sean N ,N submdulos de M , tales que M = N + N . Probar que M es noetheriano si y slo o o si N ,N son noetherianos. 2. Sean N ,N submdulos de M , tales que N N = 0. Probar que M es noetheriano si y slo si o o M/N ,M/N son noetherianos. 3. Sea M un A-mdulo noetheriano y N un A-mdulo nito. Probar que HomA (N, M ) es un o o A-mdulo noetheriano. o 4. Sea M un A-mdulo noetheriano. Probar que A/ Anul(M ) es un anillo noetheriano. o 5. Probar que si M es un A-mdulo noetheriano entonces M [x] es un A[x]-mdulo noetheriano. o o 6. Probar que si A[x] es noetheriano entonces A es noetheriano. 7. Probar que si Spec A = Uai , un A-mdulo M es noetheriano si y slo si Mai son Aai -mdulos o o o noetherianos para todo i. 8. Demostrar que
i

Z no es un anillo noetheriano.

9. Sea A un anillo noetheriano. Probar que existe un n N de modo que (rad A)n = 0. 10. Sea A un anillo noetheriano, e I A un ideal. Probar que existe un n N de modo que r(I)n I. 11. Sea A un anillo noetheriano y sea f = si cada ai es nilpotente.

i=0

ai xi A[[x]]. Demostrar que f es nilpotente si y slo o

12. Probar que si A es un anillo ntegro entonces (0) es irreducible. Probar que los ideales primos son irreducibles. 13. Probar que el ideal (x2 + y 2 z 2 , y z) k[x, y, z] es primario. 14. Probar que (x2 , xy, y 2 ) = (x2 , y) (x, y 2 ) es primario pero no irreducible. 15. Probar que en k[x, y] se cumple que (x) (x, y)2 = (x) (y, x2 ) Son las descomposiciones primarias unicas? 16. Sea m A un ideal maximal y p m un ideal primo tal que p m2 Puede ser p m2 un ideal primario?
1 Equivalentemente,
j1 j j nj es el m nimo n mero natural que cumple que (pn1 pj1 )(pxj ) (I) en Axj /pxj u 1

n +1

80

Cap tulo 5.

Anillos noetherianos

17. Probar que los ideales primos asociados al ideal cero de un anillo noetheriano A, son los ideales primos de A que coinciden con el anulador de algn elemento de A. u 18. Sea O un anillo noetheriano local de ideal maximal m. Sea I O un ideal tal que r(I) = m. Probar que mr I precisamente cuando mr I en O/mr+1 . 19. Calcular la descomposicin primaria de I = (xy, y + x2 + y 2 ) en C[x, y]. o 20. Calcular una descomposicin primaria reducida de los ideales o (a) I = (x, y) (x, y 1) en C[x, y]. (b) I = (x) (x, y) (x, y 1) en C[x, y]. 21. Hallar la descomposicin primaria del ideal generado en C[x, y] por las ecuaciones de: o (a) Un par de rectas y una recta. (b) Una recta doble y una recta. (c) Una cnica no singular y una recta. o (d) Una cnica no singular y un par de rectas. o (e) Una cnica no singular y una recta doble. o

Cap tulo 6

Variedades algebraicas anes

6.1 Introduccin o

Entendamos ahora variedad y subvariedad desde un punto de vista puramente geomtrico, es decir, e como el conjunto de soluciones sobre un cuerpo algebraicamente cerrado, de un sistema de ecuaciones algebraicas. En este cap tulo probaremos el teorema fuerte de los ceros de Hilbert, que dice que hay una correspondencia biun voca, salvo nilpotentes, entre los ideales del anillo de funciones algebraicas de una variedad algebraica y las subvariedades de las variedad algebraica. La descomposicin primaria o en anillos noetherianos, nos permitir decir con todo rigor, que los ideales del anillo de funciones a algebraicas de una variedad se corresponden con los conjuntos de funciones del anillo que se anulan en ciertas subvariedades algebraicas de la variedad y verican ciertas condiciones innitesimales a lo largo de un nmero nito de subvariedades de las subvariedades. En conclusin, tenemos una comprensin u o o geomtrica acabada de los ideales, es decir, de los sistemas de ecuaciones algebraicas. e En este cap tulo desarrollaremos la teor de la dimensin en variedades algebraicas. El teorema a o central, que usaremos para la demostracin del teorema de los ceros de Hilbert y el desarrollo de la o teor de la dimensin, ser el lema de Noether, que arma que toda variedad algebraica se proyecta a o a con bras nitas en un espacio af n.

6.2

Morsmos nitos
def

Denicin 6.2.1. Un morsmo de anillos f : A B se dice que es nito si B es un A-mdulo nito, o o con la estructura natural de A-mdulo que dene f en B (a b = f (a) b). En este caso, tambin se o e dice que B es una A-lgebra nita. a Ejemplo 6.2.2. R C es un morsmo nito. Proposicin 6.2.3. La composicin de morsmos nitos es nito. o o Demostracin. Sean A B C. Es decir, B = Ab1 + + Abn y C = Bc1 + + Bcm . Luego, o
n,m nito nito

C = (Ab1 + + Abn )c1 + + (Ab1 + + Abn )cm =

i=1,j=1

Abi cj

En conclusin, A C es un morsmo nito. o 81

82

Cap tulo 6.

Variedades algebraicas anes

Proposicin 6.2.4. Sea A B un morsmo nito y A C un morsmo de anillos. Se verica o que C = A A C B A C es un morsmo nito. Corolario 6.2.5. Si A B es un morsmo nito entonces AS BS y A/I B/I B son morsmos nitos Denicin 6.2.6. Sea A B un morsmo de anillos. Se dice que b B es entero sobre A si verica o una relacin del tipo o bn + a1 bn1 + + an = 0, con ai A Proposicin 6.2.7. Sean f : A B un morsmo de anillos y b B. Denotemos A[b] = {p(b) B, o para p(x) A[x]}. El morsmo A A[b] es nito b es entero sobre A. Demostracin. ) Sea b1 , . . . , bn un sistema generador del A-mdulo A[b]. Consideremos el endoo o morsmo de A-mdulos o b A[b] A[b] c c b Sea (aij ) una matriz asociada b en el sistema generador b1 , . . . , bn . Sea pc (x) = |(aij x Id| = xn + a1 xn1 + + an , con ai A. Se verica que pc (b) = 0, luego pc (b) = pc (b)(1) = 0 y b es entero sobre A. ) Sea p(x) = xn + a1 xn1 + + an , con ai A, tal que p(b) = 0. El epimorsmo A[x]/(p(x)) A[b], q(x) q(b) est bien denido. Por tanto, slo tenemos que demostrar que A[x]/(p(x)) es un a o A-mdulo nito generado. o 1, Veamos que x, . . . , xn1 es un sistema generador de A[x]/(p(x)) (de hecho, es una base): xn = (a1 xn1 + . . . + an ) x, . . ., xn1 1, xn+1 = (a1 xn + . . . + an x) x, x, . . ., xn x, . . ., xn1 1, ...

Observacin: Para la demostracin de ) slo es necesario suponer que A[b] est incluido en o o o a una A-lgebra nita. a Denicin 6.2.8. Dada una extensin de cuerpos k K y K, decimos que es algebraico o o sobre k, si es entero sobre k, que equivale a decir que es ra de un polinomio con coecientes en k. z Ejemplo 6.2.9. Si es una ra n-sima de la unidad, entonces Q Q() es un morsmo nito. z e Ejemplo 6.2.10. El morsmo Spec k[x, y]/(y 2 x2 + x3 ) Spec k[x] denido por (, ) es un morsmo nito. Proposicin 6.2.11. Sea f : A B un morsmo de anillos. El conjunto de elementos de B enteros o sobre A forman una A-sublgebra de B. a Demostracin. Sean b1 , b2 B enteros sobre A. Tenemos que A A[b1 ] es un morsmo nito, y o A[b1 ] A[b1 , b2 ] es un morsmo nito porque si b2 verica una relacin entera con coecientes en A, o o en particular la verica con coecientes en A[b1 ]. Por tanto, por la proposicin 6.2.3 A A[b1 , b2 ] es un morsmo nito. Luego, por la observacin anterior, todo elemento p(b1 , b2 ) A[b1 , b2 ] B, con o p(x, y) A[x, y], es entero sobre A. Hemos concluido.

6.2.

Morsmos nitos

83

Lema 6.2.12. Sea k un cuerpo. Las k-lgebras nitas a ntegras son cuerpos. Demostracin. Sea A una k-lgebras nita o a ntegra. Dado a A no nula, la homotecia A A, b ba es inyectivo por la integridad de A. Por tanto, por dimensiones, es isomorsmo. Luego a es invertible y A es cuerpo. Lema 6.2.13. Sea k un cuerpo. El espectro de una k-lgebra nita es un nmero nito de puntos a u cerrados. Demostracin. Las k-lgebras nitas son anillos noetherianos luego tienen un nmero nito de ideales o a u primos minimales. Si hacemos cociente por un ideal primo minimal obtenemos una k-lgebra nita a ntegra, luego es un cuerpo por el lema anterior. Por tanto, los ideales primos minimales son maximales y hemos concluido. Corolario 6.2.14. Sea A una k-lgebra nita y {x1 , . . . , xn } = Spec A. Se cumple que el morsmo a natural A Ax1 Axn es un isomorsmo. Luego toda k-lgebra nita es un producto de un nmero nito de k-lgebras a u a nitas locales. Demostracin. Para probar que un morsmo es isomorsmo basta verlo localmente. (Ax1 o Axn )xi = Axi porque (Axj )xi = 0 si i = j y (Axi )xi = Axi . Se concluye inmediatamente. Lema 6.2.15. Si f : A B es un morsmo nito e inyectivo, entonces el morsmo inducido f : Spec B Spec A es epiyectivo. Demostracin. Dado x Spec A, el morsmo Ax Bx es nito e inyectivo. Por Nakayama, px Bx = o Bx , luego Spec Bx /px Bx = . Es decir, la bra de x es no vac luego f es epiyectivo. a, Denicin 6.2.16. Llamaremos dimensin de Krull de un anillo A al supremo de las longitudes de o o las cadena de ideales primos de A, o equivalentemente al supremo de las longitudes de las cadenas de cerrados irreducibles de Spec A. Denotaremos a la dimensin (de Krull) de A por dim A. o Ejercicio 6.2.17. Demostrar que la dimensin de Krull de C[x, y] es dos. o Teorema 6.2.18. Si f : A B es un morsmo nito entonces el morsmo inducido f : Spec B Spec A es una aplicacin cerrada de bras de dimensin cero y nitas. o o Demostracin. Sea C = (J)0 un cerrado de Spec B. Debemos demostrar que f (C) es un cerrado de o Spec A. Consideremos los diagramas A
f a

Spec A

Spec B

A/J A B/J

(J A)0 = Spec A/J A Spec B/J = C

f |C

Basta ver que f |C es epiyectiva. Ahora bien, como A/J A B/J es un morsmo nito inyectivo, por el lema anterior concluimos que f |C es epiyectiva. La bra de un punto x Spec A es f 1 (x) = Spec Bx /px Bx . Observemos que si f 1 (x) = entonces Bx /px Bx es una Ax /px -lgebra nita. Concluimos por el lema 6.2.13 a

84

Cap tulo 6.

Variedades algebraicas anes

Ejercicio 6.2.19. Probar que la inclusin natural k[x] k[x, y]/(xy 1) no es un morsmo nito. o Teorema 6.2.20 (del ascenso). Sea f : A B un morsmo nito. Sean px px A y py B ideales primos, de modo que f 1 (py ) = px . Existe un ideal primo py B, de modo que py py y f 1 (py ) = px . Demostracin. Por el teorema anterior f : Spec B Spec A es una aplicacin cerrada. Por tanto, o o f () = x. Luego como x x, existe un y y tal que f (y ) = x . Es decir, py py y y f 1 (py ) = px . Corolario 6.2.21. Si f : A B es un morsmo nito de modo que f : Spec B Spec A es epiyectivo (por ejemplo, si f es inyectivo) entonces dim A = dim B. Demostracin. Dada una cadena estricta de cerrados irreducibles y1 y2 yn de Spec B, o f (y1 ) f (y2 ) f (yn ) es una cadena de cerrados irreducibles estricta de Spec A, pues las bras son de dimensin cero (6.2.18). Por tanto, dim B dim A. o Sea ahora una cadena estricta de cerrados irreducibles x1 x2 xn de Spec A. Sea yn Spec B, tal que f (yn ) = xn . Por el teorema del ascenso, existe yn1 yn tal que f (yn1 ) = xn1 . As sucesivamente, obtendremos una cadena estricta de cerrados irreducibles y1 y2 yn de Spec B (de imagen por f , la cadena de Spec A). Por tanto, dim A dim B, luego dim A = dim B. Como curiosidad veamos el siguiente ejercicio. Denicin 6.2.22. Sea : X = Spec B Y = Spec A un morsmo de variedades. Dado x Y o denotemos k(x) = Ax /px Ax . Diremos que el nmero de puntos de la bra de x es u dimk(x) Bx /px Bx (Recordemos que la bra de x es Spec Bx /px Bx ). Ejercicio 6.2.23. Sea Spec A una curva ntegra y : Spec A Spec k[x] un morsmo de k-variedades. Se cumple que es nito el nmero de puntos de las bras es nito y constante. u Resolucin: ) A es un k[x]-mdulo nito sin torsin, por tanto, por 3.2.4, A k[x] . n . k[x]. o o o . Dado un punto x Spec k[x], localizando en x, obtenemos Ax k[x]x . n . k[x]x Tensorializando . por k[x]x k(x), obtenemos dimk(x) Ax /px Ax = dimk(x) k(x) . n . k(x) = n . que no depende del punto x. ) Sea n el nmero de puntos de cualquier bra. Dado x Spec k[x], veamos que Ax es un u k[x]x -mdulo libre de rango n. Sea m1 , . . . , mn Ax , de modo que m1 , . . . , mn sea una base de o Ax /px Ax . Tenemos que m1 , . . . , mn k[x]x es un k[x]x -mdulo libre porque es nito y sin torsin; de o o o rango n porque m1 , . . . , mn /px m1 , . . . , mn es de dimensin n, porque es igual a Ax /px Ax . Dado m Ax , se cumple que m1 , . . . , mn , m k[x]x es un mdulo libre de rango menor o igual que n, porque o a localizando en el punto genrico de k[x], g, est incluido en Ag , que es de rango n. Ahora ya, se tiene e que m1 , . . . , mn k[x]x = m1 , . . . , mn , m k[x]x porque m1 , . . . , mn son linealmente independientes en m1 , . . . , mn , m /px m1 , . . . , mn , m ya que lo son en Ax /px Ax y por dimensiones forman una base. Por tanto, Ax = m1 , . . . , mn k[x]x .

6.3.

Normalizacin de Noether y ceros de Hilbert o

k[x]g .

85

Observemos, que Ag = m1 , . . . , mn

Dado A, el polinomio caracter stico del endomor

smo Ax Ax , coincide con el polinomio caracter stico de Ag Ag , para todo x Spec k[x]. Por tanto, el polinomio caracter stico tiene coecientes en k[x], anula a , luego es entero sobre k[x]. En conclusin A es un k[x]-mdulo nito. o o Ejercicio 6.2.24. Sean A y B k-lgebras de tipo nito a ntegras de dimensin 1, supongamos adems o a que B es anillo de ideales principales. Sea : Spec A Spec B un morsmo de k-variedades. Se cumple que es nito el nmero de puntos de las bras de es nito y constante. u

6.3

Normalizacin de Noether y ceros de Hilbert o

Denicin 6.3.1. Sea A una k-lgebra. Diremos que 1 , . . . , n A son algebraicamente independientes o a sobre k cuando el morsmo de k-lgebras k[x1 , . . . , xn ] A, p(x1 , . . . , xn ) p(1 , . . . , n ) sea inyeca i i tivo; es decir, cuando cualquier relacin algebraica i1 ...in ai1 ...in 11 . . . nn = 0, con coecientes en k, o tenga todos sus coecientes nulos. Lema 6.3.2 (de normalizacin de Noether). Sea A = k[1 , . . . , n ] una k-lgebra de tipo nito. o a Supongamos que k tiene un nmero innito de elementos1 . Existe un morsmo nito inyectivo u k[x1 , . . . , xr ] A Toda variedad algebraica af se proyecta de modo nito en un espacio af n n. Demostracin. Vamos a hacerlo por induccin sobre n. Para n = 0, no hay nada que decir (k = k). o o Supongamos que el teorema es cierto hasta n 1. Sea r el nmero mximo de {i } algebraicamente independientes entre s Si r = n, entonces u a . k[1 , . . . , n ] = k[x1 , . . . , xn ]. Podemos suponer entonces que n es algebraico sobre k[1 , . . . , n1 ]. Luego existe un p(x1 , . . . , xn ) k[x1 , . . . , xn ], donde la variable xn aparece, de modo que p(1 , . . . , n ) = 0. Escribamos p(x1 ,. . ., xn ) = ps (x1 ,. . ., xn ) + ps1 (x1 ,. . ., xn ) + . . . + p0 (x1 ,. . ., xn ) como suma de polinomios pi (x1 , . . . , xn ) homogneos de grado i. Sean xi = xi + i xn , entonces e p(x1 + 1 xn , . . ., xn1 + n1 xn , xn ) = ps (1 , . . ., n1 , 1)xs + n polinomio en x1 , . . ., xn1 , xn de grado en xn menor que s As pues, si eligimos 1 , . . . , n1 k de modo que ps (1 , . . . , n1 , 1) = 0, tendremos que n es o entero sobre k[1 , . . . , n1 ]. Por tanto, la composicin k[x1 ,. . ., xr ]
nito Hip.ind.

k[1 , . . . , n1 ] k[1 ,. . ., n1 , n ] = k[1 ,. . ., n1 , n ]

nito

es el morsmo nito buscado. Denicin 6.3.3. Sea A una k-lgebra, diremos que x Spec A es un punto racional si A/px = k. o a Proposicin 6.3.4. Sea A = k[x1 , . . . , xn ]/I e I = (p1 (x1 , . . . , xn ), . . . , pm (x1 , . . . , xn )). Se cumple o que los puntos racionales de Spec A se correspoden biyectivamente con las soluciones del sistema de ecuaciones p1 (x1 , . . . , xn ) = 0, . . . , pm (x1 , . . . , xn ) = 0
1 Esta

hiptesis no es necesaria, slo la imponemos porque la demostracin del lema es algo ms sencilla. o o o a

86

Cap tulo 6.

Variedades algebraicas anes

Demostracin. Sea x Spec k[x1 , . . . , xn ]. Si k[x1 , . . . , xn ]/px = k, entonces xi = i k. Por tanto, o xi i px y se cumple que px = (x1 1 , . . . , xn n ). Adems, se cumple la inclusin I = a o (p1 (x1 , . . . , xn ), . . . , pm (x1 , . . . , xn )) px si y slo si p1 (1 , . . . , n ) = 0, . . . , pm (1 , . . . , n ) = 0. En o conclusin, como los puntos racionales de A, se corresponden con los puntos racionales de k[x1 , . . . , xn ] o que contienen a I, los puntos racionales de A se corresponden biyectivamente con las soluciones del sistema de ecuaciones p1 (x1 , . . . , xn ) = 0, . . . , pm (x1 , . . . , xn ) = 0

Teorema 6.3.5 (Teorema de los ceros de Hilbert). Sea k[1 , . . . , n ] una k-lgebra de tipo nito a y m un ideal maximal. Entonces k[1 , . . . , n ]/m es una extensin nita de k. En particular, si k es o algebraicamente cerrado k = k[1 , . . . , n ]/m. Todo punto cerrado de una variedad algebraica af n sobre un cuerpo algebraicamente cerrado es racional. Demostracin. Obviamente k[1 , . . . , n ]/m es una k-lgebra de tipo nito sobre k. Por el lema de o a normalizacin de Noether, existe un morsmo nito o k[x1 , . . . , xr ] k[1 , . . . , n ]/m Por tanto, el trmino de la izquierda de la echa ha de tener dimensin cero, luego r = 0 y concluimos. e o Ejercicio 6.3.6. Calcular los ideales maximales de C[x1 , . . . , xn ] y los de C[x1 , x2 , x3 ]/(x2 + x2 + 2 1 x2 1). 3 Ejercicio 6.3.7. Sean X = Spec A y Y = Spec B dos variedades algebraicas sobre un cuerpo algebraicamente cerrado k. Denamos X k Y = Spec A k B. Probar que los puntos cerrados de la variedad algebraica X k Y son el producto cartesiano de los puntos cerrados de X pos los de Y . Proposicin 6.3.8. Sea f : X = Spec B Y = Spec A un morsmo entre variedades algebraicas o anes. La imagen por f de un punto cerrado es un punto cerrado. Demostracin. Dado un punto cerrado x X y f (x) = y, tenemos que py = f 1 px , luego el morsmo o A/py B/px es inyectivo. Por el teorema de los ceros de Hilbert, B/px es una extensin nita de k, o por tanto A/py tambin, luego es un cuerpo. Es decir, f (x) = y es un punto cerrado. e Corolario 6.3.9. Sea U X un abierto de una variedad algebraica af Los puntos cerrados de U n. se corresponden con los puntos cerrados de X que yacen en U . Demostracin. Sea x U un punto cerrado, sea Ua = Spec Aa X = Spec A un abierto bsico o a 1 conteniendo a x, tal que Ua U . Obviamente x es un punto cerrado de Ua . Aa = A[ a ] es una o k-lgebra de tipo nito, luego Ua = Spec Aa es una variedad algebraica. Por la proposicin anterior a aplicada a la inclusin Ua X, tenemos que x es un punto cerrado de X. Hemos concluido. o Corolario 6.3.10 (forma fuerte de los ceros de Hilbert). Sea k[1 ,. . ., n ] una k-lgebra de tipo a nito y f k[1 , . . . , n ]. Si f se anula en todo ideal maximal entonces es nilpotente. En particular, o n ntegra, sobre si una funcin se anula en todos los puntos racionales de una variedad algebraica af un cuerpo algebraicamente cerrado, entonces es nula.
def

6.4.

Grado de trascendencia y dimensin o

87

Demostracin. Por el corolario anterior, el conjunto de los ideales maximales de k[1 , . . . , n ]f , se o corresponde biyectivamente con el conjunto de los ideales maximales de k[1 , . . . , n ] que no contienen a f . Como este ultimo conjunto es vac tenemos que k[1 , . . . , n ]f = 0, es decir, f es nilpotente. o, Denicin 6.3.11. Diremos que X = Spec A es o ntegra si A es un anillo ntegro. Corolario 6.3.12. Las subvariedades algebraicas ntegras estn determinadas por sus puntos cerrados. a Demostracin. Sea X = Spec A una variedad algebraica y Y X una subvariedad algebraica o ntegra. Sea p el ideal primo de las funciones que se anulan en Y . Basta ver p = mx
pmx

x=x

Obviamente el primer trmino de la igualdad est incluido en el segundo. Haciendo cociente por p, e a tenemos 0 mx en A/p. Por el corolario anterior mx son los nilpotentes. Ahora bien A/p es
x=x x=x

ntegra, luego 0 = mx . Hemos concluido.

x=x

6.4

Grado de trascendencia y dimensin o

Denicin 6.4.1. Un morsmo de cuerpos K K diremos que es algebraico, si todo elemento de o K es entero sobre K. Sea una extensin de un cuerpo k y 1 , . . . , n . Diremos que n depende algebraicamente o de 1 , . . . , n1 si n es entero sobre k(1 , . . . , n1 ). Denicin 6.4.2. Sea una extensin de un cuerpo k. Diremos que 1 , . . . , n forman una o o base de trascendencia de sobre k cuando sean algebraicamente independientes y sea una extensin o algebraica de k(1 , . . . , n ); es decir, si son algebraicamente independientes sobre k y todo elemento de depende algebraicamente de 1 , . . . , n . Teorema 6.4.3. Sea una extensin de un cuerpo k generada por un nmero nito de elementos. o u Existen bases de trascendencia de sobre k y todas tienen el mismo nmero de elementos, llamado u grado de trascendencia de sobre k. Demostracin. Sea = k(1 , . . . , r ). Reordenando los generadores si fuera preciso, podemos suo poner que 1 , . . . , n son algebraicamente independientes sobre k y i depende algebraicamente de 1 , . . . , n para todo n + 1 i r. Por 6.2.3, k(1 , . . . , n , . . . , r ) = es una extensin algebraica de o k(1 , . . . , n ) y concluimos que {1 , . . . , n } es una base de trascendencia de sobre k. Por otra parte, si {y1 , . . . , ym } es otra base de trascendencia de sobre k, probaremos por induccin sobre i que, o reordenndola si fuera preciso, es una extensin algebraica de k(1 , . . . , i , yi+1 , . . . , ym ). Cuando a o o o i = 0 es cierto, pues es una extensin algebraica de k(y1 , . . . , ym ). Si i 1, por hiptesis de induccin i es algebraico sobre k(1 , . . . , i1 , yi , . . . , yn ), as que 1 , . . . , i , yi , . . . , ym son algebraicamente o dependientes sobre k. Como 1 , . . . , i son algebraicamente independientes, reordenando yi , . . . , ym podemos suponer que yi es algebraico sobre k(1 , . . . , i , yi+1 , . . . , ym ). Por hiptesis de induccin o o e es algebraico sobre k(1 , . . . , i , yi , . . . , ym ) y concluimos que tambin es algebraico sobre el cuerpo k(1 , . . . , i , yi+1 , . . . , ym ). Ahora, si m fuera menor que n, tendr amos que es algebraico sobre o k(1 , . . . , m ), contra la hiptesis de que 1 , . . . , m , m+1 son algebraicamente independientes. Luego m n. Por igual razn n m y n = m. o

88

Cap tulo 6.

Variedades algebraicas anes

Ejemplo 6.4.4. Sea k un cuerpo. El cuerpo k(x1 , . . . , xn ) de las funciones racionales en el espacio af An tiene grado de trascendencia n, porque las funciones x1 , . . . , xn forman claramente una base n de trascendencia sobre k. Ejemplo 6.4.5. Sea p(x1 , . . . , xn ) un polinomio irreducible con coecientes en un cuerpo k. Si el grado de p en xn es 1, entonces el cuerpo k(1 , . . . , n ) de las funciones racionales sobre la hipersupercie p(x1 , . . . , xn ) = 0 tiene grado de trascendencia n 1 sobre k, porque una base de trascendencia es {1 , . . . , n1 }. Notacin: Denotaremos por gr tr K por el grado de trascendencia de K. o Teorema 6.4.6. Sea A una k-lgebra de tipo nito a ntegra. La dimensin de Krull de A coincide o con el grado de trascendencia de su cuerpo de fracciones. Demostracin. Vamos a demostrarlo por induccin sobre el grado de trascendencia. Si el grado de o o trascendencia del cuerpo de fracciones de A es cero, entonces ste es una k-extensin nita de k, luego e o A es una k-lgebra nita a ntegra. Por tanto, A es un cuerpo y su dimensin de Krull es cero. As o pues podemos suponer que el grado de trascendencia del cuerpo de funciones de A es mayor que cero. Por el lema de Noether existe un morsmo nito k[x1 , . . . , xn ] A. Localicemos en el punto genrico de k[x1 , . . . , xn ] y escribamos S = k[x1 , . . . , xn ] 0 e k(x1 , . . . , xn ) AS , ntegra Por 6.2.12 el anillo AS es un cuerpo, luego AS es el cuerpo de fracciones de A. Por tanto, gr tr AS = gr tr k(x1 , . . . , xn ) = n. Por otra parte, dim k[x1 , . . . , xn ] = dim A, por 6.2.21. As pues, podemos suponer que A = k[x1 , . . . , xn ] y tenemos que ver que su dimensin de Krull es o n. Sea 0 p1 pm
nito

una cadena de longitud mxima de ideales primos de k[x1 , . . . , xn ]. Sea p p1 , no nulo e irreducible. a Como k[x1 , . . . , xn ] es un dominio de factorizacin unica (p) es un ideal primo, luego (p) = p1 . El o anillo k[x1 , . . . , xn ]/(p) es ntegro cuyo cuerpo de fracciones es de grado de trascendencia n 1. Por induccin sobre el grado de trascendencia, las cadenas de ideales primos en k[x1 , . . . , xn ]/(p) son de o longitud menor o igual que n 1. Haciendo cociente por (p) la cadena dene la cadena de ideales primos 2 m 0 p p Luego m 1 n 1. Ahora bien, en k[x1 , . . . , xn ] hay una cadena de longitud n 0 (x1 ) (x1 , x2 ) (x1 , . . . , xn ) Luego n m. En conclusin n = m es la dimensin de Krull k[x1 , . . . , xn ]. o o Ejercicio 6.4.7. Sean X = Spec A, Y = Spec B y X k Y = Spec A k B variedades algebraicas. Demostrar que dim(X k Y ) = dim X + dim Y Ejercicio 6.4.8. Sea f : X Y un morsmo entre variedades algebraicas. Sea C X un cerrado. Demostrar que dim C dim f (C)
def

6.5.

Catenariedad de las variedades algebraicas

89

6.5

Catenariedad de las variedades algebraicas

Teorema 6.5.1 (del ideal principal de Krull). Sea X = Spec A una variedad algebraica ntegra. Sea f A, no nula y no invertible. Se verica que la dimensin de toda componente irreducible de o (f )0 es dim X 1. Demostracin. Podemos suponer que (f )0 slo tiene una componente irreducible: Sea (f )0 = C1 o o Cr la descomposicin de (f )0 en sus componentes irreducibles. Sea g A una funcin que se anule o o en C2 Cr pero no en C1 . Sea U = Spec A(g)0 = Spec Ag . U es una variedad algebraica ntegra de la misma dimensin que X, ya que tienen el mismo cuerpo de funciones. Adems (f )0 |U = C1 |U . o a Sustituyendo X por U , podemos suponer que (f )0 slo tiene una componente irreducible. o Sea por el lema de normalizacin de Noether k[x1 , . . . , xn ] A un morsmo nito inyectivo. o Veamos que podemos suponer que A es k[x1 , . . . , xn ][f ]: El morsmo k[x1 , . . . , xn ][f ] A es un morsmo nito e inyectivo. Denotemos : Spec A Spec k[x1 , . . . , xn ][f ] (nito, y epiyectivo) el morsmo inducido en los espectros. Se tiene que 1 ((f )0 ) = (f )0 . Por tanto, dim(f )0 en Spec A es igual a dim(f )0 en Spec k[x1 , . . . , xn ][f ]. As pues, podemos suponer que A = k[x1 , . . . , xn ][f ]. Consideremos el morsmo k[x1 , . . . , xn ] k[x1 , . . . , xn ][f ] (nito e inyectivo) Sea p(x1 , . . . , xn , xn+1 ) un polinomio irreducible tal que p(x1 , . . . , xn , f ) = 0. El epimorsmo k[x1 , . . . , xn+1 ]/(p(x1 , . . . , xn , xn+1 )) k[x1 , . . . , xn ][f ], xn+1 f es un isomorsmo, porque k[x1 , . . . , xn+1 ]/(p(x1 , . . . , xn , xn+1 )) es un anillo de dimensin n, o ntegro y si hubiese ncleo la dimensin de k[x1 , . . . , xn ][f ] ser menor que n. u o a En conclusin A = k[x1 , . . . , xn+1 ]/(p(x1 , . . . , xn , xn+1 )) y f = xn+1 . Por tanto, o dim(f )0 = dim A/(f ) = dim k[x1 , . . . , xn+1 ]/(p(x1 , . . . , xn , xn+1 ), xn+1 ) = dim k[x1 , . . . , xn ]/(p(x1 , . . . , xn , 0)) = n 1 Slo nos falta ver la igualdad . Escribamos p(x1 , . . . , xn , 0) = p1 pr como producto de o irreducibles. Tenemos que dim(pi )0 = dim k[x1 , . . . , xn ]/(pi ) = n 1 porque el grado de trascendencia del cuerpo de funciones de k[x1 , . . . , xn ]/(pi ) es n 1. Por tanto, dim k[x1 , . . . , xn ]/(p(x1 , . . . , xn , 0)) = dim(p)0 = dim((pi )0 ) = n 1
i

Denicin 6.5.2. Una cadena de cerrados irreducibles diremos que es maximal si no est incluida o a en ninguna otra mayor. Corolario 6.5.3. Toda cadena de cerrados irreducibles maximal de una variedad algebraica irreducible tiene la misma longitud.

90

Cap tulo 6.

Variedades algebraicas anes

Demostracin. Sea X = Spec A la variedad algebraica irreducible. Sea x el punto genrico de X. o e Obviamente X es homeomorfo como espacio topolgico a Spec A/px . Por tanto, podemos suponer o que la variedad algebraica es ntegra. Demostraremos el corolario por induccin sobre la dimensin o o de Krull. Sea X X1 Xm una cadena de cerrados irreducibles maximal. Sea f A una funcin no o o nula, que se anule en X1 . Sea (f )0 = Y1 Yr la descomposicin de (f )0 en cerrados irreducibles, obviamente X1 aparece. Por el teorema anterior dim X1 = dim X 1, luego por induccin sobre la o dimensin m 1 = dim X1 = dim X 1, y por tanto m = dim X. o Denicin 6.5.4. Se dice que una variedad algebraica es catenaria si toda cadena de cerrados irreo ducibles maximal con extremos cualesquiera prejados tiene la misma longitud. Corolario 6.5.5. Las variedades algebraicas son catenarias. Demostracin. Sean Y Y cerrados irreducibles de una variedad algebraica X. Sea Y Y1 o Ym una cadena de cerrados irreducible maximal de Y . Toda cadena de cerrados irreducibles maximal de extremos Y, Y , junto con esta cadena, dene una cadena maximal de Y ampliada. Como las cadenas ampliadas son todas de la misma longitud, por el corolario anterior aplicado a Y , concluimos que toda las cadenas maximales de cerrados irreducibles de extremos Y, Y , tienen la misma longitud. Ejercicio 6.5.6. Sean Y, Y subvariedades irreducibles de An . Supongamos que Y Y = . Demustrese que e codim Y + codim Y codim(Y Y ) Ejercicio 6.5.7. Sea f : X Y un morsmo entre variedades algebraicas irreducibles. Sea y f (X) un punto cerrado. Demustrese que e dim f 1 (y) dim X dim f (X)

6.6

Problemas

1. Denir el grupo multiplicativo Gm de los elementos no nulos de un cuerpo k, como variedad algebraica sobre k, as como los morsmos Gm Gm Gm y Gm Gm correspondientes al producto y paso al inverso. Anlogamente para el grupo aditivo Ga de los elementos de k con a la operacin de la suma de k. o 2. Sea 6 = Spec k[x]/(x6 1) el grupo de las ra sextas de la unidad sobre un cuerpo k. Deterces u minar si es una variedad ntegra o reducida, y calcular el nmero de componentes irreducibles cuando k = Q, R, C, Z/2Z, Z/3Z, Z/5Z. Denir los morsmos 6 6 6 , 6 6 correspondientes a la nocin intuitiva de producto o y paso al inverso en este grupo. Denir el concepto de morsmo de grupos 6 6 y del ncleo u del mismo. Probar entonces que : 6 6 , 2 , es morsmo de grupos y calcular el u ncleo. 3. Sea X una variedad algebraica af n ntegra. Si dos morsmos de X en otra variedad algebraica af coinciden en un abierto no vac de X, probar que coinciden en X. n o

6.6.

Problemas

91

4. Poner un ejemplo de variedad algebraica que sea la unin de dos componentes no disjuntas, una o de dimensin 2, la otra de dimensin 1. o o 5. Sean X, Y variedades algebraicas ntegras sobre un cuerpo k y sean X , Y sus respectivos e cuerpos de funciones racionales. Si : Y X es un morsmo que transforma el punto genrico de Y en el punto genrico de X (lo que equivale a que tenga imagen densa), induce un morsmo e de k-lgebras X Y . Diremos que es un morsmo de grado n cuando Y sea una a extensin nita de grado n de X . Los morsmos de grado 1 se llaman morsmos birracionales. o Diremos que X e Y son birracionalmente equivalentes si sus cuerpos de funciones racionales son extensiones de k isomorfas: X Y . Las variedades algebraicas birracionalmente equivalentes n a un espacio af se llaman racionales. Es decir, una variedad algebraica sobre k es racional si su cuerpo de funciones racionales es isomorfo a un cuerpo de fracciones racionales k(x1 , . . . , xn ) con coecientes en k. (a) Sea C la cbica plana y 2 = x2 + x3 . El haz de rectas y = tx dene un morsmo birracional u A1 C, x = t2 1, y = t3 t. Calcular el rea del ojo del lazo denido por la curva a y 2 = x2 + x3 . (b) Sea C la cbica plana y 2 = x3 . El haz de rectas y = tx dene un morsmo birracional u A1 C, x = t2 , y = t3 . 6. Sea k K una extensin nita de cuerpos y X = Spec A una k-variedad algebraica. Probar o que el morsmo natural XK = Spec A k K X = Spec A de cambio de base es epiyectivo y cerrado. 7. Sea A un anillo ntegro y a A no invertible, ni nula. Probar que el morsmo de localizacin o A Aa no es nito. 8. Sea A B un morsmo de anillos de modo que B = Bi , donde Bi son sub-A-lgebras nitas a de B (es decir, A B es un morsmo entero). Probar que el morsmo Spec B Spec A es cerrado de bras de dimensin cero. o 9. Sean p(x, y) y q(x, y) polinomios de k[x, y] sin factores comunes. Demostrar que la k-lgebra a k[x, y]/(p(x, y), q(x, y)) es nita. 10. Probar que el morsmo Spec C[z] Spec C[x, y]/(y 2 x2 + x3 ), (2 + 1, (2 + 1)) es nito. 11. Probar que el morsmo : C[x, y] C[x, z], (x) = x, (y) = xz, no es nito. 12. Sea m k[x1 , . . . , xn ] un ideal maximal. Probar que m est generado por n funciones Puede a estar generado por n 1 funciones? 13. Sea : X = Spec A A1 = Spec k[x] un morsmo nito y supongamos que X es una variedad algebraica ntegra (de dimensin 1). Probar que el nmero de puntos de las bras de es o u constante. 14. Supngase conocido el siguiente resultado:Si k K es una extensin nita de cuerpos de o o caracter stica cero, entonces existe un K de modo que K = k(). Demostrar que toda ntegra, sobre C, es birracionalmente isomorfa a una hipersupercie de un variedad algebraica espacio af n.

92

Cap tulo 6.

Variedades algebraicas anes

15. Se dice que en general los puntos de una variedad algebraica irreducible cumplen una propiedad si existe un abierto de la variedad cuyos puntos cumplen la propiedad. Probar que en general los polinomios en dos variables de grado menor o igual que n son irreducibles. 16. Demostrar que en general las matrices cuadradas son invertibles. Sean A y B dos matrices cuadradas de orden n, probar que cAB (x) = cBA (x). 17. Dada una curva plana compleja p(x, y) = 0, y un punto de la curva (, ), diremos que es p p singular si x (, ) = y (, ) = 0. Demostrar que (, ) es singular si y slo si toda recta que o pasa por (, ) corta con multiplicidad mayor que uno a la curva en el punto.
p p Si (, ) es no singular, diremos que la recta x (, ) + y (, ) = 0 es tangente a la curva en (, ). Demostrar que una recta es tangente en un punto singular (, ), si y slo si corta a la o curva con multiplicidad mayor que uno en (, ).

Cap tulo 7

Variedades proyectivas
7.1 Introduccin o

En Geometr Lineal el marco af pronto se muestra excesivamente estrecho y es necesario la a n introduccin de los espacios proyectivos. Lo mismo sucede en Geometr Algebraica, donde habr que o a a introducir el concepto de variedad proyectiva. Por poner un ejemplo de esta necesidad, digamos que el teorema de Bzout, que arma que dos curvas planas de grados n y m, se cortan en n m puntos, e es un enunciado en el plano proyectivo, pues es necesario para la validez de este teorema considerar los puntos del innito. Del modo ms simple, podemos decir que la Geometr Algebraica es el estudio de las soluciones a a de un sistema de ecuaciones polinmicas en un espacio proyectivo, es decir el estudio de las variedades o algebraicas proyectivas. En Geometr lineal se dene el espacio proyectivo asociado a un espacio vectorial como el conjunto a de rectas del espacio vectorial (que pasan por el origen). En Geometr Algebraica vamos a denir de a modo equivalente a partir de An = Spec C[x1 , . . . , xn ] el espacio proyectivo. Las unicas subvariedades V que queremos considerar en An son las variedades homogneas, es decir, las que contengan para e todo punto cerrado p V las rectas que pasan por p y el origen. As las subvariedades homogneas , e de dimensin menor sern las rectas que pasan por el origen, que se correspondern con los puntos o a a cerrados del espacio proyectivo que queremos asociarle a An . Si p(x1 , . . . , xn ) k[x1 , . . . , xn ] es una funcin que se anula en la variedad homognea V , escrio e bamos p(x1 , . . . , xn ) = ps (x1 , . . . , xn ) + + pm (x1 , . . . , xn ) como suma de polinomios homogneos. e Tendremos que p(x1 , . . . , xn ) = s ps (x1 , . . . , xn ) + + m pm (x1 , . . . , xn ) = 0 en V Por tanto, pi (x1 , . . . , xn ) = 0 en V , para todo i. En conclusin, V = (I)0 , donde I es un ideal generado o por polinomios homogneos. Es fcil ver el rec e a proco, es decir, si V = (I)0 donde I es un ideal generado por polinomios homogneos, entonces para todo punto cerrado p = (1 , . . . , n ) V las rectas que e pasan por p y el origen estn contenidas en V . En particular, las subvariedades homogneas V An a e minimales son las rectas que pasan por el origen. Diremos que el espacio proyectivo Pn1 = Proj C[x1 , . . . , xn ] asociado a C[x1 , . . . , xn ] es el sube conjunto de An de los ideales primos de C[x1 , . . . , xn ] generados por polinomios homogneos. Si consideramos en Pn1 la topolog inducida por An , tendremos que los puntos cerrados de Pn1 se a 93

94

Cap tulo 7.

Variedades proyectivas

corresponden con las variedades homogneas de An de dimensin ms pequea, que son justamente e o a n las rectas de An que pasan por el origen. h En Geometr Proyectiva se demuestra que Pn1 est recubierto por los subconjuntos Uxi = {rectas a a n de C = {(x1 , . . . , xn ) | xi C} que pasan por el origen y no yacen en el hiperplano xi = 0} y que stos se corresponden con los puntos del espacio af An1 , del modo siguiente: El morsmo e n An {xi = 0} An1 , (1 , . . . , n ) ( n 1 ,..., ) i i

tiene por bras las rectas que pasan por el origen y no yacen en el hiperplano xi = 0, es decir, induce la igualdad
h Uxi = {rectas (1 , . . . , n ) | i = 0}

An1

(1 , . . . , n )

/ ( 1 , . . . , n ) i i

h En Algebra Conmutativa, se prueba que Uxi = { x Proj C[x1 , . . . , xn ] que no yacen en (xi )0 } se o identica con Proj C[x1 , . . . , xn ]xi ; y la composicin de los morsmos morsmo h Uxi



/ An (xi )0 (1 , . . . , n ) C[x1 , . . . , xn ]xi o

/ An1 / ( 1 , . . . , n ) i i ? _ C[ x1 , . . . , xn ] x x
i i

h induce un homeomorsmo Uxi = Proj C[x1 , . . . , xn ]xi h Pn1 = Uxi . i

Spec C[ x1 , . . . , xn ]. Adems se prueba que a xi xi

7.2

Espectro proyectivo

Procedamos con todo rigor y generalidad. Denicin 7.2.1. Diremos que un anillo R = Rn es un lgebra graduada si los Ri son subgrupos o a de R con la suma y si para cada ri Ri y rj Rj , entonces ri rj Ri+j Denicin 7.2.2. Sea R = Rn un lgebra graduada. Diremos que un ideal I R de un lgebra o a a
nZ nZ

graduada es homogneo si est generado por elementos homogneos, es decir, I = (ij )jJ con ij Rnj . e a e Ejercicio 7.2.3. Probar que un ideal I R es homogneo si cumple que si f = fs +fs+1 + +fn I e (fi elemento homogneo de grado i) entonces fi I para todo i. e Llamaremos ideal irrelevante de R al ideal ( Rn ). .
n0

Denicin 7.2.4. Llamaremos espectro proyectivo de R, y lo denotaremos Proj R, al conjunto de o ideales primos homogneos que no contienen al ideal irrelevante. e

7.2.

Espectro proyectivo

95

Evidentemente Proj R Spec R. Consideraremos Proj R como espacio topolgico con la too polog inicial heredada de la topolog de Zariski de Spec R. Si denotamos (f )h a los ideales a a 0 primos homogneos que contienen a f R y escribimos f = fn + fn+1 + fm , es obvio que e (f )h = (fn , . . . , fm )h = (fn )h (fm )h . Por tanto, una base de abiertos de la topolog de Proj R a 0 0 0 0 son los abiertos
h / Uf = {x Proj R, f px }, (f homogneo) e

Si fm Rm es un elemento homogneo, entonces Rfm es una lgebra homognea, diciendo que el e a e gn grado de f r Rfm es n mr, para cada gn Rn .
m

Denicin 7.2.5. Diremos que un morsmo de lgebras : R R graduadas es un morsmo o a graduado de grado m N, si para cada fn Rn entonces (fn ) Rnm . Si : R R es un morsmo graduado entonces el morsmo inducido : Spec R Spec R, aplica ideales primos homogneos en ideales primos homogneos. Si suponemos que la imagen del e e ideal irrelevante por no est contenido en ms ideal primo homogneo que los que contengan al a a e irrelevante, tenemos denido un morsmo : Proj R Proj R, x (x), donde p(x) = 1 (px ) Ejemplo 7.2.6. Sea : k[x0 , x1 , x2 ] k[x0 , x1 , x2 ], (xi ) = ij xj , de modo que |ij | = 0. Se

cumple que es un isomorsmo graduado de grado 1, que induce un ismorsmo : P2 P2 . Diremos que es un cambio de coordenadas homogneo. e Dejamos que el lector demuestre Proposicin 7.2.7. o 1. Se cumple que R Rfm es un morsmo de grado uno y
h Ufm = Proj Rfm

e a e 2. Si I es un ideal homogneo de R entonces R/I es es un lgebra graduada homognea, de modo que el morsmo R R/I es un morsmo graduado de grado uno y Proj R/I = (I)h 0 Dada un lgebra graduada R denotaremos por R0 a la sublgebra de R formada por los elementos a a de grado cero de R. Por sencillez supondremos a partir de ahora que R = R0 [0 , . . . , n ], donde cada i es de grado 1. Teorema 7.2.8. Se verica 1. Proj R = (Proj R (i )h ). 0
i=0 n

2. (Proj R (i )h ) 0

Spec R0 [ 0 , . . . , n ], donde i i
n n i=0 i=0

es un homeomorsmo.

h Demostracin. 1. Proj R = Ui , ya que (i )h = (0 , . . . , n )h = (pues (0 , . . . , n ) es el ideal o 0 0

irrelevante).

96

Cap tulo 7.

Variedades proyectivas

n 2. Hemos sobrentendido que R0 [0 /i , . . . , n /i ] es el subanillo obvio de R0 [0 , . . . , n ]i = i nZ

R0 [0 /i , . . . , n /i ]. La composicin de los dos morsmos naturales Proj R0 [0 , . . . , n ]i Spec R0 [0 , . . . , n ]i o Spec R0 [0 /i , . . . , n /i ], p (p R0 [0 /i , . . . , n /i ]), va a ser el homeomorsmo buscado. Es obvio que todo primo homogneo p de R0 [0 , . . . , n ]i est determinado por sus elementos e a homogneos de grado cero, es decir, por p R0 [0 /i , . . . , n /i ]. Es fcil comprobar que dado un ideal e a n primo q R0 [0 /i , . . . , n /i ] entonces q R0 [0 , . . . , n ]i = i q es un ideal primo homogneo de e R0 [0 , . . . , n ]i . Con lo que obtenemos una biyeccin o Proj R0 [0 , . . . , n ]i p

Spec R0 [0 /i , . . . , n /i ]

/ p R0 [0 /i , . . . , n /i ]
q

q R0 [0 , . . . , n ]i o

n n A travs de esta identicacin (fn )h = (fn /i )h = (fn /i )0 en Spec R0 [0 /i , . . . , n /i ]. Es decir, e o 0 0 = es un homeomorsmo.

h Diremos que Ui es un abierto af de Proj R. n h Ejercicio 7.2.9. Demostrar que R0 [ 0 , . . . , n ] R0 [0 , . . . , n ]/(i 1) y que por tanto, Ui i i h (i 1)0 . Probar que Ui (A1 {0}) = Ui . Dar una interpretacin geomtrica de estos resultados. o e

Ejercicio 7.2.10. Demostrar que el conjunto de puntos cerrados de Pn (C) = Proj C[x0 , . . . , xn ] es biyectivo con el conjunto Cn+1 / , donde (0 , . . . , n ) (0 , . . . , n ) si (0 , . . . , n ) = ( 0 , . . . , n ). Ejercicio 7.2.11. 1. En cada uno de los abiertos anes de la curva proyectiva compleja plana Proj C[x0 , x1 , x2 ]/(x2 + x2 + x2 ) complementario de los cerrados (xi )h , escribir las ecuaciones 1 2 0 0 de la curva (deshomogeneizar). 2. Demostrar que el epimorsmo C[x0 , x1 , x2 ] C[x0 , x1 , x2 ]/(x2 + x2 + x2 ) dene una inmersin o 2 1 0 cerrada Proj C[x0 , x1 , x2 ]/(x2 + x2 + x2 ) P2 2 1 0 3. Denir una curva proyectiva plana que en uno de los abiertos anes sea la curva plana af n y + x2 = 0. Corta la recta x = 0, a la curva y + x2 = 0, en algn punto del innito? u

7.3

Dimensin en variedades proyectivas o

o Denicin 7.3.1. Si X = Proj k[0 , . . . , n ] diremos que es una variedad proyectiva . Ejemplo 7.3.2. P1 , P2 , Pn = Proj k[x0 , . . . , xn ]. En general, Proj k[x0 , . . . , xn ]/I, donde I es un ideal homogneo; recordemos que (I)h = Proj k[x0 , . . . , xn ]/I. e 0

7.4.

Interseccin de curvas planas. Teorema de Bzout o e

97

Si C es un cerrado de Proj R, entonces C = (J)h , donde podemos suponer que J es un ideal 0 homogneo de R, de hecho el ideal I de todas las funciones de R que se anulan en C es homogneo e e y C = (I)h . Obviamente, el cierre de C en Spec R, es C = (I)0 e I, de nuevo, es el ideal de todas 0 las funciones que se anulan en (I)0 . Si C es irreducible entonces su cierre en Spec R es irreducible y sabemos que I = px es un ideal primo (homogneo) y que (I)0 = x, luego C = xh (denotamos por e Y h al cierre de un conjunto Y Proj R en Proj R). Todo subespacio de un espacio noetheriano es noetheriano. Por tanto, si R = k[0 , . . . , n ] entonces Proj R Spec R, es un espacio noetheriano. Por tanto, Proj R es unin de un nmero nito de o u cerrados irreducibles y Proj R = xh xh , donde px1 , . . . , pxr son los ideales primos homogneos 1 r e minimales de R. Denicin 7.3.3. Diremos que la dimensin de Proj R es la mxima longitud de sus cadenas de cerrao o a dos irreducibles, que coincide con la mxima longitud de las cadenas de ideales primos homogneos a e de R (donde nunca consideraremos el ideal irrelevante). Si adems dim X = 1 diremos que X es una a curva proyectiva.
h Ui

Si xh xh es una cadena de cerrados irreducibles de longitud mxima de Proj R y xn 1 m a h h h m 1 Proj R, entonces xh Ui xh Ui es una cadena de cerrados irreducibles en Ui . Como la dimensin de un abierto es siempre menor o igual que la del espacio, tenemos que o
h dim Proj R = dim Ui = dim k[

0 n ,..., ] i i

o o Ejercicio 7.3.4. Probar que la dimensin de Pn es n. Probar que la dimensin de la esfera (completa) Proj k[x0 , x1 , x2 , x3 ]/(x2 + x2 + x2 x2 ) es dos. 0 3 2 1 Proposicin 7.3.5. Las variedades proyectivas son catenarias. o
h 2 Demostracin. Dados dos cerrados irreducibles xh xh , sea Ui un abierto af que contenga a x2 . o 1 n Para ver que toda cadena maximal de cerrados irreducibles entre xh y xh tiene la misma longitud 2 1 h podemos restringirnos a Ui , que es una variedad algebraica af Concluimos por 6.5.5. n.

7.4

Interseccin de curvas planas. Teorema de Bzout o e

Denicin 7.4.1. Si A es una k-lgebra nita diremos que dimk A es el nmero de puntos de Spec A o a u (contando multiplicidades). Si C = Spec k[x1 , . . . , xn ]/I y C = Spec k[x1 , . . . , xn ]/I son dos curvas anes sin componentes comunes, entonces C C = Spec k[x1 , . . . , xn ]/(I + I ) est formado por un nmero nito de a u puntos cerrados x1 , . . . , xn . Diremos que el nmero de puntos de la interseccin de C con C es u o dimk k[x1 , . . . , xn ]/(I + I ). Ejercicio 7.4.2. Calcular el nmero de puntos de corte de la recta x = 0, con la curva y 3 +xy+x3 +1 = u 0. Proposicin 7.4.3. Sean C p(x, y) = 0 y C q(x, y) q (x, y) = 0 dos curvas planas anes sin o u componentes comunes. Escribamos C1 q(x, y) = 0 y C2 q (x, y) = 0. Se cumple que el nmero de puntos de interseccin de C con C , es la suma del nmero de puntos de interseccin de C con C1 o u o ms el nmero de puntos de interseccin de C con C2 . a u o

98

Cap tulo 7.

Variedades proyectivas

Demostracin. Basta probar la exactitud de la sucesin o o 0 k[x, y]/(p(x, y), q(x, y)) k[x, y]/(p(x, y), q(x, y) q (x, y)) k[x, y]/(p(x, y), q (x, y)) 0 Veamos slo que q (x, y) es inyectiva. Si r(x, y) q (x, y) = 0 en k[x, y]/(p(x, y), q(x, y) q (x, y)), o entonces r(x, y) q (x, y) = a p(x, y) + b q(x, y) q (x, y) en k[x, y]. Como p(x, y) y q (x, y) son primos entre si, se cumple que q (x, y) divide a a y r(x, y) (p(x, y), q(x, y)), es decir, r(x, y) = 0 en k[x, y]/(p(x, y), q(x, y)). Sean C pn (x0 , x1 , x2 ) = 0 y C pm (x0 , x1 , x2 ) = 0 dos curvas proyectivas planas, sin componentes comunes y C C la interseccin de las dos curvas planas. o h Si Ux0 es un abierto af que contiene a C C , sean x = x1 y y = x2 coordenadas anes y n x0 x0 escribamos
pn (x0 ,x1 ,x2 ) xn 0 q (x,y)

= pn (1, x, y) = p(x, y) y

pm (x0 ,x1 ,x2 ) xm 0

= pm (1, x, y) = q(x, y). Entonces

h C C = C C Ux0 = Spec k[x, y]/(p(x, y), q(x, y))

Diremos que el anillo k[x, y]/(p(x, y), q(x, y)) es el anillo de funciones de C C , tambin diremos que e dimk k[x, y]/(p(x, y), q(x, y)) es el nmero de puntos en los que se cortan C y C . u El anillo de funciones de C C no depende del abierto af Ux0 (que contiene a C C ) tomado: n h y 1 h sea Ux1 otro abierto af que contiene a C C y escribamos x = x = x1 y y = x = x2 y n x0 x0 p (x , y ) = u funcin que no se anula en ningn punto de C o h no se anula en ningn punto de C C Ux1 , luego u
pn (x0 ,x1 ,x2 ) xn 1

p(x,y) xn

y q (x , y ) =

pm (x0 ,x1 ,x2 ) xm 1 h C Ux0 ,

q(x,y) xm .

Se cumple que x =
x0 x1

x1 x0

es una

e igualmente x =

es una funcin que o

k[x, y]/(p(x, y), q(x, y)) = (k[x, y]/(p(x, y), q(x, y)))x = (k[x , y ]/(p (x , y ), q (x , y )))x = k[x , y ]/(p (x , y ), q (x , y )) Teorema 7.4.4 (de Bzout). El nmero de puntos de interseccin de dos curvas proyectivas planas e u o C pn (x0 , x1 , x2 ) = 0, C qm (x0 , x1 , x2 ) = 0 de grados n y m, sin componentes comunes, es n m. Demostracin. La idea de la demostracin es la siguiente: Supongamos que la recta del innito (x0 )h o o 0 no pasa por C C . Af nmente nuestras curvas se escribirn pn (1, x1 , x2 ) = 0, qm (1, x1 , x2 ) = 0 y la a interseccin es C C = Spec k[x1 , x2 ]/(pn (1, x1 , x2 ), qm (1, x1 , x2 )) (nos conviene usar esta notacin o o porque nos permite pensar af nmente las curvas C y C como curvas en el plano x0 = 1). El cono, en A3 = Spec k[x0 , x1 , x2 ], que pasa por CC y vrtice (0, 0, 0), es Spec k[x0 , x1 , x2 ]/(pn (x0 , x1 , x2 ), qm (x0 , x1 , x2 )). e Probaremos que los planos x0 = cortan al cono en el mismo nmero de puntos. La intersecu o o cin del cono con el plano x0 = 1 es justamente C C . La interseccin del cono con el plano x0 = 0 es la interseccin de pn (x0 , x1 , x2 ) = 0, x0 = 0, que son n rectas que pasan por el origen, con o qm (x0 , x1 , x2 ) = 0, x0 = 0 que son m rectas que pasan por el origen. En conclusin, reducimos el o problema del corte de dos curvas de grados n y m al problema del corte de n rectas con m rectas. Por cambio de coordenadas homogneo podemos suponer que (x0 )h C C = . Tenemos que e 0 demostrar que dimk k[x1 , x2 ]/(pn (1, x1 , x2 ), qm (1, x1 , x2 )) = n m Sea B = k[x0 , x1 , x2 ]/(pn (x0 , x1 , x2 ), qm (x0 , x1 , x2 )).

7.4.

Interseccin de curvas planas. Teorema de Bzout o e

s

99 ai x i 0

Se verica que B es un k[x0 ]-mdulo sin torsin: Si p(x0 ) b = 0, escribamos p(x0 ) = o o y b=

r i=0

i=0

bi (x0 , x1 , x2 ) (siendo los bi (x0 , x1 , x2 ) polinomios homogneos de grado i). Entonces, xs e 0

br (x0 , x1 , x2 ) = 0. Es decir, x0 ser divisor de cero en B. Si ax0 = 0 en B, entonces ax0 = bpn +cqm . a Entonces, 0 = b(0, x1 , x2 )pn (0, x1 , x2 )+c(0, x1 , x2 )qm (0, x1 , x2 ). Como pn (0, x1 , x2 ) y qm (0, x1 , x2 ) son primos entre si, c(0, x1 , x2 ) (pn (0, x1 , x2 )). Es decir, c (x0 , pn ), digamos c = c1 x0 + c2 pn . Luego (a c1 qm )x0 = (b + c2 )pn . Como x0 y pn son primos entre si, a c1 qm (pn ). Luego a (pn , qm ) y x0 no es divisor de cero en B. El morsmo B Bx0 es inyectivo. Denotemos A = [Bx0 ]0 . Sabemos que Bx0 = A xn . 0
nZ + + + Denotemos Bx0 = A xn . Obviamente, Bx0 es un k[x0 ]-mdulo nito y como B se inyecta en Bx0 o 0 nN

es tambin un k[x0 ]-mdulo nito. En conclusin, B es un k[x0 ]-mdulo nito sin torsin, luego libre. e o o o o Escribamos B = k[x0 ] . s . k[x0 ]. Por tanto, . dimk B/(x0 ) = dimk B k[x0 ] k[x0 ]/(x0 ) = s = dimk B k[x0 ] k[x0 ]/(x0 1) = dimk B/(x0 1) = dimk k[x1 , x2 ]/(pn (1, x1 , x2 ), qm (1, x1 , x2 )) As pues, tenemos que demostrar que dimk B/(x0 ) = n m. dimk B/(x0 ) = dimk k[x1 , x2 ]/(pn (0, x1 , x2 ), qm (0, x1 , x2 ))
n,m n,m

=
i,j

dimk k[x1 , x2 ]/(ai x1 + ai x2 , bj x1 + bj x2 ) =

i,j

1=nm

En la teor un concepto pugna por emerger. Dado un espacio topolgico, podemos hablar para a, o cada abierto del espacio de las funciones continuas en el abierto. Dada una variedad algebraica af X = Spec A, hemos visto que Ua = Spec Aa y hemos dicho que Aa es el anillo de funciones n algebraicas sobre Ua . Parece que podr amos decir que en las variedades algebraicas, como en los espacios topolgicos, podemos hablar de las funciones algebraicas en cada abierto de la variedad. Es o decir, cuando escribimos X = Spec A, en realidad tenemos en mente la pareja (Spec A, A), y para cada abierto Ua , la pareja (Ua , Aa ). Dada un variedad proyectiva, X = Proj k[1 , . . . , n ], hemos visto h que Ui = Spec k[ 1 , . . . , n ] y podr amos decir que k[ 1 , . . . , n ] es el anillo de funciones algebraicas i i i i h sobre Ui . De nuevo, parece que podr amos decir, para cada abierto de X, cules son las funciones a algebraicas en el abierto. Este va a ser el hecho nuclear en la denicin de variedad algebraica (af o n o no) que debemos explicitar con detalle y rigor. Para ello, se necesitan los conceptos de haces y espacios anillados, que se estudiarn en cursos posteriores. a Por sencillez, vamos a suponer que k es un cuerpo algebraicamente cerrado. Escribamos Spec k[x1 , . . . , xn ]/(I + I ) = {x1 , . . . , xn }. Por 6.2.14 k[x1 , . . . , xn ]/(I + I ) = (k[x1 , . . . , xn ]/(I + I ))x1 (k[x1 , . . . , xn ]/(I + I ))xn Diremos que dimk (k[x1 , . . . , xn ]/(I + I ))x = x (C, C ) es la multiplicidad de interseccin de C con o C en x C C .
N ot

Ejercicio 7.4.5. Calcular la multiplicidad de interseccin en el origen de la curva y 2 = x2 + y 3 con o la curva y 3 + x2 = 0.

100

Cap tulo 7.

Variedades proyectivas

Proposicin 7.4.6. El nmero de puntos de corte de dos curvas, sin componentes comunes, es igual o u a la suma de las multiplicidades de interseccin en cada uno de los puntos de corte de las dos curvas, o es decir, dimk k[x1 , . . . , xn ]/(I + I ) =
xCC

x (C, C )

Dada la curva plana af p(x, y) = 0, escribamos p(x, y) = pr (x, y) + pr+1 (x, y) + + pn (x, y) n como suma de polinomios homogneos. Tenemos que e y y pr (x, y) = xr pr (1, ) = xr (ai y + bi x) (ai + bi ) = x x i=1 i=1 Es decir, pr (x, y) es el producto de r-rectas. Diremos que estas rectas son las tangentes de p(x, y) = 0 en el origen y que la multiplicidad de C p(x, y) = 0 en el origen es r, nmero que denotaremos por u (0,0) (C). Por traslaciones estas deniciones se pueden trasladar a todo punto p de p(x, y) = 0. Si p (C) = 1 diremos que p es no singular. Si p (C) > 1 diremos que p es singular. Si dos curvas planas son no singulares en un punto, no es dif demostrar que la multiplicidad de cil interseccin es uno si no son tangentes en el punto y mayor que uno si lo son. En el caso de que sean o singulares, el clculo de la multiplicidad de interseccin es ms dif a o a cil. Consideremos el nodo y 2 x2 + x3 = 0. Voy a levantar esta curva a una curva en A3 , de modo que el nudo se deshaga. Consideremos la hipersupercie de A3 , y = zx, que es el conjunto o de las rectas y = x (sobre los planos z = ). Si consideramos la interseccin del cilindro de A3 y 2 x2 + x3 = 0 con la hipersupercie y = zx, quitamos el eje z y tomamos el cierre de la curva 2 2 3 obtenida obtenemos el levantamiento buscado. En coordenadas, la curva levantada es y x2 +x = x y ( x )2 1 + x = 0, es decir, la curva z 2 1 + x = 0 sobre la supercie y = zx. As pues, la curva levantada es Spec k[x, y, z]/(z 2 1+x, y zx) = Spec k[x, z]/(z 2 1+x). El clculo de la multiplicidad a de interseccin del nodo y 2 x2 + x3 con otra curva plana q(x, y) = qs (x, y) + + qn (x, y) en el o 2 2 3 origen se reduce al clculo de la multiplicidad de interseccin de y x2 +x = 0 con q(x,y) = 0, como a o x xs veremos. Lema 7.4.7. Sea C p(x, y) = 0 una curva plana y supongamos que la recta x = 0 no es tangente a la curva en p = (0, 0). Escribamos p(x, y) = pr (x, y) + pr+1 (x, y) + + pn (x, y) y p(x,y) = xr y y y y pr (1, x ) + pr+1 (1, x )x + + pn (1, x )xnr = p(x, z) (donde z = x ) y C p(x, z) = 0. Consideremos el morsmo natural i : k[x, y]/(p(x, y)) k[x, z]/((x, z))x x, y xz. Se cumple que p 1. (k[x, y]/(p(x, y)))x = (k[x, z]/((x, z)))x p 2. El nmero de puntos (distintos o no) de la bra de p por i es igual al nmero de tangentes u u (distintas o no) de C en p. 3. (i )1 (p) = (x)0 C en Spec k[x, z]. Por tanto por 2., p (C) coincide con la multiplicidad de interseccin de (x)0 con C. o 4. C = (i )1 (p) (C (x)0 ).
r r

5. ip : A = (k[x, y]/(p(x, y)))p B = (k[x, z]/((x, z)))p , x x, y xz es un morsmo nito. p a o Adems, ip es un isomorsmo si y slo si p es un punto no singular de C.

7.4.

Interseccin de curvas planas. Teorema de Bzout o e

101

y Demostracin. El punto 1. es obvio, sin ms que observar que el morsmo inverso es x x, z x . o a Tenemos que

(i )1 (p) = Spec k[x, z]/((x, z), x, xz) = Spec k[z]/(pr (1, z)) p y fcilmente se concluye el punto 2 y que (i )1 (p) = (x)0 C. a Del punto 1. se deduce que C = (i )1 (p) (C (x)0 ) = (i )1 (p) (C (x)0 ). Veamos el punto 5.: Obviamente x es nito sobre A y z tambin, porque cumple la relacin entera e o 0 = p(x, z) = p(x, y) y y = ( )r (1 + y) + polinomio en con coecientes en k[x], de grado < r r x x x = z r (1 + y) + polinomio en z con coecientes en k[x], de grado < r

donde 1 + y es invertible, porque no se anula en p. Luego i es un morsmo nito. Si r = 1 entonces x, z A e ip es un isomorsmo. Rec procamente si ip es un isomorsmo entonces r = #(i )1 (p) = 1 y p es un punto no singular. p Diremos que C = Spec k[x, z]/((x, z)) es la explosin de C en p, que el morsmo i : C C es p o 1 una transformacin cuadrtica, que (i ) (p) es la bra excepcional y que (x)0 Spec k[x, z] es el o a ciclo excepcional. Proposicin 7.4.8. Sean C p(x, y) = 0 y C = q(x, y) = 0 dos curvas planas sin componentes o comunes, y p C C . Se cumple que p (C, C ) = p (C) p (C ) +
pi Fibra excep.

pi (C, C )

o Demostracin. Podemos suponer que p = (0, 0) y que x = 0 no es tangente a C ni a C . Escribamos p(x, y) = pr (x, y) + pr+1 (x, y) + + pn (x, y), q(x, y) = qs (x, y) + + qm (x, y). Podemos suponer que p(x, y) es irreducible, porque p (C1 C2 ) = p (C1 )+p (C2 ) y p (C1 C2 , C ) = p (C1 , C )+p (C2 , C ) (como esencialmente hemos visto en 7.4.3) y la explosin de la unin es la unin de los explotados. o o o Consideremos el morsmo A = (k[x, y]/(p(x, y)))p (k[x, z]/((x, z))p = B p Se verica que i es un morsmo nito y birracional por el lema anterior. Por tanto, el ideal anulador I A de B/A es no nulo. Como B/A es un A/I-mdulo nito, y A/I un k-espacio vectorial o de dimensin nita tenemos que B/A es un k-espacio vectorial de dimensin nita. Por el lema que o o sigue dimk A/(q(x, y)) = dimk B/(q(x, y)) = dimk B/(xs q (x, z)) s = dimk B/(x ) + dimk B/((x, z)) = s dimk B/(x) + dimk B/((x, z)) q q Ahora bien, por el punto 2. del lema B/(x) = r. En conclusin, o p (C, C ) = dimk A/(q(x, y)) = s r + dimk B/((x, z)) = p (C) p (C ) + q
pi Fibra excep. i

pi (C, C )

102

Cap tulo 7.

Variedades proyectivas

Lema 7.4.9. Sean A y B k-lgebras a ntegras y A B un morsmo de k-lgebras. Supongamos que a A/aA, B/aB y B/A son k-espacios vectoriales de dimensin nita. Se cumple que o dimk A/aA = dimk B/aB Demostracin. Consideremos el diagrama o aA_   A Entonces dimk B/aB + dimk aB/aA = dimk B/aA = dimk B/A + dimk A/aA Observemos que B/A aB/aA, ab. Por tanto, dimk A/aA = dimk B/aB b  / aB _ /B

Ejercicio 7.4.10. Siguiendo las notaciones de la proposicin anterior, probar que C y C no tienen o y y tangentes comunes en p si y slo si pr (1, x ), qs (1, x ) son primos entre si, o equivalentemente si o q(x,y) = q (x, z) es invertible en B. Concluir que C y C no tienen tangentes comunes en p si y slo si o xs su multiplicidad de interseccin en p es igual al producto de la multiplicidad de C en p por la de C o en p. Corolario 7.4.11. La multiplicidad de una curva plana p(x, y) = 0 en un punto es r si existe una curva no singular en p que corte a la curva con multiplicidad r en el punto, y toda otra curva no singular en p corta a la curva con multiplicidad mayor o igual que r. Una recta ser tangente a la a o curva en el punto si y slo si la corta con multiplicidad mayor que r. Corolario 7.4.12. La multiplicidad de una curva plana en un punto p es mayor o igual que la suma de las multiplicidades de los puntos de la bra excepcional de la explosin de la curva plana en el o punto p y es estrictamente mayor si y slo si el ciclo excepcional es tangente a la curva explotada. o Demostracin. Recordemos que p (C) es igual a la multiplicidad de interseccin del ciclo excepcional o o con la curva explotada. Como el ciclo excepcional es una recta (luego no singular), la multiplicidad de interseccin del ciclo excepcional con la curva explotada es igual a la suma de las multipicidades de o los puntos de la bra excepcional, cuando el ciclo excepcional no sea tangente a la curva explotada. En caso contrario es mayor. Ejercicio 7.4.13. Sea C p(x, y) = 0 una curva plana, x , y polinomios que se anulan en el origen tales que k[x, y] = k[x , y ]. Escribamos p(x, y) = p (x , y ). Supongamos que x no es tangente a C en el origen. Demostrar que
x (k[x, z]/((x, z))) x = (k[x , z ]/( (x , z ))) x p p x

Justicar que la explosin de una curva plana en un punto p no depende, localmente en p, del sistema o de coordenadas.

7.5.

Desingularizacin de curvas planas v el contacto maximal o a

103

7.5

Desingularizacin de curvas planas v el contacto maxio a mal

Nuestro objetivo es demostrar que dada una curva plana mediante un nmero nito de explosiones u obtenemos una curva sin puntos singulares, i.e., una curva no singular. El nmero de puntos singulares u de una curva plana es nito. Al explotar en un punto singular de multiplicidad , la multiplicidad de los puntos de la bra excepcional es menor que , salvo quizs, que slo aparezca un punto en la bra a o u excepcional. Tenemos que probar, para demostrar que mediante un nmero nito de explosiones toda curva plana desingulariza, que despus de un nmero nito de explosiones la multiplicidad baja. e u En este apartado vamos a demostrar, dada una curva plana, la existencia de curvas de contacto maximal. Es decir, dada una curva y un punto p de ella, existe una curva no singular en p, con multiplicidad de corte con la curva dada en p mxima. Esta curva, vericar que pasa por el punto y a a los puntos de las sucesivas bras excepcionales (explotando), siempre que no bajen de multiplicidad. Como la multiplicidad de corte de dos curvas es nita (siempre que no tengan componentes comunes) obtendremos que la multiplicidad de una curva en un punto habr de bajar despus de un nmero a e u nito de explosiones. As podremos demostrar la desingularizacin de las curvas planas por un nmero o u nito de explosiones. Las tcnicas e ideas aqu desarrolladas para la desingularizacin de curvas planas son bsicamente e o a las que se utilizan para la desingularizacin de supercies. o En este apartado supondremos que k es un cuerpo algebraicamente cerrado de caracter stica cero. Denicin 7.5.1. Diremos que la aplicacin o o D : k[x, y] k[x, y], D(p(x, y)) = a(x, y)p(x, y) + (b(x, y) es un operador diferencial de orden 1. Lema 7.5.2. Sea p(x, y) = 0 una curva de multiplicidad m en un punto p A2 de la curva y sea D : k[x, y] k[x, y] un un operador diferencial de orden 1. Entonces la curva Dp(x, y) = 0 tiene multiplicidad mayor o igual que m 1 en p.
Demostracin. Denotemos C p(x, y) = 0 y D = a(x, y) + D con D = b(x, y) x + c(x, y) y . Se o cumple que p (C) = m si y slo si p(x, y) mm mm+1 . Por tanto, p(x, y) = o fi1 fim , con p p fij mp . As pues, Dp(x, y) = a(x, y)p(x, y) + fi1 D fij fim mm1 . Con lo que concluimos. p

+ c(x, y) )(p(x, y)) x y

Lema 7.5.3. Con las notaciones anteriores, existe un operador diferencial D de orden 1, tal que Dp(x, y) = 0 tiene multiplicidad m 1 en p. Demostracin. Podemos suponer que p es el origen de coordenadas, es decir, mp = (x, y). Escribamos o p(x, y) como suma de polinomios homogneos e
m

p(x, y) = pm (x, y) + pm+1 (x, y) + + pn (x, y)

pm (x, y) =
r=0

r xr y mr

Como m 1, en la expresin de pm (x, y), parece x o y. Supongamos que aparece y, es decir, r = 0 o para algn r = m. Entonces u p(x, y) = (m r)r xr y mr1 +monomios de grado mayor o y r=0 igual que m
m

104 Como
m r=0

Cap tulo 7.

Variedades proyectivas

(m r)r xr y mr1 = 0, concluimos que Dp(x, y) = 0 tiene multiplicidad m 1.

Lema 7.5.4 (fundamental). Sea D : k[x, y] k[x, y] un operador diferencial de orden 1. Consideremos el morsmo inyectivo y birracional k[x, y] k[x, z], x x, y xz. Existe un operador diferencial de orden 1 D : k[x, z] k[x, z] tal que para todo P k[x, y] (de multiplicidad m en el origen) se verica DP P = D( m ) xm1 x Demostracin. Todo operador diferencial de orden 1 es la suma de una homotecia y una derivacin. o o Basta demostrar el lema para cuando D sea una homotecia y para cuando sea una derivacin. o 1. Sea D = h una homotecia, i.e., DP = h P . Tomando D = x h se cumple la igualdad requerida.
2. Sea D una derivacin, es decir D = b(x, y) x + c(x, y) y . Tenemos que o

DP P P P = (xD)( m ) + (mDx)( m ) = D( m ) xm1 x x x donde D = m Dx + xD. Observemos que D es un operador diferencial de orden 1 porque m Dx es una homotecia y xD es una derivacin de k[x, y]x que deja estable a k[x, z], pues o y y Dz = D( x ) = Dy x Dx = Dy zDx.

Denicin 7.5.5. Sea p C y Cr . . C una sucesin de transformaciones cuadrticas. Los o . o a puntos de 1 (p) se les llamar puntos de la curva C innitamente prximos a p. a o Teorema 7.5.6 (de existencia de curvas de contacto maximal). Sea p un punto de multiplicidad m de una curva plana C. Existe una curva plana C regular en p que pasa (sus explosiones) por todos los puntos de C innitesimalmente prximos a p de multiplicidad m. o Demostracin. Vamos a proceder por induccin sobre la multiplicidad m de C P = 0 en p. o o Si m = 1 la propia C es una curva de contacto maximal. Supongamos que m > 1. Consideremos un operador diferencial D de orden 1 tal que DP = 0 tenga multiplicidad m 1 en p. Por el lema fundamental todo punto de C innitamente prximo a p o de multiplicidad m es un punto de C DP = 0 innitamente prximo a p de multiplicidad m 1: o Sigamos las notaciones del lema fundamental. La explosin de C P = 0 en p tiene de ecuaciones o P/xm = 0, la explosin de C DP = 0 en p tiene de ecuaciones DP/xm1 = D(P/xm ) = 0 (podemos o suponer que x = 0 no es tangente ni a P = 0 ni a DP = 0). Por tanto, si un punto de la explosin o de C P = 0 en p tiene multiplicidad m, ste ser un punto de la explosin de C DP = 0 en p e a o de multiplicidad mayor o igual m 1. Como la multiplicidad no aumenta despus de una explosin, e o tendremos que si un punto de la explosin de C P = 0 en p tiene multiplicidad m, ste ser un o e a punto de la explosin de C DP = 0 en p de multiplicidad m 1. Argumentando del mismo modo o con las curvas explotadas P/xm = 0 y DP/xm1 = D(P/xm ) = 0 concluimos. Por hiptesis de induccin, existe una curva C regular en p que pasa (sus explosiones) por todos o o los puntos innitamente prximos a p C DP = 0 de multiplicidad m 1. Por tanto, C (y sus o o explosiones) pasa por todos los puntos de C innitesimalmente prximos a p de multiplicidad m.

7.6.

Problemas

105

Denicin 7.5.7. Diremos que una curva plana p(x, y) = 0 es reducida si p(x, y) = p1 (x, y) pr (x, y), o siendo los pi (x, y) irreducibles y primos entre si. Proposicin 7.5.8. Toda curva plana reducida tiene un nmero nito de puntos cerrados singulares. o u Demostracin. Los puntos singulares de p(x, y) = 0, son las soluciones del sistema p(x, y) = 0, p(x,y) = o x 0, p(x,y) = 0. Ahora bien, como p(x, y) = 0 es reducida es fcil ver que p(x, y), p(x,y) son primos a y x entre si. Por tanto, el sistema anterior tiene un nmero nito de soluciones. u Corolario 7.5.9. Toda curva plana reducida desingulariza mediante un nmero nito de transforu maciones cuadrticas. a Demostracin. El nmero de puntos singulares es nito. Sea m la mxima multiplicidad de los puntos o u a de la curva. Sea p un punto de multiplicidad m. Consideremos una curva P = 0, regular en p, que pase por todos los puntos innitesimalmente prximos a p, de multiplicidad m. Como la multiplicidad de interseccin de stas dos curvas es nita, o o e por 7.4.8, tenemos que despus de un nmero nito de explosiones la multiplicidad de C ha de bajar e u estrictamente. Fcilmente concluimos por induccin sobre m y el nmero de puntos de multiplicidad a o u m.

7.6

Problemas

1. Probar que el conjunto de rectas que pasan por un punto (haz de rectas) del plano af se n corresponde con el conjunto de puntos racionales de una recta proyectiva. 2. Probar que el conjunto de cnicas que pasan por cuatro puntos no alineados del plano af se o n corresponden con los puntos racionales de una recta proyectiva. 3. Probar que el conjunto de cnicas que pasan tres puntos no alineados del plano af y es tangente o n en uno de ellos a una recta jada que pasa por el punto se corresponden con los puntos racionales de una recta proyectiva. 4. Probar que el conjunto de curvas de grado n de P2 se corresponden con los puntos racionales de un espacio proyectivo. 5. Probar que el conjunto de curvas anes de grado menor o igual que n de A2 se corresponden con los puntos racionales de un abierto de un espacio proyectivo. 6. Probar que el morsmo k[x] k[x, y]/(p(x, y)) es nito si y slo si la curva p(x, y) = 0 no tiene o as ntotas verticales. 7. Sea q(x, y) = 0 una cnica y p = (0, ) un punto del plano af que no yace en la cnica. o n o Demostrar que la proyeccin de la cnica en la recta y = 0, que asigna a cada punto q de la o o cnica el punto de la recta y = 0 obtenido como el corte de la recta que pasa por p y q con la o a o ntota horizontal de la cnica. o recta y = 0, est bien denido si y slo si la recta y = es una as 8. Consideremos el morsmo : k[xijk ]i+j+k=2 k[x0 , x1 , x2 ], (xijk ) = xi xj xk . Probar que 0 1 2 induce un morsmo : Proj k[x0 , x1 , x2 ] Proj k[xijk ]. Demostrar que la antimagen de un hiperplano por es una cnica. o

106

Cap tulo 7.

Variedades proyectivas

9. Demostrar que la circunferencia proyectiva es isomorfa a la recta proyectiva. 10. Si X e Y son dos subvariedades proyectivas de Pn , y codim X + codim Y n, probar que X Y = y que se cumple que codim X + codim Y codim X Y 11. Sea f k[0 , . . . , n ] una funcin homognea que se anula en algn punto de X = Proj k[0 , . . . , n ]. o e u Demostrar que dim(f )h dim X 1 0 12. Probar que si una cnica tiene un punto singular entonces no es irreducible. o 13. Probar que si una cbica plana tiene dos puntos singulares entonces no es irreducible. u 14. Probar que si una curtica plana tiene cuatro puntos singulares entonces no es irreducible. a 15. Probar que (0, 0), (2, 0), (0, 2) son puntos singulares de la curtica plana xy(x + y 2) (x2 + a y 2 2x 2y)2 = 0 Existen ms puntos singulares? Parametrizar esta curtica (mediante un a a haz de cnicas). o 16. Justicar por qu las circunferencias x2 + y 2 1 = 0, x2 + y 2 2 = 0 han de ser tangentes en e algn punto del innito, sin hacer el clculo expl u a cito de sus tangentes en los puntos del innito. 17. Poner un ejemplo de dos cbicas planas anes irreducibles, cuyos puntos de corte estn alineados. u e

 Indice de Materias
A-lgebra, 59 a A-lgebra nita, 81 a Algebra de tipo nito, 72 Algebra graduada, 59, 94 Anillo, 7 Anillo ntegro, 8 Anillo conmutativo con unidad, 7 Anillo noetheriano, 70 Aplicacin bilineal, 56 o Base de trascendencia, 87 Categor 53 a, Cerrado irreducible, 12 Componente irreducible, 12 Componente sumergida, 77 Criterio del ideal de platitud, 62 Cuerpo, 7 Descomposicin primaria reducida, 74 o Dimensin de Krull, 83 o Divisor de cero, 8 Divisores elementales, 41 Dominio de ideales principales, 35 Elemento algebraico, 82 Elemento entero, 82 Elemento irreducible, 35 Elementos algebraicamente independientes, 85 Espacio noetheriano, 71 Espectro primo, 10 Espectro proyectivo, 94 Frmula de la bra, 17 o Factores invariantes, 46 Funtor contravariante, 53 Funtor covariante, 53 Funtor representable, 55 107 Grado de trascendencia, 87 Ideal, 8 Ideal p-primario, 73 Ideal anulador de un mdulo, 27 o Ideal homogneo, 94 e Ideal irreducible, 75 Ideal irrelevante, 94 Ideal maximal, 9 Ideal primario, 72 Ideal primo, 8 Ideal principal, 35 Ideal racional, 10 Ideales de Fitting, 46 Ideales primos asociados, 77 Identidad de Bzout, 35 e Isomorsmo de funtores, 54 Lema de Euclides, 35 Lema de Nakayama, 24 Lema de normalizacin de Noether, 85 o Longitud de un mdulo, 30 o Mdulo, 21 o Mdulo de divisin, 64 o o Mdulo de presentacin nita, 62 o o Mdulo de tipo nito, 24 o Mdulo inyectivo, 63 o Mdulo libre, 24 o Mdulo libre de torsin, 37 o o Mdulo noetheriano, 69 o Mdulo plano, 61 o Mdulo proyectivo, 62 o Mdulo simple, 29 o Matriz de Jordan, 43 Morsmo algebraico, 87 Morsmo birracional, 91 Morsmo de lgebras, 60 a

108

INDICE DE MATERIAS

Morsmo de anillos, 7 Morsmo de mdulos, 22 o Morsmo de variedades algebraicas, 72 Morsmo nito, 81 Morsmos en una categor 53 a, Multiplicidad de interseccin de dos curvas en o un punto, 99 Multiplicidad de una curva plana en un punto, 100 Nmero de puntos de corte de dos curvas, 98 u Objetos de una categor 53 a, Polinomio caracter stico, 48 Producto tensorial de mdulos, 56 o Punto genrico, 12 e Puntos no singulares de una curva plana, 100 Puntos singulares de una curva plana, 100 Radical de un anillo, 17 Radical de un ideal, 72 Rango de un mdulo, 37 o Rectas tangentes a una curva en un punto, 100 Representante de un funtor, 55 Serie de composicin de mdulos, 29 o o Sistema generador de un mdulo, 24 o Soporte de un mdulo, 27 o Subanillo, 7 Submdulo, 22 o Sucesin exacta de mdulos, 26 o o Sucesin exacta que rompe, 32 o Teorema de Bzout, 98 e Teorema de Hamilton-Cayley, 48 Teorema de la base de Hilbert, 71 Teorema de los ceros de Hilbert, 86 Teorema del ascenso, 84 Teorema fuerte de los ceros de Hilbert, 86 Torsin de un mdulo, 37 o o Variedad ntegra, 87 Variedad algebraica af 72 n, Variedad proyectiva, 96 Variedad racional, 91 Variedades catenarias, 90