PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] Nagell-Lutz theorem (Theorem)

The following theorem, proved independently by E. Lutz and T. Nagell, gives a very efficient method to compute the torsion subgroup of an elliptic curve defined over $\Rats$ .

Theorem 1 (Nagell-Lutz Theorem)   Let $E/\Rats$ be an elliptic curve with Weierstrass equation: $$y^2=x^3+Ax+B,\quad A,B\in \Ints$$ Then for all non-zero torsion points $P$ we have:
  1. The coordinates of $P$ are in $\Ints$ , i.e. $$x(P),y(P)\in \Ints$$
  2. If $P$ is of order greater than $2$ , then $$y(P)^2\quad divides\quad 4A^3+27B^2 $$
  3. If $P$ is of order $2$ then $$y(P)=0\quad and\quad x(P)^3+Ax(P)+B=0$$

Bibliography

1
E. Lutz, Sur l'equation $y^2=x^3-Ax-B$ dans les corps p-adic, J. Reine Angew. Math. 177 (1937), 431-466.
2
T. Nagell, Solution de quelque problemes dans la theorie arithmetique des cubiques planes du premier genre, Wid. Akad. Skrifter Oslo I, 1935, Nr. 1.
3
James Milne, Elliptic Curves, online course notes.
4
Joseph H. Silverman, The Arithmetic of Elliptic Curves. Springer-Verlag, New York, 1986.




"Nagell-Lutz theorem" is owned by alozano.
(view preamble | get metadata)

View style:

See Also: elliptic curve, Mordell-Weil theorem, rank of an elliptic curve, the torsion subgroup of an elliptic curve injects in the reduction of the curve, the arithmetic of elliptic curves

Also defines:  Nagell-Lutz theorem
Keywords:  torsion, elliptic curve, Mazur's theorem

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: order, coordinates, points, torsion, Weierstrass equation, elliptic curve, torsion subgroup, theorem
There are 3 references to this entry.

This is version 1 of Nagell-Lutz theorem, born on 2003-08-18.
Object id is 4608, canonical name is NagellLutzTheorem.
Accessed 4848 times total.

Classification:
AMS MSC14H52 (Algebraic geometry :: Curves :: Elliptic curves)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)