For elliptic curves over the rationals , the group of rational points is always finitely generated (i.e., there always exists a finite set of group generators). This theorem was proved by Mordell (1922) and extended by Weil (1928) to Abelian varieties over number fields.