Superrosy dependent groups having finitely satisfiable generics (Q2470034): Difference between revisions

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.