Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661807 | Annals of Pure and Applied Logic | 2015 | 13 Pages |
Abstract
We study the definable topological dynamics of groups definable in an o-minimal expansion of an arbitrary real closed field M. For a definable group G which admits a compact-torsion-free decomposition G=HKG=HK, we give a description of the minimal subflow and Ellis group of the universal definable G(M)G(M)-flow SG,ext(M)SG,ext(M). This Ellis group is isomorphic to NG(H)∩K(R)NG(H)∩K(R), which extends the result of G. Jagiella from [7]. We also consider SL(2,M)SL(2,M) as an example, explaining the difference between the universal definable SL(2,R)SL(2,R)-flow, SG(R)SG(R) and the universal definable G(M)G(M)-flow, SG,ext(M)SG,ext(M) for an arbitrary model M≻RM≻R.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Ningyuan Yao, Dongyang Long,