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.