Mordell–Weil theorem
In mathematics, the Mordell–Weil theorem states 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-...