[go: up one dir, main page]

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!)
Search: a057958 -id:a057958
Displaying 1-10 of 21 results found. page 1 2 3
     Sort: relevance | references | number | modified | created      Format: long | short | data
A000043 Mersenne exponents: primes p such that 2^p - 1 is prime. Then 2^p - 1 is called a Mersenne prime.
(Formerly M0672 N0248)
+10
675
2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,1
COMMENTS
Equivalently, integers k such that 2^k - 1 is prime.
It is believed (but unproved) that this sequence is infinite. The data suggest that the number of terms up to exponent N is roughly K log N for some constant K.
Length of prime repunits in base 2.
The associated perfect number N=2^(p-1)*M(p) (=A019279*A000668=A000396), has 2p (=A061645) divisors with harmonic mean p (and geometric mean sqrt(N)). - Lekraj Beedassy, Aug 21 2004
In one of his first publications Euler found the numbers up to 31 but erroneously included 41 and 47.
Equals number of bits in binary expansion of n-th Mersenne prime (A117293). - Artur Jasinski, Feb 09 2007
Number of divisors of n-th even perfect number, divided by 2. Number of divisors of n-th even perfect number that are powers of 2. Number of divisors of n-th even perfect number that are multiples of n-th Mersenne prime A000668(n). - Omar E. Pol, Feb 24 2008
Number of divisors of n-th even superperfect number A061652(n). Numbers of divisors of n-th superperfect number A019279(n), assuming there are no odd superperfect numbers. - Omar E. Pol, Mar 01 2008
Differences between exponents when the even perfect numbers are represented as differences of powers of 2, for example: The 5th even perfect number is 33550336 = 2^25 - 2^12 then a(5)=25-12=13 (see A135655, A133033, A090748). - Omar E. Pol, Mar 01 2008
Number of 1's in binary expansion of n-th even perfect number (see A135650). Number of 1's in binary expansion of divisors of n-th even perfect number that are multiples of n-th Mersenne prime A000668(n) (see A135652, A135653, A135654, A135655). - Omar E. Pol, May 04 2008
Indices of the numbers A006516 that are also even perfect numbers. - Omar E. Pol, Aug 30 2008
Indices of Mersenne numbers A000225 that are also Mersenne primes A000668. - Omar E. Pol, Aug 31 2008
The (prime) number p appears in this sequence if and only if there is no prime q<2^p-1 such that the order of 2 modulo q equals p; a special case is that if p=4k+3 is prime and also q=2p+1 is prime then the order of 2 modulo q is p so p is not a term of this sequence. - Joerg Arndt, Jan 16 2011
Primes p such that sigma(2^p) - sigma(2^p-1) = 2^p-1. - Jaroslav Krizek, Aug 02 2013
Integers k such that every degree k irreducible polynomial over GF(2) is also primitive, i.e., has order 2^k-1. Equivalently, the integers k such that A001037(k) = A011260(k). - Geoffrey Critzer, Dec 08 2019
Conjecture: for k > 1, 2^k-1 is (a Mersenne) prime or k = 2^(2^m)+1 (is a Fermat number) if and only if (k-1)^(2^k-2) == 1 (mod (2^k-1)k^2). - Thomas Ordowski, Oct 05 2023
REFERENCES
T. M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1976, page 4.
J. Brillhart et al., Factorizations of b^n +- 1. Contemporary Mathematics, Vol. 22, Amer. Math. Soc., Providence, RI, 2nd edition, 1985; and later supplements.
F. Lemmermeyer, Reciprocity Laws From Euler to Eisenstein, Springer-Verlag, 2000, p. 57.
Clifford A. Pickover, A Passion for Mathematics, Wiley, 2005; see p. 19.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
B. Tuckerman, The 24th Mersenne prime, Notices Amer. Math. Soc., 18 (Jun, 1971), Abstract 684-A15, p. 608.
LINKS
David Wasserman, Table of n, a(n) for n = 1..48 [Updated by N. J. A. Sloane, Feb 06 2013, Alois P. Heinz, May 01 2014, Jan 11 2015, Dec 11 2016, Ivan Panchenko, Apr 07 2018, Apr 09 2018, Benjamin Przybocki, Jan 05 2022]
P. T. Bateman, J. L. Selfridge, and S. S. Wagstaff, Jr., The new Mersenne conjecture, Amer. Math. Monthly 96 (1989), no. 2, 125--128. MR0992073 (90c:11009).
Andrew R. Booker, The Nth Prime Page
J. Brillhart et al., Factorizations of b^n +- 1, Contemporary Mathematics, Vol. 22, Amer. Math. Soc., Providence, RI, 3rd edition, 2002.
C. K. Caldwell, Mersenne Primes
C. K. Caldwell, Recent Mersenne primes
Zuling Chang, Martianus Frederic Ezerman, Adamas Aqsa, Fahreza, San Ling, Janusz Szmidt, and Huaxiong Wang, Binary de Bruijn Sequences via Zech's Logarithms, 2018.
Keith Conrad, Square patterns and infinitude of primes, University of Connecticut, 2019.
H. Dubner, Generalized repunit primes, Math. Comp., 61 (1993), 927-930. [Annotated scanned copy]
Leonhard Euler, Observations on a theorem of Fermat and others on looking at prime numbers, arXiv:math/0501118 [math.HO], 2005-2008.
G. Everest et al., Primes generated by recurrence sequences, arXiv:math/0412079 [math.NT], 2006.
G. Everest et al., Primes generated by recurrence sequences, Amer. Math. Monthly, 114 (No. 5, 2007), 417-431.
F. Firoozbakht and M. F. Hasler, Variations on Euclid's formula for Perfect Numbers, JIS 13 (2010) #10.3.1.
Luis H. Gallardo and Olivier Rahavandrainy, On (unitary) perfect polynomials over F_2 with only Mersenne primes as odd divisors, arXiv:1908.00106 [math.NT], 2019.
Donald B. Gillies, Three new Mersenne primes and a statistical theory Mathematics of Computation 18.85 (1964): 93-97.
GIMPS (Great Internet Mersenne Prime Search), Distributed Computing Projects
R. K. Guy, The strong law of small numbers. Amer. Math. Monthly 95 (1988), no. 8, 697-712. [Annotated scanned copy]
A. J. Menezes, P. C. van Oorschot and S. A. Vanstone, Handbook of Applied Cryptography, CRC Press, 1996; see p. 143.
Romeo Meštrović, Goldbach-type conjectures arising from some arithmetic progressions, University of Montenegro, 2018.
Albert A. Mullin, Letter to the editor, about "The new Mersenne conjecture" [Amer. Math. Monthly 96 (1989), no. 2, 125-128; MR0992073 (90c:11009)] by P. T. Bateman, J. L. Selfridge and S. S. Wagstaff, Jr., Amer. Math. Monthly 96 (1989), no. 6, 511. MR0999415 (90f:11008).
Curt Noll and Laura Nickel, The 25th and 26th Mersenne primes, Math. Comp. 35 (1980), 1387-1390.
Ed Pegg, Jr., Sequence Pictures, Math Games column, Dec 08 2003.
Ed Pegg, Jr., Sequence Pictures, Math Games column, Dec 08 2003 [Cached copy, with permission (pdf only)]
N. J. A. Sloane, "A Handbook of Integer Sequences" Fifty Years Later, arXiv:2301.03149 [math.NT], 2023, p. 5.
H. J. Smith, Mersenne Primes
B. Tuckerman, The 24th Mersenne prime, Proc. Nat. Acad. Sci. USA, 68 (1971), 2319-2320.
H. S. Uhler, On All Of Mersenne's Numbers Particularly M_193, PNAS 1948 34 (3) 102-103.
H. S. Uhler, First Proof That The Mersenne Number M_157 Is Composite, PNAS 1944 30(10) 314-316.
S. S. Wagstaff, Jr., The Cunningham Project
Eric Weisstein's World of Mathematics, Cunningham Number
Eric Weisstein's World of Mathematics, Integer Sequence Primes
Eric Weisstein's World of Mathematics, Mersenne Prime
Eric Weisstein's World of Mathematics, Repunit
Eric Weisstein's World of Mathematics, Wagstaff's Conjecture
David Whitehouse, Number takes prime position (2^13466917 - 1 found after 13000 years of computer time)
K. Zsigmondy, Zur Theorie der Potenzreste, Monatshefte für Mathematik und Physik, Vol. 3, No. 1 (1892), 265-284.
FORMULA
a(n) = log((1/2)*(1+sqrt(1+8*A000396(n))))/log(2). - Artur Jasinski, Sep 23 2008 (under the assumption there are no odd perfect numbers, Joerg Arndt, Feb 23 2014)
a(n) = A000005(A061652(n)). - Omar E. Pol, Aug 26 2009
a(n) = A000120(A000396(n)), assuming there are no odd perfect numbers. - Omar E. Pol, Oct 30 2013
a(n) = 1 + Sum_{m=1..L(n)}(abs(n-S(m))-abs(n-S(m)-1/2)+1/2), where S(m) = Sum_{k=1..m}(A010051(k)*A010051(2^k-1)) and L(n) >= a(n)-1. L(n) can be any function of n which satisfies the inequality. - Timothy Hopper, Jun 11 2015
a(n) = A260073(A000396(n)) + 1, again assuming there are no odd perfect numbers. Also, a(n) = A050475(n) - 1. - Juri-Stepan Gerasimov, Aug 29 2015
EXAMPLE
Corresponding to the initial terms 2, 3, 5, 7, 13, 17, 19, 31 ... we get the Mersenne primes 2^2 - 1 = 3, 2^3 - 1 = 7, 2^5 - 1 = 31, 127, 8191, 131071, 524287, 2147483647, ... (see A000668).
MATHEMATICA
MersennePrimeExponent[Range[47]] (* Eric W. Weisstein, Jul 17 2017 *)
PROG
(PARI) isA000043(n) = isprime(2^n-1) \\ Michael B. Porter, Oct 28 2009
(PARI) is(n)=my(h=Mod(2, 2^n-1)); for(i=1, n-2, h=2*h^2-1); h==0||n==2 \\ Lucas-Lehmer test for exponent e. - Joerg Arndt, Jan 16 2011, and Charles R Greathouse IV, Jun 05 2013
forprime(e=2, 5000, if(is(e), print1(e, ", "))); /* terms < 5000 */
(Python)
from sympy import isprime, prime
for n in range(1, 100):
if isprime(2**prime(n)-1):
print(prime(n), end=', ') # Stefano Spezia, Dec 06 2018
CROSSREFS
Cf. A000668 (Mersenne primes).
Cf. A028335 (integer lengths of Mersenne primes).
Cf. A000225 (Mersenne numbers).
Cf. A001348 (Mersenne numbers with n prime).
KEYWORD
hard,nonn,nice,core
AUTHOR
EXTENSIONS
Also in the sequence: p = 74207281. - Charles R Greathouse IV, Jan 19 2016
Also in the sequence: p = 77232917. - Eric W. Weisstein, Jan 03 2018
Also in the sequence: p = 82589933. - Gord Palameta, Dec 21 2018
a(46) = 42643801 and a(47) = 43112609, whose ordinal positions in the sequence are now confirmed, communicated by Eric W. Weisstein, Apr 12 2018
a(48) = 57885161, whose ordinal position in the sequence is now confirmed, communicated by Benjamin Przybocki, Jan 05 2022
STATUS
approved
A000668 Mersenne primes (primes of the form 2^n - 1).
(Formerly M2696 N1080)
+10
613
3, 7, 31, 127, 8191, 131071, 524287, 2147483647, 2305843009213693951, 618970019642690137449562111, 162259276829213363391578010288127, 170141183460469231731687303715884105727 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,1
COMMENTS
For a Mersenne number 2^n - 1 to be prime, the exponent n must itself be prime.
See A000043 for the values of n.
Primes that are repunits in base 2.
Define f(k) = 2k+1; begin with k = 2, a(n+1) = least prime of the form f(f(f(...(a(n)))). - Amarnath Murthy, Dec 26 2003
Mersenne primes other than the first are of the form 6n+1. - Lekraj Beedassy, Aug 27 2004. Mersenne primes other than the first are of the form 24n+7; see also A124477. - Artur Jasinski, Nov 25 2007
A034876(a(n)) = 0 and A034876(a(n)+1) = 1. - Jonathan Sondow, Dec 19 2004
Mersenne primes are solutions to sigma(n+1)-sigma(n) = n as perfect numbers (A000396(n)) are solutions to sigma(n) = 2n. In fact, appears to give all n such that sigma(n+1)-sigma(n) = n. - Benoit Cloitre, Aug 27 2002
If n is in the sequence then sigma(sigma(n)) = 2n+1. Is it true that this sequence gives all numbers n such that sigma(sigma(n)) = 2n+1? - Farideh Firoozbakht, Aug 19 2005
It is easily proved that if n is a Mersenne prime then sigma(sigma(n)) - sigma(n) = n. Is it true that Mersenne primes are all the solutions of the equation sigma(sigma(x)) - sigma(x) = x? - Farideh Firoozbakht, Feb 12 2008
Sum of divisors of n-th even superperfect number A061652(n). Sum of divisors of n-th superperfect number A019279(n), if there are no odd superperfect numbers. - Omar E. Pol, Mar 11 2008
Indices of both triangular numbers and generalized hexagonal numbers (A000217) that are also even perfect numbers. - Omar E. Pol, May 10 2008, Sep 22 2013
Number of positive integers (1, 2, 3, ...) whose sum is the n-th perfect number A000396(n). - Omar E. Pol, May 10 2008
Vertex number where the n-th perfect number A000396(n) is located in the square spiral whose vertices are the positive triangular numbers A000217. - Omar E. Pol, May 10 2008
Mersenne numbers A000225 whose indices are the prime numbers A000043. - Omar E. Pol, Aug 31 2008
The digital roots are 1 if p == 1 (mod 6) and 4 if p == 5 (mod 6). [T. Koshy, Math Gaz. 89 (2005) p. 465]
Primes p such that for all primes q < p, p XOR q = p - q. - Brad Clardy, Oct 26 2011
All these primes, except 3, are Brazilian primes, so they are also in A085104 and A023195. - Bernard Schott, Dec 26 2012
All prime numbers p can be classified by k = (p mod 12) into four classes: k=1, 5, 7, 11. The Mersennne prime numbers 2^p-1, p > 2 are in the class k=7 with p=12*(n-1)+7, n=1,2,.... As all 2^p (p odd) are in class k=8 it follows that all 2^p-1, p > 2 are in class k=7. - Freimut Marschner, Jul 27 2013
From "The Guinness Book of Primes": "During the reign of Queen Elizabeth I, the largest known prime number was the number of grains of rice on the chessboard up to and including the nineteenth square: 524,287 [= 2^19 - 1]. By the time Lord Nelson was fighting the Battle of Trafalgar, the record for the largest prime had gone up to the thirty-first square of the chessboard: 2,147,483,647 [= 2^31 - 1]. This ten-digits number was proved to be prime in 1772 by the Swiss mathematician Leonard Euler, and it held the record until 1867." [du Sautoy] - Robert G. Wilson v, Nov 26 2013
If n is in the sequence then A024816(n) = antisigma(n) = antisigma(n+1) - 1. Is it true that this sequence gives all numbers n such that antisigma(n) = antisigma(n+1) - 1? Are there composite numbers with this property? - Jaroslav Krizek, Jan 24 2014
If n is in the sequence then phi(n) + sigma(sigma(n)) = 3n. Is it true that Mersenne primes are all the solutions of the equation phi(x) + sigma(sigma(x)) = 3x? - Farideh Firoozbakht, Sep 03 2014
a(5) = A229381(2) = 8191 is the "Simpsons' Mersenne prime". - Jonathan Sondow, Jan 02 2015
Equivalently, prime powers of the form 2^n - 1, see Theorem 2 in Lemos & Cambraia Junior. - Charles R Greathouse IV, Jul 07 2016
Primes whose sum of divisors is a power of 2. Primes p such that p + 1 is a power of 2. Primes in A046528. - Omar E. Pol, Jul 09 2016
From Jaroslav Krizek, Jan 19 2017: (Start)
Primes p such that sigma(p+1) = 2p+1.
Primes p such that A051027(p) = sigma(sigma(p)) = 2^k-1 for some k > 1.
Primes p of the form sigma(2^prime(n)-1)-1 for some n. Corresponding values of numbers n are in A016027.
Primes p of the form sigma(2^(n-1)) for some n > 1. Corresponding values of numbers n are in A000043 (Mersenne exponents).
Primes of the form sigma(2^(n+1)) for some n > 1. Corresponding values of numbers n are in A153798 (Mersenne exponents-2).
Primes p of the form sigma(n) where n is even; subsequence of A023195. Primes p of the form sigma(n) for some n. Conjecture: 31 is the only prime p such that p = sigma(x) = sigma(y) for distinct numbers x and y; 31 = sigma(16) = sigma(25).
Conjecture: numbers n such that n = sigma(sigma(n+1)-n-1))-1, i.e., A072868(n)-1.
Conjecture: primes of the form sigma(4*(n-1)) for some n. Corresponding values of numbers n are in A281312. (End)
[Conjecture] For n > 2, the Mersenne number M(n) = 2^n - 1 is a prime if and only if 3^M(n-1) == -1 (mod M(n)). - Thomas Ordowski, Aug 12 2018 [This needs proof! - Joerg Arndt, Mar 31 2019]
Named "Mersenne's numbers" by W. W. Rouse Ball (1892, 1912) after Marin Mersenne (1588-1648). - Amiram Eldar, Feb 20 2021
Theorem. Let b = 2^p - 1 (where p is a prime). Then b is a Mersenne prime iff (c = 2^p - 2 is totient or a term of A002202). Otherwise, if c is (nontotient or a term of A005277) then b is composite. Proof. Trivial, since, while b = v^g - 1 where v is even, v > 2, g is integer, g > 1, b is always composite, and c = v^g - 2 is nontotient (or a term of A005277), and so is for any composite b = 2^g - 1 (in the last case, c = v^g - 2 is also nontotient, or a term of A005277). - Sergey Pavlov, Aug 30 2021 [Disclaimer: This proof has not been checked. - N. J. A. Sloane, Oct 01 2021]
REFERENCES
Tom M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1976, page 4.
John Brillhart, D. H. Lehmer, J. L. Selfridge, Bryant Tuckerman and S. S. Wagstaff, Jr., Factorizations of b^n +- 1. Contemporary Mathematics, Vol. 22, Amer. Math. Soc., Providence, RI, 2nd edition, 1985; and later supplements.
Graham Everest, Alf van der Poorten, Igor Shparlinski and Thomas Ward, Recurrence Sequences, Amer. Math. Soc., 2003; see esp. p. 255.
Marcus P. F. du Sautoy, The Number Mysteries, A Mathematical Odyssey Through Everyday Life, Palgrave Macmillan, First published in 2010 by the Fourth Estate, an imprint of Harper Collins UK, 2011, p. 46. - Robert G. Wilson v, Nov 26 2013
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
Bryant Tuckerman, The 24th Mersenne prime, Notices Amer. Math. Soc., 18 (Jun, 1971), Abstract 684-A15, p. 608.
LINKS
Peter Alfeld, The 39th Mersenne prime, 2003.
Yan Bingze, Li Qiong, Mao Haokun, and Chen Nan, An efficient hybrid hash based privacy amplification algorithm for quantum key distribution, arXiv:2105.13678 [quant-ph], 2021.
Andrew R. Booker, The Nth Prime Page
W. W. Rouse Ball, Mathematical recreations and problems of past and present times, London, Macmillan and Co., 1892, pp. 24-25.
W. W. Rouse Ball, Mersenne's numbers, Messenger of Mathematics, Vol. 21 (1892), pp. 34-40, 121.
W. W. Rouse Ball, Mersenne's numbers, Nature, Vol. 89 (1912), p. 86.
John Brillhart, D. H. Lehmer, J. L. Selfridge, Bryant Tuckerman and S. S. Wagstaff, Jr., Factorizations of b^n +- 1, Contemporary Mathematics, Vol. 22, Amer. Math. Soc., Providence, RI, 3rd edition, 2002.
Kevin A. Broughan and Qizhi Zhou, On the Ratio of the Sum of Divisors and Euler's Totient Function II, Journal of Integer Sequences, Vol. 17 (2014), Article 14.9.2.
Douglas Butler, Mersenne Primes.
C. K. Caldwell, Mersenne primes.
C. K. Caldwell, "Top Twenty" page, Mersenne Primes.
Luis H. Gallardo and Olivier Rahavandrainy, On (unitary) perfect polynomials over F_2 with only Mersenne primes as odd divisors, arXiv:1908.00106 [math.NT], 2019.
Richard K. Guy, The strong law of small numbers. Amer. Math. Monthly 95 (1988), no. 8, 697-712. [Annotated scanned copy]
Sameen Ahmed Khan, Primes in Geometric-Arithmetic Progression, arXiv preprint arXiv:1203.2083 [math.NT], 2012. - From N. J. A. Sloane, Sep 15 2012
Abílio Lemos and Ady Cambraia Junior, On the number of prime factors of Mersenne numbers, arXiv:1606.08690 [math.NT] (2016).
Benny Lim, Prime Numbers Generated From Highly Composite Numbers, Parabola (2018) Vol. 54, Issue 3.
Math Reference Project, Mersenne and Fermat Primes.
Romeo Meštrović, Euclid's theorem on the infinitude of primes: a historical survey of its proofs (300 BC--2012) and another new proof, arXiv preprint arXiv:1202.3670 [math.HO], 2012. - From N. J. A. Sloane, Jun 13 2012
Romeo Meštrović, Goldbach-type conjectures arising from some arithmetic progressions, University of Montenegro, 2018.
Passawan Noppakaew and Prapanpong Pongsriiam, Product of Some Polynomials and Arithmetic Functions, J. Int. Seq. (2023) Vol. 26, Art. 23.9.1.
Christian Salas, Cantor Primes as Prime-Valued Cyclotomic Polynomials, arXiv preprint arXiv:1203.3969 [math.NT], 2012.
Harry J. Smith, Mersenne Primes, 1981-2010.
Gordon Spence, 36th Mersenne Prime Found, 1999.
Susan Stepney, Mersenne Prime.
Thesaurus.maths.org, Mersenne Prime.
Bryant Tuckerman, The 24th Mersenne prime, Proc. Nat. Acad. Sci. USA, Vol. 68 (1971), pp. 2319-2320.
Samuel S. Wagstaff, Jr., The Cunningham Project.
Yunlan Wei, Yanpeng Zheng, Zhaolin Jiang and Sugoog Shon, A Study of Determinants and Inverses for Periodic Tridiagonal Toeplitz Matrices with Perturbed Corners Involving Mersenne Numbers, Mathematics, Vol. 7, No. 10 (2019), 893.
Eric Weisstein's World of Mathematics, Mersenne Prime.
Eric Weisstein's World of Mathematics, Perfect Number.
Wikipedia, Mersenne prime.
Marek Wolf, Computer experiments with Mersenne primes, arXiv preprint arXiv:1112.2412 [math.NT], 2011.
FORMULA
a(n) = sigma(A061652(n)) = A000203(A061652(n)). - Omar E. Pol, Apr 15 2008
a(n) = sigma(A019279(n)) = A000203(A019279(n)), provided that there are no odd superperfect numbers. - Omar E. Pol, May 10 2008
a(n) = A000225(A000043(n)). - Omar E. Pol, Aug 31 2008
a(n) = 2^A000043(n) - 1 = 2^(A000005(A061652(n))) - 1. - Omar E. Pol, Oct 27 2011
a(n) = A000040(A059305(n)) = A001348(A016027(n)). - Omar E. Pol, Jun 29 2012
a(n) = A007947(A000396(n))/2, provided that there are no odd perfect numbers. - Omar E. Pol, Feb 01 2013
a(n) = 4*A134709(n) + 3. - Ivan N. Ianakiev, Sep 07 2013
a(n) = A003056(A000396(n)), provided that there are no odd perfect numbers. - Omar E. Pol, Dec 19 2016
Sum_{n>=1} 1/a(n) = A173898. - Amiram Eldar, Feb 20 2021
MAPLE
A000668 := proc(n) local i;
i := 2^(ithprime(n))-1:
if (isprime(i)) then
return i
fi: end:
seq(A000668(n), n=1..31); # Jani Melik, Feb 09 2011
# Alternate:
seq(numtheory:-mersenne([i]), i=1..26); # Robert Israel, Jul 13 2014
MATHEMATICA
2^Array[MersennePrimeExponent, 18] - 1 (* Jean-François Alcover, Feb 17 2018, Mersenne primes with less than 1000 digits *)
2^MersennePrimeExponent[Range[18]] - 1 (* Eric W. Weisstein, Sep 04 2021 *)
PROG
(PARI) forprime(p=2, 1e5, if(ispseudoprime(2^p-1), print1(2^p-1", "))) \\ Charles R Greathouse IV, Jul 15 2011
(PARI) LL(e) = my(n, h); n = 2^e-1; h = Mod(2, n); for (k=1, e-2, h=2*h*h-1); return(0==h) \\ after Joerg Arndt in A000043
forprime(p=1, , if(LL(p), print1(p, ", "))) \\ Felix Fröhlich, Feb 17 2018
(GAP)
A000668:=Filtered(List(Filtered([1..600], IsPrime), i->2^i-1), IsPrime); # Muniru A Asiru, Oct 01 2017
(Python)
from sympy import isprime, primerange
print([2**n-1 for n in primerange(1, 1001) if isprime(2**n-1)]) # Karl V. Keller, Jr., Jul 16 2020
CROSSREFS
Cf. A000225 (Mersenne numbers).
Cf. A000043 (Mersenne exponents).
Cf. A001348 (Mersenne numbers with n prime).
KEYWORD
nonn,nice,hard
AUTHOR
STATUS
approved
A001348 Mersenne numbers: 2^p - 1, where p is prime.
(Formerly M2694 N1079)
+10
123
3, 7, 31, 127, 2047, 8191, 131071, 524287, 8388607, 536870911, 2147483647, 137438953471, 2199023255551, 8796093022207, 140737488355327, 9007199254740991, 576460752303423487, 2305843009213693951, 147573952589676412927, 2361183241434822606847 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,1
COMMENTS
Mersenne numbers A000225 whose indices are primes. - Omar E. Pol, Aug 31 2008
All terms are of the form 4k-1. - Paul Muljadi, Jan 31 2011
Smallest number with Hamming weight A000120 = prime(n). - M. F. Hasler, Oct 16 2018
The 5th, 8th, 9th, ... terms are not prime. See A000668 for the primes in this sequence. - M. F. Hasler, Nov 14 2018
Except for the first term 3: all prime factors of 2^p-1 must be 1 or -1 (mod 8), and 1 (mod 2p). - William Hu, Mar 10 2024
REFERENCES
G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers. 3rd ed., Oxford Univ. Press, 1954, p. 16.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
LINKS
Raymond Clare Archibald, Mersenne's Numbers, Scripta Mathematica, Vol. 3 (1935), pp. 112-119.
John Brillhart, D. H. Lehmer, J. L. Selfridge, Bryant Tuckerman and S. S. Wagstaff, Jr., Cunningham Project [Factorizations of b^n +- 1, b = 2, 3, 5, 6, 7, 10, 11, 12 up to high powers]
C. K. Caldwell, Mersenne Primes
Will Edgington, Mersenne Page> [from Internet Archive Wayback Machine].
Graham Everest, Shaun Stevens, Duncan Tamsett and Tom Ward, Primes generated by recurrence sequences, Amer. Math. Monthly, Vol. 114, No. 5 (2007), pp. 417-431.
Jiří Klaška, A Simple Proof of Skula's Theorem on Prime Power Divisors of Mersenne Numbers, J. Int. Seq., Vol. 25 (2022), Article 22.4.3.
Gabriel Lapointe, On finding the smallest happy numbers of any heights, arXiv:1904.12032 [math.NT], 2019.
Amelia Carolina Sparavigna, Some Groupoids and their Representations by Means of Integer Sequences, International Journal of Sciences (2019) Vol. 8, No. 10.
Thesaurus.maths.org, Mersenne Number.
Gérard Villemin's Almanach of Numbers, Nombre de Mersenne.
Eric Wegrzynowski, Nombres de Mersenne. [from Internet Archive Wayback Machine]
K. Zsigmondy, Zur Theorie der Potenzreste, Monatsh. Math., Vol. 3 (1892), pp. 265-284.
FORMULA
a(n) = 2^A000040(n) - 1, n >= 1. - Wolfdieter Lang, Oct 26 2014
a(n) = A000225(A000040(n)). - Omar E. Pol, Aug 31 2008
A000668(n) = a(A016027(n)). - Omar E. Pol, Jun 29 2012
Sum_{n>=1} 1/a(n) = A262153. - Amiram Eldar, Nov 20 2020
Product_{n>=1} (1 - 1/a(n)) = A184085. - Amiram Eldar, Nov 22 2022
MAPLE
A001348 := n -> 2^(ithprime(n))-1: seq (A001348(n), n=1..18);
MATHEMATICA
Table[2^Prime[n]-1, {n, 20}] (* Vladimir Joseph Stephan Orlovsky, Aug 26 2008 *)
PROG
(PARI) a(n)=1<<prime(n)-1 \\ Charles R Greathouse IV, Jun 10 2011
(Magma) [2^NthPrime(n)-1: n in [1..30]]; // Vincenzo Librandi, Feb 04 2016
(Python)
from sympy import prime
def a(n): return 2**prime(n)-1
print([a(n) for n in range(1, 21)]) # Michael S. Branicky, Mar 28 2022
CROSSREFS
Cf. A000040, A000225. - Omar E. Pol, Aug 31 2008
KEYWORD
nonn,nice,easy
AUTHOR
STATUS
approved
A046051 Number of prime factors of Mersenne number M(n) = 2^n - 1 (counted with multiplicity). +10
45
0, 1, 1, 2, 1, 3, 1, 3, 2, 3, 2, 5, 1, 3, 3, 4, 1, 6, 1, 6, 4, 4, 2, 7, 3, 3, 3, 6, 3, 7, 1, 5, 4, 3, 4, 10, 2, 3, 4, 8, 2, 8, 3, 7, 6, 4, 3, 10, 2, 7, 5, 7, 3, 9, 6, 8, 4, 6, 2, 13, 1, 3, 7, 7, 3, 9, 2, 7, 4, 9, 3, 14, 3, 5, 7, 7, 4, 8, 3, 10, 6, 5, 2, 14, 3, 5, 6, 10, 1, 13, 5, 9, 3, 6, 5, 13, 2, 5, 8 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,4
COMMENTS
Length of row n of A001265.
LINKS
Sean A. Irvine, Table of n, a(n) for n = 1..1206 (terms 1..500 from T. D. Noe)
J. Brillhart et al., Factorizations of b^n +- 1, Contemporary Mathematics, Vol. 22, Amer. Math. Soc., Providence, RI, 3rd edition, 2002.
Alex Kontorovich, Jeff Lagarias, On Toric Orbits in the Affine Sieve, arXiv:1808.03235 [math.NT], 2018.
S. S. Wagstaff, Jr., The Cunningham Project
Eric Weisstein's World of Mathematics, Mersenne Number
FORMULA
Mobius transform of A085021. - T. D. Noe, Jun 19 2003
a(n) = A001222(A000225(n)). - Michel Marcus, Jun 06 2019
EXAMPLE
a(4) = 2 because 2^4 - 1 = 15 = 3*5.
From Gus Wiseman, Jul 04 2019: (Start)
The sequence of Mersenne numbers together with their prime indices begins:
1: {}
3: {2}
7: {4}
15: {2,3}
31: {11}
63: {2,2,4}
127: {31}
255: {2,3,7}
511: {4,21}
1023: {2,5,11}
2047: {9,24}
4095: {2,2,3,4,6}
8191: {1028}
16383: {2,14,31}
32767: {4,11,36}
65535: {2,3,7,55}
131071: {12251}
262143: {2,2,2,4,8,21}
524287: {43390}
1048575: {2,3,3,5,11,13}
(End)
MATHEMATICA
a[q_] := Module[{x, n}, x=FactorInteger[2^n-1]; n=Length[x]; Sum[Table[x[i][2], {i, n}][j], {j, n}]]
a[n_Integer] := PrimeOmega[2^n - 1]; Table[a[n], {n, 200}] (* Vladimir Joseph Stephan Orlovsky, Jul 22 2011 *)
PROG
(PARI) a(n)=bigomega(2^n-1) \\ Charles R Greathouse IV, Apr 01 2013
CROSSREFS
bigomega(b^n-1): A057951 (b=10), A057952 (b=9), A057953 (b=8), A057954 (b=7), A057955 (b=6), A057956 (b=5), A057957 (b=4), A057958 (b=3), this sequence (b=2).
KEYWORD
nonn
AUTHOR
STATUS
approved
A057951 Number of prime factors of 10^n - 1 (counted with multiplicity). +10
26
2, 3, 4, 4, 4, 7, 4, 6, 6, 6, 4, 9, 5, 6, 8, 8, 4, 11, 3, 9, 9, 9, 3, 12, 7, 8, 9, 10, 7, 15, 5, 13, 8, 8, 9, 14, 5, 5, 8, 13, 6, 17, 6, 13, 12, 8, 4, 15, 6, 12, 10, 11, 6, 16, 10, 14, 8, 10, 4, 22, 9, 7, 16, 17, 9, 17, 5, 12, 8, 14, 4, 20, 5, 9, 14, 8, 10, 18 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,1
LINKS
Max Alekseyev, Table of n, a(n) for n = 1..352 (first 322 terms from Ray Chandler)
S. S. Wagstaff, Jr., Main Tables from the Cunningham Project.
S. S. Wagstaff, Jr., The Cunningham Project
FORMULA
Mobius transform of A085035 - T. D. Noe, Jun 19 2003
a(n) = Omega(10^n -1) = Omega(R_n) + 2 = A046053(n) + 2 {where Omega(n) = A001222(n) and R_n = (10^n - 1)/9 = A002275(n)}. - Lekraj Beedassy, Jun 09 2006
a(n) = A001222(A002283(n)). - Ray Chandler, Apr 22 2017
MATHEMATICA
PrimeOmega[10^Range[70]-1] (* Jayanta Basu, May 29 2013 *)
PROG
(PARI) a(n)=bigomega(10^n-1) \\ Charles R Greathouse IV, Sep 14 2015
CROSSREFS
bigomega(b^n-1): this sequence (b=10), A057952 (b=9), A057953 (b=8), A057954 (b=7), A057955 (b=6), A057956 (b=5), A057957 (b=4), A057958 (b=3), A046051 (b=2).
KEYWORD
nonn
AUTHOR
Patrick De Geest, Nov 15 2000
EXTENSIONS
Erroneous b-file replaced by Ray Chandler, Apr 26 2017
STATUS
approved
A057954 Number of prime factors of 7^n - 1 (counted with multiplicity). +10
19
2, 5, 4, 8, 3, 8, 4, 10, 7, 8, 4, 13, 3, 9, 7, 13, 4, 12, 4, 14, 7, 9, 5, 18, 5, 8, 12, 13, 5, 14, 5, 16, 9, 8, 7, 18, 5, 9, 8, 18, 5, 15, 4, 15, 12, 9, 4, 22, 8, 11, 10, 13, 5, 18, 6, 19, 10, 9, 6, 24, 6, 11, 11, 20, 9, 17, 6, 14, 10, 18, 4, 26, 7, 10, 11, 13, 9, 17, 4, 24, 17, 12, 9, 22 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,1
LINKS
Max Alekseyev, Table of n, a(n) for n = 1..388 (first 378 terms from Amiram Eldar)
S. S. Wagstaff, Jr., The Cunningham Project
FORMULA
Möbius transform of A085032. - T. D. Noe, Jun 19 2003
a(n) = A001222(A024075(n)). - Amiram Eldar, Feb 02 2020
EXAMPLE
7^8-1 = 5764800 = 2^6 * 3 * 5^2 * 1201 and a(8) = bigomega(5764800) = 6+1+2+1 = 10. - Bernard Schott, Feb 02 2020
MATHEMATICA
PrimeOmega[Table[7^n - 1, {n, 1, 30}]] (* Amiram Eldar, Feb 02 2020 *)
PROG
(Magma) f:=func<n|&+[p[2]: p in Factorization(n)]>; [f(7^n- 1):n in [1..85]]; // Marius A. Burtea, Feb 02 2020
CROSSREFS
bigomega(b^n-1): A057951 (b=10), A057952 (b=9), A057953 (b=8), this sequence (b=7), A057955 (b=6), A057956 (b=5), A057957 (b=4), A057958 (b=3), A046051 (b=2).
KEYWORD
nonn
AUTHOR
Patrick De Geest, Nov 15 2000
STATUS
approved
A057957 Number of prime factors of 4^n - 1 (counted with multiplicity). +10
19
1, 2, 3, 3, 3, 5, 3, 4, 6, 6, 4, 7, 3, 6, 7, 5, 3, 10, 3, 8, 8, 7, 4, 10, 7, 7, 9, 8, 6, 13, 3, 7, 9, 7, 9, 14, 5, 7, 8, 10, 5, 14, 5, 10, 13, 9, 6, 13, 5, 14, 11, 10, 6, 15, 12, 11, 9, 9, 6, 17, 3, 8, 14, 9, 9, 15, 5, 11, 9, 16, 6, 19, 6, 10, 14, 11, 10, 18, 5, 13, 16, 10, 8, 19, 7, 10, 11 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,2
LINKS
Max Alekseyev, Table of n, a(n) for n = 1..1122 (first 603 terms from Amiram Eldar)
S. S. Wagstaff, Jr., The Cunningham Project
FORMULA
Mobius transform of A085029. - T. D. Noe, Jun 19 2003
a(n) = A001222(A024036(n)) = A046051(2*n). - Amiram Eldar, Feb 01 2020
MATHEMATICA
PrimeOmega/@(4^Range[90]-1) (* Harvey P. Dale, Dec 31 2018 *)
CROSSREFS
bigomega(b^n-1): A057951 (b=10), A057952 (b=9), A057953 (b=8), A057954 (b=7), A057955 (b=6), A057956 (b=5), this sequence (b=4), A057958 (b=3), A046051 (b=2).
KEYWORD
nonn
AUTHOR
Patrick De Geest, Nov 15 2000
STATUS
approved
A059885 a(n) = |{m : multiplicative order of 3 mod m = n}|. +10
19
2, 2, 2, 6, 4, 10, 2, 14, 4, 16, 6, 58, 2, 10, 16, 88, 6, 108, 6, 150, 10, 54, 6, 290, 18, 10, 56, 138, 14, 716, 14, 144, 22, 118, 40, 1088, 6, 54, 90, 670, 14, 730, 6, 570, 356, 22, 30, 13864, 124, 342, 54, 138, 14, 3912, 116, 1362, 118, 238, 6, 22058, 6, 110 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,1
COMMENTS
The multiplicative order of a mod m, GCD(a,m)=1, is the smallest natural number d for which a^d = 1 (mod m). a(n) = number of orders of degree-n monic irreducible polynomials over GF(3).
Also, number of primitive factors of 3^n - 1 (cf. A218356). - Max Alekseyev, May 03 2022
LINKS
Max Alekseyev, Table of n, a(n) for n = 1..690 (first 100 terms from Alois P. Heinz)
FORMULA
a(n) = Sum_{ d divides n } mu(n/d)*tau(3^d-1), (mu(n) = Moebius function A008683, tau(n) = number of divisors of n A000005).
EXAMPLE
a(2) = |{4,8}| = 2, a(4) = |{5,10,16,20,40,80}| = 6, a(6) = |{7,14,28,52,56,91,104,182,364,728}| = 10.
MAPLE
with(numtheory); A059885 := proc(n) local d, s; s := 0; for d in divisors(n) do s := s+mobius(n/d)*tau(3^d-1); od; RETURN(s); end;
MATHEMATICA
a[n_] := Sum[ MoebiusMu[n/d] * DivisorSigma[0, 3^d - 1], {d, Divisors[n]}]; Table[a[n], {n, 1, 62} ] (* Jean-François Alcover, Dec 12 2012 *)
CROSSREFS
Primitive factors of b^n - 1: A059499 (b=2), this sequence (b=3), A059886 (b=4), A059887 (b=5), A059888 (b=6), A059889 (b=7), A059890 (b=8), A059891 (b=9), A059892 (b=10).
Column k=3 of A212957.
KEYWORD
nonn
AUTHOR
Vladeta Jovovic, Feb 06 2001
STATUS
approved
A057953 Number of prime factors of 8^n - 1 (counted with multiplicity). +10
18
1, 3, 2, 5, 3, 6, 4, 7, 3, 7, 4, 10, 4, 8, 6, 10, 5, 9, 4, 13, 7, 9, 4, 14, 7, 8, 6, 14, 6, 13, 3, 13, 8, 11, 11, 15, 6, 9, 9, 17, 5, 14, 5, 15, 10, 9, 6, 19, 7, 14, 8, 18, 8, 16, 10, 19, 7, 11, 6, 24, 5, 8, 10, 16, 8, 17, 6, 20, 9, 22, 7, 21, 7, 13, 14, 17, 10, 16, 8, 23, 10, 12, 5, 24 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,2
LINKS
Max Alekseyev, Table of n, a(n) for n = 1..500 (first 402 terms from Amiram Eldar)
S. S. Wagstaff, Jr., The Cunningham Project
FORMULA
Mobius transform of A085033. - T. D. Noe, Jun 19 2003
a(n) = A001222(A024088(n)) = A046051(3*n). - Amiram Eldar, Feb 02 2020
MATHEMATICA
PrimeOmega/@(8^Range[90]-1) (* Harvey P. Dale, May 24 2018 *)
PROG
(Magma) f:=func<n|&+[p[2]: p in Factorization(n)]>; [f(8^n - 1):n in [1..90]]; // Marius A. Burtea, Feb 02 2020
CROSSREFS
bigomega(b^n-1): A057951 (b=10), A057952 (b=9), this sequence (b=8), A057954 (b=7), A057955 (b=6), A057956 (b=5), A057957 (b=4), A057958 (b=3), A046051 (b=2).
KEYWORD
nonn
AUTHOR
Patrick De Geest, Nov 15 2000
STATUS
approved
A057941 Number of prime factors of 3^n + 1 (counted with multiplicity). +10
17
2, 2, 3, 2, 3, 3, 3, 3, 5, 4, 4, 3, 3, 4, 6, 2, 5, 4, 4, 3, 7, 4, 3, 6, 5, 4, 7, 4, 5, 6, 4, 2, 7, 4, 5, 4, 5, 4, 8, 5, 4, 7, 3, 5, 10, 4, 5, 4, 5, 8, 9, 4, 4, 5, 7, 6, 8, 4, 4, 7, 4, 5, 13, 2, 5, 6, 4, 5, 9, 9, 7, 8, 4, 5, 12, 6, 6, 7, 5, 5, 12, 5, 6, 10, 9, 7, 11, 6, 5, 9, 8, 4, 9, 4, 8, 6, 5, 9, 14, 6, 4 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,1
LINKS
Max Alekseyev, Table of n, a(n) for n = 1..691 (first 658 terms from Amiram Eldar)
S. S. Wagstaff, Jr., The Cunningham Project
FORMULA
a(n) = A057958(2n) - A057958(n) - T. D. Noe, Jun 19 2003
a(n) = A001222(A034472(n)). - Amiram Eldar, Feb 01 2020
MATHEMATICA
PrimeOmega[3^Range[110]+1] (* Harvey P. Dale, Jun 20 2015 *)
PROG
(PARI) a(n)=bigomega(n^3+1) \\ Charles R Greathouse IV, Sep 14 2015
CROSSREFS
bigomega(b^n+1): A057934 (b=10), A057935 (b=9), A057936 (b=8), A057937 (b=7), A057938 (b=6), A057939 (b=5), A057940 (b=4), this sequence (b=3), A054992 (b=2).
KEYWORD
nonn
AUTHOR
Patrick De Geest, Oct 15 2000
STATUS
approved
page 1 2 3

Search completed in 0.021 seconds

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 August 29 21:34 EDT 2024. Contains 375518 sequences. (Running on oeis4.)