WRSWorld Research StateContribute
WORLD RESEARCH STATE

Mordell: finite generation of rational points on genus-one curves

Contribution grade

Arithmetic geometry · Exact theorem and reusable mathematical method

Reference score360,000Provisional editorial estimate of this exact contribution; its grade is assessed separately.

What changed

Mordell proved that rational solutions of the nonsingular genus-one cubic/quartic equations treated in his 1922 paper can all be generated from finitely many rational points by the classical chord/tangent and corresponding quartic constructions. For an elliptic curve over the rationals this gives finite generation of its rational-point group; infinite rational points can therefore have a finite generating set.

Scientific scope

Mordell proved that rational solutions of the nonsingular genus-one cubic/quartic equations treated in his 1922 paper can all be generated from finitely many rational points by the classical chord/tangent and corresponding quartic constructions. For an elliptic curve over the rationals this gives finite generation of its rational-point group; infinite rational points can therefore have a finite generating set. Finite generation is not finiteness of the set of points and is not a computable complete generating algorithm for every input curve. The paper is over the rationals; Weil's later number-field/abelian-variety generalization is not included. A genus-one curve needs a rational base point to be viewed as an elliptic-curve group. The concluding genus>1 finiteness assertion is explicitly a conjecture here, not a 1922 proof of the theorem later established by Faltings.

Evidence

The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. Finite generation is not finiteness of the set of points and is not a computable complete generating algorithm for every input curve. The paper is over the rationals; Weil's later number-field/abelian-variety generalization is not included. A genus-one curve needs a rational base point to be viewed as an elliptic-curve group. The concluding genus>1 finiteness assertion is explicitly a conjecture here, not a 1922 proof of the theorem later established by Faltings.

Contributors

Provisional WRS assessment, edition 2026-10-23.3. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction