Varietät/Absoluter Frobenius/Kähler-Differentiale/Fakt/Beweis

Beweis

Wir können eine affine Situation annehmen mit dem zugehörigen ${}K$ -Algebra ${}R$ . Die Erzeuger ${}dx$ des Kähler-Moduls werden dabei auf ${}dx^{p}=px^{p-1}dx=0$ abgebildet.