Abstract
AbstractAssumeGis 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).
Publisher
Cambridge University Press (CUP)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Ellis enveloping semigroups in real closed fields;Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas;2024-03-13
2. WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS;The Journal of Symbolic Logic;2023-09-07
3. Definably topological dynamics of p-adic algebraic groups;Annals of Pure and Applied Logic;2022-04
4. Topological dynamics and NIP fields;Annals of Pure and Applied Logic;2021-10
5. RAMSEY’S COHEIR;The Journal of Symbolic Logic;2021-02-15