Exercise 11, § 1
Commutative Algebra, VII, 547
A divisor in an integral domain is called finitely generated if it is of the form , where is a finitely generated fractional ideal (which is not necessarily divisorial; cf. (b)).
(a) Show that, if is a Krull domain, every divisor of is of the form , where , being elements of the field of fractions of (use Corollary 2 to Proposition 9 of no. 5).
(b) Let be a field, the ring of polynomials over in a denumerable set of indeterminates, which is a Krull ring (Exercise 8). Let be the subring of generated by the unit element and the monomials for all pairs (equivalently, is the set of polynomials all whose terms have even degree). If and are the fields of fractions of and , show that , hence is a Krull ring. Let be the ideal in generated by the products for all ; show that is a prime ideal of height 1 (hence divisorial) but that it k not finitely generated.
Solution
No solution has been written yet.