Bourbaki

Exercise 19, § 1

Commutative Algebra, VII, 550

Let A be a local Krull domain and m its maximal ideal; if A′=(A[X])mA[X]A' = (A[X])_{mA[X]}, show that C(A)C(A) and C(A′)C(A') are canonically isomorphic. (Apply the criterion of Proposition 17 of no. 10, using Exercise 12 (c).)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.