Locally definable subgroups of semialgebraic groups

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

doi:10.1142/S0219061320500099

Locally definable subgroups of semialgebraic groups

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

Department of Mathematics

Research output: Contribution to journal › Article › peer-review

Abstract

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 language	English
Article number	2
Pages (from-to)	2050009:1-2050009:17
Number of pages	17
Journal	Journal of Mathematical Logic
Volume	20
Issue number	2
DOIs	https://doi.org/10.1142/S0219061320500099
State	Published - 1 Aug 2020

Bibliographical note

DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Keywords

Semialgebraic groups
approximate groups
generic sets
lattices
locally definable groups

ASJC Scopus subject areas

Logic

Access to Document

10.1142/S0219061320500099

Cite this

@article{4ef793d9786645eba09ea33ef9184eab,

title = "Locally definable subgroups of semialgebraic groups",

abstract = "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.",

keywords = "Semialgebraic groups, approximate groups, generic sets, lattices, locally definable groups",

author = "Eli{\'a}s Baro and Eleftheriou, {Pantelis E.} and Ya'acov Peterzil",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2020",

month = aug,

day = "1",

doi = "10.1142/S0219061320500099",

language = "English",

volume = "20",

pages = "2050009:1--2050009:17",

journal = "Journal of Mathematical Logic",

issn = "0219-0613",

publisher = "World Scientific Publishing Co. Pte Ltd",

number = "2",

}

TY - JOUR

T1 - Locally definable subgroups of semialgebraic groups

AU - Baro, Eliás

AU - Eleftheriou, Pantelis E.

AU - Peterzil, Ya'acov

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2020/8/1

Y1 - 2020/8/1

N2 - 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.

AB - 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.

KW - Semialgebraic groups

KW - approximate groups

KW - generic sets

KW - lattices

KW - locally definable groups

UR - http://www.scopus.com/inward/record.url?scp=85076625656&partnerID=8YFLogxK

U2 - 10.1142/S0219061320500099

DO - 10.1142/S0219061320500099

M3 - Article

AN - SCOPUS:85076625656

SN - 0219-0613

VL - 20

SP - 2050009:1-2050009:17

JO - Journal of Mathematical Logic

JF - Journal of Mathematical Logic

IS - 2

M1 - 2

ER -

Locally definable subgroups of semialgebraic groups

Abstract

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this