## You are here

HomeMazur's theorem on torsion of elliptic curves

## Primary tabs

# Mazur’s theorem on torsion of elliptic curves

###### Theorem 1 (Mazur).

Let $E/\mathbb{Q}$ be an elliptic curve. Then the torsion subgroup $E_{{\operatorname{torsion}}}(\mathbb{Q})$ is exactly one of the following groups:

$\mathbb{Z}/N\mathbb{Z}\quad 1\leq N\leq 10\quad or\quad N=12$ |

$\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2N\mathbb{Z}\quad 1\leq N\leq 4$ |

Note: see Nagell-Lutz theorem for an efficient algorithm to compute the torsion subgroup of an elliptic curve defined over $\mathbb{Q}$.

# References

- 1 Joseph H. Silverman, The Arithmetic of Elliptic Curves. Springer-Verlag, New York, 1986.
- 2 Barry Mazur, Modular curves and the Eisenstein ideal, IHES Publ. Math. 47 (1977), 33-186.
- 3 Barry Mazur, Rational isogenies of prime degree, Invent. Math. 44 (1978), 129-162.

Defines:

Mazur's theorem

Keywords:

torsion, elliptic curve

Related:

EllipticCurve, MordellWeilTheorem, RankOfAnEllipticCurve, TorsionSubgroupOfAnEllipticCurveInjectsInTheReductionOfTheCurve, ArithmeticOfEllipticCurves

Type of Math Object:

Theorem

Major Section:

Reference

## Mathematics Subject Classification

14H52*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

Apr 22

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia