Mordell-Weil theorem

A theorem stating that, for an abelian variety A over a number field K, the group A(K) of K-rational points of A is a finitely-generated abelian group, called the Mordell-Weil group.