Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Resolution (algebra)
Summary
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.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.