Teorema de torsión de Mazur

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

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