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, #m/thm/falg i.e. the commutator of two derivations is itself a derivation.

Proof

Let and . Then

hence .

#state/tidy | #lang/en | #SemBr