1: \begin{definition}\label{monomial valuation}

2:   One easy way to obtain an Abhyankar valuation is via the 

3:   following construction, outlined more carefully in \S 3.1 

4:   of \cite{JonssonMustata}. Let $(R, \m, \kappa)$ be a 

5:   regular local ring. For any regular system of parameters 

6:   $r_1, \dots, r_d$ for $R$, there is an isomorphism

7:   $\hat{R} \isom \kappa \ldb r_1, \dots, r_d \rdb$, and so 

8:   we may view $f \in R \subseteq \hat{R}$ as having an 

9:   expansion of the form $f = \sum_{u \in \N_0^d} c_u r^u$, 

10:   where $r^{(u_1, \dots, u_d)} = r_1^{u_1} \cdots r_d^{u_d}$ and $c_u \in \kappa$.

11:   Jonsson and Musta\c{t}\u{a} prove in Proposition 3.1 of 

12:   \cite{JonssonMustata} that for any 

13:   $\alpha = (\alpha_1, \dots, \alpha_d) \in \R_{\ge 0}^d$, 

14:   there is a unique valuation $\val_\alpha$ on $\hat{R}$ 

15:   such that $\val_\alpha(f) = 

16:   \min \{ \sum_{j=1}^d \alpha_j u_j \,:\, c_u \ne 0\}$; such 

17:   valuations are sometimes called {\em Gauss} or {\em monomial} 

18:   valuations. Restricting $\val_\alpha$ to $R$ now gives an 

19:   Abhyankar valuation $v$;

20: %  see , which

21: %  (as they mention in the proof) works over any ground field. 

22:   After blowing-up appropriately, there exists a regular local 

23:   ring $(R', \m')$, dominating and birational to $(R, \m)$, with

24:   Krull dimension 

25:   $\dim_{\Q}(\Q \alpha_1 + \cdots + \Q \alpha_d) = \ratrk(\val_\alpha)$, 

26:   on which $v$ is centered \cite[Proposition 3.6(ii)]{JonssonMustata}. 

27:   Moreover, the residue field $\kappa(v)$

28:   must be an algebraic extension of $R'/\m'$, thanks to the {\em dimension

29:   formula} \cite[Theorem 15.2]{MatsumuraCommutativeRingTheory} 

30:   (using that $X$ is excellent); 

31:   see the discussion at the beginning of \cite[\S 3.2]{JonssonMustata}. 

32: \end{definition}

33: