1: \begin{abstract}We prove the definability, and actually the finiteness of the commutator width, of many 

2: commutator subgroups in groups definable in o-minimal structures. It applies in particular to derived series 

3: and to lower central series of solvable groups. Along the way, we prove some 

4: generalities on groups with the descending chain condition on definable subgroups 

5: and/or with a definable and additive dimension. 

6: \end{abstract}

7: