No label defined (Q4230596)

Let \(f_1(z), \dots,f_m(z)\) be \(E\)-functions which satisfy a system of first order linear differential equations (or a system of first order homogeneous linear differentiable equations) with coefficients in \(\mathbb{C}(z)\), and let \(\mathbb{K}\) be a field which is algebraic over \(\mathbb{Q}\) that contains all the coefficients of power series in \(z\) of functions \(f_i(z)\). The author considers the algebraic (or homogeneously algebraic) independence of values of the subset of \(f_1(z),\dots,f_m(z)\) at algebraic points under the assumption that the transcendental (or homogeneously transcendental) degree of \(f_1(z), \dots, f_m (z)\) over \(\mathbb{C}(z)\) is \(m-1\). The sufficient conditions for algebraic (or homogeneously algebraic) independence of values (or ``conjugates of the values'') of \(m-1\) functions among \(f_1(z), \dots, f_m(z)\) at algebraic points are established. In particular, in the case \(\mathbb{K} =\mathbb{I}\) an imaginary quadratic field, the corresponding sufficient and necessary condition is given. For the entire collection see [Zbl 0907.00013].