An acyclic chain complex over a commutative ring
, with
an A-module for
, is a chain
complex of the form
whose th
homology group
is trivial for
all values
.
A straightforward result in homological algebra states that a chain complex with each
free is acyclic iff
there exists a chain contraction
.