Exercise 6, § 1
Commutative Algebra, VIII, p. 82
a) Let be a (commutative) noetherian ring, an ideal of contained in the radical of , and the associated graded ring of the -adic filtration of . Associate to each ideal of an ideal of , and deduce that (cf. exerc. 4, c)). Consequently, one has (exerc. 5, c)). b) We now suppose that , where belongs to the radical of . Now prove that is isomorphic to a quotient of the graded algebra ; now prove that the ordered set of graded ideals of is isomorphic to the set of increasing sequences of ideals of ; deduce (exerc. 4, d)) that one has , and hence .
Solution
No solution has been written yet.