MATH535_HW11 - Serge Ballif MATH 535 Homework 11 November...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Serge Ballif MATH 535 Homework 11 November 30, 2007 1-2) Let I be an ideal of the ring R , and let M,N be R-modules such that IN = 0 . Then show that, as R/I modules, M R N M/IM R/I N with the isomorphism given by m R n 7 [ m ] R/I n . Remark: Be sure to base your argument on the Universal Mapping Property of tensor products. For example, you may induce maps between the two sides via their universal mapping properties and show that the isomorphism satisfies the property stated. Or you may simply show that one object satisfies the Universal Mapping Property of the other. (Recall the strict warning against trying to define maps from M R N by what they do on elements m R n .) Although nothing much exciting is going on, it is beneficial to work through such an example to gain experience in dealing with tensor products. Claim 1. M R N is an R/I-module. Proof. Scalar multiplication is this case is given by ( r + I )( m n ) = rm n = m rn . This map is well defined because for r + i = r we have [ r ]( m n ) = ( r + i )( m n ) = ( rm + im ) n = rm n + im n = rm n + m in = rm n = [ r ]( m n ) . M R N satisfies the properties of being an R/I module as a consequence of the fact that it is an R-module....
View Full Document

This note was uploaded on 04/01/2008 for the course MATH 535 taught by Professor Brownawell,woodro during the Fall '08 term at Pennsylvania State University, University Park.

Page1 / 3

MATH535_HW11 - Serge Ballif MATH 535 Homework 11 November...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online