A133033 -id:A133033 - cp's OEIS frontend

A000043 Mersenne exponents: primes p such that 2^p - 1 is prime. Then 2^p - 1 is called a Mersenne prime.

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, 74207281

Offset: 1

N. J. A. Sloane

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
Conjecture: for p prime, 2^p-1 is (a Mersenne) prime or p = 2^(2^m)+1 (is a Fermat number) if and only if (p-1)^(2^p-2) == 1 (mod 2^p-1). - David Barina, Nov 25 2024
Already as of Dec. 2020, all exponents up to 10^8 had been verified, implying that 74207281, 77232917 and 82589933 are indeed the next three terms. As of today, all exponents up to 130439863 have been tested at least once, see the GIMPS Milestones Report. - M. F. Hasler, Apr 11 2025
On June 23. 2025 all exponents up to 74340751 have been verified, confirming that 74207281 is the exponent of the 49th Mersenne Prime. - Rodolfo Ruiz-Huidobro, Jun 23 2025

			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).

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.
Jan Gullberg, Mathematics from the Birth of Numbers, W. W. Norton & Co., NY & London, 1997, §3.2 Prime Numbers, p. 79.
R. K. Guy, Unsolved Problems in Number Theory, Section A3.
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.
Alfred S. Posamentier, Math Charmers, Tantalizing Tidbits for the Mind, Prometheus Books, NY, 2003, page 47.
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).
James J. Tattersall, Elementary Number Theory in Nine Chapters, Cambridge University Press, 1999, pages 132-134.
B. Tuckerman, The 24th Mersenne prime, Notices Amer. Math. Soc., 18 (Jun, 1971), Abstract 684-A15, p. 608.

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).
J. Bernheiden, Mersenne Numbers (Text in German)
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.
P. G. Brown, A Note on Ramanujan's (FALSE) Conjectures Regarding 'Mersenne Primes'
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.
Leonhard Euler, Observationes de theoremate quodam Fermatiano aliisque ad numeros primos spectantibus
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
GIMPS, Milestones Report
GIMPS, GIMPS Project discovers largest known prime number 2^77232917-1
R. K. Guy, The strong law of small numbers. Amer. Math. Monthly 95 (1988), no. 8, 697-712. [Annotated scanned copy]
Wilfrid Keller, List of primes k.2^n - 1 for k < 300
H. Lifchitz, Mersenne and Fermat primes field
A. J. Menezes, P. C. van Oorschot and S. A. Vanstone, Handbook of Applied Cryptography, CRC Press, 1996; see p. 143.
R. Mestrovic, 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.
Romeo Meštrović, Goldbach-type conjectures arising from some arithmetic progressions, University of Montenegro, 2018.
Romeo Meštrović, Goldbach's like conjectures arising from arithmetic progressions whose first two terms are primes, arXiv:1901.07882 [math.NT], 2019.
G. P. Michon, Perfect Numbers, Mersenne Primes
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.
M. Oakes, A new series of Mersenne-like Gaussian primes
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)]
Omar E. Pol, Determinacion geometrica de los numeros primos y perfectos.
Maxie D. Schmidt, New Congruences and Finite Difference Equations for Generalized Factorial Functions, arXiv:1701.04741 [math.CO], 2017.
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.
Index entries for sequences of n such that k*2^n-1 (or k*2^n+1) is prime
Index entries for "core" sequences

Cf. A000668 (Mersenne primes).
Cf. A028335 (integer lengths of Mersenne primes).
Cf. A000225 (Mersenne numbers).
Cf. A001348 (Mersenne numbers with n prime).
Cf. A016027, A046051, A057429, A057951-A057958, A066408, A117293, A127962, A127963, A127964, A127965, A127961, A000979, A000978, A124400, A124401, A127955, A127956, A127957, A127958, A127936, A134458, A000225, A000396, A090748, A133033, A135655, A006516, A019279, A061652, A133033, A135650, A135652, A135653, A135654, A260073, A050475, A379590.

MersennePrimeExponent[Range[48]] (* Eric W. Weisstein, Jul 17 2017; updated Oct 21 2024 *)

isA000043(n) = isprime(2^n-1) \\ Michael B. Porter, Oct 28 2009

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 */

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

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

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
Also in the sequence: p = 136279841. - Eric W. Weisstein, Oct 21 2024
As of Jan 31 2025, 48 terms are known, and are shown in the DATA section. Four additional numbers are known to be in the sequence, namely 74207281, 77232917, 82589933, and 136279841, but they may not be the next terms. See the GIMP website for the latest information. - N. J. A. Sloane, Jan 31 2025

