Algebra theory MOC Derivation subalgebra Let be the set of all derivations of an algebra over , i.e. Then is a Lie subalgebra of the commutator algebra of the endomorphism ring, falg i.e. the commutator of two derivations is itself a derivation. Proof Let and . Then hence . tidy | en | sembr