Pairwise coprimality conjecture for prime-indexed Lucas sequence terms

About 8 years old · traced to

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

un+1=aun+bun−1.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 n≥3n\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.