Fonctionne avec Indico
v3.2.9
The randomization of a structure M is a continuous structure built by taking random variables whose values belong to M. Many desirable model-theoretic properties such as ω-categoricity, ω-stability, stability and NIP, are preserved by the randomization. In this talk we will show that if G is a definable group in a first order theory, then its randomization has no proper invariant subgroups of bounded index. In particular, for ω-stable and stable groups we characterize the generic type whose stabilizer is the whole group.