Kähler-Differentiale/Universelle Eigenschaft/Fakt

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