States the universal property of the abelianization of a [Lie algebra](/page/Lie%20Algebra): every homomorphism into an abelian Lie algebra factors uniquely through the quotient by the commutator ideal. This provides the canonical linearization of maps to abelian targets.