El teorema de Mazur afirma que si
es una curva elíptica no singular y tenemos un punto
de orden
Es más, el conjunto de los puntos de orden finito forma un subgrupo de
de una de las dos formas siguientes: Fue enunciado en 1977 por el matemático estadounidense Barry Mazur (n. 1937).