Kähler-Differentiale/Relative Differentialsequenz/Fakt

Aus Wikiversity

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 ).