Superrosy dependent groups having finitely satisfiable generics
Recall that a theory is rosy if it has an automorphism-invariant non-trivial independence relation which satisfies extension, local character, finite character, transitivity and symmetry. In this case, the weakest possible such relation is given by thorn-forking. The foundation rank with respect to thorn-forking is called \(U^{\text{thorn}}\)-rank; a theory is superrosy if this rank only takes ordinal values. The authors develop the basic theory of rosy groups: They satisfy the chain condition on uniformly definable subgroups; if they are superrosy, they satisfy the descending chain condition on definable subgroups of infinite index in their predecessor; if they have finite \(U^{\text{thorn}}\)-rank, they also satisfy the ascending chain condition on definable subgroups of infinite index over their predecessor. A theory is dependent (or NIP) if there is no formula \(\varphi(x,y)\) and tuples \(\{a_i:i<\omega\}\) and \(\{b_I:I\subseteq\omega\}\) such that \(\models\varphi(a_i,b_I)\) iff \(i\in I\). Dependent rosy groups satisfy the chain condition on intersections of uniformly definable subgroups. A group \(G\) has finitely satisfiable generics (fsg) if for a big elementary extension \(G^*\) there is a global type \(p\) and a small submodel \(M\) such that \(gp\) is finitely satisfiable in \(M\) for all \(g\in G^*\). It has hereditarily fsg if this holds for all definable subgroups of \(G\). The authors extend the analysis of groups of Morley rank one (Reineke) and two (Cherlin) to dependent hfsg groups of \(U^{\text{thorn}}\)-rank one and two; if the rank is one, the group is abelian-by-finite, if the rank is two and the group is not nilpotent-by-finite, it is isogenous to the semidirect product \(K^+\rtimes K^\times\) for an interpretable algebraically closed field \(K\). Moreover, any superrosy field whose additive group has fsg is algebraically closed.
- A geometric introduction to forking and thorn-forking
- Characterizing rosy theories
- Groups of dimension two and three over o-minimal structures
- scientific article; zbMATH DE number 3532941 (Why is no real title available?)
- scientific article; zbMATH DE number 1063290 (Why is no real title available?)
- scientific article; zbMATH DE number 1425669 (Why is no real title available?)
- scientific article; zbMATH DE number 3409586 (Why is no real title available?)
- Involutions in groups of finite Morley rank of degenerate type.
- One-dimensional groups over an o-minimal structure
- Properties and consequences of Thorn-independence
- Stable groups. Transl. from the French by Moses Gabriel Klein
- Superstable fields and groups
- Definable sets containing productsets in expansions of groups
- Model theoretic connected components of groups
- Definable valuations induced by multiplicative subgroups and NIP fields
- On -categorical groups and rings with NIP
- On \(\omega \)-categorical, generically stable groups
- Stable embeddedness and NIP
- Stable types in rosy theories
- Some model theory of Polish structures
- On \(\omega\)-categorical, generically stable groups and rings
- Division rings with ranks
- Superrosy fields and valuations
- Groups of small Cantor rank
- Fields interpretable in superrosy groups with NIP (the non-solvable case)
- Definable envelopes of nilpotent subgroups of groups with chain conditions on centralizers.
- Characterizing rosy theories
- Dimensional groups and fields
- Fields interpretable in rosy theories
- Sets, groups, and fields definable in vector spaces with a bilinear form
- Definable convolution and idempotent Keisler measures. III: Generic stability, generic transitivity, and revised Newelski's conjecture
This page was built for publication: Superrosy dependent groups having finitely satisfiable generics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2470034)
