Kähler Differentiale/Universeller Modul/Definition

Modul der Kähler-Differentiale

Es sei ein kommutativer Ring und eine kommutative -Algebra. Der von allen Symbolen , , erzeugte -Modul, modulo den Identifizierungen

und

heißt Modul der Kähler-Differentiale von über . Er wird mit

bezeichnet.