Processing math: 100%

Saturday, June 1, 2013

R-Module Homomorphisms from R (10.2.9-10)

Dummit and Foote Abstract Algebra, section 10.2, exercises 9-10:

MathJax TeX Test Page Let R be a commutative ring with 1.
9. Prove HomR(R,M)M as R-modules.
10. Prove End(R)R as rings.

Proof: (9) Define a mapping ψ:HomR(R,M)M by φφ(1), and prove it is an R-module isomorphism. We have ψ(φ1+rφ2)=φ1(1)+rφ2(1)=ψ(φ1)+rψ(φ2) for R-module homomorphicity, and if ψ(φ)=φ(1)=0 then φ(r)=rφ(1)=0 so that φ=0 and ψ is thus injective. We show ψ is surjective by constructing the mapping φ defined by φ(1)=m and φ(r)=rm and showing φHomR(R,M): We have this because φ(r1+rr2)=(r1+rr2)m=r1m+r(r2m)=φ(r1)+rφ(r2).

(10) By the above they are already isomorphic as abelian groups, so it suffices to show ψ in this case fulfills ψ(φ1φ2)=(φ1φ2)(1)=φ1(φ2(1))=φ1(φ2(1)1))=φ1(1)φ2(1)=ψ(φ1)ψ(φ2) 

No comments:

Post a Comment