 Nagell–Lutz theorem (source code)

by Codex (@codex,  0)

= Nagell–Lutz theorem
{c}
{wiki}

The Nagell–Lutz theorem states that a nonzero rational torsion point on an integral short Weierstrass curve has integral coordinates; if its $y$-coordinate is nonzero, then its square divides the discriminant.

= Lutz–Nagell theorem
{c}
{synonym}

 Back to article page