A000396 Perfect numbers k: k is equal to the sum of the proper divisors of k.

Original entry on oeis.org

6, 28, 496, 8128, 33550336, 8589869056, 137438691328, 2305843008139952128, 2658455991569831744654692615953842176, 191561942608236107294793378084303638130997321548169216

Offset: 1

N. J. A. Sloane

A number k is abundant if sigma(k) > 2k (cf. A005101), perfect if sigma(k) = 2k (this sequence), or deficient if sigma(k) < 2k (cf. A005100), where sigma(k) is the sum of the divisors of k (A000203).
The numbers 2^(p-1)*(2^p - 1) are perfect, where p is a prime such that 2^p - 1 is also prime (for the list of p's see A000043). There are no other even perfect numbers and it is believed that there are no odd perfect numbers.
Numbers k such that Sum_{d|k} 1/d = 2. - Benoit Cloitre, Apr 07 2002
For number of divisors of a(n) see A061645(n). Number of digits in a(n) is A061193(n). - Lekraj Beedassy, Jun 04 2004
All terms other than the first have digital root 1 (since 4^2 == 4 (mod 6), we have, by induction, 4^k == 4 (mod 6), or 2*2^(2*k) = 8 == 2 (mod 6), implying that Mersenne primes M = 2^p - 1, for odd p, are of the form 6*t+1). Thus perfect numbers N, being M-th triangular, have the form (6*t+1)*(3*t+1), whence the property N mod 9 = 1 for all N after the first. - Lekraj Beedassy, Aug 21 2004
The earliest recorded mention of this sequence is in Euclid's Elements, IX 36, about 300 BC. - Artur Jasinski, Jan 25 2006
Theorem (Euclid, Euler). An even number m is a perfect number if and only if m = 2^(k-1)*(2^k-1), where 2^k-1 is prime. Euler's idea came from Euclid's Proposition 36 of Book IX (see Weil). It follows that every even perfect number is also a triangular number. - Mohammad K. Azarian, Apr 16 2008
Triangular numbers (also generalized hexagonal numbers) A000217 whose indices are Mersenne primes A000668, assuming there are no odd perfect numbers. - Omar E. Pol, May 09 2008, Sep 15 2013
If a(n) is even, then 2*a(n) is in A181595. - Vladimir Shevelev, Nov 07 2010
Except for a(1) = 6, all even terms are of the form 30*k - 2 or 45*k + 1. - Arkadiusz Wesolowski, Mar 11 2012
a(4) = A229381(1) = 8128 is the "Simpsons's perfect number". - Jonathan Sondow, Jan 02 2015
Theorem (Farideh Firoozbakht): If m is an integer and both p and p^k-m-1 are prime numbers then x = p^(k-1)*(p^k-m-1) is a solution to the equation sigma(x) = (p*x+m)/(p-1). For example, if we take m=0 and p=2 we get Euclid's result about perfect numbers. - Farideh Firoozbakht, Mar 01 2015
The cototient of the even perfect numbers is a square; in particular, if 2^p - 1 is a Mersenne prime, cototient(2^(p-1) * (2^p - 1)) = (2^(p-1))^2 (see A152921). So, this sequence is a subsequence of A063752. - Bernard Schott, Jan 11 2019
Euler's (1747) proof that all the even perfect number are of the form 2^(p-1)*(2^p-1) implies that their asymptotic density is 0. Kanold (1954) proved that the asymptotic density of odd perfect numbers is 0. - Amiram Eldar, Feb 13 2021
If k is perfect and semiprime, then k = 6. - Alexandra Hercilia Pereira Silva, Aug 30 2021
This sequence lists the fixed points of A001065. - Alois P. Heinz, Mar 10 2024

			6 is perfect because 6 = 1+2+3, the sum of all divisors of 6 less than 6; 28 is perfect because 28 = 1+2+4+7+14.

Tom M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1976, page 4.
Albert H. Beiler, Recreations in the Theory of Numbers, Dover, NY, 2d ed. 1966, pp. 11-23.
Stanley J. Bezuszka, Perfect Numbers (Booklet 3, Motivated Math. Project Activities), Boston College Press, Chestnut Hill MA, 1980.
John H. Conway and Richard K. Guy, The Book of Numbers, New York: Springer-Verlag, 1996. See pp. 136-137.
Euclid, Elements, Book IX, Section 36, about 300 BC.
Jan Gullberg, Mathematics from the Birth of Numbers, W. W. Norton & Co., NY & London, 1997, §3.3 Perfect and Amicable Numbers, pp. 82-83.
R. K. Guy, Unsolved Problems in Number Theory, Springer, 1st edition, 1981. See section B1.
G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers. 3rd ed., Oxford Univ. Press, 1954, p. 239.
T. Koshy, "The Ends Of A Mersenne Prime And An Even Perfect Number", Journal of Recreational Mathematics, Baywood, NY, 1998, pp. 196-202.
Joseph S. Madachy, Madachy's Mathematical Recreations, New York: Dover Publications, Inc., 1979, p. 149 (First publ. by Charles Scribner's Sons, New York, 1966, under the title: Mathematics on Vacation).
Alfred S. Posamentier, Math Charmers, Tantalizing Tidbits for the Mind, Prometheus Books, NY, 2003, pages 46-48, 244-245.
Paulo Ribenboim, The Little Book of Bigger Primes, Springer-Verlag NY 2004. See pp. 83-87.
József Sándor and Borislav Crstici, Handbook of Number Theory, II, Springer Verlag, 2004.
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).
Ian Stewart, L'univers des nombres, "Diviser Pour Régner", Chapter 14, pp. 74-81, Belin-Pour La Science, Paris, 2000.
James J. Tattersall, Elementary Number Theory in Nine Chapters, Cambridge University Press, 1999, chapter 4, pages 127-149.
Horace S. Uhler, On the 16th and 17th perfect numbers, Scripta Math., Vol. 19 (1953), pp. 128-131.
André Weil, Number Theory, An approach through history, From Hammurapi to Legendre, Birkhäuser, 1984, p. 6.
David Wells, The Penguin Dictionary of Curious and Interesting Numbers, pp. 107-110, Penguin Books, 1987.

