Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-25T18:22:47.724Z Has data issue: false hasContentIssue false

On the binding group in simple theories

Published online by Cambridge University Press:  12 March 2014

Ziv Shami
Affiliation:
Department of Mathematics and Statistics, McMaster University, 1280 Main Street West Hamilton, Ontario L8S 4K1, Canada, E-mail: zshami@flelds.utoronto.ca
Frank O. Wagner
Affiliation:
Institut Girard Desargues, Université Lyon 1, 21 Avenue Claude Bernard, 69622 Villeurbanne-Cedex, France, E-mail: wagner@desargues.univ-lyonl.fr

Abstract

We show that if p is a real type which is almost internal in a formula φ in a simple theory, then there is a type p′ interalgebraic with a finite tuple of realizations of p, which is generated over φ. Moreover, the group of elementary permutations of p′ over all realizations of φ is type-definable.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2002

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]Bergman, George M. and Lenstra, Hendrik W. Jr., Subgroups close to normal subgroups, Journal of Algebra, vol. 127 (1989), pp. 8097.CrossRefGoogle Scholar
[2]Buechler, Steven, Essential stability theory, Springer Verlag, Berlin, Germany, 1996.CrossRefGoogle Scholar
[3]Buechler, Steven, Pillay, Anand, and Wagner, Frank O., Supersimple theories, Journal of the American Mathematical Society, vol. 14 (2001), pp. 109124.CrossRefGoogle Scholar
[4]Pillay, Anand, Geometric stability theory, Clarendon Press, Oxford, UK, 1996.CrossRefGoogle Scholar
[5]Poizat, Bruno, Groupes stables, Nur al-Mantiq wal-Ma'rifah, Villeurbanne, France, 1987, Translated as: Stable Groups, AMS Mathematical Surveys and Monographs vol. 87, Providence, USA, 2001.Google Scholar
[6]Schlichting, G., Operationen mit periodischen Stabilisatoren, Archiv der Mathematik (Basel), vol. 34 (1980), pp. 9799.CrossRefGoogle Scholar
[7]Shami, Ziv, Internality and interpretable automorphism groups in simple theories, To appear.Google Scholar
[8]Wagner, Frank O., Simple theories, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2000.CrossRefGoogle Scholar