Exercise 14, § 1
Commutative Algebra, VII, 548
Let be a Krull domain and a saturated multiplicative subset of not containing (Chapter II, § 2, Exercise 1). Show that, if the canonical homomorphism : (no. 10, Proposition 17) is bijective, is generated by a family (p_i) of elements such that each is a prime ideal (note that every divisorial prime ideal which meets S is principal),
Solution
No solution has been written yet.