Corollary

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

Let $M$ be a nonzero Macaulay $A$ -module of finite type. The $A$ -module $H_A^i(M)$ is zero for $i \neq \dim(M)$ and nonzero for $i = \dim(M)$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.