Bourbaki

Exercise 30, § 2

Commutative Algebra, III

Let KK be an infinite commutative field, AA the ring of formal power series K[[X,Y]]K[[X, Y]] in two indeterminates, which is a separated complete noetherian local ring. Define a multiplicative subset S of A such that S−1AS^{-1}A is not a semi-local ring (if (λn)(\lambda_n) is an infinite sequence of distinct elements of K, consider the prime ideals pn=A(X+λnY)p_n = A(X + \lambda_n Y) of A).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.