G-linear sets and torsion points in definably compact groups

Margarita Otero, Ya'acov Peterzil

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 po…