Exercise 3, § 3
Commutative Algebra, VII, 563
(a) Let be a graded algebra with positive degrees over a field ; suppose that and that is a Krull domain. Show that for to be factorial, it is necessary and sufficient that every graded prime ideal of of height 1 be of the form , where is a homogeneous element (use Exercise 16 of § 1). Show that every homogeneous element of is a product of homogeneous extremal elements.
(b) Let be a graded -algebra satisfying the conditions of (a). Let be an extension of and suppose that is a factorial domain; show that is factorial. (If a graded ideal of is such that is principal in , show that is principal; then use (a).)
Solution
No solution has been written yet.