Commutator ideal