cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-4 of 4 results.

A204620 Numbers k such that 3*2^k + 1 is a prime factor of a Fermat number 2^(2^m) + 1 for some m.

Original entry on oeis.org

41, 209, 157169, 213321, 303093, 382449, 2145353, 2478785
Offset: 1

Views

Author

Arkadiusz Wesolowski, Jan 17 2012

Keywords

Comments

Terms are odd: by Morehead's theorem, 3*2^(2*n) + 1 can never divide a Fermat number.
No other terms below 7516000.
Is this sequence the same as "Numbers k such that 3*2^k + 1 is a factor of a Fermat number 2^(2^m) + 1 for some m"? - Arkadiusz Wesolowski, Nov 13 2018
The last sentence of Morehead's paper is: "It is easy to show that composite numbers of the forms 2^kappa * 3 + 1, 2^kappa * 5 + 1 can not be factors of Fermat's numbers." [a proof is needed]. - Jeppe Stig Nielsen, Jul 23 2019
Any factor of a Fermat number 2^(2^m) + 1 of the form 3*2^k + 1 is prime if k < 2*m + 6. - Arkadiusz Wesolowski, Jun 12 2021
If, for any m >= 0, F(m) = 2^(2^m) + 1 has a prime factor p of the form 3*2^k + 1, then F(m)/p is congruent to 11 mod 30. - Arkadiusz Wesolowski, Jun 13 2021
A number k belongs to this sequence if and only if the order of 2 modulo p is not divisible by 3, where p is a prime of the form 3*2^k + 1 (see Golomb paper). - Arkadiusz Wesolowski, Jun 14 2021

Crossrefs

Programs

  • Mathematica
    lst = {}; Do[p = 3*2^n + 1; If[PrimeQ[p] && IntegerQ@Log[2, MultiplicativeOrder[2, p]], AppendTo[lst, n]], {n, 7, 209, 2}]; lst
  • PARI
    isok(n) = my(p = 3*2^n + 1, z = znorder(Mod(2, p))); isprime(p) && ((z >> valuation(z, 2)) == 1); \\ Michel Marcus, Nov 10 2018

A226366 Numbers k such that 5*2^k + 1 is a prime factor of a Fermat number 2^(2^m) + 1 for some m.

Original entry on oeis.org

7, 25, 39, 75, 127, 1947, 3313, 23473, 125413
Offset: 1

Views

Author

Arkadiusz Wesolowski, Jun 05 2013

Keywords

Comments

No other terms below 5330000.
The reason all terms are odd is that if k is even, then 5*2^k + 1 == (-1)*(-1)^k + 1 = (-1)*1 + 1 = 0 (mod 3). So if k is even, then 3 divides 5*2^k + 1, and since 3 divides no other Fermat number than F_0=3 itself, we do not have a Fermat factor. - Jeppe Stig Nielsen, Jul 21 2019

Crossrefs

Programs

  • Mathematica
    lst = {}; Do[p = 5*2^n + 1; If[PrimeQ[p] && IntegerQ@Log[2, MultiplicativeOrder[2, p]], AppendTo[lst, n]], {n, 7, 3313, 2}]; lst
  • PARI
    isok(n) = my(p = 5*2^n + 1, z = znorder(Mod(2, p))); isprime(p) && ((z >> valuation(z, 2)) == 1); \\ Michel Marcus, Nov 10 2018

A280003 Numbers k such that 7*2^k + 1 is a prime factor of a Fermat number 2^(2^m) + 1 for some m.

Original entry on oeis.org

14, 120, 290, 320, 95330, 2167800
Offset: 1

Views

Author

Arkadiusz Wesolowski, Feb 21 2017

Keywords

Comments

18233956 belongs to this sequence, but its position is currently unknown. - Jeppe Stig Nielsen, Oct 05 2020

Crossrefs

Programs

  • Magma
    IsInteger := func; [n: n in [1..320] | IsPrime(k) and IsInteger(Log(2, Modorder(2, k))) where k is 7*2^n+1];

A280004 Numbers k such that 9*2^k + 1 is a prime factor of a Fermat number 2^(2^m) + 1 for some m.

Original entry on oeis.org

67, 9431, 461081, 2543551
Offset: 1

Views

Author

Arkadiusz Wesolowski, Feb 21 2017

Keywords

Comments

Fernando (Remark 5.2) shows that all terms are odd. - Jeppe Stig Nielsen, Jan 02 2025

Crossrefs

Showing 1-4 of 4 results.