Derivation/Lie-bracket/Multiplication/Exercise

From Wikiversity
Jump to navigation Jump to search

Let be a commutative -algebra over a commutative ring . Let

denote the -linear multiplication map for . For -linear maps

set

Suppose that a -derivation is given. Show that for all

the map is multiplication by some element.