A derivation on a Lie algebra is a linear map that obeys the Leibniz' law, that is,
for all x and y in the algebra.
That adx is a derivation is a consequence of the Jacobi identity. This implies that the image of under ad is a subalgebra of, the space of all derivations of .
Read more about this topic: Adjoint Endomorphism