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 9 - Types and the structure of pure-injective modules
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
This chapter is concerned with the relation between types or, more properly, pp-types, and the structure of their hulls. Some of the results proved in this chapter will be used in the more global considerations of Chapter 10 but, in the main, we concentrate here on local structure.
Replacement of minimal pp-definable subgroups by minimal pairs is a key step in going from the totally transcendental to the general case. Irreducible types which share a minimal pair need not be equal, but they do have isomorphic hulls (§1). In consequence, given a complete theory, each unlimited indecomposable pure-injective has the same multiplicity in every pureinjective model. Another result which was seen in the totally transcendental case in §4.6 and is now proved in full generality, is that if an indecomposable pure-injective has a minimal pair, then the corresponding quotient of subgroups has the structure of a 1-dimensional vectorspace over the division ring associated to the indecomposable (9.6).
If two types have linked realisations then they have isomorphic parts: specifically, between the positive and negative parts of each type there is an interval, defined in terms of the linking formula, and these intervals are isomorphic (with positive and negative parts corresponding). This means that irreducible types which have isomorphic hulls are syntactically similar. For instance, if one of them has one of the (syntactically defined) dimensions of Chapter 10, then so does the other (and the values are equal). Finally in §2, the relation between the hull of a type and its direct summands is explicated (9.16) and there is a syntactic criterion on the type for there to be an indecomposable direct summand of its hull.
- Type
- Chapter
- Information
- Model Theory and Modules , pp. 188 - 200Publisher: Cambridge University PressPrint publication year: 1988