Real Algebraic and Analytic Geometry
Submission: 2010, June 1.
We prove the definability, and actually the finiteness of the commutator width, of many commutator subgroups in groups definable in o-minimal structures. It 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 condition on definable subgroups and/or with a definable and additive dimension.
Mathematics Subject Classification (2010): 03C64; 20F12, 20F38, 20A15, 03C60.
Keywords and Phrases: commutators, o-minimality, semi-algebraic groups, Lie groups.
Full text, 30p.: dvi 127k, pdf 387k.