Simplicity and the Lascar Group
نویسنده
چکیده
This paper contains a series of easy constructions and observations relating to the Lascar group and to simple theories. 1 In x1 we review basic model theoretic ideas, relating mostly to model completion and saturated models. We do so in order to introduce a framework very slightly more general than the usual rst-order one that will be useful to us, and that we hope may be useful in the future. We will refer to this as "Robinson theories". In x2 we give an account of Lascar's beautiful construction, associating a compact topological group to rst-order theories. Our description, innuenced by work of Kim-Pillay, applies to all rst order theories. For "G-compact" theories the results coincides with the full Lascar group; for others, if there are any others, it gives a quotient of the full Lascar group. We present the Lascar group as an automorphism group of a compact topological structure associated naturally with the theory, that we call the Kim-Pillay space. In x3 we nd a connection between the Lascar group and certain spaces of theories. In particular, we see that a necessary condition for the existence of a theory with connected Lascar group (in a certain class of theories closed under interpretations), is that there exist a continuous path in the space of theories (within the given class), interpolating between the theory of the empty graph to the theory of the complete graph. It is worth noting that even if we start with a rst order theory, this analysis necessarily involves Robinson theories; it would not have been possible without the extension of the framework in x1. The Lascar group was brought into prominence in recent work of Kim and Pillay, on simple theories. We will discuss simplicity brieey in the introduction to x4. This property was introduced in Sh1] as a generalization of stability. After a decade of neglect, a few years of intense activity by a number of workers, sparked by Kim's thesis and by some work in nite rank, brought the state of knowledge to nearly the same level as for stable theories. It was found that a theory of independence can be developed that is as coherent and satisfactory as in the stable context, though necessarily with some diierent features. However, the general theory as described by Kim written with the support of the Miller Institute while visiting the
منابع مشابه
The Lascar Group and the Strong Types of Hyperimaginaries
This is an expository note on the Lascar group. We also study the Lascar group over hyperimaginaries, and make some new observations on the strong types over those. In particular we show that in a simple theory, Ltp ≡ stp in real context implies that for hyperimaginary context. The Lascar group introduced by Lascar [8], and related subjects have been studied by many authors ([9][1][7][6][3] and...
متن کاملSimplicity of the automorphism groups of some Hrushovski constructions
we show that the automorphism groups of certain countable structures obtained using the Hrushovski amalgamation method are simple groups. The structures we consider are the ‘uncollapsed’ structures of infinite Morley rank obtained by the ab initio construction and the (unstable) א0-categorical pseudoplanes. The simplicity of the automorphism groups of these follows from results which generalize...
متن کاملSimple generic structures
We study universal-homogenous (generic) structures with predi-mension which have rst order simple theories and examine some con-jectures in this context. We show if for the theory of generic structuresforking independence is the same as d-independence then stable forkingconjecture is true for those theories. References[1] J.Baldwin and N.Shi. Stable generic structures. A...
متن کاملThe Lascar groups and the first homology groups in model theory
Let p be a strong type of an algebraically closed tuple over B = acl(B) in any theory T . Depending on a ternary relation |̂ ∗ satisfying some basic axioms (there is at least one such, namely the trivial independence in T ), the first homology group H∗ 1 (p) can be introduced, similarly to [3]. We show that there is a canonical surjective homomorphism from the Lascar group over B to H∗ 1 (p). We...
متن کاملBorel equivalence relations and Lascar strong types
The “space” of Lascar strong types, on some sort and relative to a given complete theory T , is in general not a compact Hausdorff topological space. We have at least three (modest) aims in this paper. The first is to show that spaces of Lascar strong types, as well as other related spaces and objects such as the Lascar group GalL(T ) of T , have well-defined Borel cardinalities (in the sense o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998