Hostname: page-component-7479d7b7d-qs9v7 Total loading time: 0 Render date: 2024-07-09T05:23:09.671Z Has data issue: false hasContentIssue false

A lemma in homological algebra

Published online by Cambridge University Press:  24 October 2008

G. M. Kelly
Affiliation:
Tulane University, Louisiana

Extract

In the development of homological algebra, one has to prove at some point that, in defining the derived functors of ⊗ and of Hom, it makes no difference whether we resolve both variables or only one of them. Taking ⊗ ( = ⊗R) as a typical example, what has to be proved is

(A) If the complex F is projective, or even flat, as a right R-module, and if f: P → A is a projective resolution of the left R-module A, then

is an isomorphism.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1965

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

(1)Cartan, H. and Eilenberg, S.Homological algebra (Princeton, 1956).Google Scholar
(2)Dold, A.Zur Homotopietheorie der Kettenkomplexe. Math. Ann. 140 (1960), 278298.CrossRefGoogle Scholar
(3)Godement, R.Théorie des faisceaux (Paris, 1958).Google Scholar
(4)MacLane, S.Homology (New York, 1963).CrossRefGoogle Scholar