The commutator of two group members is a way of describing how far two elements are from commuting with each other.
For any the commutator is defined as #m/def/group
Thus and commute iff .
The commutators of all elements forms a normal subgroup called the Commutator subgroup.