Skip to main content Accessibility help
×
Home

Imaginary modules

  • T. G. Kucera (a1) and M. Prest (a2)

Extract

It was a fundamental insight of Shelah that the equivalence classes of a definable equivalence relation on a structure M often behave like (and indeed must be treated like) the elements of the structure itself, and that these so-called imaginary elements are both necessary and sufficient for developing many aspects of stability theory. The expanded structure Meq was introduced to make this insight explicit and manageable. In Meq we have “names” for all things (subsets, relations, functions, etc.) “definable” inside M. Recent results of Bruno Poizat allow a particularly simple and more or less algebraic modification of Meq in the case that M is a module. It is the purpose of this paper to describe this nearly algebraic structure in such a way as to make the usual algebraic tools of the model theory of modules readily available in this more general context. It should be pointed out that some of our discussion has been part of the “folklore” of the subject for some time; it is certainly time to make this “folklore” precise, correct, and readily available.

Modules have proved to be good examples of stable structures. Not, we mean, in the sense that they are well-behaved (which, in the main, they are), but in the sense that they are straightforward enough to provide comprehensible illustrations of concepts while, at the same time, they have turned out to be far less atypical than one might have supposed. Indeed, a major feature of recent stability theory has been the ubiquitous appearance of modules or more general “abelian structures” in abstract stable structures.

Copyright

References

Hide All
[Ba]Baldwin, J., Fundamentals of stability theory, Springer-Verlag, Berlin, 1988.
[DR]Dlab, V. and Ringel, C. M., Indecomposable representations of graphs and algebras, Memoir no. 173, American Mathematical Society, Providence, Rhode Island, 1976.
[EPP]Evans, D., Pillay, A., and Poizat, B., Le groupe dans le groupe, Algebra i Logika (to appear); English translation. Algebra and Logic, vol. 29 (1990), pp. 244–252.
[Fi]Fisher, E., Abelian structures, manuscript, Yale University, New Haven, Connecticut, 1975; partially published as Abelian structures. I, Abelan group theory, Lecture Notes in Mathematics, vol. 616, Springer-Verlag, Berlin, 1977, pp. 270–323.
[Ga]Garavaglia, S., Dimension and rank in the model theory of modules, Michigan State University, East Lansing, Michigan, 1979; revised 1980 (unpublished).
[KP]Kucera, T. and Prest, M., Four concepts from “geometrical” stability theory in modules, this Journal, vol. 57 (1992), pp. 724740.
[Ma1]Makkai, M., A survey of basic stability theory with particular emphasis on orthogonality and regular types, Israel Journal of Mathematics, vol. 49 (1984), pp. 181238.
[Ma2]Makkai, M., Stone duality for first order logic, Advances in Mathematics, vol. 65 (1987), pp. 97170.
[Pi1]Pillay, A., An introduction to stability theory, Clarendon Press, Oxford, 1983.
[Pi2]Pillay, A., Some remarks on modular regular types, this Journal, vol. 56 (1991), pp. 10031011, University of Notre Dame, Notre Dame, Indiana, 1990.
[P1]Poizat, B., Une théorie de Galois imaginaire, this Journal, vol. 48 (1983), pp. 11511170.
[P2]Poizat, B. and Goode, J. B., A group in a group, preprint (superseded by [EPP]).
[P3]Poizat, B., Cours de théorie des modèles, Nur al-Mantiq wal-Ma'rifah, Villeurbanne, 1985.
[Pr]Prest, M., Model theory and modules, London Mathematical Society Lecture Note Series, vol. 130, Cambridge University Press, Cambridge, 1988.
[Sh]Shelah, S., Classification theory and the number of non-isomorphic models, North-Holland, Amsterdam, 1978.
[Zg]Ziegler, M., Model theory of modules, Annals of Pure and Applied Logic, vol. 26 (1984), pp. 149213.

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed