Algebra Conmutativa

Algebra Conmutativa
Simplicada Diciembre-2003
Indice General
1 Mdulos o 1.1 Anillos. Ideales . . . . . 1.2 Mdulos . . . . . . . . . o 1.3 Localizacin de mdulos o o 1.4 Longitud de un mdulo o 1.5 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 5 9 13 17 19 23 23 25 29 29 30 34 36 41 41 43 45 47 48 48 51 52 53 55
2 Dominios de ideales principales. Mdulos o 2.1 Dominios de ideales principales . . . . . . . . . . . . 2.2 Teoremas de descomposicin . . . . . . . . . . . . . . o 2.3 Clasicacin de los grupos abelianos nito generados o 2.4 Clasicacin de los endomorsmos lineales . . . . . . o 2.4.1 Matrices de Jordan . . . . . . . . . . . . . . . 2.5 Factores invariantes . . . . . . . . . . . . . . . . . . 2.6 Problemas . . . . . . . . . . . . . . . . . . . . . . . .
3 Producto tensorial. Mdulos proyectivos e inyectivos o 3.1 Categor as. Funtor de homorsmos . . . . . . . . . . . . . . 3.2 Construccin del producto tensorial . . . . . . . . . . . . . o 3.3 Propiedades del producto tensorial . . . . . . . . . . . . . . 3.4 Producto exterior . . . . . . . . . . . . . . . . . . . . . . . . 3.5 Producto tensorial de lgebras . . . . . . . . . . . . . . . . a 3.6 Mdulos planos y proyectivos . . . . . . . . . . . . . . . . . o 3.7 Mdulos inyectivos. Criterio del ideal . . . . . . . . . . . . . o 3.7.1 Aplicacin a sistemas en derivadas parciales lineales o 3.8 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . Indice de trminos e
Bibliograf a: 1. M. Atiyah, I.G. Macdonald: Introduccin al Algebra Conmutativa, Ed. Revert, Barcelona o e (1973). 2. W. Fulton: Curvas Algebraicas, Ed. Revert, Barcelona (1971). e 3
INDICE GENERAL 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
Mdulos o
1.1 Anillos. Ideales
+
Comencemos con una revisin rpida de la denicin y propiedades elementales de los anillos. o a o Denicin 1.1.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.1.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.1.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.
1 Ser a
usual utilizar la notacin a a = aa o
6 3. f (1) = 1.
Cap tulo 1.
Mdulos o
Ejemplo 1.1.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 Denicin 1.1.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 Expl citamente (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 e Ahora bien, el producto a a = a a dota a A/I de estructura de anillo (comprubese) y es la 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. o La antimagen por un morsmo de anillos de un ideal es un ideal. Es inmediata la proposicin siguiente. Proposicin 1.1.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
1.1.
Anillos. Ideales
Denicin 1.1.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. Proposicin 1.1.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.1.9. Diremos que un ideal m A es maximal si los unicos ideales que contienen a m o
=
son m y A. Proposicin 1.1.10. En todo anillo A = 0 existen ideales maximales. o o pica del lema de Zorn (que puede evitarse en anillos noetheDemostracin. Esta es una aplicacin t o rianos, 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.1.11. En todo anillo A = 0 existen ideales primos minimales. Corolario 1.1.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 u invertible si y slo si no est incluido en ningn ideal maximal. En particular, un anillo es un cuerpo o a si y slo si los unicos ideales del anillo son el (0) y todo el anillo. o
Cap tulo 1.
Mdulos o
Proposicin 1.1.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.1.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. Denicin 1.1.14. 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. Sea S un sistema multiplicativo de A (es decir, 1 S y si s, s S entonces ss S). Consideremos la localizacin de A por S, AS , es decir, o a , a A y s S : a = a si existen s1 , s2 S tales que las fracciones s s s 2 AS = s1 a s2 a , tienen el mismo numerador y denominador s1 s s2 s . Con la suma y producto ordinarios de fracciones AS es un anillo. Teorema 1.1.15. Existe una correspondencia biun voca entre los ideales primos de AS y los ideales primos de A que no cortan con S. Expl citamente, si p es un ideal primo de AS existe un unico ideal primo q de A que no corta con S, tal que p = q AS Demostracin. Sea p AS un ideal primo. Consideremos el morsmo de localizacin A AS . Sea o o q la antimagen de p por el morsmo de localizacin. Es decir, q := {a A : a p}. Es claro que o 1 p = q AS , pues dado a p, a = a 1 , y a p. Adems q es un ideal primo de A que no corta con a s s 1 s 1 S, porque si s q S entonces 1 = s p. s Dado un ideal primo q de A que no corta con S, se cumple que q AS es un ideal primo de AS : Si a a = sq , con q q, entonces existe t S de modo que taa = tq q, luego a q a q. En o s s o s o conclusin a q AS a q AS . Adems, la antimagen de q AS por el morsmo de localizacin o s a es q: si a = q , con q q, existe t S de modo que ta = tq q, luego a q. Obviamente a q AS , 1 s 1 si a q. Con todo hemos concluido. 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 , . . . }. Denotemos por (f )0 el conjunto de los ideales primos de A que contienen a f . 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.1.16. El espectro de Af es igual Spec A (f )0 . Demostracin. Por el teorema anterior, Spec Af se corresponde con los ideales primos px de A que o 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 .
2 Observemos a s
que efectivamente
a s
a s
a , s
que si
a s
a s
entonces
a s
a , s
y que si
a s
a s
a s
a s
entonces
1.2.
Mdulos o
Ejercicio 1.1.17. 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.1.18. 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.1.19. Los anillos con un unico ideal maximal se les denomina anillos locales. o Denicin 1.1.20. Dado un anillo A llamaremos radical de A al ideal formado por el conjunto de o los 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 o Corolario 1.1.21. El radical de un anillo coincide con la interseccin de todos los ideales primos del anillo: rad A = px
xSpec A
Es decir, una funcin es nilpotente si y slo si pertenece a todo ideal primo. 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 = f n 0 = 0. Entonces f es nilpotente. 1 En conclusin rad A o px y hemos terminado.
xSpec A
1.2
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 o de A dene una aplicacin A I I que verica todos los axiomas de espacio vectorial, salvo la condicin de que los escalares formen un cuerpo; lo que resumiremos diciendo que I es un A-mdulo. o o o o En esta seccin iniciaremos el estudio de la estructura de mdulo sobre un anillo A y veremos que casi todas las deniciones del Algebra Lineal (submdulos, cocientes, sumas y productos directos, producto o o o tensorial, etc.) pueden generalizarse para los A-mdulos; aunque la frecuente existencia de mdulos 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 a o a a sentido en los ideales hace que la teor de mdulos sea mucho ms exible y natural, que una teor
10
Cap tulo 1.
Mdulos o
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 Denicin 1.2.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 . 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 o ultimos puntos expresan que la aplicacin : A End(M ), (a) = a, es morsmo de anillos (donde 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 1.2.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 a denotar Mi , mientras que Mi denotar el subconjunto de Mi formado por los elementos a
iI iI iI def
u a (mi ) que tienen todas sus componentes nulas salvo un nmero nito de ellas, y se llamar suma 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
1.2.
Mdulos o
11
Denicin 1.2.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 1.2.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 . 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 1.2.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 1.2.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 x EE xx x E" xx f M/N es conmutativo, siendo el morsmo de paso al cociente.
f def
12
Cap tulo 1.
Mdulos o
Teorema 1.2.7 (de isomorf a). Sea f : M M un morsmo de A-mdulos. Se cumple que el o diagrama M M/ Ker f
f
/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. Demostracin. Al lector. 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
o Se cumple que es epiyectivo si y slo si {mi }iI es un sistema generador de M , es inyectivo si y slo si {mi }iI son linealmente independientes. Por tanto, es isomorsmo si y slo si {mi }iI es o o o o o una base de M . En consecuencia, todo mdulo es cociente de un libre y un mdulo es libre si y slo si tiene bases.
1.3.
Localizacin de mdulos o o
13
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 o o ai I y mi M }, que es un A-submdulo de M . Se cumple que el A-mdulo M/I M es de modo 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 tendremos que m1 , . . . , mr M/mM es un sistema A-generador de M/mM si y slo si es un sistema o generador del A/m-espacio vectorial M/mM . Lema 1.2.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 r
ai ni , con ai m. Entonces (1 a1 )n1 =

r P i=2
i=2
ai ni . Como (1 a1 )
no se anula en el unico ideal maximal de O, es invertible. Por tanto, n1 = 1a1 , y n2 , . . . , nr = M , 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
1.3
Sea S un sistema multiplicativo de un anillo A y M un A-mdulo, denotaremos por MS : o m , m M y s S : m = m si existen s1 , s2 S tales que las fracciones s s s 3 MS = s1 m s2 m , tienen el mismo numerador y denominador s1 s s2 s 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
3 Observemos
que
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
m s
m s
14
Cap tulo 1.
Mdulos o
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 , m f (m) s def 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 Proposicin 1.3.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 1.3.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 1.3.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
S fS gS f g s i i fn fn+1
MS M
1.3.
f g
15
Demostracin. Si M M M una sucesin exacta de A-mdulos entonces Ker g = Im f . Por o o o fS gS tanto, Ker gS = (Ker g)S = (Im f )S = Im fS (expl citamente, m m ) y M S MS M S es s s exacta. Ejercicio 1.3.4. Probar 1. (M/N )S = MS /NS . 2. (M N )S = MS NS . 3. (M + N )S = MS + NS . 4. (M N )S = MS NS . 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 punto. Por ejemplo la continuidad de las funciones consideradas en Topolog la derivabilidad de las a, 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 1.3.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
def
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 a m. por el teorema de isomorf A/ Anul(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 Si px es un ideal primo maximal diremos que x es un punto cerrado. Teorema 1.3.6. La condicin necesaria y suciente para que un mdulo M (nito generado o no) o o sea cero es que Mx = 0 para todo punto cerrado x.
16
Cap tulo 1.
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 Si M = 0, entonces existe m M no nulo. Sea I = Anul m y mx un ideal maximal que contenga a I. Tenemos que m x = 0 por el prrafo anterior. Por tanto, Mx = 0. a Proposicin 1.3.7. 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 1.3.8. 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 cerrado x Spec A. Demostracin. La implicacin 1 2 es un caso particular de 1.3.3. o o o Veamos que 2 1. Si la sucesin es exacta en todo punto cerrado x entonces Ker gx = Im fx . 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 exactas, tendremos que un morsmo es inyectivo (o epiyectivo) si y slo si lo es localmente, para todo o punto cerrado del espectro del anillo. Corolario 1.3.9. Si Spec A = {x1 , . . . , xn }, donde x1 , . . . , xn son puntos cerrados, entonces A = Ax1 Axn Demostracin. El morsmo A Ax1 Axn , a ( a , . n ., a ) es un isomorsmo: Basta verlo o 1 . 1 al localizar en los xi . Ahora bien, (Axi )xj = 0 si xi = xj , porque los ideales primos de (Axi )xj se corresponden con los ideales primos de A que estn contenidos en mxi y mxj , es decir es vac luego a o, (Axi )xj = 0. Por ultimo (Axi )xi = Axi , porque en el primer trmino de la igualdad localizamos por e invertibles de Axi .
fx gx
1.4.
Longitud de un mdulo o
17
1.4
Longitud de un mdulo o
El concepto de longitud de un mdulo se corresponde con el concepto de dimensin en espacios o o o u vectoriales. Usualmente, se dene la dimensin de un espacio vectorial como el nmero de vectores o de sus bases. En los A-mdulos pueden no existir bases, por tanto, no podemos dar esta denicin. 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 1.4.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 1.4.2. Diremos que una cadena de submdulos 0 = M0 M1 Mn = M es o o una serie de composicin si los cocientes sucesivos Mi /Mi1 son A-mdulos simples. Diremos que la o o 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 Denicin 1.4.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 1.4.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 a contiene estrictamente a M0 N = 0 y est incluido en M1 , luego M1 N = M1 . Sigamos, M2 N 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 a o suyo es de longitud nita. Es fcil probar que si un mdulo es de longitud nita entonces es nito generado, y por tanto, tambin todo submdulo, que es de longitud nita, ser nito generado. e o a
18
Cap tulo 1.
Mdulos o
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 1.4.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 o es una serie de composicin de M , luego l(M ) = n + n = l(M ) + l(M ). 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 Denicin 1.4.6. Llamaremos soporte de un mdulo M al conjunto de ideales primos px tales que o o Mx = 0. Proposicin 1.4.7. 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 dado s s mx (A px ) = 0, tenemos que A/mmx = s A/mx = 0. 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.
1.5.
Problemas
19
1.5
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 ) o o 4. Sea f : M M un morsmo de A-mdulos. Sean N1 , N2 dos submdulos de M probar que 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 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.
20
Cap tulo 1.
Mdulos o
16. Probar que todo cociente de un mdulo nito generado es nito generado. Probar que la suma o de dos submdulos nito generados es nito generado. o 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 Probar que si s : M M es una seccin de g, i.e., g s = Id, entonces la sucesin exacta o o rompe. 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
1.5.
Problemas
21
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
22
Cap tulo 1.
Mdulos o
Cap tulo 2
Mdulos sobre dominios de ideales o principales

2.1 Dominios de ideales principales
Denicin 2.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 2.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 2.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 Denicin 2.1.4. Un elemento propio (no nulo ni invertible) se dice que es irreducible si no descomo pone en producto de dos elementos propios. Se dice que dos elementos propios son primos entre s si carecen de divisores propios comunes. Lema 2.1.5 (de Euclides). Si un elemento irreducible divide a un producto divide algn factor. u 23
24
Cap tulo 2.
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 2.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 2.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 2.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. Supongamos que a no es producto de factores irreducibles. Si as es, entonces a es o producto de dos factores propios y uno de ellos, llammoslo a1 no es producto de factores irreducibles. e Del mismo modo tenemos que a1 es producto de dos factores propios y uno de ellos, llammoslo a2 no e es producto de factores irreducibles. As sucesivamente, vamos obteniendo una cadena (a) (a1 )
= =
(a2 ) ldots lo que contradice la proposicin anterior. o

=
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).
2.2.
Teoremas de descomposicin o
25
2.2
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 2.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 2.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 2.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 2.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 2.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 2.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.
26
Cap tulo 2.
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 1.2.5 M = L M (M ). En o conclusin, M es libre. o Teorema 2.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 2.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.
2.2.
27
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 2.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 2.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
28
Cap tulo 2.
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 2.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 2.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
2.3.
Clasicacin de los grupos abelianos nito generados o

