In 1882, Kronecker established that a given univariate formal Laurent series over a field can be expressed as a fraction of two univariate polynomials if and only if the coefficients of the series satisfy a linear recurrence relation.
We introduce the notion of generalised linear recurrence relations for power series with exponents in an arbitrary ordered abelian group, and generalise Kronecker's original result. In particular, we obtain criteria for determining whether a multivariate Laurent series lies in the fraction field of the corresponding polynomial ring.
|