El teorema de Mordell-Weil establece que si el cuerpo subyacente formula_10 es el de los racionales (o más en general un cuerpo numérico), entonces el grupo de puntos "K"-racionales será finitamente generado.