Locally definable subgroups of semialgebraic groups

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 [Formula: see text] be an abelian semialgebraic group over a real closed field [Formula: see text] and let [Formula: see text] be a semialgebraic subset of [Formula: see text]. Then the group generated by [Formula: see text] contains a generic set and, if connected, it is divisible. More generally, the same result holds when [Formula: see text] is definable in any o-minimal expansion of [Formula: see text] which is elementarily equivalent to [Formula: see text]. We observe that the above statement is equivalent to saying: there exists an [Formula: see text] such that [Formula: see text] is an approximate subgroup of [Formula: see text].

TOPOLOGICAL DYNAMICS OF STABLE GROUPS

AssumeGis a group definable in a modelMof a stable theoryT. We prove that the semigroupSG(M) of completeG-types overMis an inverse limit of some semigroups type-definable inMeq. We prove that the maximal subgroups ofSG(M) are inverse limits of some definable quotients of subgroups ofG. We consider the powers of types in the semigroupSG(M) and prove that in a way every type inSG(M) is profinitely many steps away from a type in a subgroup ofSG(M).