I did a Web search and came across the notion of a “commutator ideal”; this is smallest ideal of the ring containing all elements of the form for . This suggests that the set of all itself is not generally an ideal.

Where did you find this question?