Polynomring/Kählermodul und Derivation/Beschreibung/Fakt

Es sei ein kommutativer Ring und der Polynomring in Variablen über .

Dann ist der Modul der Kähler-Differentiale der freie -Modul zur Basis

Die universelle Derivation ist bezüglich dieser Basis durch

gegeben.