Hostname: page-component-7c8c6479df-995ml Total loading time: 0 Render date: 2024-03-26T23:48:21.004Z Has data issue: false hasContentIssue false

Homology Groups of Types in Model Theory and the Computation of H2(p)

Published online by Cambridge University Press:  12 March 2014

John Goodrick
Affiliation:
Department of Mathematics, Universidad de Los Andes, Bogotá, Colombia, E-mail: jr.goodrick427@uniandes.edu.co
Byunghan Kim
Affiliation:
Department of Mathematics, Yonsei University, 134 Shinchon-Dong, Seodaemun-Gu, Seoul 120-749, South Korea, E-mail: bkim@yonsei.ac.kr
Alexei Kolesnikov
Affiliation:
Department of Mathematics, Towson University, Towson, MD 21252, USA, E-mail: akolesnikov@towson.edu

Abstract

We present definitions of homology groups Hn (p), n ≥ 0, associated to a complete type p. We show that if the generalized amalgamation properties hold, then the homology groups are trivial. We compute the group H2(p) for strong types in stable theories and show that any profinite abelian group can occur as the group H2 (p).

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2013

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] de Piro, Tristram, Kim, Byunghan, and Millar, Jessica, Constructing the type-definable group from the group configuration, Journal of Mathematical Logic, vol. 6 (2006), pp. 121139.Google Scholar
[2] Ealy, Clifton and Onshuus, Alf, Characterizing rosy theories, this Journal, vol. 72 (2007), pp. 919940.Google Scholar
[3] Goodrick, John, Kim, Byunghan, and Kolesnikov, Alexei, Amalgamation functors and boundary properties in simple theories, Israel Journal of Mathematics, vol. 193 (2013), pp. 169207.Google Scholar
[4] Goodrick, John, Kim, Byunghan, and Kolesnikov, Alexei, Amalgamation functors and homology groups in model theory, preprint.Google Scholar
[5] Goodrick, John and Kolesnikov, Alexei, Groupoids, covers, and 3-uniqueness in stable theories, this Journal, vol. 75 (2010), pp. 905929.Google Scholar
[6] Hart, Bradd, Kim, Byunghan, and Pillay, Anand, Coordinatization and canonical bases in simple theories, this Journal, vol. 65 (2000), pp. 293309.Google Scholar
[7] Hrushovski, Ehud, Groupoids, imaginaries and internal covers, Turkish Journal of Mathematics, vol. 36 (2012), pp. 173198.Google Scholar
[8] Kim, Byunghan and Kim, Hyeung-Joon, Notions around tree property 1, Annals of Pure and Applied Logic, vol. 162 (2011), pp. 698709.Google Scholar
[9] Kim, Byunghan, Kim, SunYoung, and Lee, Junguk, A classification of 2-chains having 1-shell boundaries in rosy theories, preprint.Google Scholar
[10] Kim, Byunghan, Kolesnikov, Alexei, and Tsuboi, Akito, Generalized amalgamation and n-simplicity, Annals of Pure and Applied Logic, vol. 155 (2008), pp. 97114.Google Scholar
[11] Kim, Byunghan and Pillay, Anand, Simple theories, Annals of Pure and Applied Logic, vol. 88 (1997), pp. 149164.Google Scholar
[12] Wagner, Frank, Simple theories, Kluwer Academic Publishers, 2000.Google Scholar