Real Algebraic and Analytic Geometry Preprint Server

e-mail:

Submission: 2004, December 2.

Abstract:
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.