login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A127317 Numbers n such that (256^n + 1)/257 is prime. 4
5, 13, 23029 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,1

COMMENTS

All terms are primes. Largest currently known prime of the form (2^n + 1)/257 is (256^23029 + 1)/257 found by Donovan Johnson 03/2005. The only currently known prime of the form (2^n + 1)/65537 is (65536^239 + 1)/65537.

From Giuseppe Coppoletta, May 18 2017: (Start)

In general, for any j > 1, if (2^(n*2^j) + 1)/Fj is a prime (where Fj = 2^2^j + 1 is the corresponding Fermat number), then n needs to be prime, as for any odd proper factor q of n, 2^(q*2^j) + 1 is another factor of the numerator. The same for j = 0, apart for the particular value n = 3^2.

For the case j = 4, I checked it again, and (65536^p + 1)/65537 indeed is not a prime at least for 239 < p < 12500, i.e. (2^n + 1)/65537 is not a prime at least up to n = 200000. Any higher upper bound available?

One can also remark that 65536 = 2^16 and 239 = 2^8 - 2^4 - 1. Is there any special reason (see Brennen's link) for that?

I checked also that (2^(p*2^j) + 1)/Fj is never a proper power (in particular it is not a prime power) for j = 0..4 and for any prime p, at least for any exponent p*2^j < 200000.

We can even conjecture that ((Fj-1)^p + 1)/Fj is always squarefree for any odd prime p and for any Fermat number Fj with j >= 0. Note that this is not true if p is not restricted to be a prime, even if p and Fj are coprime, as shown by the following counterexample relative to the case j = 1, f1 = 5: 4^91 + 1 == 0 mod 1093^2. Remark that any such counterexample has to be a Wieferich prime (A001220), but not every Wieferich prime gives a counterexample, as shown by the second known Wieferich prime (3511), which cannot match here because it belongs to A072936.

(End)

LINKS

Table of n, a(n) for n=1..3.

Jack Brennen, Primes of the form (4^p+1)/5^t, Seqfan (Mar 15 2017).

H. Dubner and T. Granlund, Primes of the Form (b^n+1)/(b+1), J. Integer Sequences, 3 (2000), #P00.2.7.

H. Lifchitz, Mersenne and Fermat primes field.

MATHEMATICA

Do[n=8*Prime[k]; f=2^n+1; If[PrimeQ[f/257], Print[{n, n/8}]], {k, 1, 2570}]

CROSSREFS

Cf. A000978 = numbers n such that (2^n + 1)/3 is prime. Cf. A057182 = numbers n such that (16^n + 1)/17 is a prime.

Cf. A092559, A073936.

Sequence in context: A012173 A009143 A240765 * A049506 A069524 A262612

Adjacent sequences:  A127314 A127315 A127316 * A127318 A127319 A127320

KEYWORD

bref,hard,more,nonn

AUTHOR

Alexander Adamchuk, Mar 29 2007

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified May 24 04:22 EDT 2022. Contains 354005 sequences. (Running on oeis4.)