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.
