Interpretable groups are definable
Abstract
We prove that in an arbitrary o-minimal structure, every interpretable group is definably isomorphic to a definable one. We also prove that every definable group lives in a cartesian product of one-dimensional definable group-intervals (or one-dimensional definable groups). We discuss the general open question of elimination of imaginaries in an o-minimal structure.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2011
- DOI:
- 10.48550/arXiv.1110.6581
- arXiv:
- arXiv:1110.6581
- Bibcode:
- 2011arXiv1110.6581R
- Keywords:
-
- Mathematics - Logic