Realization of a certain class of semi-groups as value semi-groups of valuations (Q841411)

Sequences of key-polynomials constitute a technique that comes from \textit{S. MacLane} [Trans. Am. Math. Soc. 40, 363--395 (1936; Zbl 0015.29202)] to describe extensions of valuations of a finite field \(K\) to the field \(K(x)\). The author generalizes certain type of sequences of key-polynomials due to Favre and Jonsson, to produce a class of valuations of the field \(K((x_1,x_2, \dots, x_d))\), \(K\) being an arbitrary field. Valuations \( \nu\) in the mentioned class are centered on the ring of polynomials \(K[x_1,x_2, \dots, x_d]\) and the author is able of describing the value semi-group \(\nu(K[[x_1,x_2, \dots, x_d]] \setminus \{0\})\). That procedure allows the author to provide the main result in the paper: Given a semi-group \(\Gamma\) of rational rank \(d\) with minimal system of generators well-ordered, of ordinal type at most \(\omega n\), \(n \in {\mathbb N}\) and satisfying a positivity and increasing condition, there exists a zero-dimensional valuation of \(K(x_1,x_2, \dots, x_d)\), centered on \(K[x_1,x_2, \dots, x_d]\) whose value semi-group is equal to \(\Gamma\).