OFFSET
1,1
COMMENTS
This sequence contains the even composite integers for which the congruence holds.
The generalized Lucas sequences of integer parameters (a,b) defined by U(n+2)=a*U(n+1)-b*U(n) and U(0)=0, U(1)=1, satisfies the identity U^(p)==1 (mod p) whenever p is prime and b=-1,1.
REFERENCES
D. Andrica and O. Bagdasar, Recurrent Sequences: Key Results, Applications and Problems. Springer (to appear, 2020).
LINKS
D. Andrica and O. Bagdasar, On some new arithmetic properties of the generalized Lucas sequences, preprint for Mediterr. J. Math. 18, 47 (2021).
MATHEMATICA
Select[Range[2, 10000, 2], CompositeQ[#] && Divisible[ChebyshevU[#-1, 7/2]*ChebyshevU[#-1, 7/2] - 1, #] &]
CROSSREFS
KEYWORD
nonn
AUTHOR
Ovidiu Bagdasar, Sep 20 2020
EXTENSIONS
More terms from Amiram Eldar, Sep 21 2020
STATUS
approved