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

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1977804494 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 0706.0486 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4109668 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Involutions in groups of finite Morley rank of degenerate type. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Superstable fields and groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterizing rosy theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5675882 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Groups of dimension two and three over o-minimal structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Properties and consequences of Thorn-independence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2723260 / rank
 
Normal rank
Property / cites work
 
Property / cites work: One-dimensional groups over an o-minimal structure / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4950412 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4355426 / rank
 
Normal rank

Revision as of 15:43, 27 June 2024

scientific article
Language Label Description Also known as
English
Superrosy dependent groups having finitely satisfiable generics
scientific article

    Statements

    Superrosy dependent groups having finitely satisfiable generics (English)
    0 references
    0 references
    13 February 2008
    0 references
    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.
    0 references
    superrosy group
    0 references
    dependent theory
    0 references
    non-independence property
    0 references
    NIP
    0 references
    finitely satisfiable generics
    0 references
    groups of small rank
    0 references
    field
    0 references

    Identifiers