Inner derivation (source code)

= Inner derivation
{wiki}

For $m\in M$, the formula $d_m(r)=rm-mr$ defines an inner derivation $R\to M$.