Namespaces
Variants
Actions

Homology sequence

From Encyclopedia of Mathematics
Revision as of 17:14, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

An exact sequence, infinite on both sides, of homology groups of three complexes, connected by a short exact sequence. Let be an exact sequence of chain complexes in an Abelian category. Then there are morphisms

defined for all . They are called connecting (or boundary) morphisms. Their definition in the category of modules is especially simple: For a pre-image is chosen; will then be the image of an element whose homology class is . The sequence of homology groups

constructed with the aid of the connecting morphisms, is exact; it is called the homology sequence. Thus, the homology groups form a homology functor on the category of complexes.

Cohomology sequences are defined in a dual manner.

References

[1] H. Cartan, S. Eilenberg, "Homological algebra" , Princeton Univ. Press (1956)
How to Cite This Entry:
Homology sequence. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Homology_sequence&oldid=47262
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article