13.07.2015 Views

pdf 3Mb - Publicaciones - Universidad Juárez Autónoma de Tabasco

pdf 3Mb - Publicaciones - Universidad Juárez Autónoma de Tabasco

pdf 3Mb - Publicaciones - Universidad Juárez Autónoma de Tabasco

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Invitación al álgebra homólogica 65a) la propiedad P,b) para toda sucesión exacta corta M · <strong>de</strong> R−módulos la sucesión Hom R(N, M ·) tambiénes exacta.Ejemplo 4. 1. Sea R n un módulo libre y supongamos que tenemos morfismos:R n γ.M 2f M 3 0Sea e 1, ...e n una base <strong>de</strong> R n y m i := γ(e i). Sean ¯m i ∈ M 2 tales que f( ¯m i) = m i. ComoR n es libre la asignación β(e i) = ¯m i <strong>de</strong>fine una aplicación R − lineal β : R n → M 2 quepor construcción satisfaceγ = f ◦ β.Es <strong>de</strong>cir, todo módulo libre es proyectivo.2. Sea R = Z y consi<strong>de</strong>remos el módulo Z 2 y el diagrama:Z 2idZπ Z 2 0don<strong>de</strong> π es el cociente <strong>de</strong> Z por 2Z. Este diagrama no pue<strong>de</strong> ser completado con unmorfismo β : Z 2 → Z puesto que Hom Z (Z 2, Z) = 0. Esto es, Z 2 no es un móduloproyectivo.Ejemplo 5. Demuestre que:a) un módulo M es libre (≃ R n ) si y sólo si tiene una base e 1, ..., e n. Aquí la <strong>de</strong>finición<strong>de</strong> base es exactamente la misma que en álgebra lineal: un conjunto <strong>de</strong> generadoreslinealmente in<strong>de</strong>pendientes.b) si M es libre y e 1, ..., e n es una base todo morfismo α : M → N se <strong>de</strong>fine medianteuna asignación α(e i) = n i ∈ N. En particular para todo N:Hom R(R n , N) ≃ N n .Ejercicio 9. Demuestre que Hom Z (Z 2 , Z) = 0.El último ejemplo nos permite <strong>de</strong>ducir dos razones por la cuáles un módulo pue<strong>de</strong>no ser proyectivo.Afirmación 2. Sea D un dominio (todo elemento <strong>de</strong> D ≠ 0 es regular). Sea M unD−módulo finitamente generado y supongamos que existe m ∈ M tal que m es <strong>de</strong>torsión, es <strong>de</strong>cir, m ≠ 0 y para algún n ∈ Z, n ≠ 0 nm = 0. Entonces M no esproyectivo.Revista <strong>de</strong> Ciencias Básicas UJAT, 4(1)Noviembre 2005 p 53–67

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!