Bourbaki

Exercise 4, Appendix 0

Commutative Algebra, IX, p. 85

Let A be a local ring endowed with a valuation vAv_A. Let B be a blowing-up of A. Now prove that the valuation vAv_A extends, in a unique manner, to a valuation vBv_B of B, and that the value groups vA(A)v_A(A) and vB(B)v_B(B) coincide. If A is a discrete valuation ring, with uniformizer π\pi, B is also a discrete valuation ring, one of whose uniformizers is the image of π\pi in B.

Solution

No solution has been written yet.

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