A127317 -id:A127317 - cp's OEIS frontend

A073936 Numbers k such that 2^k + 1 is the product of two distinct primes.

5, 6, 7, 11, 12, 13, 17, 19, 20, 23, 28, 31, 32, 40, 43, 61, 64, 79, 92, 101, 104, 127, 128, 148, 167, 191, 199, 256, 313, 347, 356, 596, 692, 701, 1004, 1228, 1268, 1709, 2617, 3539, 3824, 5807, 10501, 10691, 11279, 12391, 14479, 42737, 83339, 95369, 117239

Offset: 1

Labos Elemer, Aug 13 2002

nonn

Original name: "2^n + 1 is squarefree and has exactly 2 prime factors."
From Giuseppe Coppoletta, May 08 2017: (Start)
As 3 divides 2^a(n) + 1 for any odd term a(n), all odd terms are prime and exactly the Wagstaff primes (A000978), at the exclusion of 3 (which gives 2^3 + 1 = 3^2 not squarefree).
For the even terms, let a(n) = d * 2^j with d odd integer and j > 0. If d > 1, as (2^2^j)^q  + 1 divides 2^a(n) + 1 for any odd prime q dividing d, then d must be prime.
So the even terms are all given by the following two class:
a) (d = 1) a(n) = 2^j such that Fj is a semiprime Fermat number. Up to now, only j = 5, 6, 7, 8 are known to give a Fermat semiprime, giving the even terms 32, 64, 128 and 256. We are also assured that 2^j is not a term for j = 9..19 because Fj is not a semiprime for those value of j (see Wagstaf's link). F20 is the first composite Fermat number which could give another even term (it would be 2^20 = 1048576). However, it seems highly unlikely that other Fermat semiprimes could exist.
b) (d = p odd prime) a(n) = p * 2^j with j such that Fj is a Fermat prime and p a prime verifying ((Fj - 1)^p + 1)/Fj is a prime.
Exemplifying that, we have:
for j = 1 this gives only the even term a(2) = 2 * 3 = 6  (see Jack Brennen's result in ref),
for j = 2 we have all the terms of type 2^2 * A057182.
for j = 3 the even terms are of type 2^3 * A127317.
For j = 4 at least up to 200000, there is only the term a(41) = 2^4 * 239 = 3824 (see comment in A127317).
All terms after a(50) refer to probabilistic primality tests for 2^a(n) + 1  (see Caldwell's link for the list of the largest certified Wagstaff primes).
After a(56), from the above, the primes 267017, 269987, 374321, 986191, 4031399 and the even value 4101572 are also terms, but still remains the (remote) possibility of some gaps in between. In addition, 13347311 and 13372531 are also terms, but possibly much further in the numbering (see comments in A000978).
(End)
Intersection of A092559 and A066263. - Eric Chen, Jun 13 2018

			11 is a member because 1 + 2^11 = 2049 = 3 * 683.
9 is not a term because 1 + 2^9 = 513 = 3^3 * 19

Giuseppe Coppoletta, Table of n, a(n) for n = 1..56
AMS Books Online, Factorizations of b^n = +-1, b=2,3,5,6,7,10,11,12 Up to High Powers, Third Edition.
Arjen Bot, Factors for 2^n-1 and 2^n+1 for 1200 < n < 10000.
Jack Brennen, Primes of the form (4^p+1)/5^t, Seqfan (Mar 15 2017).
C. Caldwell's The Top Twenty Wagstaff primes.
Mersennewiki, Factorizations Of Cunningham Numbers C+(2,n) (tables).
Samuel S. Wagstaff, The Cunningham Project.

Cf. A000005, A000051, A046798, A092559, A000978. Different from A066263.

Do[ If[ Length[ Divisors[1 + 2^n]] == 4, Print[n]], {n, 1, 200}]
(* Second program: *)
Select[Range@ 200, DivisorSigma[0, 2^# + 1] == 4 &] (* Michael De Vlieger, May 09 2017 *)

[n for n in xsrange(3,200) if sigma(2^n+1,0)==4]
# Second program (faster):

v=[]; N=2000
for n in xsrange(4,N):
    j=valuation(n,2)
    if j<5:
        Fj=2^2^j+1; p=ZZ(n/2^j); q=ZZ((2^n+1)/Fj)
        if p.is_prime() and q.is_prime(proof=false): v.append(n)
    elif j<9 and n.is_power_of(2): v.append(n)
print(v) # Giuseppe Coppoletta, May 11 2017

Solutions to A000005[A000051(x)]=4 or A046798[x]=4

Edited by Robert G. Wilson v, Aug 19 2002
a(28)-a(51) by Giuseppe Coppoletta, May 02 2017
Name reworded by Jon E. Schoenfield, Jun 15 2018

A066263 Numbers k such that 2^k + 1 has just two distinct prime factors.

Original entry on oeis.org

5, 6, 7, 9, 10, 11, 12, 13, 17, 19, 20, 23, 28, 31, 32, 40, 43, 61, 64, 79, 92, 101, 104, 127, 128, 148, 167, 191, 199, 256, 313, 347, 356, 596, 692, 701, 1004, 1228, 1268, 1709, 2617, 3539, 3824, 5807, 10501, 10691, 11279, 12391, 14479, 42737, 83339, 95369

Offset: 1

Benoit Cloitre, Dec 31 2001

nonn

From Giuseppe Coppoletta, May 16 2017: (Start)
All terms after a(52) refer to probabilistic primality tests for 2^a(n) + 1 (see Caldwell's link for the list of the largest certified Wagstaff primes). After a(58), 267017, 269987, 374321, 986191, 4031399 and 4101572 are also terms, but there still remains the remote possibility of some gaps in between. In addition, 13347311 and 13372531 are also terms, but possibly much farther in the numbering (see comments in A000978).
For the relation with Fermat numbers and for the primality of odd terms, see comments in A073936. The terms 9 and 10 give a value of 2^n + 1 which is not squarefree, so they are not in A073936. For the rest, the actually known terms of the two sequences coincide. In order to verify if any other term could be found hereafter that is not in A073936, all we have to do is to examine the terms for which 2^n + 1 is not squarefree. Considering that 3 divides 2^a(n) + 1 for any odd term a(n) and using Zsigmondy's and Mihăilescu-Catalan's theorems (see links), one can verify that any nonsquarefree term greater than 9 has to be of the form a(n) = 2^j * Fj, where Fj is the Fermat prime 2^2^j + 1. So basically we have to see if ((Fj-1)^Fj + 1)/(Fj)^2 is a prime or the power of a prime for any Fermat prime Fj. The case j = 1 gives the term a(n) = 10 because (4^5 + 1)/5^2 = 41 is a prime, while for j = 2, (16^17 + 1)/17^2 = 354689 * 2879347902817 is composite. Similarly (256^257 + 1)/257^2 is neither a prime nor the power of a prime, so there is no contribution from the cases j = 2, 3 (see also comments in A127317).
For j = 4 and for any possible other Fermat prime which could be found later, the question is still open, in the sense that it is not actually known if n = 16 * F4 = 1048592 is a term or not. That seems very unlikely, but in order to decide that question for j = 4, one would have to check if (2^1048592 + 1)/65537^2 is a prime or the power of a prime. As this number has 315649 digits, I wonder if it is possible to handle it with the existing primality tests.
(End)

			3 and 4 are not terms because 2^3 + 1 and 2^4 + 1 have only a single prime factor (counted without multiplicity).
6 and 10 are terms because 2^6 + 1 = 5 * 13 and 2^10 + 1 = 5^2 * 41 have two distinct prime factors.

Giuseppe Coppoletta, Table of n, a(n) for n = 1..63
Jack Brennen, Primes of the form (4^p+1)/5^t, Seqfan (Mar 15 2017).
C. Caldwell's The Top Twenty Wagstaff primes.
Mersennewiki, Factorizations Of Cunningham Numbers C+(2,n) (tables).
Samuel S. Wagstaff, The Cunningham Project.
Eric Weisstein's World of Mathematics, Catalan's Conjecture.
Eric Weisstein's World of Mathematics, Zsigmondy Theorem.

Cf. A073936, A107036, A000978, A057182, A127317, A283657, A283364, A092559, A046799.

f[n_] := First[ Transpose[ FactorInteger[2^n + 1]]]; Select[ Range[100], Length[f[ # ]] == 2 & ]
Select[Range[1300],PrimeNu[2^#+1]==2&] (* Harvey P. Dale, Nov 28 2014 *)

isok(k) = #factor(2^k+1)~ == 2; \\ Michel Marcus, Nov 14 2017

A001221(2^a(n) + 1) = 2.

Edited by Robert G. Wilson v, Jan 03 2002

a(40)-a(52) by Giuseppe Coppoletta, May 02 2017

A283657 Numbers m such that 2^m + 1 has at most 2 distinct prime factors.

Original entry on oeis.org

0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 17, 19, 20, 23, 28, 31, 32, 40, 43, 61, 64, 79, 92, 101, 104, 127, 128, 148, 167, 191, 199, 256, 313, 347, 356, 596, 692, 701, 1004, 1228, 1268, 1709, 2617, 3539, 3824, 5807, 10501, 10691, 11279, 12391, 14479

Offset: 1

Vladimir Shevelev, Mar 13 2017

nonn

Using comment in A283364, note that if a(n) is odd > 9, then it is prime.
503 <= a(41) <= 596. - Robert Israel, Mar 13 2017
Could (4^p + 1)/5^t be prime, where p is prime, 5^t is the highest power of 5 dividing 4^p + 1, other than for p=2, 3 and 5? - Vladimir Shevelev, Mar 14 2017
In his message to seqfans from Mar 15 2017, Jack Brennen beautifully proved that there are no more primes of such form. From his proof one can see also that there are no terms of the form 2*p > 10 in the sequence. - Vladimir Shevelev, Mar 15 2017
Where A046799(n)=2. - Robert G. Wilson v, Mar 15 2017
From Giuseppe Coppoletta, May 16 2017: (Start)
The only terms that are not in A066263 are those m giving 2^m + 1 = prime (i.e. m = 0 and any number m such that 2^m + 1 is a Fermat prime) and the values of m giving 2^m + 1 = power of a prime, giving m = 3 as the only possible case (by Mihăilescu-Catalan's result, see links).
For the relation with Fermat numbers and for other possible terms to check, see comments in A073936 and A066263.
All terms after a(59) refer to probabilistic primality tests for 2^a(n) + 1  (see Caldwell's link for the list of the largest certified Wagstaff primes).
After a(65), the values 267017, 269987, 374321, 986191, 4031399 and 4101572 are also terms, but there still remains the remote possibility of some gaps in between. In addition, 13347311 and 13372531 are also terms, but possibly much further along in the numbering (see comments in A000978).
(End).

			0 is a term as 2^0 + 1 = 2 is a prime.
10 is a term as 2^10 + 1 = 5^2 * 41.
14 is not a term as 2^14 + 1 = 5 * 29 * 113.

Giuseppe Coppoletta, Table of n, a(n) for n = 1..65
Jack Brennen, Primes of the form (4^p+1)/5^t, Seqfan (Mar 15 2017).
C. Caldwell's The Top Twenty Wagstaff primes.
Mersennewiki, Factorizations Of Cunningham Numbers C+(2,n) (tables).
Samuel S. Wagstaff, The Cunningham Project.
Eric Weisstein's World of Mathematics, Catalan's Conjecture.
Eric Weisstein's World of Mathematics, Zsigmondy Theorem.

Cf. A002587, A046799, A283364, A073936, A000978, A127317, A092559, A019434, A066263.

Contains 4*A057182.

# this uses A002587[i] for i<=500, e.g., from the b-file for that sequence
count:= 0:
for i from 0 to 500 do
  m:= 0;
  r:= (2^i+1);
  if i::odd then
    m:= 1;
    r:= r/3^padic:-ordp(r,3);
  elif i > 2 then
    q:= max(numtheory:-factorset(i));
    if q > 2 then
      m:= 1;
      r:= r/B[i/q]^padic:-ordp(r,A002587[i/q]);
    fi
  fi;
  if r mod B[i] = 0 then m:= m+1;
      j:= padic:-ordp(r, A002587[i]);
      r:= r/B[i]^j;
  fi;
  mmax:= m;
  if isprime(r) then m:= m+1; mmax:= m
  elif r > 1 then mmax:= m+2
  fi;
  if mmax <= 2 or (m <= 1 and m + nops(numtheory:-factorset(r)) <= 2) then
       count:= count+1;
     A[count]:= i;
  fi
od:
seq(A[i],i=1..count); # Robert Israel, Mar 13 2017

Select[Range[0, 313], PrimeNu[2^# + 1]<3 &] (* Indranil Ghosh, Mar 13 2017 *)

for(n=0, 313, if(omega(2^n + 1)<3, print1(n,", "))) \\ Indranil Ghosh, Mar 13 2017

a(16)-a(38) from Peter J. C. Moses, Mar 13 2017
a(39)-a(40) from Robert Israel, Mar 13 2017
a(41)-a(65) from Giuseppe Coppoletta, May 08 2017

cp's OEIS Frontend

A073936 Numbers k such that 2^k + 1 is the product of two distinct primes.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Sage

Sage

Formula

Extensions

A066263 Numbers k such that 2^k + 1 has just two distinct prime factors.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A283657 Numbers m such that 2^m + 1 has at most 2 distinct prime factors.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Extensions

A195439 Numbers n such that 16^n + 1 is a semiprime.

Views

Author

Keywords

Crossrefs

Programs

Mathematica