The derivation algebra of an algebra 
over a field 
is the Lie algebra 
of all its derivations.
A derivation of 
is a linear operator 
on 
satisfying
 |
for all 
. For the algebra 
, the set 
is a subspace of the associative
algebra of all linear operators on 
.
