Lie algebra ideal Commutator ideal The commutator ideal π€β² of a Lie algebra π€ is given by the Lie bracket [π€,π€]. lie Its ideal status is guaranteed by ^P3. tidy | en | SemBr