The **torsion order** of an elliptic curve $E$ over a field $K$ is the order of the torsion subgroup $E(K)_{\text{tor}}$ of its Mordell-Weil group E(K).

The torsion subgroup $E(K)_{\text{tor}}$ is the set of all points on $E$ with coordinates in $K$ having finite order in the group $E(K)$. When $K$ is a number field (for example, when $K=\Q$) it is a finite set, since by the Mordell-Weil Theorem, $E(K)$ is finitely generated.

When $K=\Q$ the torsion order $n$ satisfies $n\le16$, by a theorem of Mazur.

**Knowl status:**

- Review status: reviewed
- Last edited by Vishal Arul on 2019-09-20 16:28:25

**Referred to by:**

- ec.bsdconjecture
- ec.mordell_weil_group
- ec.q.bsd_invariants
- ec.q.bsdconjecture
- lmfdb/ecnf/main.py (line 861)
- lmfdb/ecnf/templates/ecnf-curve.html (line 300)
- lmfdb/elliptic_curves/elliptic_curve.py (line 199)
- lmfdb/elliptic_curves/templates/ec-curve.html (line 259)
- lmfdb/elliptic_curves/templates/ec-index.html (line 19)

**History:**(expand/hide all)

- 2019-09-20 16:28:25 by Vishal Arul (Reviewed)
- 2019-05-07 05:55:46 by David Farmer (Reviewed)
- 2019-02-08 11:33:05 by John Cremona (Reviewed)

**Differences**(show/hide)