Teorema de torsión de Mazur
El teorema de Mazur afirma que si es una curva elíptica no singular y tenemos un punto de orden finito, entonces o . Es más, el conjunto de los puntos de orden finito forma un subgrupo de de una de las dos formas siguientes:
- Un grupo cíclico de orden o .
- El producto de un grupo cíclico de orden 2 y un grupo cíclico de orden con .
Fue enunciado en 1977 por el matemático estadounidense Barry Mazur (n. 1937).