Commutators in groups definable in o-minimal structures
Commutators in groups definable in o-minimal structures
We prove the definability and actually the finiteness of the commutator width of many commutator subgroups in groups definable in o-minimal structures. This applies in particular to derived series and to lower central series of solvable groups. Along the way, we prove some generalities on groups with the descending chain …