Lemma 4

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

Let $M$ be a graded $A$ -module bounded below (X, p. 56). If $A_0 \otimes_A M = 0$ , then $M = 0$ .

Since $A_0 \otimes_A M$ is isomorphic to $M/J_0 M$ , this is none other than ll, p. 171, prop. 6.

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

Cited by

Nothing.

Nothing.