A derivation is a linear map of the algebra into itself that satisfies the Leibniz rule:
where and are elements of the algebra.
Inner derivation
An inner derivation is a special kind of derivation that is defined on an associative algebra with a fixed unit element. An inner derivation is associated with an element of the algebra, and is defined as follows:
For any element in the algebra, the inner derivation associated with , denoted by , is defined as the linear map on the algebra given by
where denotes the commutator of and . It can be also denoted by .