Multiperfect Number

Contribute to this entry

A number n is k-multiperfect (also called a k-multiply perfect number or k-pluperfect number) if

 sigma(n)=kn

for some integer k>2, where sigma(n) is the divisor function. The value of k is called the class. The special case k=2 corresponds to perfect numbers P_2, which are intimately connected with Mersenne primes (OEIS A000396). The number 120 was long known to be 3-multiply perfect (P_3) since

 sigma(120)=3·120.

The following table gives the first few P_n for n=2, 3, ..., 6.

2A0003966, 28, 496, 8128, ...
3A005820120, 672, 523776, 459818240, 1476304896, 51001180160
4A02768730240, 32760, 2178540, 23569920, ...
5A04606014182439040, 31998395520, 518666803200, ...
6A046061154345556085770649600, 9186050031556349952000, ...

Lehmer (1900-1901) proved that P_3 has at least three distinct prime factors, P_4 has at least four, P_5 at least six, P_6 at least nine, and P_7 at least 14, etc.

As of 1911, 251 pluperfect numbers were known (Carmichael and Mason 1911). As of 1929, 334 pluperfect numbers were known, many of them found by Poulet. Franqui and García (1953) found 63 additional ones (five P_5s, 29 P_6s, and 29 P_7s), several of which were known to Poulet but had not been published, bringing the total to 397. Brown (1954) discovered 110 pluperfects, including 31 discovered but not published by Poulet and 25 previously published by Franqui and García (1953), for a total of 482. Franqui and García (1954) subsequently discovered 57 additional pluperfects (3 P_6s, 52 P_7s, and 2 P_8s), increasing the total known to 539.

An outdated database is maintained by R. Schroeppel, who lists 2094 multiperfects, and up-to-date lists by J. L. Moxham and A. Flammenkamp. It is believed that all multiperfect numbers of index 3, 4, 5, 6, and 7 are known. The number of known n-multiperfect numbers are 1, 37, 6, 36, 65, 245, 516, 1134, 2036, 644, 1, 0, ... (Moxham 2001, Flammenkamp, Woltman 2000). Moxham (2000) found the largest known multiperfect number, approximately equal to 7.3×10^(1345), on Feb. 13, 2000.

If n is a P_5 number such that 3n, then 3n is a P_4 number. If 3n is a P_(4k) number such that 3n, then n is a P_(3k) number. If n is a P_3 number such that 3 (but not 5 and 9) divides n, then 45n is a P_4 number.

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.