Derivation on an algebra Inner derivation Let be a Lie algebra and be its adjoint representation. An inner derivation is a derivation on that can be written as for some . The set of all such derivations is an ideal of [[Derivation subalgebra|]]. Proof of ideal Let be a derivation, and let . Then for any as required. tidy | en | sembr