On divisibility in definable groups
Fundamenta Mathematicae 202 (2009), 295-298 MSC: Primary 03C64. DOI: 10.4064/fm202-3-6
Let $\cal M$ be an o-minimal expansion of a real closed field. It is known that a definably connected abelian group is divisible. We show that a definably compact definably connected group is divisible.