Elliptische Kurve/Multiplikation/Separabel/Fakt/Beweis

Beweis

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