Topology of definable abelian groups in o-minimal structures

Abstract

In this note, we prove that every definably connected, definably compact abelian definable group G in an o-minimal expansion of a real closed field with dim(G)≠4 is definably homeomorphic to a torus of the same dimension. Moreover, in the semialgebraic case the result holds for all dimensions.