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

Homework Help: Free abelian groups

  1. Jan 18, 2008 #1
    1. The problem statement, all variables and given/known data
    What is the point of giving free abelian groups a special name if they are all isomorphic to Z times Z times Z ... times Z for r factors of Z, where r is the rank of the basis?


    2. Relevant equations



    3. The attempt at a solution
     
  2. jcsd
  3. Jan 18, 2008 #2
    This is the same as asking why we talk about an n-dimensional vector space (say real) when it is just isomorphic to R^n. The point is that yes, it is isomorphic to R^n, but not in any canonical way. What I mean is that the isomorphism depends on a choice of basis, and therefore is not natural.

    Take for example, the set of homomorphisms from Z^2 to Z, denoted Hom(Z^2, Z). This is a free Abelian group that isomorphic to Z^2, but there is no natural isomorphism. (try to find one and you'll see that you keep having to pick a basis of Z^2 to do so)
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook