Kähler-Differentiale/Konormalensequenz/Fakt

Es sei ein kommutativer Ring, es sei eine kommutative -Algebra und ein Ideal mit dem Restklassenring .

Dann ist die Sequenz

von -Moduln exakt.

Dabei geht auf und auf .