Algebraic independence of values of a certain class of hypergeometric functions (Q1358491)

This paper is a continuation of the author's previous paper [\textit{V. A. Kulagin}, Math. Notes 51, No. 6, 561-565 (1992); translation from Mat. Zametki 51, No. 6, 46-51 (1992; Zbl 0793.11018)]. The author considers the hypergeometric \(E\)-functions in the ``degenerate'' case: \[ \varphi_{k,m}(z)= 1+\sum_{n=1}^\infty \frac{1}{(\lambda_1+1)_n\dots (\lambda_k+1)_n (\mu_1+n)\dots (\mu_m+n)} \biggl(\frac zk\biggr)^{nk}, \] where \((\lambda)_n= \lambda(\lambda+1)\dots (\lambda+n-1)\), and \(\lambda_i,\mu_j\in \mathbb{Q}\setminus \{-1,-2,\dots\}\), \(i=1,\dots,k\), \(j=1,\dots,m\), \(k,m\in\mathbb{N}\), and proves the following main result: Let \(k\) be prime, and let \(\alpha\neq 0\) be algebraic. Then the numbers \[ \varphi_{k,m}(\alpha), \varphi_{k,m}'(\alpha),\dots, \varphi_{k,m}^{(k+m- 1)}(\alpha) \] are algebraically independent if and only if the following conditions hold: (i) \((\mu_j-\lambda_i)\not\in \mathbb{N}\), \(1\leq i\leq k\), \(1\leq j\leq m\); (ii) \((\mu_i-\mu_j)\not\in \mathbb{Z}\setminus \{0\}\), \(1\leq i,j\leq m\); (iii) \(\{\lambda_1,\dots, \lambda_k\}\not\equiv \{0,\frac 1k,\dots,\frac{k-1}{k}\} \pmod\mathbb{Z}\), where the symbol \(\{a_1,\dots, a_k\}\equiv \{b_1,\dots,b_k\pmod \mathbb{Z}\) means that there is a permutation \(\{i_1,\dots, i_k\}\) of \(\{1,\dots, k\}\) such that \((a_j-b_{i_j})\in \mathbb{Z}\), \(j=1,\dots, k\). To prove this theorem, some theorems announced by the author [Russ. Math. Surv. 42, No. 2, 285-286 (1987); translation from Usp. Mat. Nauk 42, No. 2(254), 233-234 (1987; Zbl 0632.10038)] are proved here.