Pairwise coprimality conjecture for prime-indexed Lucas sequence terms

From papers

Let (un)n0(u_n)_{n\ge 0} be the Lucas sequence associated to integers aa and bb with a3|a|\ge 3 and b=1b=-1, so that u0=0u_0=0, u1=1u_1=1, and

un+1=aun+bun1.u_{n+1}=a u_n+b u_{n-1}.

Pairwise coprimality conjecture. For any two different primes pp and qq, the terms upu_p and uqu_q are relatively prime:

gcd(up,uq)=1.\operatorname{gcd}(u_p,u_q)=1.

The preceding theorem proves that un|u_n| is composite for every n3n\ge 3, while this conjecture asserts that prime-indexed terms nevertheless do not share any common prime divisor. If true, it would imply that no finite set of primes divides every term of the sequence.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Dan Ismailescu, Adrienne Ko, Celine Lee and Jae Yong Park, “On second order linear sequences of composite numbers”, arXiv:1812.08041 (2018).

Solutions 0

No solutions have been posted yet.