Bourbaki

Exercise 14, § 1

Commutative Algebra, VII, 548

Let AA be a Krull domain and SS a saturated multiplicative subset of AA not containing 00 (Chapter II, § 2, Exercise 1). Show that, if the canonical homomorphism : C(A)→C(S−1A)C(A) \to C(S^{-1}A) (no. 10, Proposition 17) is bijective, SS is generated by a family (p_i) of elements such that each ApiAp_i is a prime ideal (note that every divisorial prime ideal which meets S is principal),

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.