Bourbaki

Exercise 10, § 1

Commutative Algebra, X, p. 152

Let AA be a noetherian ring, MM a finitely generated AA-module, JJ an ideal of AA, (x1,…,xr)(x_1,\ldots,x_r) an MM-regular sequence of elements of JJ, with r<profA(J;M)r < \mathrm{prof}_A(J;M). Let q1,…,qnq_1,\ldots,q_n be ideals of AA not containing JJ, all prime except at most two, and J0J_0 a subset of JJ, stable under addition and multiplication and generating the ideal JJ. Prove that there exists an element xx of J0J_0 belonging to none of the qiq_i such that the sequence (x1,…,xr,x)(x_1,\ldots,x_r,x) is MM-regular (use cor. 2 of prop. 2 of II, § 1, No. 1).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.