Algebraically independent values of Liouville - von Neumann series over QV-fields (Q801100)

Let k be a field provided with a nontrivial real multiplicative valuation \(\phi\). Assume k is the quotient field of a subring R such that \(\phi\) (x)\(\leq 1\) whenever \(x\in R\setminus \{0\}\). Let \(k^{\phi}\) be the completion of k under \(\phi\) and let \({\tilde \phi}\) be the extension of \(\phi\) to \(k^{\phi}\). Let \(\alpha \in k^{\phi}\setminus k\) be algebraic over k. The author gives a kind of Liouville's approximation theorem in proving that there exists an effective constant \(C\in {\mathbb{R}}^*_+\) such that \({\tilde \phi}(\alpha -p/q)>C {\tilde \phi}(q)^{-n}\) for all p,q\(\in R\), \(q\neq 0.\) The author then obtains results of algebraic independence over k with help of hypotheses on Liouville-von Neumann sequences. Particularly he has the following corollary. Let \(n\in {\mathbb{N}}\), and \(\alpha_ 1,...,\alpha_ n\in k^{\phi}\). Suppose, for all n-tuples \((d_ 1,...,d_ n)\in {\mathbb{N}}^ n\) and all \(Q\in R[X_ 1,...,X_ n]\) there exist \(a_ 1,...,a_ n\in R\), \(b_ 1,...,b_ n\in R_ 1\) with \(R_ 1\) a particular subring of R, such that \(Q(a_ 1/b_ 1,...,a_ n/b_ n)\neq 0\) and \(\max_{1\leq i\leq n}{\tilde \phi}(\alpha_ i-a_ i/b_ i)\leq \prod^{n}_{i=1}{\tilde \phi}(b_ i)^{-d_ i}).\) Then \(\alpha_ 1,...,\alpha_ n\) are algebraically independent over k.