Topology of definable abelian groups in o-minimal structures
arXiv:1102.2494 · doi:10.1112/blms/bdr108
Abstract
In this note we show that every definably connected, definably compact abelian definable group in an o-minimal expansion of a real closed field of dimension not 4 is definably homeomorphic to a torus of the same dimension. Moreover, in the semialgebraic case the result holds for all dimensions.
7 pages