No label defined (Q4035873)

The author considers the algebraic independence of the values at algebraic points of a subset of \(E\)-functions in the case when the original set of \(E\)-functions is algebraically dependent over \(\mathbb{C}(z)\). Three theorems giving necessary and sufficient conditions for the algebraic independence of these values are proved. We mention one of them as follows. Theorem 3. Let \(f_1(z),\ldots,f_m(z)\) \((m\geq 2)\) be a set of \(E\)-functions, constituting a solution of a system of linear (or linear homogeneous) differential equations \[ y_k' = Q_{k0} + \sum^m_{i = 1}Q_{ki}y_i\quad (\text{or }y_k' = \sum^m_{j = 1}Q_{ki}y_i),\quad k=1,\ldots,m,\quad Q_{ki} \in\mathbb{C}(z), \] and the transcendence degree (or the homogeneous transcendence degree) of these functions over \(\mathbb{C}(z)\) be \(\ell\), \(1 \leq \ell \leq m-1\). Let the functions \(f_1(z),\ldots,f_\ell(z)\) be algebraically (or homogeneously algebraically) independent over \(\mathbb{C}(z)\). Assume that \(\xi\) is algebraic and \(\xi T(\xi) \neq 0\), where \(T(z) \in \mathbb{C}(z)\) is the least common denominator of all the functions \(Q_{ki}(z)\). Then the numbers \(f_1(\xi),\ldots,f_\ell(\xi)\) are algebraically (or homogeneously algebraically) dependent if and only if there exists an irreducible polynomial (or homogeneous polynomial) \(P(z,z_1,\dots,z_m) \in \mathbb{A}[z,z_ 1,\dots,z_ m]\) such that \(P(z,f_1(z),\ldots,f_m(z)) = 0\), and \(P(\xi,z_1,\ldots,z_m) = P_1(z_1,\ldots,z_\ell)\cdot P_ 2(z_1,\ldots,z_m)\), where \(P_1 \in \mathbb{A}[z_1,\ldots,z_\ell]\) is irreducible and satisfies \(P_1(f_1(\xi),\dots,f_\ell(\xi)) = 0\), and \(P_2 \in \mathbb{A}[z_1,\ldots,z_m]\), here \(\mathbb{A}\) denotes the field of all algebraic numbers. [For the entire collection see Zbl 0754.00023.]