Publisher: Cambridge University Press
Print Publication Year: 2008
Online Publication Date:August 2010
Chapter DOI: http://dx.doi.org/10.1017/CBO9780511735219.006
Subjects: Logic, categories and Sets
Groups definable in o-minimal structures have been studied for the last twenty years. The starting point of all the development is Pillay's theorem that a definable group is a definable group manifold (see Section 2). This implies that when the group has the order type of the reals, we have a real Lie group. The main lines of research in the subject so far have been the following:
On interpretability, we have a clear view, with final results in Theorems 4.1 and 4.3 below. Lines of research (2) and (3) can be seen as a way of comparing definable groups with real Lie groups (see Section 2). The best results on the Euler characteristic are those of Theorems 6.3 and 6.5. The study of the torsion begins the study of the algebraic properties of definable groups, and the best result about the algebraic structure of the torsion subgroups is Theorem 5.9. On the other hand, the cases in which Pillay's conjectures are proved are stated in Theorems 8.3 and 8.8.