Remark 3.8 . [01ET]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Remark 3.8.
For each let be the set of components passing through . Arguing as above shows that there exists a unique way to define for each a valuation on , if we impose that:
- •
is centered at for ;
- •
for each ;
- •
is continuous for each .
Indeed, choose a regular system of parameters of such that is a local equation of for , and a field of representatives of in . We then have an isomorphism under which corresponds to the monomial valuation taking value on for , and on for . Note that is then the image of under the natural map .