  We show that the derived subgroup of a linear definable group in an o-minimal
structure is also definable, extending the semialgebraic case proved by A.
Pillay. We also show the definability of the derived subgroup in case that the
group is simply-connected.
