Exercise 31, § 1
Commutative Algebra, VII, 555
(a) Let be a regularly integrally closed domain (Exercise 30) and its field of fractions; for every polynomial , let denote the divisor , where is the fractional ideal of generated by the coefficients of . Let denote the subring of consisting of the rational functions such that (show that this condition depends only on the element , using Exercise 30 (a) and 12 (c)). Then .
(b) Show that is a Bezoutian domain (Exercise 20) (observe that, if are two polynomials of , divides and in if is sufficiently large).
(c) Show that, if is a Krull domain, is a principal ideal domain (consider an increasing sequence of finitely generated fractional principal ideals of ). Give an example where is completely integrally closed but is not a principal ideal domain (cf. Exercise 22).
(d) Deduce from (c) an example of a Noetherian domain for which there exists a subfield of its field of fractions such that is not Noetherian.
Solution
No solution has been written yet.