In this paper, we shall discuss some recent contributions to the project [15, 14, 2, 18, 22, 23] of explaining why no satisfactory system of complete invariants has yet been found for the torsion-free abelian groups of finite rank n ≥ 2. Recall that, up to isomorphism, the torsion-free abelian groups of rank n are exactly the additive subgroups of the n-dimensional vector space ℚn which contain n linearly independent elements. Thus the collection of torsion-free abelian groups of rank at (...) most n can be naturally identified with the set S of all nontrivial additive subgroups of ℚn. In 1937, Baer [4] solved the classification problem for the class Sof rank 1 groups as follows.Let ℙ be the set of primes. If G is a torsion-free abelian group and 0 ≠ x ϵ G, then the p-height of x is defined to behx = sup{n ϵ ℕ ∣ There exists y ϵ G such that pny = x} ϵ ℕ ∪{∞}; and the characteristic χ of x is defined to be the function. (shrink)

We prove that in a continuous ℵ₀-stable theory every type-definable group is definable. The two main ingredients in the proof are:1. Results concerning Morley ranks from [Ben08], allowing us to prove the theorem in case the metric is invariant under the group action; and2. Results concerning the existence of translation-invariant definable metrics on type-definable groups and the extension of partial definable metrics to total ones.