Book contents
- Frontmatter
- Contents
- Introduction
- Acknowledgements
- Notations and conventions
- Remarks on the development of the area
- Section summaries
- Chapter 1 Some preliminaries
- Chapter 2 Positive primitive formulas and the sets they define
- Chapter 3 Stability and totally transcendental modules
- Chapter 4 Hulls
- Chapter 5 Forking and ranks
- Chapter 6 Stability-theoretic properties of types
- Chapter 7 Superstable modules
- Chapter 8 The lattice of pp-types and free realisations of pp-types
- Chapter 9 Types and the structure of pure-injective modules
- Chapter 10 Dimension and decomposition
- Chapter 11 Modules over artinian rings
- Chapter 12 Functor categories
- Chapter 13 Modules over Artin algebras
- Chapter 14 Projective and flat modules
- Chapter 15 Torsion and torsionfree classes
- Chapter 16 Elimination of quantifiers
- Chapter 17 Decidability and undecidability
- Problems page
- Bibliography
- Examples index
- Notation index
- Index
Chapter 6 - Stability-theoretic properties of types
Published online by Cambridge University Press: 15 December 2009
- Frontmatter
- Contents
- Introduction
- Acknowledgements
- Notations and conventions
- Remarks on the development of the area
- Section summaries
- Chapter 1 Some preliminaries
- Chapter 2 Positive primitive formulas and the sets they define
- Chapter 3 Stability and totally transcendental modules
- Chapter 4 Hulls
- Chapter 5 Forking and ranks
- Chapter 6 Stability-theoretic properties of types
- Chapter 7 Superstable modules
- Chapter 8 The lattice of pp-types and free realisations of pp-types
- Chapter 9 Types and the structure of pure-injective modules
- Chapter 10 Dimension and decomposition
- Chapter 11 Modules over artinian rings
- Chapter 12 Functor categories
- Chapter 13 Modules over Artin algebras
- Chapter 14 Projective and flat modules
- Chapter 15 Torsion and torsionfree classes
- Chapter 16 Elimination of quantifiers
- Chapter 17 Decidability and undecidability
- Problems page
- Bibliography
- Examples index
- Notation index
- Index
Summary
The notion of dependence (forking) considered in the last chapter is the raw stuff of stability theory: for the analyses of models, we need some tools shaped from it. For instance, vectorspaces over a field are “unidimensional” in the sense that only one parameter (the dimension over the field) is needed to classify them. But, for classifying abelian groups of exponent 4, we need two “dimensions” (the number of copies of ℤ2 and the number of copies of ℤ4). These “dimensions” (unfortunately, the term is overworked) are exposed by using notions such as orthogonality and weight. The chapter is concerned with this “structural” level of stability theory.
Again, I have tried to include enough explanation for non-specialists, since some of the results are used elsewhere, and since an understanding of the main points adds another dimension to one's view of later results.
The first task is to extract that part of a type, its “free part”, which controls the stabilitytheoretic properties of the type. This is done in section 1.
An element is said to dominate another if, whenever a third element is independent of the first, then it is independent of the second also. For instance, an element dominates all elements in any copy of its hull (at least, that is so for unlimited types). The exact connection between domination and hulls is clarified in §2. A type is RK-minimal if, whenever a realisation of it dominates another element, the latter also dominates the first. Since domination corresponds to realisation in prime pure-injective extensions, such RK-minimal types correspond to the simplest building blocks of models. Indecomposable pure-injectives are among these simplest blocks, but there can be others.
- Type
- Chapter
- Information
- Model Theory and Modules , pp. 132 - 154Publisher: Cambridge University PressPrint publication year: 1988