Bourbaki

Exercise 5, § 1

Commutative Algebra, X

Let AA be a noetherian ring, MM a nonzero finitely generated AA-module, JJ an ideal of AA, x=(x1,…,xn)x = (x_1, \ldots, x_n) a generator system of JJ. Prove that one has Hi(x,M)≠0H^i(x, M) \neq 0 for profA(J;M)≤i≤n\mathrm{prof}_A(J; M) \leq i \leq n (reduce to the local case, and use A, X, p. 157, Cor. 2).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.