Homological Algebra

Peter Hilton, Yefim Katsov, Sarah Glaz, Alexander V. Mikhalev, Askar A. Tuganbaev and Jonathan M. Rosenberg

Chapter Chapter H in The Concise Handbook of Algebra, 2002, pp 491-522 from Springer

Abstract: Abstract The topologist Witold Hurewicz observed in 1935 that, if X is an aspherical path-connected polyhedron, then the homotopy type of X is determined by the fundamental group -π 1 X of X. Thus, in particular, the homology groups of X are functions of π = π 1 X. The Swiss topologist Heinz Hopf realized that this must mean that there was a purely algebraic procedure for passing from the group π to the homology groups of X, which we may now think of as the homology groups of π. Hopf then proceeded to invent such an algebraic procedure, guided by his own experience working on the homology theory of topological spaces, and bearing in mind his seminal work on the influence of the fundamental group of a path-connected topological space on its second homology group. Hopf, working in the early 1940’s, considered a free resolution of ℤ, the additive group of integers regarded as a trivial π-module; that is, an exact sequence of π-modules and π-module homomorphisms (1) % MathType!MTEF!2!1!+- % feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeS47IW0aaC % biaeaacqGHsgIRaSqabeaacqGHciITaaGccaWGgbWaaSbaaSqaaiaa % d6gaaeqaaOWaaCbiaeaacqGHsgIRaSqabeaacqGHciITaaGccaWGgb % WaaSbaaSqaaiaad6gacqGHsislcaaIXaaabeaakmaaxacabaGaeyOK % H4kaleqabaGaeyOaIylaaOGaeS47IW0aaCbiaeaacqGHsgIRaSqabe % aacqGHciITaaGccaWGgbWaaSbaaSqaaiaaicdaaeqaaOWaaCbiaeaa % cqGHsgIRaSqabeaacqaH1oqzaaGccqWIKeIOaaa!5510! $$ \cdots \mathop \to \limits^\partial {F_n}\mathop \to \limits^\partial {F_{n - 1}}\mathop \to \limits^\partial \cdots \mathop \to \limits^\partial {F_0}\mathop \to \limits^\varepsilon $$ where each F n is free. One then tensors (1) with a π-module B, i.e., one takes the tensor product over π of (1) with B, to obtain a chain-complex of abelian groups (2) % MathType!MTEF!2!1!+- % feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeS47IW0aaC % biaeaacqGHsgIRaSqabeaacqGHciITcqGHxkcXcaaIXaaaaOGaamOr % amaaBaaaleaacaWGUbaabeaakiabgEPiepaaBaaaleaacqaHapaCae % qaaOGaamOqamaaxacabaGaeyOKH4kaleqabaGaeyOaIyRaey4LIqSa % aGymaaaakiaadAeadaWgaaWcbaGaamOBaiabgkHiTiaaigdaaeqaaO % Gaey4LIq8aaSbaaSqaaiabec8aWbqabaGccaWGcbWaaCbiaeaacqGH % sgIRaSqabeaacqGHciITcqGHxkcXcaaIXaaaaOGaeS47IW0aaCbiae % aacqGHsgIRaSqabeaacqGHciITcqGHxkcXcaaIXaaaaOGaamOramaa % BaaaleaacaaIWaaabeaakiabgEPiepaaBaaaleaacqaHapaCaeqaaO % GaamOqaaaa!690A! $$ \cdots \mathop \to \limits^{\partial \otimes 1} {F_n}{ \otimes _\pi }B\mathop \to \limits^{\partial \otimes 1} {F_{n - 1}}{ \otimes _\pi }B\mathop \to \limits^{\partial \otimes 1} \cdots \mathop \to \limits^{\partial \otimes 1} {F_0}{ \otimes _\pi }B$$ and calculates the homology groups of this chain-complex.

Keywords: Exact Sequence; Homology Group; Abelian Category; Projective Resolution; Homological Algebra (search for similar items in EconPapers)
Date: 2002
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-94-017-3267-3_8

Ordering information: This item can be ordered from
http://www.springer.com/9789401732673

DOI: 10.1007/978-94-017-3267-3_8

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().