Bourbaki

Exercise 19, § 7

Commutative Algebra, VIII, p. 106

Let AA be a noetherian ring and qq an ideal of AA such that A/qA/q is of finite length and qq contained in the radical of AA. Prove that one has

eq(A)=eq‾(A). e_q(A) = e_{\overline{q}}(A) .

Solution

No solution has been written yet.

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