Local-global principles for recurrence sequences
Tom 67 / 2019
Bulletin Polish Acad. Sci. Math. 67 (2019), 37-40
MSC: Primary 11B39.
DOI: 10.4064/ba8179-1-2019
Opublikowany online: 14 February 2019
Streszczenie
A proof is given that if a non-degenerate recurrence sequence of the second order over the rationals with separable companion equation contains multiples of infinitely many terms of the Lucas sequence governed by the same recurrence, then it contains zero for an index of a suitable sign.