Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Free R-modules

  1. Jan 13, 2013 #1
    From my textbook:

    A free R-module is "A left R-module F is called a free left R-module if F is isomorphic to a direct sum of copies of R..."

    I know that another definition of an R-module a module with a basis...but I don't know how to connect that definition with this one. Also, what does "copies of R" mean?

    Thanks in advance
     
    Last edited: Jan 13, 2013
  2. jcsd
  3. Jan 21, 2013 #2
    [itex][/itex]
    Can we think of it as
    $$F\cong\prod_{\alpha\in J}R_\alpha$$
    This is the underlying abelian group (analogous to vectors in vector space), and it looks like there is a natural way to multiply on the left by elements of R (analogous to scalars in a vector space).

    For F above, a basis could be elements like (1,0,...,0), (0,1,0,...,0) and so on. Notice each coordinate alone looks like R.

    So that seems to suggest that a left R-module does indeed have a basis. Now let's consider if we think a left R-module with a basis is a free module. Uh, never mind, I'll leave that for someone else


    The product above consists of copies of R.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook