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
.