Abstract
Lascar described E KP as a composition of E L and the topological closure of E L (Casanovas et al. in J Math Log 1(2):305–319). We generalize this result to some other pairs of equivalence relations. Motivated by an attempt to construct a new example of a non-G-compact theory, we consider the following example. Assume G is a group definable in a structure M. We define a structure M′ consisting of M and X as two sorts, where X is an affine copy of G and in M′ we have the structure of M and the action of G on X. We prove that the Lascar group of M′ is a semi-direct product of the Lascar group of M and G/G L . We discuss the relationship between G-compactness of M and M′. This example may yield new examples of non-G-compact theories.
Similar content being viewed by others
References
Casanovas E., Lascar D., Pillay A., Ziegler M.: Galois groups of first order theories. J. Math. Log. 1(2), 305–319 (2001)
Cherlin, G., Hrushovski, E.: Finite structures with few types. In: Annals of Mathematics Studies, vol. 152, Princeton, NJ (2003)
Hrushovski, E., Peterzil, Y., Pillay, A.: Groups, measures, and the NIP. J. AMS (2008, in press)
Krupiński K., Newelski L.: On bounded type-definable equivalence relations. Notre Dame J. Form. Log. 43(4), 231–242 (2002)
Lascar D., Pillay A.: Hyperimaginaries and automorphism groups. J. Symb. Log. 66(1), 127–143 (2001)
Macdonald I.D.: On cyclic commutator subgroups. J. Lond. Math. Soc. 38, 419–422 (1963)
Newelski L.: The diameter of a Lascar strong type. Fundam. Math. 176(2), 157–170 (2003)
Petrykowski M.: Weak generic types and coverings of groups II. preprint (2007)
Ziegler, M.: Introduction to the Lascar group. In: London Math. Soc. Lecture Note Ser, vol. 291, pp. 279–298
Author information
Authors and Affiliations
Corresponding author
Additional information
The first author is supported by the Polish Goverment grant N N201 384134. The second author is supported by the Polish Goverment grant N201 032 32/2231.
Rights and permissions
About this article
Cite this article
Gismatullin, J., Newelski, L. G-compactness and groups. Arch. Math. Logic 47, 479–501 (2008). https://doi.org/10.1007/s00153-008-0092-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-008-0092-4