Bourbaki

Exercise 6, § 1

Commutative Algebra, VIII, p. 82

a) Let AA be a (commutative) noetherian ring, mm an ideal of AA contained in the radical of AA, and gr(A)gr(A) the associated graded ring of the mm-adic filtration of AA. Associate to each ideal of AA an ideal of gr(A)gr(A), and deduce that Kdev(A)≤Kdev(gr(A))Kdev(A) \leq Kdev(gr(A)) (cf. exerc. 4, c)). Consequently, one has dim⁡(A)≤dim⁡(gr(A))\dim(A) \leq \dim(gr(A)) (exerc. 5, c)). b) We now suppose that m=xAm = xA, where xx belongs to the radical of AA. Now prove that gr(A)gr(A) is isomorphic to a quotient of the graded algebra (A/m)[T](A/m)[T]; now prove that the ordered set FF of graded ideals of (A/m)[T](A/m)[T] is isomorphic to the set of increasing sequences of ideals of A/mA/m; deduce (exerc. 4, d)) that one has dev(F)=Kdev(A/(x))+1dev(F) = Kdev(A/(x)) + 1, and hence dim⁡(A)≤dim⁡(A/m)+1\dim(A) \leq \dim(A/m) + 1.

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.