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 Goodrick | 1 | 26 | 7.57 |
Byunghan Kim | 2 | 95 | 22.53 |
Alexei Kolesnikov | 3 | 18 | 4.98 |