E-Hern Lee, Table of n, a(n) for n = 1..15 (terms 1-14 from David Wasserman)
Abiodun E. Adeyemi, A Study of @-numbers, arXiv:1906.05798 [math.NT], 2019.
Anonymous, Perfect Numbers. [broken link]
Anonymous, Timetable of discovery of perfect numbers. [broken link]
Antal Bege and Kinga Fogarasi, Generalized perfect numbers, arXiv:1008.0155 [math.NT], 2010.
Chris Bispels, Matthew Cohen, Joshua Harrington, Joshua Lowrance, Kaelyn Pontes, Leif Schaumann, and Tony W. H. Wong, A further investigation on covering systems with odd moduli, arXiv:2507.16135 [math.NT], 2025. See p. 3.
Richard P. Brent and Graeme L. Cohen, A new lower bound for odd perfect numbers, Math. Comp., Vol. 53, No. 187 (1989), pp. 431-437, S7; alternative link.
Richard P. Brent, Graeme L. Cohen and Herman J. J. te Riele, A new approach to lower bounds for odd perfect numbers, Report TR-CS-88-08, CSL, ANU, August 1988, 71 pp.
Richard P. Brent, Graeme L. Cohen and Herman J. J. te Riele, Improved Techniques For Lower Bounds For Odd Perfect Numbers, Math. Comp., Vol. 57, No. 196 (1991), pp. 857-868.
J. Britton, Perfect Number Analyser.
Chris K. Caldwell, Perfect number.
Chris K. Caldwell, Mersenne Primes, etc.
Chris K. Caldwell, Iterated sums of the digits of a perfect number converge to 1.
Jose Arnaldo B. Dris, The Abundancy Index of Divisors of Odd Perfect Numbers, J. Int. Seq., Vol. 15 (2012) Article # 12.4.4.
Jason Earls, The Smarandache sum of composites between factors function, in Smarandache Notions Journal, Vol. 14, No. 1 (2004), p. 243.
Roger B. Eggleston, Equisum Partitions of Sets of Positive Integers, Algorithms, Vol. 12, No. 8 (2019), Article 164.
Leonhard Euler, De numeris amicibilibus>, Commentationes arithmeticae collectae, Vol. 2 (1849), pp. 627-636. Written in 1747.
Bakir Farhi, On the representation of an even perfect number as the sum of a limited number of cubes, arXiv:1504.07322 [math.NT], 2015.
Steven Finch, Amicable Pairs and Aliquot Sequences, 2013. [Cached copy, with permission of the author]
Farideh Firoozbakht and Maximilian F. Hasler, Variations on Euclid's formula for Perfect Numbers, Journal of Integer Sequences, Vol. 13 (2010), Article 10.3.1.
S. Flora Jeba, Anirban Roy, and Manjil P. Saikia, On k-Facile Perfect Numbers, Algebra and Its Applications (ICAA-2023) Springer Proc. Math. Stat., Vol. 474, 111-121. See p. 111.
J. W. Gaberdiel, A Study of Perfect Numbers and Related Topics.
Takeshi Goto and Yasuo Ohno, Largest prime factor of an odd perfect number, 2006.
Kevin G. Hare, New techniques for bounds on the total number of prime factors of an odd perfect number, Math. Comp., Vol. 76, No. 260 (2007), pp. 2241-2248; arXiv preprint, arXiv:math/0501070 [math.NT], 2005-2006.
Azizul Hoque and Himashree Kalita, Generalized perfect numbers connected with arithmetic functions, Math. Sci. Lett., Vol. 3, No. 3 (2014), pp. 249-253.
C.-E. Jean, "Recreomath" Online Dictionary, Nombre parfait.
Hans-Joachim Kanold, Über die Dichten der Mengen der vollkommenen und der befreundeten Zahlen, Mathematische Zeitschrift, Vol. 61 (1954), pp. 180-185.
Christian Kassel and Christophe Reutenauer, The zeta function of the Hilbert scheme of n points on a two-dimensional torus, arXiv:1505.07229v3 [math.AG], 2015. [A later version of this paper has a different title and different contents, and the number-theoretical part of the paper was moved to the publication below.]
Christian Kassel and Christophe Reutenauer, Complete determination of the zeta function of the Hilbert scheme of n points on a two-dimensional torus, The Ramanujan Journal, Vol. 46, No. 3 (2018), pp. 633-655; arXiv preprint, arXiv:1610.07793 [math.NT], 2016.
Pedro Laborde, A Note on the Even Perfect Numbers, The American Mathematical Monthly, Vol. 62, No. 5 (May, 1955), pp. 348-349 (2 pages).
Tom Leinster, Perfect numbers and groups, arXiv:math/0104012 [math.GR], 2001.
A. V. Lelechenko, The Quest for the Generalized Perfect Numbers, in Theoretical and Applied Aspects of Cybernetics, TAAC 2014, Kiev.
Daniel Lustig, The algebraic independence of the sum of divisors functions, Journal of Number Theory, Volume 130, Issue 11 (November 2010), pp. 2628-2633.
T. Masiwa, T. Shonhiwa & G. Hitchcock, Perfect Numbers & Mersenne Primes.
Mathforum, Perfect Numbers.
Mathforum, List of Perfect Numbers.
Judson S. McCranie, A study of hyperperfect numbers, J. Int. Seqs., Vol. 3 (2000), Article #00.1.3.
Gérard P. Michon, Perfect Numbers, Mersenne Primes.
David Moews, Perfect, amicable and sociable numbers.
Derek Muller, The Oldest Unsolved Problem in Math, Veritasium, YouTube video, 2024.
Pace P. Nielsen, Odd perfect numbers have at least nine distinct prime factors, Mathematics of Computation, Vol. 76, No. 260 (2007), pp. 2109-2126; arXiv preprint, arXiv:math/0602485 [math.NT], 2006.
Walter Nissen, Abundancy : Some Resources , 2008-2010.
J. J. O'Connor and E. F. Robertson, Perfect Numbers.
J. O. M. Pedersen, Perfect numbers. [Via Internet Archive Wayback-Machine]
J. O. M. Pedersen, Tables of Aliquot Cycles. [Broken link]
J. O. M. Pedersen, Tables of Aliquot Cycles. [Via Internet Archive Wayback-Machine]
J. O. M. Pedersen, Tables of Aliquot Cycles. [Cached copy, pdf file only]
Ivars Peterson, Cubes of Perfection, MathTrek, 1998.
Omar E. Pol, Determinacion geometrica de los numeros primos y perfectos.
Paul Pollack, Quasi-Amicable Numbers are Rare, J. Int. Seq., Vol. 14 (2011), Article # 11.5.2.
D. Romagnoli, Perfect Numbers (Text in Italian). [From _Lekraj Beedassy_, Jun 26 2009]
Tyler Ross, A Perfect Number Generalization and Some Euclid-Euler Type Results, Journal of Integer Sequences, Vol. 27 (2024), Article 24.7.5. See p. 3.
D. Scheffler and R. Ondrejka, The numerical evaluation of the eighteenth perfect number, Math. Comp., Vol. 14, No. 70 (1960), pp. 199-200.
K. Schneider, perfect number, PlanetMath.org.
Jonathan Sondow and Kieren MacMillan, Primary pseudoperfect numbers, arithmetic progressions, and the Erdős-Moser equation, Amer. Math. Monthly, Vol. 124, No. 3 (2017), pp. 232-240; arXiv preprint, arXiv:math/1812.06566 [math.NT], 2018.
G. Villemin's Almanach of Numbers, Nombres Parfaits.
J. Voight, Perfect Numbers:An Elementary Introduction.
Eric Weisstein's World of Mathematics, Perfect Number.
Eric Weisstein's World of Mathematics, Odd Perfect Number.
Eric Weisstein's World of Mathematics, Multiperfect Number.
Eric Weisstein's World of Mathematics, Hyperperfect Number.
Eric Weisstein's World of Mathematics, Abundance.
Wikipedia, Perfect number.
Tomohiro Yamada, On the divisibility of odd perfect numbers by a high power of a prime, arXiv:math/0511410 [math.NT], 2005-2007.
Joshua Zelinsky, The Sum of the Reciprocals of the Prime Divisors of an Odd Perfect or Odd Primitive Non-deficient Number, Integers (2025) Vol. 25, Art. No. A59. See p. 1.
Index entries for "core" sequences
Index entries for sequences where any odd perfect numbers must occur