n
29
Denicin 2.2.12. A las potencias pi i,j del teorema de clasicacin se les denomina divisores eleo o mentales de M . Corolario 2.2.13. Dos mdulos nito generados son isomorfos si y slo si tienen el mismo rango y o o los mismos divisores elementales. Ejercicio 2.2.14. Dos mdulos nito generados sobre un dominio de ideales principales son isomorfos o si y slo si son localmente isomorfos. o Ejercicio 2.2.15. Probar que en el caso de que r = 0 entonces Anul(M ) = m.c.m.{pi i,j }i,j A.
n
2.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 2.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. clicos. En particular, todo grupo abeliano nito generado es suma directa de grupos c En el caso particular de que G sea un grupo abeliano nito tendremos que G
i,j
Z/pi i,j Z
Corolario 2.3.2. Dos grupos abelianos nito generados son isomorfos si y slo si tienen el mismo o rango y los mismos divisores elementales. Ejercicio 2.3.3. Probar que Z/4Z Z/4Z Z/4Z Z/2Z Z/2Z
2.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 .
x
30
Cap tulo 2.
Denicin 2.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
/E
Proposicin 2.4.2. Dos endomorsmos T, T de un espacio vectorial son equivalentes si y slo si o o 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 2.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 2.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
2.4.1
Matrices de Jordan
1. Caso de un cuerpo k algebraicamente cerrado Lema 2.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. 1, Veamos que x, . . . , xn1 son generadores: Escribamos p(x) = an xn + + a0 . Tenemos 0 = 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.
2.4.
Clasicacin de los endomorsmos lineales o
31
n1 Lema 2.4.6. { x , . . . , (x ) 1, } 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 ) .. . siendo (Bij ) la siguiente matriz nij nij i 1 (Bij ) = i .. . .. 1 2. Caso del cuerpo R Lema 2.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
32
Cap tulo 2.
Lema 2.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
Demostracin. Slo es observar que o o T (ei ) = T (iei ) =

