Mordell-Weil group (source code)

= Mordell-Weil group
{c}
{title2=$E(K)$}
{wiki=Mordell–Weil_theorem}

For a number field $K$, the Mordell-Weil theorem says that $E(K)$ is a finitely generated abelian group.