Projective resolution
Definition
Symbol-free definition
A projective resolution of a module is an exact sequence of modules (possibly infinite in length) terminating at the given module, and such that all preceding members of the exact sequence are projective modules.