j j
aij ei =
(bij ei + bij iei )

j
aij iei =
(bij ei + bij iei )
Lema 2.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 1 el R[x]-submdulo o o o o 1. 1: de C[x]/((x )n ) generado por la clase Determinemos el anulador de Por una parte, es claro 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 de es (x )n (x )n . 1 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 1, ) ) es un endomorsmo C-lineal, cuya matriz asociada en la base, sobre C, (x ), . . . , (x ) es 1 .. .. . . 1
2.4.
Clasicacin de los endomorsmos lineales o
33
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) () 1 0 b b 0 1 b b 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 ) .. . donde (Bij ) es la matriz: Si pi (x) = x i entonces i .. . .. 1 Si pi (x) = (x i )(x i ) entonces bi bi bi bi 1 0 (Bij ) = 0 1 i bi bi bi bi .. .
i 1 (Bij ) =
. 1 0 0 1
..
bi bi
bi bi
34
Cap tulo 2.
2.5
Factores invariantes
Consideremos una presentacin de un A-mdulo M nito generado, es decir, una sucesin exacta o o o Am An M 0 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:
j
aij ej ,
Denicin 2.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 i (M ); luego en conclusin Fi (M ) = Fi (M ) . Si la que Por simetr tambin se cumple Fi (M ) F 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 de menores de orden n i 1, por tanto, ci es mltiplo de ci+1 . u Denicin 2.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. Teorema 2.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 a Adems, M A/(1 ) A/(n )
x
Luego, dos A-mdulos nito generados son isomorfos si y slo si poseen los mismos factores o o invariantes. Demostracin. Sea Am An M 0 una sucesin exacta. Dos elementos de A son iguales (salvo o o o invertibles) si al localizar en cada punto cerrado del espectro son iguales y dos mdulos son isomorfos si lo son localmente. Por lo tanto, podemos suponer que A es un anillo local de ideal maximal m = (p).
2.5.
Factores invariantes
35
Por 2.2.9 existen bases de Am y An de modo que correspondiente matriz de es n p 1 s .. . pns 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 2.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 2.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 diente estructura de k[x]-mdulo sobre E. Sea (ij ) la matriz de T en una base {e1 , . . . , en } de E. o Vamos a determinar los factores invariantes de T a partir de su matriz. Sea E[x] el conjunto de polinomios con coecientes en E. E[x] es k[x]-mdulo, ( ai xi )( ej xj ) = o
i j 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.
xi ei . Obviamente el k[x]-mdulo ex xe | e E o
k[x]
est incluido en a
36
Cap tulo 2.
As pues, tenemos la sucesin exacta de k[x]-mdulos o o E[x] e

