For elliptic curve E/K (number field): E(K) is a finitely-generated abelian group. E(K) ≅ ℤ^r ⊕ T with r = rank, T torsion.