1. PF Contest - Win "Conquering the Physics GRE" book! Click Here to Enter
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

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)
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Free abelian groups Date
Free product of non-trivial groups is non-abelian Dec 15, 2011
Free abelian group? Feb 28, 2009
Homomorphisms from a free abelian group Mar 5, 2008
Free abelian groups Mar 4, 2008
Free abelian group Jan 18, 2008