Algebra Homol ogica (Funtores derivados)

Relaci on 4 Curso 2012-2013

/ Pq 2 / / Pq1 / P0 / / A una sucesi 1. Sea Kq  on exacta con P0 , P1 , , Pq1 proyectivos. Demostrar que si F es un funtor exacto por la derecha, y q 1, entonces la sucesi on

/ Lq F (A)

/ F Kq

/ F Pq1

es exacta. Dualizar a derivados por la derecha (en los casos covariante y contravariante).
dq / Pq1 / Pq2 / / P0 / / A una sucesi on 2. Sea Pq exacta con P0 , P1 , , Pq proyectivos. Sea Kq = Img (dq ). Demostrar que si F es un funtor exacto a izquierda, y q 1, entonces la sucesi on

F Pq

/ F Kq

/ Lq1 F (A)

/0

es exacta. Dualizar a derivados por la derecha. 3. Probar que si F es un funtor aditivo entre categor as de m odulos enLm F, n = 0; tonces Lm Ln F = 0, n > 0. 4. Sea F : RMod SMod un funtor aditivo y U : SMod funtor exacto. Demostrar que U (Ln F ) = Ln (U F ). 5. Dar un ejemplo de una sucesi on de funtores F F F exacta en proyectivos pero no sea exacta. que sea
KMod

un

6. Sea F : RMod SMod un funtor aditivo que es un adjunto a izquierda. Demostrar que para cada familia de R-m odulos {Ai }iI y para cada n se tiene: Ln F (
i I

Ai ) =
i I

Ln F (Ai ).

7. Demostrar que los siguientes enunciados son equivalentes: (a) I es un R-m odulo inyectivo. (b) HomR (, I ) es un funtor exacto. (c) Extn R (A, I ) = 0 para todo n = 0 y para todo A. (d) Ext1 R (A, I ) = 0 para todo A. Dualizar a proyectivos. 8. Demostrar que un R-m odulo I es inyectivo si, y s olo si, Extn R (R/, I ) = 0 para todo ideal izquierda del anillo y todo n = 0. 9. Demostrar que los siguientes enunciados son equivalentes para N un R-m odulo izquierda: (a) N es plano. (b) T orn (M, N ) = 0 para todo n = 0 y para todo M . (c) T or1 (M, N ) = 0 para todo M . 10. Demostrar que si 0 M M M 0 es exacta y M y M son planos, entonces M es tambi en plano.
A 11. Sea A un D.I.P., y sea M = aA . Probar que para cualquier A-m odulo N A A 1 1 N se tiene que ExtA (M, N ) = aN . Calcular ExtA aA , bA .

(Nota: Consid erese la sucesi on exacta larga de los funtores Extn A (, N ) en la primera variable asociada a la sucesi on exacta corta A
j

A aA

donde j es el homomorsmo de multiplicaci on por a). 12. Dadas dos sucesiones exactas cortas de R-m odulos 0KP M 0 0N IJ 0 donde P es proyectivo e I es inyectivo, probar que
n2 Extn R (M, N ) = ExtR (K, J ).

(Nota: Considerad las sucesiones exactas largas asociadas para los funn tores Extn R (, N ), para la primera, y los funtores ExtR (K, ), para la segunda).

13. Para las siguientes sucesiones exactas cortas de grupos abelianos, calcula las correspondientes sucesiones exactas largas de los funtores T orn (, N ) y Extn (, N ). a ) 0 M M M 0 es 0 Z4 Z16 Z4 0 y N = Z4 . b ) 0 M M M 0 es 0 Z4 Z2 Z8 Z4 0 y N = Z4 . 14. Para las siguientes sucesiones exactas cortas de grupos abelianos, calcular las correspondientes sucesiones exactas largas de los funtores T orn (M, ) y Extn (M, ). a ) 0 N N N 0 es 0 Z4 Z16 Z4 0 y M = Z4 . b ) 0 N N N 0 es 0 Z4 Z2 Z8 Z4 0 y M = Z4 .
Z (M, N ) 15. Probar que para dos grupos abelianos M y N se tiene que T or1 = T or(T (M ), T (N )) (donde T (M ) y T (N ) denotan los subm odulos de torsi on de M y N , respectivamente).

16. Dada una sucesi on exacta 0

/ Kq

/ Pq 1

/ P0

/M

/0

donde Pi es proyectivo, probar que la sucesi on Hom(Pq1 , N ) Hom(Kq , N ) Extq (M, N ) 0 es exacta. (Indicaci on: Considerad la sucesi on exacta larga de los funtores Ext en la primera variable asociada a la sucesi on exacta corta Kq Pq1 Kq1 donde Kq1 = Ker(dq1 ).) 17. Demostrar que si R es un anillo local, es su ideal maximal y K = R/ el cuerpo residual, entonces se tiene un isomorsmo
R T or1 (K, K ) = /2 .

(Indicaci on: Considerad la sucesi on exacta larga de los funtores T or en la primera variable asociada a la sucesi on exacta corta R K ). 18. Demostrar que si A es un grupo abeliano nito entonces
Z Ext1 Z (A, Z) = HomZ (A, Q/Z) ; T or1 (Q/Z, A) = A.

(Indicaci on: Para el primer isomorsmo, considerad la sucesi on exacta larga de los funtores Ext en la segunda variable asociada a la sucesi on exacta corta Z Q Q/Z. Para el segundo isomorsmo, utilizad que todo grupo abeliano nito es de torsi on).