An acyclic chain complex over a commutative ring
, with
an R-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 if and only
if there exists a chain contraction
.