Definable groups as homomorphic images of semilinear and field-definable groups
Abstract
We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their locally definable covers. As a corollary, we prove the Compact Domination Conjecture in o-minimal expansions of ordered groups.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2012
- DOI:
- 10.48550/arXiv.1201.5894
- arXiv:
- arXiv:1201.5894
- Bibcode:
- 2012arXiv1201.5894E
- Keywords:
-
- Mathematics - Logic;
- 03C64;
- 03C68;
- 22B99
- E-Print:
- arXiv admin note: substantial text overlap with arXiv:1103.4770