Teorema de torsión de Mazur

Plantilla:Wikificar El teorema de Mazur afirma que si $E$ es una curva elíptica no singular y tenemos un punto $P\in E(\mathbb{Q})$ de orden $m$ finito, entonces $1\le m\le 10$ o $m=12$. Es más, el conjunto de los puntos de orden finito forma un subgrupo de $E(\mathbb{Q})$ de una de las dos formas siguientes:

• Un grupo cíclico de orden $1\le N\le 10$ o $N=12$.
• El producto de un grupo cíclico de orden 2 y un grupo cíclico de orden $2N$ con $1\le N\le 4$.

Fue enunciado en 1977 por el matemático estadounidense Barry Mazur (n. 1937).