Groups of Dimension Two and Three Over o-Minimal Structures

Abstract Let G be a group definable in an o-minimal structure M . In this paper we show: Theorem . If G is a two-dimensional definably connected nonabelian group, then G is centerless and G is isomorphic to R + ⋊ R ∗ > 0 , for some real closed field R . Theorem . If G is a three-dimensional nonsolvable, centerless, definably connected group, then either G ≅ SO 3 ( R ) or G ≅ PSL 2 ( R ), for some real closed field R .