Contracting homotopy
= Contracting homotopy
{title2=$dh+hd=\operatorname{id}$}
A contracting homotopy on a <chain complex> is a degree-one map $h$ whose displayed identity makes the identity chain-homotopic to zero. It implies that all homology vanishes. The converse is not valid for arbitrary complexes of modules.