OFFSET
1,1
COMMENTS
Coincides with the sequence of "primes p such that x^16 = 2 has a solution mod p" for first 58 terms (and then diverges).
REFERENCES
A. Aigner, Kriterien zum 8. und 16. Potenzcharakter der Reste 2 und -2, Deutsche Math. 4 (1939), 44-52; FdM 65 - I (1939), 112.
LINKS
T. D. Noe, Table of n, a(n) for n = 1..1000
H. Hasse, Der 2^n-te Potenzcharakter von 2 im Koerper der 2^n-ten Einheitswurzeln, Rend. Circ. Matem. Palermo (2), 7 (1958), 185-243.
Franz Lemmermeyer, Bibliography on Reciprocity Laws
A. L. Whiteman, The sixteenth power residue character of 2, Canad. J. Math. 6 (1954), 364-373; Zbl 55.27102.
MATHEMATICA
ok[p_] := Reduce[ Mod[x^8-2, p] == 0, x, Integers] =!= False; Select[ Prime[ Range[200] ], ok] (* Jean-François Alcover, Nov 28 2011 *)
PROG
(Magma) [p: p in PrimesUpTo(1100) | exists(t){x : x in ResidueClassRing(p) | x^8 eq 2}]; // Vincenzo Librandi, Sep 13 2012
(PARI) is(n)=isprime(n) && ispower(Mod(2, n), 8) \\ Charles R Greathouse IV, Feb 08 2017
CROSSREFS
KEYWORD
nonn,easy,nice
AUTHOR
STATUS
approved