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