Prime ideal divisors of parametric recurrence sequences

Abstract

We prove new arithmetic results for parametric linear recurrence sequences specialized at roots of unity, denoted by $(U_n(\hat{I}\P ){)}_{n\ge 0}$. In particular, we obtain effective lower bounds for the largest prime ideal divisor and norm of the radical of the principal ideal generated by $U_n(\hat{I}\P )$. We further derive an effective upper bound for the $S$-part of $U_n(\hat{I}\P )$, showing that it is strictly smaller than a fixed power of its absolute norm for sufficiently large $n$.

16 pages