On the Commutator Subring

Integrals of groups

“…Given a base of identities for V , is it possible to find a base of identities for W ? Observe that in general, the commutators of all pairs of elements in a ring form a subring, but they do not necessarily form an ideal [9]. Therefore the ring theory literature considers the commutator as the ideal generated by all pairs…”