TOPICS
Search

Chain Contraction

Let A be a commutative ring, let C_r be an R-module for r=0, 1, 2, ..., and define a chain complex C__ of the form

C__:...|->C_n|->C_(n-1)|->C_(n-2)|->...|->C_2|->C_1|->C_0.

A chain contraction Gamma:0=1:C__->C__ is a collection of R-modules morphisms Gamma:C_r->C_(r+1) such that, for all r>=0,

dGamma+Gammad=1:C_r->C_r.

Here, d:C_r->C_(r-1) is the boundary map of C__.

See also

Boundary Map, Chain Complex, Commutative Ring, Module, Morphism, R-Module

This entry contributed by Christopher Stover

Explore with Wolfram|Alpha

References

Ranicki, A. "Notes on Reidemeister Torsion." 1997. http://www.maths.ed.ac.uk/~aar/papers/torsion.pdf.

Cite this as:

Stover, Christopher. "Chain Contraction." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/ChainContraction.html

Subject classifications