commutator

1. (group theory) A binary map in a given group G, given by [g, h] = ghg⁻¹h⁻¹, where g and h are elements of G, which yields the group's identity if and only if the group operation commutes for g and h.

2. (ring theory) A binary map in a given ring R, given by [a, b] = ab − ba, where a and b are elements of R, which yields the ring's zero element if and only if the multiplication operation commutes for a and b.