On a divisibility relation for Lucas sequences

Abstract

In this note, we study the divisibility relation U(m) | U(8/n+k) - U(8/n') where U := {Un}n>/-0s the Lucas sequence of characteristic polynomial x(2) - ax +/- 1 and k, m, n, s are fixed positive integers.