nLab Mordell-Weil theorem

Statement

The Mordell-Weil theorem states that for an elliptic curve $E$ over a number field $K$, the group of $K$-rational points (also known as the Mordell-Weil group?) $E(K)$ form a finitely generated abelian group.

References

• Wikipedia, Mordell-Weil theorem