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.

Zur bewiesenen Aussage