Free resolution
Definition
Symbol-free definition
A free resolution of a module over a commutative unital ring is an exact sequence of modules (possibly infinite in length) terminating at the given module, and where all preceding members are free modules.