The Lascar groups and the first homology groups in model theory

Jan Dobrowolski, Byunghan Kim, Junguk Lee

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

Let p be a strong type of an algebraically closed tuple over B=acleq(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 H1 (p) can be introduced, similarly to [3]. We show that there is a canonical surjective homomorphism from the Lascar group over B to H1 (p). We also notice that the map factors naturally via a surjection from the ‘relativised’ Lascar group of the type (which we define in analogy with the Lascar group of the theory) onto the homology group, and we give an explicit description of its kernel. Due to this characterization, it follows that the first homology group of p is independent from the choice of ⫝, and can be written simply as H1(p). As consequences, in any T, we show that |H1(p)|≥20 unless H1(p) is trivial, and we give a criterion for the equality of stp and Lstp of algebraically closed tuples using the notions of the first homology group and a relativised Lascar group. We also argue how any abelian connected compact group can appear as the first homology group of the type of a model.

Original languageEnglish
Pages (from-to)2129-2151
Number of pages23
JournalAnnals of Pure and Applied Logic
Volume168
Issue number12
DOIs
Publication statusPublished - 2017 Dec

Fingerprint

Homology Groups
Model Theory
Algebraically closed
Trivial
Surjection
Compact Group
Ternary
Homomorphism
Axioms
Analogy
Equality
kernel

All Science Journal Classification (ASJC) codes

  • Logic

Cite this

Dobrowolski, Jan ; Kim, Byunghan ; Lee, Junguk. / The Lascar groups and the first homology groups in model theory. In: Annals of Pure and Applied Logic. 2017 ; Vol. 168, No. 12. pp. 2129-2151.
@article{1a71ca16512b4206af4d00dcca4fadd9,
title = "The Lascar groups and the first homology groups in model theory",
abstract = "Let p be a strong type of an algebraically closed tuple over B=acleq(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 H1 ⁎(p) can be introduced, similarly to [3]. We show that there is a canonical surjective homomorphism from the Lascar group over B to H1 ⁎(p). We also notice that the map factors naturally via a surjection from the ‘relativised’ Lascar group of the type (which we define in analogy with the Lascar group of the theory) onto the homology group, and we give an explicit description of its kernel. Due to this characterization, it follows that the first homology group of p is independent from the choice of ⫝⁎, and can be written simply as H1(p). As consequences, in any T, we show that |H1(p)|≥2ℵ0 unless H1(p) is trivial, and we give a criterion for the equality of stp and Lstp of algebraically closed tuples using the notions of the first homology group and a relativised Lascar group. We also argue how any abelian connected compact group can appear as the first homology group of the type of a model.",
author = "Jan Dobrowolski and Byunghan Kim and Junguk Lee",
year = "2017",
month = "12",
doi = "10.1016/j.apal.2017.06.006",
language = "English",
volume = "168",
pages = "2129--2151",
journal = "Annals of Pure and Applied Logic",
issn = "0168-0072",
publisher = "Elsevier",
number = "12",

}

The Lascar groups and the first homology groups in model theory. / Dobrowolski, Jan; Kim, Byunghan; Lee, Junguk.

In: Annals of Pure and Applied Logic, Vol. 168, No. 12, 12.2017, p. 2129-2151.

Research output: Contribution to journalArticle

TY - JOUR

T1 - The Lascar groups and the first homology groups in model theory

AU - Dobrowolski, Jan

AU - Kim, Byunghan

AU - Lee, Junguk

PY - 2017/12

Y1 - 2017/12

N2 - Let p be a strong type of an algebraically closed tuple over B=acleq(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 H1 ⁎(p) can be introduced, similarly to [3]. We show that there is a canonical surjective homomorphism from the Lascar group over B to H1 ⁎(p). We also notice that the map factors naturally via a surjection from the ‘relativised’ Lascar group of the type (which we define in analogy with the Lascar group of the theory) onto the homology group, and we give an explicit description of its kernel. Due to this characterization, it follows that the first homology group of p is independent from the choice of ⫝⁎, and can be written simply as H1(p). As consequences, in any T, we show that |H1(p)|≥2ℵ0 unless H1(p) is trivial, and we give a criterion for the equality of stp and Lstp of algebraically closed tuples using the notions of the first homology group and a relativised Lascar group. We also argue how any abelian connected compact group can appear as the first homology group of the type of a model.

AB - Let p be a strong type of an algebraically closed tuple over B=acleq(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 H1 ⁎(p) can be introduced, similarly to [3]. We show that there is a canonical surjective homomorphism from the Lascar group over B to H1 ⁎(p). We also notice that the map factors naturally via a surjection from the ‘relativised’ Lascar group of the type (which we define in analogy with the Lascar group of the theory) onto the homology group, and we give an explicit description of its kernel. Due to this characterization, it follows that the first homology group of p is independent from the choice of ⫝⁎, and can be written simply as H1(p). As consequences, in any T, we show that |H1(p)|≥2ℵ0 unless H1(p) is trivial, and we give a criterion for the equality of stp and Lstp of algebraically closed tuples using the notions of the first homology group and a relativised Lascar group. We also argue how any abelian connected compact group can appear as the first homology group of the type of a model.

UR - http://www.scopus.com/inward/record.url?scp=85023619837&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85023619837&partnerID=8YFLogxK

U2 - 10.1016/j.apal.2017.06.006

DO - 10.1016/j.apal.2017.06.006

M3 - Article

AN - SCOPUS:85023619837

VL - 168

SP - 2129

EP - 2151

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

IS - 12

ER -