Let
be any algebra over a field , and define a derivation of as a linear operator on satisfying

for all .
Then the set
of all derivations of in a subspace of the associative
algebra of all linear operators on is a Lie algebra, called the
derivation algebra.