G-linear sets and torsion points in definably compact groups
Logic
2007-08-06 v1
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 X subset of G then X contains a torsion point of G. Along the way we develop a general theory for so-called G-linear sets, and investigate definable sets which contain abstract subgroups of G.
Cite
@article{arxiv.0708.0532,
title = {G-linear sets and torsion points in definably compact groups},
author = {Margarita Otero and Ya'acov Peterzil},
journal= {arXiv preprint arXiv:0708.0532},
year = {2007}
}
Comments
17 pages