Exercise 6, § 1
Commutative Algebra, VII, 546
Let be an integral domain.
(a) For a divisorial ideal of to be such that is invertible in , it is necessary and sufficient that (cf. Exercise 5 and Algebra, Chapter VI, § 1, Exercise 30). In particular, in order that for every divisorial ideal of , it is necessary and sufficient that be completely integrally closed.
(b) In order that for every finitely generated ideal of , it is necessary and sufficient that be integrally closed.
Solution
No solution has been written yet.