Projective resolution

In mathematics, and more specifically in homological algebra, a resolution (or left resolution; dually a coresolution or right resolution) is an exact sequence of modules (or, more generally, of objects of an abelian category), which is used to define invariants characterizing the structure of a specific module or object of this category. When, as usually, arrows are oriented to the right, the sequence is supposed to be infinite to the left for (left) resolutions, and to the right for right resolutions. However, a finite resolution is one where only finitely many of the objects in the sequence are non-zero; it is usually represented by a finite exact sequence in which the leftmost object (for resolutions) or the rightmost object (for coresolutions) is the zero-object.

Generally, the objects in the sequence are restricted to have some property P (for example to be free). Thus one speaks of a P resolution. In particular, every module has free resolutions, projective resolutions and flat resolutions, which are left resolutions consisting, respectively of free modules, projective modules or flat modules. Similarly every module has injective resolutions, which are right resolutions consisting of injective modules.

Given a module M over a ring R, a left resolution (or simply resolution) of M is an exact sequence (possibly infinite) of R-modules

The homomorphisms d_i are called boundary maps. The map ε is called an augmentation map. For succinctness, the resolution above can be written as

The dual notion is that of a right resolution (or coresolution, or simply resolution). Specifically, given a module M over a ring R, a right resolution is a possibly infinite exact sequence of R-modules

...
Wikipedia