Elliptische Kurve/Zahlbereich/Satz von Mordell-Weil/Fakt

Der Satz von Mordell-Weil

Es sei ${}E$ eine elliptische Kurve über einem Zahlkörper ${}K$.

Dann ist ${}E(K)$ endlich erzeugt.

Zum Beweis, Alternativen Beweis erstellen