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.

User: Helmut Richter

Helmut Richter's wiki page.

Helmut Richter has authored 2 sequences.

A092131 Distance from 2^n to the next prime.

Original entry on oeis.org

0, 1, 3, 1, 5, 3, 3, 1, 9, 7, 5, 3, 17, 27, 3, 1, 29, 3, 21, 7, 17, 15, 9, 43, 35, 15, 29, 3, 11, 3, 11, 15, 17, 25, 53, 31, 9, 7, 23, 15, 27, 15, 29, 7, 59, 15, 5, 21, 69, 55, 21, 21, 5, 159, 3, 81, 9, 69, 131, 33, 15, 135, 29, 13, 131, 9, 3, 33, 29, 25, 11, 15, 29, 37, 33, 15, 11, 7, 23
Offset: 1

Author

Helmut Richter (richter(AT)lrz.de), Mar 30 2004

Keywords

Comments

Essentially the same as A013597. - T. D. Noe, Jul 17 2007
From Jianing Song, May 28 2024: (Start)
Not every odd number is present, as no term can be equal to a Sierpiński number (for example 78557); cf. A076336. See also A067760.
Conjecture: Every odd number which is not a Sierpiński number is a term. In other words, for every odd k which is not a Sierpiński number, there exists some n >= 1 such that 2^n + 1, 2^n + 3, ..., 2^n + (k-2) are all composite while 2^n + k is prime. (End)

Examples

			a(13)=17 because 2^13=8192 and the next prime is 8209=8192+17.
		

Crossrefs

Cf. A013597.
Equivalent sequence for previous prime: A013603.

Programs

  • Mathematica
    Join[{0},NextPrime[#]-#&/@(2^Range[2,80])] (* Harvey P. Dale, Jun 06 2012 *)
  • PARI
    for(i=1,100,x=2^i;print1(nextprime(x)-x,","))

Formula

a(n) = nextprime(2^n) - 2^n.
a(n) = A007920(A000079(n)). - Michel Marcus, Oct 19 2022

A045616 Primes p such that 10^(p-1) == 1 (mod p^2).

Original entry on oeis.org

3, 487, 56598313
Offset: 1

Author

Helmut Richter, Dec 11 1999

Comments

Primes p such that the decimal fraction 1/p has same period length as 1/p^2, i.e., the multiplicative order of 10 modulo p is the same as the multiplicative order of 10 modulo p^2. [extended by Felix Fröhlich, Feb 05 2017]
No further terms below 1.172*10^14 (as of Feb 2020, cf. Fischer's table).
56598313 was announced in the paper by Brillhart et al. - Helmut Richter, May 17 2004
A265012(A049084(a(n))) = 1. - Reinhard Zumkeller, Nov 30 2015
From Jianing Song, Jun 21 2025: (Start)
The ring of integers of Q(10^(1/k)) is Z[10^(1/k)] if and only if k does not have a prime factor in this sequence. See Theorem 5.3 of the paper of Keith Conrad. For example, we have:
(1 + 10^(1/3) + 10^(2/3))/3 is an algebraic integer, but it is not in Z[10^(1/3)];
(1 + 10^(486/487) + 10^(2*486/487) + ... + 10^(486*486/487))/487 is an algebraic integer, but it is not in Z[10^(1/487)];
(1 + 10^(56598312/56598313) + 10^(2*56598312/56598313) + ... + 10^(56598312*56598312/56598313))/56598313 is an algebraic integer, but it is not in Z[10^(1/56598313)]. (End)

References

  • J. Brillhart, J. Tonascia, and P. Weinberger, On the Fermat quotient, pp. 213-222 of A. O. L. Atkin and B. J. Birch, editors, Computers in Number Theory. Academic Press, NY, 1971.
  • Richard K. Guy, Unsolved Problems in Number Theory, Springer, 2004, A3.

Programs

  • Haskell
    import Math.NumberTheory.Moduli (powerMod)
    a045616 n = a045616_list !! (n-1)
    a045616_list = filter
                   (\p -> powerMod 10 (p - 1) (p ^ 2) == 1) a000040_list'
    -- Reinhard Zumkeller, Nov 30 2015
  • Mathematica
    A045616Q = PrimeQ@# && PowerMod[10, # - 1, #^2] == 1 &; Select[Range[1000000], A045616Q] (* JungHwan Min, Feb 04 2017 *)
    Select[Prime[Range[34*10^5]],PowerMod[10,#-1,#^2]==1&] (* Harvey P. Dale, Apr 10 2018 *)
  • PARI
    lista(nn) = forprime(p=2, nn, if (Mod(10, p^2)^(p-1)==1, print1(p, ", "))); \\ Michel Marcus, Aug 16 2015