Polynomring/Kählermodul und Derivation/Beschreibung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.

Zum Beweis, Alternativen Beweis erstellen