Lie algebra ideal

Commutator ideal

The commutator ideal 𝔤′ of a Lie algebra 𝔤 is given by the Lie bracket [𝔤,𝔤]. #m/def/lie Its ideal status is guaranteed by ^P3.

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