Exercise 8, § 2
Commutative Algebra, VII, 557
Bourbaki marks this one as harder than the rest.
Let be an integral domain in which every prime ideal is invertible. Show that is a Dedekind domain. (Prove first that every prime ideal of is maximal, noting that, if is a prime ideal such that and , then (Chapter 11, § 1, Exercises 8 (b)) and on the other hand that , whence a contradiction is deduced. Deduce that is Noetherian (Chapter II, § 1, Exercise 6 (b)) and finally apply Chapter II, § 5, no. 6, Theorem 4 to show that is a field or a discrete valuation ring for every maximal ideal of .)
Solution
No solution has been written yet.