OFFSET
1,1
COMMENTS
Let {x(n)} be a sequence defined by x(0) = 0, x(1) = 1, x(n) = m*x(n-1) + x(n-2) for k >= 2. For primes p, we have (a) p divides x(p-((m^2+4)/p); (b) x(p) == ((m^2+4)/p) (mod p), where (D/p) is the Kronecker symbol. This sequence gives composite numbers k such that gcd(k, m^2+4) = 1 and that conditions similar to (a) and (b) hold for k simultaneously, where m = 2.
If k is not required to be coprime to m^2 + 4 (= 8), then there are 1190 such k <= 10^5 and 4847 such k <= 10^6, while there are only 41 terms <= 10^5 and 119 terms <= 10^6 in this sequence.
LINKS
Daniel Suteu, Table of n, a(n) for n = 1..10000
EXAMPLE
169 divides Pell(168) as well as Pell(169) - 1, so 169 is a term.
PROG
(PARI) pellmod(n, m)=((Mod([2, 1; 1, 0], m))^n)[1, 2]
isA327652(n)=!isprime(n) && pellmod(n, n)==kronecker(8, n) && !pellmod(n-kronecker(8, n), n) && gcd(n, 8)==1 && n>1
CROSSREFS
m m=1 m=2 m=3
* k is composite and coprime to m^2 + 4.
KEYWORD
nonn
AUTHOR
Jianing Song, Sep 20 2019
STATUS
approved