forall a,b in G the commutator of a and b is aba^b^

The commutator subgroup is defined as: The subgroup generated by all possible products of commutators.