(xx)
E[x] E 0 ex xe
o o o Por lo tanto, la sucesin anterior es una presentacin de ET como k[x]-mdulo. La matriz del morsmo (x x) es xId (ij ). Luego Teorema 2.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
2.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 pi irreducibles y pi primo con pj , para i = j. Calclese el m u nimo comn mltiplo y mximo u u a comn divisor de de a y b. u 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).
2.6. (c) Resolver la ecuacin diferenciales: y o
Problemas 2y + 2y = 0, y + y = 0.
37
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 polinomio R(x), de modo que R(D)z es una solucin particular de la ecuacin dada. Resolver o o 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 r )nr , expresar y en trminos de primitivas (reiteradas) de sumas de productos de funciones e u o exponenciales y derivadas de z (sese la descomposicin de fracciones racionales en fracciones 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 con p(x), tal que q( )(bn ) = 0. Prubese que existe un polinomio r(x) tal que r( )(an ) es una e 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. 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 )
38
Cap tulo 2.
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), demostrar que la matriz (aij ) es triangulable. Si admitimos, adems, las mismas transformaciones a elementales con las columnas, demostrar que (aij ) es diagonalizable. Resolver el sistema de ecuaciones diofnticas a 7x + 5y = 1 5x + 3y = 3 21. Clasicar los Z-mdulos (Z Z)/ (7, 5), (5, 3) y (Z Z Z)/ (12, 30, 24), (4, 8, 6), (6, 4, 8) . o 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 .
2.6.
Problemas
39
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 columna C(t) tal que eAt C(t) sea una solucin del sistema. o 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
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
40
Cap tulo 2.
(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 3
Producto tensorial. Mdulos o proyectivos e inyectivos

3.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 3.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 3.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 ) . 41
42
Cap tulo 3.
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 3.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 3.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
3.2.
Construccin del producto tensorial o
43
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 3.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 3.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 3.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
3.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
44
Cap tulo 3.
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 3.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. o De acuerdo con la denicin de R y M A N tenemos que (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 3.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 o (m, n), es un morsmo de A-mdulos para cada elemento m M . Obtenemos as un isomorsmo natural BilA (M, N ; P ) = HomA (M, HomA (N, P )) El morsmo natural : M N M N , (m, n) m n, es bilineal.
3.3.
Propiedades del producto tensorial
45
Teorema 3.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 . o o Por ultimo, es una simple comprobacin ver que dado un morsmo de A-mdulos : M N P 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 3.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 )
3.3
Propiedades del producto tensorial
Teorema 3.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.
46
Cap tulo 3.
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 (3.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 3.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 3.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 3.1.7 o o HomA (M , HomA (N, P )) = BilA (M , N ; P ) = HomA (M A N, P ) o o o es una sucesin exacta para todo A-mdulo P . De nuevo 3.1.7 nos permite concluir que la sucesin M A N es exacta.
3.4.
Producto exterior
47
3.4
Producto exterior
Ahora, nuestro objetivo es denir el producto exterior de un A-mdulo. o Denicin 3.4.1. Si A B es un morsmo de anillos se dice que B es una A-lgebra. o a Denicin 3.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 3.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 a que extendido linealmente a T M , dene un producto, con el que es una A-lgebra graduada. Proposicin 3.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 3.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 3.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 3.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
48
Cap tulo 3.
3.5
Producto tensorial de lgebras a
Ahora, nuestro objetivo es denir el producto tensorial de A-lgebras. a a o a Si B y C son A-lgebras, el A-mdulo B A C tiene tiene una estructura de A-lgebra natural: 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 3.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 3.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 )
Proposicin 3.5.3. Sean B y C A-lgebras. Se cumple el isomorsmo o a HomA (B, C) |B o Ejercicio 3.5.4.
HomC (BC , C) / : (b c) = (b) c
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 3.4.4, 3.4.6, o de 1.
3.6
Mdulos planos y proyectivos o
Denicin 3.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 o o e proposicin 3.3.3, si para toda inyeccin N M entonces N A P A P tambin es inyectiva. 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 3.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
3.6.
Mdulos planos y proyectivos o
49
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 3.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 3.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. Teorema 3.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 3.6.6. Un A-mdulo nito generado es plano si y slo si es localmente libre. o o Demostracin. Es consecuencia inmediata de 3.6.3 y 3.6.4. o Denicin 3.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 3.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 3.6.8. Un A-mdulo es proyectivo si y slo si es sumando directo de un libre. o o o
50
Cap tulo 3.
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 1.2.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 3.6.9. Los mdulos proyectivos son planos. o o o o Demostracin. Los mdulos proyectivos son sumandos directos de un libre, que es plano, luego los mdulos proyectivos son planos. o Denicin 3.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 3.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 ) 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 3.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 o o o mdulo P es proyectivo si y slo si para toda sucesin exacta N de A-mdulos entonces la sucesin o o HomA (P, N ) es exacta. Con estas convenciones tenemos: P es proyectivo para toda sucesin o o o o exacta N de A-mdulos HomA (P, N ) es exacta para toda sucesin exacta N de A-mdulos HomA (P, N )x = HomAx (Px , Nx ) es exacta para todo punto cerrado x Spec A Px es un o o o o Ax -mdulo proyectivo (pues toda sucesin exacta de Ax -mdulos N es localizacin de una sucesin o exacta de A-mdulos, expl o citamente (N )x = N ).
3.7.
Mdulos inyectivos. Criterio del ideal o
51
Teorema 3.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 3.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 3.6.9 es plano.
3.7
Mdulos inyectivos. Criterio del ideal para mdulos ino o yectivos
Denicin 3.7.1. Diremos que un A-mdulo M es inyectivo si el functor contravariante HomA (, M ) o o es exacto en la categor de A-mdulos; es decir, si transforma inyecciones en epiyecciones. a o 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 Proposicin 3.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 3.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 3.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 / aA 0 /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
52
Cap tulo 3.
3.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 ,..., )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 Pi ( 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
Lema 3.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.
3.8. Consideremos la sucesin exacta o
Problemas
53
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
o a As pues, el sistema diferencial () es integrable si y slo si (pij )t (u1 , . . . , un ) = 0. Adems, observemos 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 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) =
HomR[x1 ,...,xn ] (, R[[x1 , . . . , xn ]]) obtenemos la sucesin exacta de De Rham o 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
3.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 )
54
Cap tulo 3.
8. Denir un morsmo natural M A N HomA (M, N ). Demostrar que si N es un mdulo de o 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 que existe un isomorsmo de B-mdulos o (M A M )/N 12. Probar que C R C = C C como C-lgebra. a 13. Calcular HomRlg. (C, C). a 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 M B M
Indice de Materias
A-lgebra, 47 a Algebra graduada, 47 Anillo, 5 Anillo ntegro, 7 Anillo conmutativo con unidad, 5 Aplicacin bilineal, 44 o Categor 41 a, Criterio del ideal de platitud, 50 Cuerpo, 5 Divisor de cero, 7 Divisores elementales, 29 Dominio de ideales principales, 23 Elemento irreducible, 23 Espectro primo, 8 Factores invariantes, 34 Funtor contravariante, 41 Funtor covariante, 41 Funtor representable, 43 Ideal, 6 Ideal anulador de un mdulo, 15 o Ideal maximal, 7 Ideal primo, 7 Ideal principal, 23 Ideales de Fitting, 34 Identidad de Bzout, 23 e Isomorsmo de funtores, 42 Lema de Euclides, 23 Lema de Nakayama, 13 Longitud de un mdulo, 18 o Mdulo, 10 o Mdulo de divisin, 52 o o 55 o o Mdulo de presentacin nita, 50 Mdulo de tipo nito, 12 o Mdulo inyectivo, 51 o Mdulo libre, 12 o Mdulo libre de torsin, 25 o o Mdulo plano, 49 o Mdulo proyectivo, 50 o Mdulo simple, 17 o Matriz de Jordan, 31 Morsmo de lgebras, 48 a Morsmo de anillos, 5 Morsmo de mdulos, 11 o Morsmos en una categor 41 a, a, Objetos de una categor 41 stico, 36 Polinomio caracter Producto tensorial de mdulos, 44 o Radical de un anillo, 9 Rango de un mdulo, 25 o Representante de un funtor, 43 Serie de composicin de mdulos, 17 o o Sistema generador de un mdulo, 12 o Soporte de un mdulo, 15 o Subanillo, 6 Submdulo, 10 o Sucesin exacta de mdulos, 14 o o o Sucesin exacta que rompe, 21 Teorema de Hamilton-Cayley, 36 Torsin de un mdulo, 25 o o

