
doi: 10.1017/jsl.2014.25
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).
Semigroups of transformations, relations, partitions, etc., Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.), topological dynamics, stable groups, Applications of logic to group theory, Classification theory, stability, and related concepts in model theory, Ellis semigroup
Semigroups of transformations, relations, partitions, etc., Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.), topological dynamics, stable groups, Applications of logic to group theory, Classification theory, stability, and related concepts in model theory, Ellis semigroup
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 6 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
