for any formula_26, ad("a") is a derivation on formula_23, which follows from the jacobi identity. any such derivation is called an inner derivation. this derivation extends to the universal enveloping algebra of the lie algebra.