Algebra Conmutativa

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Algebra Conmutativa

Transféré par

Droits d'auteur :

Formats disponibles

Algebra Conmutativa

usual utilizar la notacin a a = aa o

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

Denicin 1.1.7. Un ideal p A diremos que es un ideal primo de A si cumple que si ab p o

Proposicin 1.1.13. Un ideal m A es maximal si y slo si A/m es un cuerpo. En particular, los o o

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

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

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

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

Teorema 1.3.8. Sea M M M condiciones son equivalentes

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

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

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

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

Mdulos sobre dominios de ideales o principales

Dominios de ideales principales. Mdulos o

(a2 ) ldots lo que contradice la proposicin anterior. o

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

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

Dominios de ideales principales. Mdulos o

Clasicacin de los grupos abelianos nito generados o

Clasicacin de los grupos abelianos nito generados o

Clasicacin de los endomorsmos de un espacio vectorial o

Dominios de ideales principales. Mdulos o

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

Clasicacin de los endomorsmos lineales o

n1 Lema 2.4.6. { x , . . . , (x ) 1, } es una base de k[x]/((x )n ).

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

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

Dominios de ideales principales. Mdulos o

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

(bij ei + bij iei )

(bij ei + bij iei )

Clasicacin de los endomorsmos lineales o

Dominios de ideales principales. Mdulos o

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

Dominios de ideales principales. Mdulos o

As pues, tenemos la sucesin exacta de k[x]-mdulos o o E[x] e

2.6. (c) Resolver la ecuacin diferenciales: y o

Dominios de ideales principales. Mdulos o

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

Dominios de ideales principales. Mdulos o

Producto tensorial. Mdulos o proyectivos e inyectivos

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

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

Construccin del producto tensorial o

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

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

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

Construccin del producto tensorial de mdulos o o

Producto tensorial. Mdulos proyectivos e inyectivos o

Propiedades del producto tensorial

Propiedades del producto tensorial

Producto tensorial. Mdulos proyectivos e inyectivos o

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

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

HomA (Mi , HomA (N, P ))

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

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

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

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

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