Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 813

Preprint Number 813

Previous Next Preprint server

813. John Goodrick, Byunghan Kim, and Alexei Kolesnikov
Homology groups of types in stable theories and the Hurewicz correspondence
E-mail: , ,

Submission date: 12 December 2014.


We give an explicit description of the homomorphism group H_n(p) of a strong type p in any stable theory under the assumption that for every non-forking extension q of p the groups H_i(q) are trivial for i at least 2 but less than n. The group H_n(p) turns out to be isomorphic to the automorphism group of a certain piece of the algebraic closure of n independent realizations of p; it was shown earlier by the authors that such a group must be abelian. We call this the “Hurewicz correspondence” in analogy with the Hurewicz Theorem in algebraic topology.

Mathematics Subject Classification: 03C45

Keywords and phrases: amalgamation properties, homology groups, Hurewicz theorem

Full text arXiv 1412.3864: pdf, ps.

Last updated: December 22 2014 11:16 Please send your corrections to: