Elliptische Kurve/Multiplikation/Separabel/Fakt/Beweis

Beweis

Nach Fakt ist bei $m = 0$ der Rückzug der Differentialformen die Nullabbildung und bei $m \neq 0$ ist er surjektiv. Wegen Fakt entspricht dies den Fällen, dass der relative Kählermodul ungleich oder gleich $0$ ist, was nach Fakt die (Nicht-)separabilität der Erweiterung der Funktionenkörper charakterisiert.