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.