Le corps des séries de Puiseux généralisées (Q4523100)

Let \(K\) be a field and \(\text{Puis}(K)\) be the field of Puiseux series with coefficients in \(K\). It is well-known that, if \(K\) is algebraically closed, then \(\text{Puis}(K)\) is an algebraic closure of the field \(K((X))\) of the Laurent series with coefficients in \(K\). However, if we denote by \(\nu\) the canonical valuation on \(\text{Puis}(K)\), defined by \(\nu(\sum_k\geq k_0 a_k X^{k/n}) = k_0/n\) (\(a_{k_0}\neq 0\)), it turns out that \(\text{Puis}(K)\) is never complete for \(\nu\). The aim of the paper under review is to give a completion, \(\widetilde{\text{Puis}(K)}\), of \(\text{Puis}(K)\) under \(\nu\). This is given as an inductive limit, in analogy with the construction of the completion \({\mathbb C}_p\) of the \(p\)-adic field \({\mathbb Q}_p\). The author proves, among others, that the extension of the valuation \(\nu\) to \(\widetilde{\text{Puis}(K)}\) is real-valued, that the residue field is \(K\), and that, if \(\text{char}(K)=0\), then the minimal complete and algebraically closed field containing \(K((X))\) is \(\widetilde{\text{Puis}(K)}\).