 Mordell–Weil group

For a number field $K$, the Mordell-Weil theorem says that $E(K)$ is a finitely generated abelian group.