Published online by Cambridge University Press: 18 May 2009
Let A be a commutative algebra, and let M be a bimodule over A. A derivation from A into M is a linear mapping D: A→M that satisfies
If M is only a left A-module, by a derivation from A into M we mean a linear mapping D: A→M such that
Each A-bimodule M is trivially a left module. However, unless it is commutative, i.e.
the two classes of linear operators from A into M characterized by (1) and (2), respectively, need not coincide.