Let be a commutative ring and let be an R-module for . A chain complex of the form
is said to be acyclic if its 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 .