Proving HomR(F;M) isomorphic to M^n for Free Modules of Rank n < 1

  • Thread starter Thread starter math8
  • Start date Start date
  • Tags Tags
    Modules rank
math8
Messages
143
Reaction score
0
View attachment Exampleoflatex.pdf

Let R be a commutative ring with 1. If F is a free module of rank n < 1, then show that
HomR(F;M) is isomorphic to M^n, for each R-module M.

I was thinking about defining a map
Psi : HomR(F;M)--> M^n by psi(f) = (f(e1); f(e2); ... ; f(en))
where F is free on (e1; ... ; en) and
show Psi is an isomorphism. But I am having difficulties showing it is onto.
 
Last edited:
Physics news on Phys.org
Oh, I think I can use the Universal property of free modules to get the onto part.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top