Primitive divisors of Lucas and Lehmer sequences, II

Voutier, Paul M.

Journal de théorie des nombres de Bordeaux, Tome 8 (1996) no. 2, pp. 251-274

Abstract (VO)

Let $\alpha$ and $\beta$ are conjugate complex algebraic integers which generate Lucas or Lehmer sequences. We present an algorithm to search for elements of such sequences which have no primitive divisors. We use this algorithm to prove that for all $\alpha$ and $\beta$ with h$(\beta /\alpha )\le 4$, the $n$-th element of these sequences has a primitive divisor for $n>30$. In the course of proving this result, we give an improvement of a result of Stewart concerning more general sequences.

Résumé

Soit $\alpha$ et $\beta$ deux entiers algébriques complexes conjugués. On propose un algorithme dont l’objet est de découvrir des éléments des suites de Lucas ou de Lehmer associées à $\alpha$ et $\beta$, n’ayant pas de diviseurs primitifs. On utilise cet algorithme pour démontrer que pour tout $\alpha$ et $\beta$ tel que $h(\beta /\alpha )\le 4$, le $n$-ième terme des suites de Lucas et de Lehmer admet un diviseur primitif dès que $n>30$. Nous donnons en outre une amélioration d’un résultat de Stewart se rapportant à des suites plus générales.