Namespaces
Variants
Actions

Relative homological algebra

From Encyclopedia of Mathematics
Revision as of 17:12, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A homological algebra associated with a pair of Abelian categories and a fixed functor (cf. Abelian category). The functor is taken to be additive, exact and faithful. A short exact sequence of objects of ,

is said to be admissible if the exact sequence

splits in (cf. Split sequence). By means of the class of admissible exact sequences, the class of -projective (respectively, -injective) objects is defined as the class of those objects (respectively, ) for which the functor (respectively, ) is exact on the admissible short exact sequences.

Any projective object of is -projective, although this does not mean that in there are enough relative projective objects (i.e. that for any object from , an admissible epimorphism of a certain -projective object of exists). If contains enough -projective or -injective objects, then the usual constructions of homological algebra make it possible to construct derived functors in this category, which are called relative derived functors.

Examples. Let be the category of -modules over an associative ring with a unit, let be the category of Abelian groups and let be the functor which "forgets" the module structure. In this case all exact sequences are admissible, and as a result the "absolute" (i.e. usual) homological algebra is obtained.

If is a group, then every -module is, in particular, an Abelian group. If is an algebra over a commutative ring , then every -module is a -module. If and are rings and , then every -module is an -module. In all these cases there is a functor from one Abelian category into the other defining the relative derived functors.

References

[1] S. MacLane, "Homology" , Springer (1963)
[2] J.C. Moore, S. Eilenberg, "Foundations of relative homological algebra" , Amer. Math. Soc. (1965)
How to Cite This Entry:
Relative homological algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Relative_homological_algebra&oldid=48497
This article was adapted from an original article by V.E. GovorovA.V. Mikhalev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article