- #1

- 58

- 0

## Main Question or Discussion Point

So I just proved that Q (the rationals) is not free abelian since it must have an empty basis. But Q is isomorphic to Z^2 = ƩZ which is equivalent to Q having a nonempty basis. I must be wrong about the isomorphism but I don't see why.

Last edited: