Embedding Henselian fields into power series (Q853908)

Given any real number \(x\in{\mathbb R}\), there exists a unique integer \(n\in{\mathbb Z}\) such that \(n\leq x<n+1\), that is, \(n\) is the integral part of \(x\). This property motivates the definition of integer part of an ordered field \({\mathbb K}\) as a subring \(R\subseteq {\mathbb K}\) containing \(1\) and such that for every \(x\in{\mathbb K}\) there exists a unique \(r\in R\) such that \(r\leq x<r+1\). A field of generalized power series \({\mathbf k}((t))\) over an ordered field \({\mathbf k}\subseteq {\mathbb R}\) has an integer part: \(\{\sum_{\gamma<0}a_ {\gamma} t^{\gamma} +n\mid n\in{\mathbb Z}\}\). The main goal of this paper is to embed \({\mathbb K}\) into fields of generalized power series. When the characteristic of \({\mathbf k}\) is \(0\), the field \({\mathbf k}\) is contained in \({\mathbb K}\) and there exist a good section \(s: \Gamma\to {\mathbb K}^{\ast}\) and its factor set \({\mathfrak f}\). If \({\mathbf k}((\Gamma,{\mathfrak f}))\) is the field of generalized power series with factor set \({\mathfrak f}\) and \(s':\Gamma\to {\mathbf k}((\Gamma,{\mathfrak f}))\) is its canonical section, the author shows that \({\mathbb K}\) has a truncation-closed analytic embedding over \({\mathbf k}\), \(\phi\) in \({\mathbf k} (\Gamma,{\mathfrak f})\) such that \(s'\circ \phi=s\) (Theorem 5.1). As a corollary it is obtained a generalization of Ax-Kochen-Ershov theorem [\textit{Yu. L. Ershov}, Sov. Math., Dokl. 6, 1390--1393 (1965); translation from Dokl. Akad. Nauk SSSR 165, 21--23 (1965; Zbl 0152.02403)]. It is also obtained an extension of Mourgues-Ressayre theorem [\textit{M. H. Mourgues} and \textit{J. P. Ressayre}, J. Symb. Log. 58, No. 2, 641--647 (1993; Zbl 0786.12005)]: every ordered field, which is Henselian in its natural valuation has an integer part (Theorem 2.16 and Corollary 5.3). When \({\mathbb K}\) is of positive characteristic, the author uses the Hypothesis A of \textit{I. Kaplansky} [Duke Math. J. 9, 303--321 (1942; Zbl 0063.03135)] to prove that if \({\mathbb K}\) is an algebraically maximal valued field containing \({\mathbf k}\) so that there is a \(p\)-good section of \(\Gamma\) into \({\mathbb K}^{\ast}\), \({\mathbb K}\) satisfies Hypothesis A and \(\aleph\) is an uncountable cardinal such that \({\text{tr}}\deg ({\mathbb K}/{\mathbf k}(\Gamma,{\mathfrak f})) \leq \aleph\), then there is a truncation-closed embedding into \({\mathbf k}((\Gamma,{\mathfrak f}))_{\aleph}\). For the mixed characteristic case, under some extra assumptions, the author shows that \({\mathbb K}\) can be embedded into \(\tilde{{\mathbf K}}((\Lambda,m))\) in a truncation-closed way, where \(\Lambda\) is certain quotient of \(\Gamma\) and \(\tilde{{\mathbf K}}\) is a field associated to \({\mathbb K}\). In the last section, among other things, it is given a simplified version of the examples of \textit{S. Boughattas} [J. Symb. Log. 58, No. 1, 326--333 (1993; Zbl 0779.12003)] of valued fields that do not admit integer parts and hence do not admit truncation-closed embeddings.