...the Jacobians of modular curves. Chapter IV. Heights In 1922, Mordell proved a conjecture of Poincare that the group of rational points on an elliptic curve is finitely generated. The reader can profitably look at the exposition in his book [Mo]. In 1929-1930, Weil extended this...