On series algebraically independent in any local field (Q1358375)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On series algebraically independent in any local field |
scientific article |
Statements
On series algebraically independent in any local field (English)
0 references
18 January 1998
0 references
Let the series \(\alpha_i= \sum^\infty_{k=0} b_{i,k}\), \(b_{i,k} \in\mathbb Q\), \(i=1, \dots, m\), converge in the field \(\mathbb{R}\) and in all fields \(\mathbb Q_p\), where \(p\) is prime. They are said to be globally algebraically independent if, for each of the above local fields, the element to which these series converge in the field are algebraically independent over \(\mathbb Q\). In this paper the author gives some sufficient conditions of global algebraic independence similar to the usual sufficient conditions of algebraic independence of the Liouville numbers, as follows: For \(N\in\mathbb{N}\), denote \(a_{i,N} =\sum^N_{k=0} b_{i,k}\), \(r_{i,N} =\sum^\infty_{k=N+1} b_{i,k}\), \(i=1, \dots, m\). If \[ \lim_{N\to \infty} {\ln|r_{i,N} |\over\ln |r_{i+1,N} |}= 0\;(i=1, \dots, m-1),\;\max_{1\leq i\leq m} |r_{i,N} |< \Bigl(\max_{1\leq i\leq m} h(a_{i,N}) \Bigr)^{-\varphi_0(N)} \] for \(N\geq N_0\), and for any prime \(p\) \[ \lim_{N \to \infty} {\ln |r_{i,N} |_p\over \ln|r_{i+1,N} |_p}= 0,\;(i=1, \dots, m-1),\;\max_{1\leq i \leq m} |r_{i,N} |_p <\Bigl(\max_{1\leq i \leq m} h(a_{i,N}) \Bigr)^{-\varphi_p (N)} \] for \(N\geq N_p\), where \(\varphi_0(N)\) and \(\varphi_p (N)\to +\infty\) \((N\to\infty)\), and \(h(a)\) means the height of \(a\in\mathbb Q\), then the series \(\alpha_i\) \((i=1, \dots, m)\) are globally algebraically independent.
0 references
globally algebraically independent series
0 references
local fields
0 references
global algebraic independence
0 references