Kähler-Differentiale/Universelle Eigenschaft/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein kommutativer Ring und eine kommutative -Algebra. Dann besitzt der -Modul der Kähler-Differentiale die folgende universelle Eigenschaft.

Zu jedem -Modul und jeder -Derivation

gibt es eine eindeutig bestimmte -lineare Abbildung

mit .

Zum Beweis, Alternativen Beweis erstellen