scientific article; zbMATH DE number 1824115
In [\textit{J. Schmid}, A density property for PRC-fields (Preprint), Konstanzer Schriften in Mathematik und Informatik 124 (electronic) (2000)] it was shown that the approximation condition [see \textit{B. Heinemann} and \textit{A. Prestel}, Can. Math. Soc. Conf. Proc. 4, 297--336 (1984; Zbl 0555.12008)] holds for arbitrary pseudo real closed fields. The aim of the paper under review is to prove that it also holds for arbitrary pseudo \(p\)-adically closed fields. Let \(p\) be a fixed prime and \(K\) a field with \(\chi {(K)}=0\). Denote by \(O\) a \(p\)-valuation ring of \(K\). If \(K\) is pseudo \(p\)-adically closed then the two \(p\)-adic closures of \((K,O)\) are isomorphic over \((K,O)\). In this case the \(p\)-adic closure of \((K,O)\) is denoted by \(\overline {(K,O)}\). The set of all \(p\)-valuation rings of the field \(K\) is denoted by \(X_K^p\). The set \(X_K^p\) is endowed with the Harrison topology. A basis for the topology consists of the sets \(H(a):=\{O\in X_K^p\mid a\in O\}\) \((a\in K\setminus\{0\}).\) It is well known that \(X_K^p\) is a compact Hausdorff space. If \(v\) is a valuation on \(K\) and \(a=(a_1,\ldots,a_n)\in K^n\) then \(v(a)=\min \{v(a_1),\ldots,v(a_n)\}\). Approximation theorem. Let \(K\) be a pseudo \(p\)-adically closed field and suppose that \(V\subset {\widetilde {K}}^n\) is an absolutely irreducible \(K\)-variety. Let \(O_1,\ldots,O_m\in X_K^p\) be pairwise different \(p\)-valuation rings of the field \(K\) with corresponding \(p\)-valuations \(v_i:K\twoheadrightarrow {\Gamma}_i\cup\{\infty\} (1\leq i\leq m)\). Suppose that \(V_{\text{reg}}\cap {\overline {(K,O)}}^n \neq\emptyset\) for each \(p\)-valuation ring \(O\) of \(K\) and let \(x_i\in V_{\text{reg}}\cap{\overline {(K,O_i)}}^n\) \((1\leq i\leq m).\) Then for all \({\alpha}_i\in {\Gamma}_i\) \((1\leq i\leq m)\) there is a regular rational point \(a\in V_{\text{reg}}\cap K^n\) such that \(v_i(a-x_i)>{\alpha}_i\) \((1\leq i\leq m)\). For the entire collection see [Zbl 0993.00030].
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3153402)
