Locally definable subgroups of semialgebraic groups

Eliás Baro, Pantelis E. Eleftheriou, Ya'acov Peterzil

Research output: Contribution to journalArticlepeer-review


We prove the following instance of a conjecture stated in [P. E. Eleftheriou and Y. Peterzil, Definable quotients of locally definable groups, Selecta Math. (N.S.) 18(4) (2012) 885-903]. Let G be an abelian semialgebraic group over a real closed field R and let X be a semialgebraic subset of G. Then the group generated by X contains a generic set and, if connected, it is divisible. More generally, the same result holds when X is definable in any o-minimal expansion of R which is elementarily equivalent to a an,exp. We observe that the above statement is equivalent to saying: there exists an m such that ςi=1m(X - X) is an approximate subgroup of G.

Original languageEnglish
Article number2050009
JournalJournal of Mathematical Logic
Issue number2
StatePublished - 1 Aug 2020

Bibliographical note

Funding Information:
We thank Eliana Barriga for reading and commenting on an early version of this paper. We also thank the anonymous referee for suggestions which improved the presentation of this paper. E. Baro was supported by the program MTM2017-82105-P. P. E. Eleftheriou was supported by an Independent Research Grant from the German Research Foundation (DFG) and a Zukunftskolleg Research Fellowship.

Publisher Copyright:
© 2020 World Scientific Publishing Company.


  • Semialgebraic groups
  • approximate groups
  • generic sets
  • lattices
  • locally definable groups

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Locally definable subgroups of semialgebraic groups'. Together they form a unique fingerprint.

Cite this