OFFSET
1,2
COMMENTS
a(n) is the smallest k > 0 such that n divides A006190(k).
a(n) is also called the rank of A006190(n) modulo n.
For primes p == 1, 9, 17, 25, 29, 49 (mod 52), a(p) divides (p - 1)/2.
For primes p == 3, 23, 27, 35, 43, 51 (mod 52), a(p) divides p - 1, but a(p) does not divide (p - 1)/2.
For primes p == 5, 21, 33, 37, 41, 45 (mod 52), a(p) divides (p + 1)/2.
For primes p == 7, 11, 15, 19, 31, 47 (mod 52), a(p) divides p + 1, but a(p) does not divide (p + 1)/2.
a(n) <= (12/7)*n for all n, where the equality holds if and only if n = 2*7^e, e >= 1.
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000 (terms 1..5000 from Jianing Song)
FORMULA
a(m*n) = a(m)*a(n) if gcd(m, n) = 1.
For odd primes p, a(p^e) = p^(e-1)*a(p) if p^2 does not divide a(p). Any counterexample would be a 3-Wall-Sun-Sun prime.
a(2^e) = 3 if e = 1, 6 if e = 2 and 3*2^(e-2) if e >= 3. a(13^e) = 13^e, e >= 1.
CROSSREFS
Let {x(n)} be a sequence defined by x(0) = 0, x(1) = 1, x(n+2) = k*x(n+1) + x(n). Then the periods, ranks and the ratios of the periods to the ranks modulo a given integer n are given by:
Cf. A006190.
KEYWORD
nonn
AUTHOR
Jianing Song, Jan 05 2019
STATUS
approved