Return to Revisions

Every torsion-free abelian group of cardinality at most $2^\omega$ is isomorphic to a subgroup of the reals. (To see this, note that any such group can be embedded in a divisible torsion-free group of the same cardinality, i.e., a vector space over $\mathbb Q$, which can in turn be embedded in any other vector space over $\mathbb Q$ of the same or greater dimension.) Since already the structure of rank 2 abelian groups is hopelessly complicated, you are not going to find any sensible classification.