Journal of Symbolic Logic 86 (2):531-557 (2021)

Authors
Abstract
In this paper we study the relativized Lascar Galois group of a strong type. The group is a quasi-compact connected topological group, and if in addition the underlying theory T is G-compact, then the group is compact. We apply compact group theory to obtain model theoretic results in this note. For example, we use the divisibility of the Lascar group of a strong type to show that, in a simple theory, such types have a certain model theoretic property that we call divisible amalgamation. The main result of this paper is that if c is a finite tuple algebraic over a tuple a, the Lascar group of stp(ac) is abelian, and the underlying theory is G-compact, then the Lascar groups of stp(ac) and of stp(a) are isomorphic. To show this, we prove a purely compact group-theoretic result that any compact connected abelian group is isomorphic to its quotient by every finite subgroup. Several (counter)examples arising in connection with the theoretical development of this note are presented as well. For example, we show that, in the main result above, neither the assumption that the Lascar group of stp(ac) is abelian, nor the assumption of c being finite can be removed.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/jsl.2021.31
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,177
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Galois Groups of First Order Theories.E. Casanovas, D. Lascar, A. Pillay & M. Ziegler - 2001 - Journal of Mathematical Logic 1 (02):305-319.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Lascar Group and the Strong Types of Hyperimaginaries.Byunghan Kim - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):497-507.
A Note On Lascar Strong Types In Simple Theories.Byunghan Kim - 1998 - Journal of Symbolic Logic 63 (3):926-936.
A Note on Lascar Strong Types in Simple Theories.Byunghan Kim - 1998 - Journal of Symbolic Logic 63 (3):926-936.
Simple Groups and the Number of Countable Models.Predrag Tanović - 2013 - Archive for Mathematical Logic 52 (7-8):779-791.
G-Compactness and Groups.Jakub Gismatullin & Ludomir Newelski - 2008 - Archive for Mathematical Logic 47 (5):479-501.
Lascar Strong Types in Some Simple Theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.
Lascar Strong Types in Some Simple Theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.
| T|+‐Resplendent Models and the Lascar Group.Enrique Casanovas & Rodrigo Peláez - 2005 - Mathematical Logic Quarterly 51 (6):626-631.
Galois Groups as Quotients of Polish Groups.Krzysztof Krupiński & Tomasz Rzepecki - 2020 - Journal of Mathematical Logic 20 (3):2050018.
On Two Hierarchies of Dimensions.Andreas Baudisch - 1987 - Journal of Symbolic Logic 52 (4):959-968.
On Superstable Expansions of Free Abelian Groups.Daniel Palacín & Rizos Sklinos - 2018 - Notre Dame Journal of Formal Logic 59 (2):157-169.

Analytics

Added to PP index
2021-05-07

Total views
2 ( #1,442,829 of 2,499,615 )

Recent downloads (6 months)
1 ( #418,166 of 2,499,615 )

How can I increase my downloads?

Downloads

My notes