See A000043 for the current state of knowledge about Mersenne primes.
Cf. A007539, A005820, A027687, A046060, A046061, A000668, A090748, A133033, A000217, A000384, A019279, A061652, A006516, A144912, A153800, A007593, A220290, A028499-A028502, A034916, A065549, A275496, A063752, A156552, A152921, A324201.
Cf. A228058 for Euler's criterion for odd terms.
Positions of 0's in A033879 and in A033880.
Subsequence of following sequences: A005835, A006039, A007691, A023196, A043305, A065997, A083207, A109510, A118372, A216782, A246282, A263837, A294900, A333646, A334410, A335267, A336702, A341622, A342922, A344755, A352739, A357462, and (the even terms), of: A005153, A063752, A174973, A336547, A338520.
Cf. A001065.

a000396 n = a000396_list !! (n-1)
a000396_list = [x | x <- [1..], a000203 x == 2 * x]
-- Reinhard Zumkeller, Jan 20 2012

Select[Range[9000], DivisorSigma[1,#]== 2*# &] (* G. C. Greubel, Oct 03 2017 *)
PerfectNumber[Range[15]] (* Requires Mathematica version 10 or later *) (* Harvey P. Dale, Dec 10 2018 *)

PARI
```
isA000396(n) = (sigma(n) == 2*n);
```

from sympy import divisor_sigma
def ok(n): return n > 0 and divisor_sigma(n) == 2*n
print([k for k in range(9999) if ok(k)]) # Michael S. Branicky, Mar 12 2022

The perfect number N = 2^(p-1)*(2^p - 1) is also multiplicatively p-perfect (i.e., A007955(N) = N^p), since tau(N) = 2*p. - Lekraj Beedassy, Sep 21 2004
a(n) = 2^A133033(n) - 2^A090748(n), assuming there are no odd perfect numbers. - Omar E. Pol, Feb 28 2008
a(n) = A000668(n)*(A000668(n)+1)/2, assuming there are no odd perfect numbers. - Omar E. Pol, Apr 23 2008
a(n) = A000217(A000668(n)), assuming there are no odd perfect numbers. - Omar E. Pol, May 09 2008
a(n) = Sum of the first A000668(n) positive integers, assuming there are no odd perfect numbers. - Omar E. Pol, May 09 2008
a(n) = A000384(A019279(n)), assuming there are no odd perfect numbers and no odd superperfect numbers. a(n) = A000384(A061652(n)), assuming there are no odd perfect numbers. - Omar E. Pol, Aug 17 2008
a(n) = A006516(A000043(n)), assuming there are no odd perfect numbers. - Omar E. Pol, Aug 30 2008
From Reikku Kulon, Oct 14 2008: (Start)
A144912(2, a(n)) = 1;
A144912(4, a(n)) = -1 for n > 1;
A144912(8, a(n)) = 5 or -5 for all n except 2;
A144912(16, a(n)) = -4 or -13 for n > 1. (End)
a(n) = A019279(n)*A000668(n), assuming there are no odd perfect numbers and odd superperfect numbers. a(n) = A061652(n)*A000668(n), assuming there are no odd perfect numbers. - Omar E. Pol, Jan 09 2009
a(n) = A007691(A153800(n)), assuming there are no odd perfect numbers. - Omar E. Pol, Jan 14 2009
Even perfect numbers N = K*A000203(K), where K = A019279(n) = 2^(p-1), A000203(A019279(n)) = A000668(n) = 2^p - 1 = M(p), p = A000043(n). - Lekraj Beedassy, May 02 2009
a(n) = A060286(A016027(n)), assuming there are no odd perfect numbers. - Omar E. Pol, Dec 13 2012
For n >= 2, a(n) = Sum_{k=1..A065549(n)} (2*k-1)^3, assuming there are no odd perfect numbers. - Derek Orr, Sep 28 2013
a(n) = A275496(2^((A000043(n) - 1)/2)) - 2^A000043(n), assuming there are no odd perfect numbers. - Daniel Poveda Parrilla, Aug 16 2016
a(n) = A156552(A324201(n)), assuming there are no odd perfect numbers. - Antti Karttunen, Mar 28 2019
a(n) = ((2^(A000043(n)))^3 - (2^(A000043(n)) - 1)^3 - 1)/6, assuming there are no odd perfect numbers. - Jules Beauchamp, Jun 06 2025

I removed a large number of comments that assumed there are no odd perfect numbers. There were so many it was getting hard to tell which comments were true and which were conjectures. - N. J. A. Sloane, Apr 16 2023

Reference to Albert H. Beiler's book updated by Harvey P. Dale, Jan 13 2025

A139306 Ultraperfect numbers: a(n) = 2^(2*p - 1), where p is A000043(n).

Original entry on oeis.org

8, 32, 512, 8192, 33554432, 8589934592, 137438953472, 2305843009213693952, 2658455991569831745807614120560689152, 191561942608236107294793378393788647952342390272950272

Offset: 1

Omar E. Pol, Apr 13 2008

nonn

Sum of n-th even perfect number and n-th even superperfect number.

Also, sum of n-th perfect number and n-th superperfect number, if there are no odd perfect and odd superperfect numbers, then the n-th perfect number is the difference between a(n) and the n-th superperfect number (see A135652, A135653, A135654 and A135655).

			a(5) = 33554432 because A000043(5) = 13 and 2^(2*13 - 1) = 2^25 = 33554432.
Also, if there are no odd perfect and odd superperfect numbers then we can write a(5) = A000396(5) + A019279(5) = A000396(5) + A061652(5) = 33554432.

Amiram Eldar, Table of n, a(n) for n = 1..15
Omar E. Pol, Determinacion geometrica de los numeros primos y perfectos.

Cf. A000079, A000396, A019279, A061645, A061652, A133033, A135652, A135653, A135654, A135655, A139286, A139294, A139307.

Cf. A000043, A000668, A072868.

2^(2 * MersennePrimeExponent[Range[10]] - 1) (* Amiram Eldar, Oct 17 2024 *)

a(n) = 2^(2*A000043(n) - 1). Also, a(n) = 2^A133033(n), if there are no odd perfect numbers. Also, a(n) = A000396(n) + A019279(n), if there are no odd perfect and odd superperfect numbers. Also, a(n) = A000396(n) + A061652(n), if there are no odd perfect numbers, then we can write: perfect number A000396(n) = a(n) - A061652(n).

a(n) = A061652(n)*(A000668(n)+1) = A061652(n)*A072868(n). - Omar E. Pol, Apr 13 2008

A090748 Numbers k such that 2^(k+1) - 1 is prime.

Original entry on oeis.org

1, 2, 4, 6, 12, 16, 18, 30, 60, 88, 106, 126, 520, 606, 1278, 2202, 2280, 3216, 4252, 4422, 9688, 9940, 11212, 19936, 21700, 23208, 44496, 86242, 110502, 132048, 216090, 756838, 859432, 1257786, 1398268, 2976220, 3021376, 6972592, 13466916, 20996010, 24036582, 25964950, 30402456, 32582656

Offset: 1

Mohammed Bouayoun (bouyao(AT)wanadoo.fr), Feb 03 2004

nonn

Perfect numbers A000396(n) = 2^A133033(n) - 2^a(n), assuming there are no odd perfect numbers. - Omar E. Pol, Feb 24 2008
Number of proper divisors of n-th even perfect number that are multiples of n-th Mersenne prime A000668(n). - Omar E. Pol, Feb 28 2008
Base 2 logarithm of n-th even superperfect number A061652(n). Also base 2 logarithm of n-th superperfect number A019279(n), assuming there are no odd superperfect numbers. - Omar E. Pol, Apr 11 2008
Number of 0's in binary expansion of n-th even perfect number (see A135650). - Omar E. Pol, May 04 2008

			1 is in the sequence because 2^2 - 1 = 3 is prime.

Amiram Eldar, Table of n, a(n) for n = 1..48 (terms 1..47 from Ivan Panchenko)
Omar E. Pol, Determinacion geometrica de los numeros primos y perfectos.

a(n) = A000043(n) - 1. A000043 is the main entry for this sequence.

Cf. A000396, A133033, A000668, A019279, A061652, A135650, A051027.

[n: n in [1..5*10^3] |IsPrime(2^(n+1)-1)]; // Vincenzo Librandi, Jul 28 2016

Select[Range[0, 10^4], PrimeQ[2^(# + 1) - 1] &] (* Vincenzo Librandi, Jul 28 2016 *)

is(n)=ispseudoprime(2^(n+1)-1) \\ Charles R Greathouse IV, Aug 21 2016

a(n) = A000043(n) - 1.

2^(a(n) + 1) = A051027(2^a(n)). - Juri-Stepan Gerasimov, Aug 21 2016 [corrected by Jerzy R Borysowicz, Feb 26 2025]

Edited, corrected and extended by Robert G. Wilson v, Feb 09 2004
a(39) from Omar E. Pol, Jan 23 2009
a(40)-a(44) from Ivan Panchenko, Apr 11 2018

A135650 Even perfect numbers written in base 2.

Original entry on oeis.org

110, 11100, 111110000, 1111111000000, 1111111111111000000000000, 111111111111111110000000000000000, 1111111111111111111000000000000000000

Offset: 1

Omar E. Pol, Feb 21 2008, Feb 22 2008, Apr 28 2009

The number of digits of a(n) is equal to 2*A000043(n)-1. The central digit is "1". The first digits are "1". The last digits are "0". The number of digits "1" is equal A000043(n). The number of digits "0" is equal A000043(n)-1.
The concatenation of digits "1" of a(n) gives the n-th Mersenne prime written in binary (see A117293(n)).
Also, the number of digits of a(n) is equal to A133033(n), the number of proper divisors of n-th even perfect number.

			a(3) = 111110000 because the 3rd even perfect number is 496 and 496 written in base 2 is 111110000. Note that 11111 is the 3rd Mersenne prime A000668(3) = 31 written in base 2.

Amiram Eldar, Table of n, a(n) for n = 1..12
Omar E. Pol, Determinacion geometrica de los numeros primos y perfectos.

Cf. A000043, A000396, A000668, A090748, A117293.

Cf. A061645, A133033.

Map[FromDigits[IntegerDigits[#, 2]] &, PerfectNumber[Range[8], "Even"]] (* Amiram Eldar, Oct 18 2024 *)

A135617 a(n) is the initial digit of n-th even perfect number.

Original entry on oeis.org

6, 2, 4, 8, 3, 8, 1, 2, 2, 1, 1, 1, 2, 1, 5, 1, 9, 3, 1, 4, 1, 5, 3, 9, 1, 8, 3, 1, 1, 1, 2, 1, 8, 8, 3, 1, 8, 9, 4, 7, 4, 7, 4, 7, 2, 1, 5, 1

Offset: 1

Omar E. Pol, Mar 01 2008

a(n) is also the initial digit of n-th perfect number A000396(n) if there are no odd perfect numbers.

			a(5) = 3 because the 5th even perfect number is 33550336 and the initial digit of 33550336 is 3.

Omar E. Pol, Los números perfectos, (in Spanish).

Cf. A000030, A000396, A077648, A094540, A133033.

lst = {* the list of terms in A000043 *}; f[n_] := Block[{pn = (2^n - 1) (2^(n - 1))}, Quotient[pn, 10^Floor[ Log[10, pn]] ]]; f@# & /@ lst (* Robert G. Wilson v, Apr 01 2008 *)

More terms from Robert G. Wilson v, Apr 01 2008
Definition clarified by Omar E. Pol, Apr 14 2018
a(40)-a(47) from Ivan Panchenko, Apr 16 2018
a(48) from Amiram Eldar, Oct 16 2024

A133024 Divisors of 8128, the 4th perfect number.

Original entry on oeis.org

1, 2, 4, 8, 16, 32, 64, 127, 254, 508, 1016, 2032, 4064, 8128

Offset: 1

Omar E. Pol, Oct 26 2007, Mar 03 2008, Dec 27 2008

127 is the 4th Mersenne prime: A000668.
The number of divisors of the 4th perfect number is 2*A000043(4)=A061645(4)=14.
For the structure of this sequence and its binary expansion, see A135654.

Cf. A018254, A018487. Perfect numbers: A000396.

Cf. A000079, A000668, A061645, A133033, A135654.

Divisors[8128] (* Harvey P. Dale, Jul 30 2023 *)

divisors(8128) \\ Charles R Greathouse IV, Jun 21 2017

For n=1..7 : a(n) = 2^(n-1). For n=8..14: a(n) = 2^(n-1) - 2^(n-8) = A000668(4)*2^(n-8).

A133025 Divisors of 33550336, the 5th perfect number.

Original entry on oeis.org

1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8191, 16382, 32764, 65528, 131056, 262112, 524224, 1048448, 2096896, 4193792, 8387584, 16775168, 33550336

Offset: 1

Omar E. Pol, Oct 26 2007, Mar 03 2008, Dec 27 2008

8191 is the 5th Mersenne prime: A000668.
The number of divisors of the 5th perfect number is 2*A000043(5)=A061645(5)=26.
For the structure of this sequence and its binary expansion, see A135655.

Cf. A018254, A018487. Perfect numbers: A000396.

Cf. A000043, A000079, A000668, A061645, A133033, A135655.

Divisors[33550336] (* Harvey P. Dale, Jan 24 2015 *)

divisors(33550336) \\ Charles R Greathouse IV, Jun 21 2017

For n=1..13 : a(n) = 2^(n-1). For n=14..26: a(n) = 2^(n-1) - 2^(n-14) = A000668(5)*2^(n-14).

A138831 n-th perfect number minus 1, written in base 2.

Original entry on oeis.org

101, 11011, 111101111, 1111110111111, 1111111111110111111111111, 111111111111111101111111111111111, 1111111111111111110111111111111111111

Offset: 1

Omar E. Pol, Apr 08 2008, Apr 09 2008, Apr 14 2008

Subset of A138148, cyclops numbers with binary digits, only.
Subset of A002113, palindromes in base 10.
a(n) has 2*A090748(n) digits 1.
The number of digits of a(n) is 2*A000043(n)-1, equal to A133033(n), the number of proper divisors of n-th perfect number.
a(n) = (A135627(n) written in base 2).

			n ... A000396(n) - 1 = A135627(n) ............. a(n)
1 ............ 6 - 1 = ...... 5 ............... 101
2 ........... 28 - 1 = ..... 27 .............. 11011
3 .......... 496 - 1 = .... 495 ............ 111101111
4 ......... 8128 - 1 = ... 8127 .......... 1111110111111
5 ..... 33550336 - 1 = 33550335 .... 1111111111110111111111111

Omar E. Pol, Determinacion geometrica de los numeros primos y perfectos.

Cf. A000043, A000396, A090748, A133033, A134808, A135627, A138131, A138148.

a(n) = A138148(A090748(n)).

A139246 Triangle read by rows: row n lists the proper divisors of n-th perfect number A000396(n).

Original entry on oeis.org

1, 2, 3, 1, 2, 4, 7, 14, 1, 2, 4, 8, 16, 31, 62, 124, 248, 1, 2, 4, 8, 16, 32, 64, 127, 254, 508, 1016, 2032, 4064, 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8191, 16382, 32764, 65528, 131056, 262112, 524224, 1048448, 2096896, 4193792, 8387584, 16775168, 1

Offset: 1

Omar E. Pol, Apr 22 2008, corrected Apr 25 2008

Rows n has A133033(n) terms.

The n-th row sum is the n-th perfect number A000396(n).

			Triangle begins:
  1, 2, 3
  1, 2, 4, 7, 14
  1, 2, 4, 8, 16, 31, 62, 124, 248
  1, 2, 4, 8, 16, 32, 64, 127, 254, 508, 1016, 2032, 4064
  ...

Omar E. Pol, Determinacion geometrica de los numeros primos y perfectos.

Cf. A000396, A018254, A018487, A133024, A133025, A133031, A133033, A135652, A135653, A135654, A135655, A139247.

Table[Most[Divisors[PerfectNumber[n]]],{n,6}]//Flatten (* Harvey P. Dale, Jul 08 2024 *)

cp's OEIS Frontend

A000043 Mersenne exponents: primes p such that 2^p - 1 is prime. Then 2^p - 1 is called a Mersenne prime.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Python

Formula

Extensions

A000396 Perfect numbers k: k is equal to the sum of the proper divisors of k.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Mathematica

PARI

Python

Formula

Extensions

A139306 Ultraperfect numbers: a(n) = 2^(2*p - 1), where p is A000043(n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A090748 Numbers k such that 2^(k+1) - 1 is prime.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

PARI

Formula

Extensions

A135650 Even perfect numbers written in base 2.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A135617 a(n) is the initial digit of n-th even perfect number.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A133024 Divisors of 8128, the 4th perfect number.