On the dimension of systems of algebraic difference equations (Q2221789)

Let \(F\) be a system of algebraic difference equations. In terms of differential ideals the solution set of \(F\) in difference fields corresponds to \(\{F\}\), the smallest perfect difference ideal containing \(F\), while the solution set of \(F\) in the ring of sequences corresponds to \([F]\), the smallest difference ideal containing \(F\). For \(\{F\}\) the dimension of the solutions set is defined via the difference of the transcendence degrees of an extension of the difference field. A notion of dimension for the solution set of \(F\) is introduced that measures the degrees of freedom when determine a solution in the ring of sequences. This number need not to be an integer. If \(F\) is a perfect differential ideal the both definitions coincides. An example is given that they differ in general.