The Arithmetic of Elliptic Curves
《The Arithmetic of Elliptic Curves》 · 第 203 页 · Chapter VIII「Elliptic Curves over Global Fields」开篇
The Mordell–Weil theorem tells us that the Mordell–Weil group $E(K)$ has the form $E(K)\simeq E(K)_{\mathrm{tors}}\times\mathbb Z^r$.