Bourbaki

Lemma 1

Tag 0E0Q, permanent. Cite it as [Bourbaki, Tag 0E0Q].

Algebra, chapter X, § 8. Dimension homologique

If dpA(M)<n<+∞\mathrm{dp}_A(M) < n < +\infty, then ExtAn(M,N)=0\mathrm{Ext}_A^n(M, N) = 0 for every AA-module NN and TornA(P,M)=0\mathrm{Tor}_n^A(P, M) = 0 for every righthand AA-module PP. This follows immediately from the fact that MM has a projective resolution of length <n< n 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.

Translated with machine help, not yet reviewed by a person.