Remarque 2

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

Algebra, chapter X, § 8. Dimension homologique

For $\mathrm{dh}(A)$ to be finite, it is necessary and sufficient that $\mathrm{dp}_A(M)$ be finite for every nonzero $A$ -module $M$ . This indeed follows from the preceding and from X, p. 135, cor. 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.