Hostname: page-component-7c8c6479df-5xszh Total loading time: 0 Render date: 2024-03-28T13:56:36.812Z Has data issue: false hasContentIssue false

Hyperimaginaries and automorphism groups

Published online by Cambridge University Press:  12 March 2014

D. Lascar
Affiliation:
UFR de Math. Upresa 7056, CNRS, Universite Paris VII, 2. Place Jussieu. Cace 7012, 75251 Paris Cedex 05., France, E-mail: lascar@logique.jussieu.fr
A. Pillay
Affiliation:
Dept Math., Altgeld Hall, University of Illinois and Msri, 1409 W. Green St. Urbana, IL 61801., USA, E-mail: pillay@math.uiuc.edu

Extract

A hyperimaginary is an equivalence class of a type-definable equivalence relation on tuples of possibly infinite length. The notion was recently introduced in [1], mainly with reference to simple theories. It was pointed out there how hyperimaginaries still remain in a sense within the domain of first order logic. In this paper we are concerned with several issues: on the one hand, various levels of complexity of hyperimaginaries, and when hyperimaginaries can be reduced to simpler hyperimaginaries. On the other hand the issue of what information about hyperimaginaries in a saturated structure M can be obtained from the abstract group Aut(M).

In Section 2 we show that if T is simple and canonical bases of Lascar strong types exist in Meq then hyperimaginaries can be eliminated in favour of sequences of ordinary imaginaries. In Section 3, given a type-definable equivalence relation with a bounded number of classes, we show how the quotient space can be equipped with a certain compact topology. In Section 4 we study a certain group introduced in [5], which we call the Galois group of T, develop a Galois theory and make the connection with the ideas in Section 3. We also give some applications, making use of the structure of compact groups. One of these applications states roughly that bounded hyperimaginaries can be eliminated in favour of sequences of finitary hyperimaginaries. In Sections 3 and 4 there is some overlap with parts of Hrushovski's paper [2].

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Hart, B., Kim, B., and Pillay, A., Coordinatization and canonical bases in simple theories, this Journal, vol. 65 (2000), pp. 293309.Google Scholar
[2]Hrushovski, E., Simplicity and the lascar group, preprint 1997.Google Scholar
[3]Kim, B., A note on Lascar strong types in simple theories, this Journal, vol. 63 (1998), pp. 926936.Google Scholar
[4]Kim, B. and Pillay, A., Simple theories, Annals of Pure and Applied Logic, vol. 88 (1997), pp. 149164.CrossRefGoogle Scholar
[5]Lascar, D., On the category of models of a complete theory, this Journal, vol. 47 (1982), pp. 249266.Google Scholar
[6]Lascar, D., Autour de la propriété du petit indice, Proceedings of the London Mathematical Society, vol. 62 (1991), pp. 2553.CrossRefGoogle Scholar
[7]Lascar, D. and Poizat, B., An introduction to forking, this Journal, vol. 44 (1979), pp. 330350.Google Scholar
[8]Lascar, D. and Shelah, S., Uncountable saturated structures have the small index property. The Bulletin of the London Mathematical Society, vol. 25 (1993), pp. 125131.CrossRefGoogle Scholar
[9]Pillay, A. and Poizat, B., Pas d'imaginaires dans l'infini, this Journal, vol. 52 (1987), pp. 400403.Google Scholar
[10]Weil, A., Groupes topologiques, Hermann, Paris, 1940.Google Scholar