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)=r⋅m and showing φ∈HomR(R,M): We have this because φ(r1+r∗⋅r2)=(r1+r∗⋅r2)m=r1⋅m+r∗⋅(r2⋅m)=φ(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