Primitive divisors of Lucas and Lehmer sequences, II

Abstract

Let α and β 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 α and β with h (β/α) ≤ 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.