OFFSET
1,1
COMMENTS
Complement of A040992 relative to A000040. Coincides for the first 58 terms with A212375, that is the sequence of primes p such that x^18 = 2 has no solution mod p (first divergence is at 433, cf. A059664). Also coincides for the first 58 terms with sequence of primes p such that x^54 = 2 has no solution mod p (first divergence is at 433, cf. A059665). The sequence for x^18 and the sequence for x^54 coincide for the first 379 terms (first divergence is at 3943, cf. A059666). - Klaus Brockhaus, Feb 04 2001
LINKS
Bruno Berselli, Table of n, a(n) for n = 1..1000
MATHEMATICA
Select[Prime[Range[PrimePi[500]]], ! MemberQ[PowerMod[Range[#], 6, #], Mod[2, #]] &] (* Bruno Berselli, Sep 13 2012 *)
ok[p_] := Reduce[Mod[x^6 - 2, p] == 0, x, Integers] == False; Select[Prime[Range[80]], ok] (* Vincenzo Librandi, Sep 21 2012 *)
PROG
(Magma) [p: p in PrimesUpTo(500) | forall{x: x in ResidueClassRing(p) | x^6 ne 2}]; // Bruno Berselli, Sep 13 2012
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
EXTENSIONS
A212375 added in the Brockhaus comment from Bruno Berselli, Sep 13 2012
STATUS
approved