Es sei
eine kommutative
-Algebra
über einem kommutativen Ring
. Zu
bezeichne
-
die
-lineare Multiplikationsabbildung und zu zwei
-linearen Abbildungen
-
bezeichne
-
![{\displaystyle {}[\varphi _{1},\varphi _{2}]=\varphi _{1}\circ \varphi _{2}-\varphi _{2}\circ \varphi _{1}\,.}](../../../_assets_/eb734a37dd21ce173a46342d1cc64c92/7307941213194905b6c44144d9513a4ea67850b3.svg)
Es sei
eine
-Derivation.
Zeige, dass zu jedem
die Abbildung
eine Multiplikationsabbildung ist.