Kähler-Differentiale/Lokaler Ring/Kotangentialraum/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Körper und eine lokale kommutative -Algebra und es sei die Gesamtabbildung

ein Isomorphismus.

Dann ist die Abbildung

ein -Modulisomorphismus.

Zum Beweis, Alternativen Beweis erstellen