Affine Kurve/Differentialmodul/Textabschnitt
Lemma
Es sei ein Körper, seien teilerfremde Zahlen und sei . Dann ist
Die Differentialform ist nicht , aber ein nilpotentes Torsionselement.
Beweis
Es sei
.
Dann hat man in der symmetrischen Algebra auch die Gleichungen
und modulo Torsion auch
also eine Ganzheitsgleichung für über .