Standard complex
![]() |
In mathematics, the standard complex, also called standard resolution, bar resolution, bar complex, bar construction, is a way of constructing resolutions in homological algebra. It was first introduced for the special case of algebras over a commutative ring by Samuel Eilenberg and Saunders Mac Lane (1953) and Henri Cartan and Eilenberg (1956, IX.6) and has since been generalized in many ways.
The name "bar complex" comes from the fact that Eilenberg & Mac Lane (1953) used a vertical bar | as a shortened form of the tensor product in their notation for the complex.
Definition
If A is an associative algebra over a field K, the standard complex is
with the differential given by
If A is a unital K-algebra, the standard complex is exact. Moreover, is a free A-bimodule resolution of the A-bimodule A.
Normalized standard complex
The normalized (or reduced) standard complex replaces with .
Monads
![]() | This section is empty. You can help by adding to it. (June 2011) |
See also
References
- Cartan, Henri; Eilenberg, Samuel (1956), Homological algebra, Princeton Mathematical Series, vol. 19, Princeton University Press, ISBN 978-0-691-04991-5, MR 0077480
- Eilenberg, Samuel; Mac Lane, Saunders (1953), "On the groups of . I", Annals of Mathematics, Second Series, 58: 55–106, doi:10.2307/1969820, ISSN 0003-486X, JSTOR 1969820, MR 0056295
- Ginzburg, Victor (2005). "Lectures on Noncommutative Geometry". arXiv:math.AG/0506603.
- Articles with short description
- Short description matches Wikidata
- Articles covered by WikiProject Wikify from May 2024
- Articles needing footnote reformatting
- All articles covered by WikiProject Wikify
- Articles to be expanded from June 2011
- All articles to be expanded
- Articles with empty sections from June 2011
- All articles with empty sections
- Articles using small message boxes
- Homological algebra
- All stub articles
- Algebra stubs