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

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