Real Algebraic and Analytic Geometry
Submission: 2004, December 2.
Let M be an o minimal expansion of a real closed field. It is known that a definably connected abelian group definable in M is divisible. In this note, we show that a definably compact definably connected grpup definable in M is divisible .
Mathematics Subject Classification (2000): 03C64, 14P10, 22C05.
Keywords and Phrases: o minimality, definable group, divisible group.
Full text, 5p.: dvi 17k, ps.gz 97k, pdf 117k.