Title
Homology groups of types in stable theories and the Hurewicz correspondence
Abstract
We give an explicit description of the homology group Hn(p) of a strong type p in any stable theory under the assumption that for every non-forking extension q of p the groups Hi(q) are trivial for 2≤i<n. The group Hn(p) turns out to be isomorphic to the automorphism group of a certain part of the algebraic closure of n independent realizations of p; it follows from the authors' earlier work that such a group must be abelian. We call this the “Hurewicz correspondence” by analogy with the Hurewicz Theorem in algebraic topology.
Year
DOI
Venue
2017
10.1016/j.apal.2017.03.007
Annals of Pure and Applied Logic
Keywords
Field
DocType
03C45,55N35
Stable theory,Abelian group,Singular homology,Combinatorics,Algebraic topology,Algebraic closure,Hurewicz theorem,Isomorphism,Homology (mathematics),Mathematics
Journal
Volume
Issue
ISSN
168
9
0168-0072
Citations 
PageRank 
References 
3
0.71
2
Authors
3
Name
Order
Citations
PageRank
John Goodrick1267.57
Byunghan Kim29522.53
Alexei Kolesnikov3184.98