A note on algebraic independence criterion for Laurent series in positive characteristic (Q2043732)

Let \(p\) be the prime, \(\mathbb{F}\) be the field with \(char(\mathbb{F})=p\), \(n\geq 2\) be an integer, \(\alpha_1,\dots ,\alpha_n\in\mathbb{F}((\frac 1x))\), \(C_{N,j}, D_{N,j}\in\mathbb{F} [x]\) (\(N=1,\dots ;1\leq j\leq n\)) such that \(\mid \alpha_j-\frac {C_{N,j}}{D_{N,j}}\mid_\infty >0\) and \(\mid D_{N,j}\mid_\infty\to\infty\) as \(N\to\infty\). Assume that for all \(j\) with \(2\leq j\leq n\) and every \(h\) with \(j-1< h\leq n\) we have \[\lim_{N\to\infty}\frac {\mid \alpha_{j-1}-\frac {C_{N,j-1}}{D_{N,j-1}}\mid_\infty} {\mid \alpha_j-\frac {C_{N,j}}{D_{N,j}}\mid_\infty}=\lim_{N\to\infty}\frac {\mid \alpha_h-\frac {C_{N,h}}{D_{N,h}}\mid_\infty^p} {\mid \alpha_{j-1}-\frac {C_{N,j-1}}{D_{N,j-1}}\mid_\infty}=0 \,. \] Assume that for every positive real number \(M\) there exists \(N_0=N_0(M)\) such that for every \(N>N_0\) and \(j=1,\dots ,n\) we have \(\mid \alpha_j-\frac {C_{N,j}}{D_{N,j}}\mid_\infty \leq \mid D_{N,1}\dots D_{N,j}\mid_\infty^{-M}\). Then the author proved that \(\alpha_1,\dots ,\alpha_n\) are algebraically independent over \(\mathbb{F}(x)\). He also proved that if \(l\) is a positive integer, \(P_1,\dots ,P_l\in\mathbb{F}[x]\) such that for all \(i=1,\dots ,l\) we have \(n_i=\deg P_i\geq 1\), if \(\frac {n_i}{p^{ord_pn_i}}\not=\frac {n_j}{p^{ord_pn_j}}\) for all \(i\not= j\), if \(\{ k_m\}_{m=1}^\infty\) is a strictly increasing sequence of positive integers such that \(\lim_{m\to\infty}\frac {k_{m+1}}{k_m}=\infty\) and if we set \(\beta_j=\sum_{m=1}^\infty \frac 1{P_j^{k_m}}\) for all \(j=1,\dots ,l\) then the numbers \(\beta_1,\dots ,\beta_l\) are algebraically independent over \(\cup_{k=1}^\infty \mathbb{F}(x^{\frac 1{p^k}})\).