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

We give a model-theoretic treatment of the fundamental results of Kechris-Pestov-Todorčević theory in the more general context of automorphism groups of not necessarily countable structures. One of the main points is a description of the universal ambit as a certain space of types in an expanded language. Using this, we recover results of Kechris et al. (Funct Anal 15:106–189, 2005), Moore (Fund Math 220:263–280, 2013), Ngyuen Van Thé (Fund Math 222: 19–47, 2013), in the context of automorphism groups of not (...) necessarily countable structures, as well as Zucker (Trans Am Math Soc 368, 6715–6740, 2016). (shrink)

For a group G definable in a first order structure M we develop basic topological dynamics in the category of definable G-flows. In particular, we give a description of the universal definable G-ambit and of the semigroup operation on it. We find a natural epimorphism from the Ellis group of this flow to the definable Bohr compactification of G, that is to the quotient ${G^{\rm{*}}}/G_M^{{\rm{*}}00}$. More generally, we obtain these results locally, i.e., in the category of Δ-definable G-flows for any (...) fixed set Δ of formulas of an appropriate form. In particular, we define local connected components $G_{{\rm{\Delta }},M}^{{\rm{*}}00}$ and $G_{{\rm{\Delta }},M}^{{\rm{*}}000}$, and show that ${G^{\rm{*}}}/G_{{\rm{\Delta }},M}^{{\rm{*}}00}$ is the Δ-definable Bohr compactification of G. We also note that some deeper arguments from [14] can be adapted to our context, showing for example that our epimorphism from the Ellis group to the Δ-definable Bohr compactification factors naturally yielding a continuous epimorphism from the Δ-definable generalized Bohr compactification to the Δ-definable Bohr compactification of G. Finally, we propose to view certain topological-dynamic and model-theoretic invariants as Polish structures which leads to some observations and questions. (shrink)

We investigate definable topological dynamics of groups definable in an o‐minimal expansion of the field of reals. Assuming that a definable group G admits a model‐theoretic analogue of Iwasawa decomposition, namely the compact‐torsion‐free decomposition, we give a description of minimal subflows and the Ellis group of its universal definable flow in terms of this decomposition. In particular, the Ellis group of this flow is isomorphic to. This provides a range of counterexamples to a question by Newelski whether the Ellis group (...) is isomorphic to. We further extend the results to universal topological covers of definable groups, interpreted in a two‐sorted structure containing the o‐minimal sort and a sort for an abelian group. (shrink)

We introduce and study model-theoretic connected components of rings as an analogue of model-theoretic connected components of definable groups. We develop their basic theory and use them to describe both the definable and classical Bohr compactifications of rings. We then use model-theoretic connected components to explicitly calculate Bohr compactifications of some classical matrix groups, such as the discrete Heisenberg group ${\mathrm {UT}}_3({\mathbb {Z}})$, the continuous Heisenberg group ${\mathrm {UT}}_3({\mathbb {R}})$, and, more generally, groups of upper unitriangular and invertible upper triangular (...) matrices over unital rings. (shrink)