Resolution (algebra)

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 s of an ), 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 di are called boundary maps. The map ε is called an augmentation map. For succinctness, the resolution above can be written as The 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 where each Ci is an R-module (it is common to use superscripts on the objects in the resolution and the maps between them to indicate the dual nature of such a resolution). For succinctness, the resolution above can be written as A (co)resolution is said to be finite if only finitely many of the modules involved are non-zero.