Kähler-Differentiale/Relative Differentialsequenz/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein kommutativer Ring und es seien und kommutative -Algebren und

ein -Algebrahomomorphismus.

Dann ist die Sequenz

von -Moduln exakt.

Dabei geht auf und (in ) auf (in ).

Zum Beweis, Alternativen Beweis erstellen