Commutator subgroup/Definition

The subgroup of a group generated by all commutators.