Derived subgroup (or commutator subgroup) of a group is the subgroup generated by all commutators of that group (thus being the verbal subgroup for the word $[a, b]$). To be used with the tag [group-theory]