Es sei eine kommutative
-Algebra
über einem kommutativen Ring . Zu bezeichne
-
die -lineare Multiplikationsabbildung und zu zwei -linearen Abbildungen
-
bezeichne
-
Es sei
eine
-Derivation.
Zeige, dass zu jedem die Abbildung eine Multiplikationsabbildung ist.