Derivation of a Lie algebra (source code)

= Derivation of a Lie algebra
{wiki=Derivation_(differential_algebra)}

A derivation of a <Lie algebra> is a <linear map> $D:L\to L$ satisfying
$$
D[x,y]=[Dx,y]+[x,Dy].
$$
Every adjoint map $\operatorname{ad}z:x\mapsto[z,x]$ is a derivation.