Splitting definably compact groups in o-minimal structures

Marcello Mamino

An argument of A.Borel shows that every compact connected Lie group is homeomorphic to the Cartesian product of its derived subgroup and a torus. We prove a parallel result for def…