OFFSET
1,1
COMMENTS
This is the set of all integers k such that there exists a full period linear congruential pseudorandom number generator x -> bx + c (mod k), where b is not a multiple of k, b - 1 is a multiple of f(k) and c is a positive integer relatively prime to k.
4 is the only prime power not a member of the set: f(4) = 2 * rad(4) = 4.
This sequence consists of the primes and 2*A013929. - Charlie Neder, Jan 28 2019
LINKS
T. D. Noe, Table of n, a(n) for n = 1..1000
FORMULA
A144907(a(n)) < a(n). - Reinhard Zumkeller, Mar 12 2014
EXAMPLE
2 is a member: f(2) = 1 and the sequence (0, 1, 0, ...) given by x -> x + 1 (mod 2) has period 2.
8 is a member: f(8) = 4 and the sequence (0, 1, 6, 7, 4, 5, 2, 3, 0, ...) given by x -> 5x + 1 (mod 8) has period 8.
18 is a member: f(18) = 6 and the sequence (0, 1, 14, 3, 4, 17, 6, 7, 2, 9, 10, 5, 12, 13, 8, 15, 16, 11, 0, ...) given by x -> 13x + 1 (mod 18) has period 18.
PROG
(PARI) rad(n) = local(p); p=factor(n)[, 1]; prod(i=1, length(p), p[i]) ;
f(n) = if (isprime(n), 1, if ((n % 4)==0 , 2*rad(n), rad(n))); isok(n) = n > f(n); \\ Michel Marcus, Aug 09 2013
(Haskell)
a144100 n = a144100_list !! (n-1)
a144100_list = filter (\x -> a144907 x < x) [1..]
-- Reinhard Zumkeller, Mar 12 2014
CROSSREFS
KEYWORD
easy,nice,nonn
AUTHOR
Reikku Kulon, Sep 10 2008
STATUS
approved