Let A be any algebra over a field F, and define a derivation of A as a linear operator D on A satisfying (x y) D = (x D) y + x(y D) for all x, y element A. Then the set D(A) of all derivations of A in a subspace of the associative algebra of all linear operators on A is a Lie algebra, called the derivation algebra.