 Group commutator

The group commutator measures the failure of two elements to commute. Under the convention $[x,y]=x^{-1}{y}^{-1}xy$, it is the identity exactly when $xy=yx$.