Algebra theory MOC Derivation on an algebra A derivation on an algebra over a field is a linear endomorphism satisfying the product rule falg for all . One can more generally define a derivation for any -bimodule . Properties The commutator of two derivations is itself a derivation A derivation on a K-monoid is a derivation on its commutator Proof of 2 Let be a unital associative algebra over and be a derivation of . Then for any proving ^P2. tidy | en | sembr