Abstract
We give a general exposition of model theoretic connected components of groups. We show that if a group G has NIP, then there exists the smallest invariant (over some small set) subgroup of G with bounded index (Theorem 5.3). This result extends a theorem of Shelah from [21]. We consider also in this context the multiplicative and the additive groups of some rings (including infinite fields).
Similar content being viewed by others
References
V. Bergelson and D. B. Shapiro, Multiplicative subgroups of finite index in a ring, Proceedings of the American Mathematical Society 116 (1992), 885–896.
E. Casanovas, Groups in stable and simple theories, Model Theory Seminar, University of Barcelona, April 2006, www.ub.es/modeltheory/documentos/groups1.pdf.
E. Casanovas, D. Lascar, A. Pillay and M. Ziegler, Galois groups of first order theories, Journal of Mathematical Logic 1 (2001), 305–319.
C. Ealy, K. Krupiński and A. Pillay, Superrosy dependent groups having finitely satisfiable generics, Annals of Pure and Applied Logic 151 (2008), 1–21.
J. Gismatullin, Absolute connectedness of the classical groups, preprint, 2010, arXiv:1002.1516, submitted. www.math.uni.wroc.pl/~gismat/abscon.pdf.
J. Gismatullin and L. Newelski, G-compactness and groups, Archive for Mathematical Logic 47 (2008), 479–501.
E. Hrushovski, Y. Peterzil, A. Pillay, Groups, measures, and the NIP, Journal of the American Mathematical Society 21 (2008), 563–596.
E. Hrushovski and A. Pillay, On NIP and invariant measures, preprint, 2008.
E. Jaligot and A. Ould Houcine, Existentially closed CSA-groups, Journal of Algebra 280 (2004), 772–796.
E. Jaligot, A. Muranov and A. Neman, Independence property and hyperbolic groups, The Bulletin of Symbolic Logic 14 (2008), 88–98.
D. Lascar and A. Pillay, Hyperimaginaries and automorphism groups, The Bulletin of Symbolic Logic 66 (2001), 127–143.
D. Marker, Model Theory, Graduate Texts in Mathematics, Vol. 217, Springer-Verlag, New York, 2002.
L. Newelski, Topological dynamics of definable group actions, The Bulletin of Symbolic Logic 74 (2009), 50–72.
L. Newelski, Bounded orbits and measures on a group, Israel Journal of Mathematics, to appear.
A. Onshuus and A. Pillay, Definable groups and compact p-adic Lie groups, The Bulletin of Symbolic Logic (2) 78 (2008), 233–247.
Y. Peterzil, Pillay’s Conjecture and its solution-a survey, Logic Colloquium 2007. Proceedings of Annual European Conference on Logic of the Association for Symbolic Logic. Lecture Notes in Logic. Association for Symbolic Logic, Chicago, IL; Cambridge University Press, Cambridge, 2010, pp. 177–203.
A. Pillay, Type-definability, compact Lie groups, and o-minimality, Journal of Mathematical Logic 4 (2004), 147–162.
A. Pillay, Geometric Stability Theory, Oxford Logic Guides, Vol. 32, The Clarendon Press, Oxford University Press, 1996.
S. Shelah, Classification Theory and the Number of Nonisomorphic Models, Second edition, Studies in Logic and the Foundations of Mathematics, Vol. 92, North-Holland, Amsterdam, 1990.
S. Shelah, Minimal bounded index subgroup for dependent theories, Proceedings of the American Mathematical Society 136 (2008), 1087–1091.
S. Shelah, Definable groups and 2-dependent theories, preprint, 2009.
S. Wagon, The Banach-Tarski Paradox, Cambridge University Press, Cambridge, 1993.
M. Ziegler, Introduction to the Lascar Group, Tits buildings and the model theory of groups, London Mathematical Society Lecture Note Series, Vol. 291, Cambridge University Press, 2002, pp. 279–298.
Author information
Authors and Affiliations
Corresponding author
Additional information
The author is supported by the Polish Goverment MNiSW grant N N201 384134.
Rights and permissions
About this article
Cite this article
Gismatullin, J. Model theoretic connected components of groups. Isr. J. Math. 184, 251–274 (2011). https://doi.org/10.1007/s11856-011-0067-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-011-0067-8