No label defined (Q4948758)

A generalized exponential sequence is defined as a sequence of the form \(\sum_{1\leq i\leq s}f_i(n)a_i^{F_i(n)}\), where \(a_1,\dots,a_s\) are nonzero elements of a number field \(\mathbb{K}\), \(f_1,\dots,f_s\) are nonzero polynomials with coefficients in \(\mathbb{K}\), and \(F_1,\dots,F_s\) are nonzero polynomials with coefficients in \(\mathbb{Z}\) such that \(F_i(0)=0\), for every \(i\). The aim of the paper under review is to prove the following result: if \(h\in \mathbb{Z}[X]\) divides the terms of a generalized exponential sequence \(\sum_{1\leq i\leq s}f_i(n)a_i^{F_i(n)}\) for all sufficiently large integers, then the polynomial \(h\) divides each of the \(f_i\) in \(\mathbb{Q}[X]\) under some assumptions on the coefficients \(a_i\)'s. This result is a generalization of a result by \textit{D. Cantor} [Can. J. Math. 21, 378-382 (1969; Zbl 0179.06402)], which was itself extended as the Hadamard quotient theorem in [\textit{Y. Pourchet}, C. R. Acad. Sci., Sér. I 288, 1055-1057 (1979; Zbl 0421.13005)], and [\textit{A. J. Van der Poorten}, ibid. 306, 97-102 (1988; Zbl 0635.10007)], and very recently by \textit{A. Schinzel} [Exponential congruences, Number theory and its applications (Kyoto, 1997), Dev. Math. 2, 303-308 (1999)]. This elegantly written paper ends with two open problems.