Algebra/Modul der Hauptteile/Universelle Eigenschaft/Fakt

Es sei eine kommutative -Algebra und .

Eine -lineare Abbildung ist genau dann ein Differentialoperator der Ordnung , wenn es eine -Linearform

derart gibt, dass

gilt.