Prime divisors of nonlinear recurrent sequences. (Q1823971)

Given a linear recurrence sequence of rational integers \(\{\) u(n)\(\}\), \(n\in {\mathbb{N}}\), a derived rational integer sequence \(\{\) a(n)\(\}\) is defined by an initial condition and \(a(n+1)=P(a(n))+u(n),\) where P is a polynomial with integer coefficients. The natural number m is a divisor of the sequence \(\{\) a(n)\(\}\) if m divides at least one nonzero term of the sequence. The author establishes a characterization of those sequences which have only a finite number of prime divisors. This extends early work of \textit{G. Polya} [J. Reine Angew. Math. 151, 1-31 (1921; JFM 47.0276.02)] who took \(\{\) a(n)\(\}\) itself to be a linear recurrence sequence.