Abstract
Let G be a definably compact group in an o-minimal expansion of a real closed field. We prove that if dim(G\X) < dim G for some definable ⊆ G then X contains a torsion point of G. Along the way we develop a general theory for the so-called G-linear sets, and investigate definable sets which contain abstract subgroups of G.
Original language | English |
---|---|
Pages (from-to) | 387-402 |
Number of pages | 16 |
Journal | Archive for Mathematical Logic |
Volume | 48 |
Issue number | 5 |
DOIs | |
State | Published - Jun 2009 |
Bibliographical note
Funding Information:M. Otero was Partially supported by GEOR MTM2005-02568 and Grupos UCM 910444.
Keywords
- Definable group
- O-Minimality
- Torsion point
ASJC Scopus subject areas
- Philosophy
- Logic