El teorema de Mordell afirma que si formula_1 es una curva elíptica racional no singular, esto es que formula_2 y formula_3 no tengan raíces comunes, entonces el grupo de los puntos racionales formula_4 es un grupo abeliano finitamente generado.