Exercise 18, § 1
Commutative Algebra, VII, 550
Bourbaki marks this one as harder than the rest.
Let be a graded Krull domain with positive degrees, such that is a field and let a maximal ideal of A. Let S be the multiplicative set of homogeneous elements of A, so that the ring is a principal ideal domain (Exercise 16 (b)). (a) Let be a prime ideal of A of height 1 which meets ; then is not graded (otherwise ) and the ideal of is principal, generated by an element of the form , where . Writing an element of p of the form , () as a multiple of in and using Chapter V, § 1, no. 3, Proposition 11, show that ; writing finally every element of p as a multiple of in , show that . (b) Deduce from (a) that and are canonically isomorphic (use Proposition 17 of no. 10).
Solution
No solution has been written yet.