OFFSET
1,1
COMMENTS
Numbers k > 1 such that 2^(k-1) == 1 (mod k) and gcd(k, 3^(k-1)-1) = 1.
Are there infinitely many such "anti-Carmichael pseudoprimes (2,3)"?
MATHEMATICA
Select[Range[2 10^6], PowerMod[2, #, #] == 2 && GCD[#, # + PowerMod[3, #, #] - 3] == 1 &] (* Giovanni Resta, Aug 18 2018 *)
PROG
(PARI) isok(k) = (k != 1) && (Mod(2, k)^k == Mod(2, k)) && (gcd(k, 3^k - 3) == 1); \\ Michel Marcus, Aug 15 2018
CROSSREFS
KEYWORD
nonn
AUTHOR
Thomas Ordowski, Aug 15 2018
EXTENSIONS
More terms from Michel Marcus, Aug 15 2018
More terms from Giovanni Resta, Aug 18 2018
STATUS
approved