Mordell-Weil group (source code)

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

= Mordell-Weil theorem
{c}
{synonym}

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