Torsion-free abelian groups of rank 1

Infinitely generated abelian groups have very complex structure and are far less well understood than finitely generated abelian groups. Even torsion-free abelian groups are vastly more varied in their characteristics than vector spaces. Torsion-free abelian groups of rank 1 are far more amenable than those of higher rank, and a satisfactory classification exists, even though there are an uncountable number of isomorphism classes.
Definition.
A torsion-free abelian group of rank 1 is an abelian group such that every element except the identity has infinite order, and for any two non-identity elements "a" and "b" there is a non-trivial relation between them over the integers:
Classification of torsion-free abelian groups of rank 1.
For any non-identity element "a" in such a group and any prime number "p" there may or may not be another element "apn" such that:
If such an element exists for every "n", we say the "p"-root type of "a" is infinity, otherwise, if "n" is the largest non-negative integer that there is such an element, we say the "p"-root type of "a" is "n" .
We call the sequence of "p"-root types of an element "a" for all primes the root-type of "a":
If "b" is another non-identity element of the group, then there is a non-trivial relation between "a" and "b":
where we may take "n" and "m" to be coprime.
As a consequence of this the root-type of "b" differs from the root-type of "a" only by a finite difference at a finite number of indices (corresponding to those primes which divide either "n" or "m").
We call the co-finite equivalence class of a root-type to be the set of root-types that differ from it by a finite difference at a finite number of indices. 
The co-finite equivalence class of the type of a non-identity element is a well-defined invariant of a torsion-free abelian group of rank 1. We call this invariant the type of a torsion-free abelian group of rank 1. 
If two torsion-free abelian groups of rank 1 have the same type they may be shown to be isomorphic. Hence there is a bijection between types of torsion-free abelian groups of rank 1 and their isomorphism classes, providing a complete classification.