Kähler-Differentiale/Konormalensequenz/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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 .

Zum Beweis, Alternativen Beweis erstellen