Lemma 1
Tag 0E0Q, permanent. Cite it as [Bourbaki, Tag 0E0Q].
Algebra, chapter X, § 8. Dimension homologique
If , then for every -module and for every righthand -module . This follows immediately from the fact that has a projective resolution of length and from X, p. 100, Theorem 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.