On the dimension of the solution space of linear difference equations over the ring of infinite sequences (Q6615399)

Let \(R\) be the ring of two-sided sequences having rational number terms with respect to termwise addition and multiplication. The paper discusses a linear difference equation\N\[\Na_{r}(n)y(n+r)+\cdots+a_{1}(n)y(n+1)+a_{0}(n)y(n)=0\tag{1}\N\]\Nwith computable \(a_{r}(n),...,a_{0}(n)\in R\) as coefficients. Let \(V\) be the \(\mathbb{Q}\)-vector subspace in R generated by solutions of equation (1). Is it possible to determine \(\dim V\)? The article gives a negative answer to this question. \N\NTheorem. (i) There is no algorithm that tests the existence of a nonzero solution to a given equation.\N\N(ii) There is no algorithm that computes the dimension of the solution space of a given equation.