Bourbaki

Exercise 6, § 1

Commutative Algebra, IX, p. 43

Let A be a Z(p)\mathbf{Z}_{(p)}-algebra. Let nn be an integer, n⩾1n \geqslant 1, g=(g0,...,gn−1)g = (g_0, ..., g_{n-1}) an element of Wn(A)W_n(A), and let f=g0f = g_0. Then, denoting by AfA_f (resp. Wn(A)gW_n(A)_g) the localization of A (resp. Wn(A)W_n(A)) with respect to the multiplicative system of powers of ff (resp. gg), one has Wn(Af)=Wn(A)gW_n(A_f) = W_n(A)_g.

Solution

No solution has been written yet.

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