mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Math

Reply
 
Thread Tools
Old 2009-07-19, 02:48   #1
jasong
 
jasong's Avatar
 
"Jason Goatcher"
Mar 2005

350710 Posts
Default Are the factors of high perfect numbers known?

I accept that when you find a Mersenne prime that (2^n-1)(2^(n-1)) is a perfect number, but is there a simple way to calculate the factors of the perfect number. For instance, is there a systematic way to calculate the factors of the perfect number related to M47?
jasong is offline   Reply With Quote
Old 2009-07-19, 03:06   #2
axn
 
axn's Avatar
 
Jun 2003

117328 Posts
Default

The factors will either be a) powers of 2 or b) powers of 2 times Mp.

a) 1, 2, 2^2, ... 2^(n-1)
b) 2^n-1, 2*(2^n-1), 2^2*(2^n-1), ... 2^(n-1)*(2^n-1)
axn is offline   Reply With Quote
Old 2009-07-19, 03:19   #3
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

17·251 Posts
Default

Quote:
Originally Posted by jasong View Post
I accept that when you find a Mersenne prime that (2^n-1)(2^(n-1)) is a perfect number, but is there a simple way to calculate the factors of the perfect number. For instance, is there a systematic way to calculate the factors of the perfect number related to M47?
You just answered your question. Think for a moment about the factorization of each of these sides: the left is the Mersenne prime, and so by definition is prime. The right is a power of 2, which obviously has no factors besides 2. So the prime factorization of an even perfect number is always 2^(p-1)*(2^p-1)
Mini-Geek is offline   Reply With Quote
Old 2009-07-19, 03:43   #4
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

3·373 Posts
Default

I think Jason was asking about all of the factors, not just the prime factors. The answer of axn is correct. His last factor in part b is the number itself, not a proper factor.
philmoore is offline   Reply With Quote
Old 2009-07-19, 03:49   #5
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

17·251 Posts
Default

Quote:
Originally Posted by philmoore View Post
I think Jason was asking about all of the factors, not just the prime factors. The answer of axn is correct.
Oh, ok. Then yeah looks like axn's answer is correct.
Quote:
Originally Posted by philmoore View Post
His last factor in part b is the number itself, not a proper factor.
He also lists 1 as the first factor in part a, so he's apparently including the trivial factors (1, itself) as well.
Mini-Geek is offline   Reply With Quote
Old 2009-07-19, 04:31   #6
Mr. P-1
 
Mr. P-1's Avatar
 
Jun 2003

7·167 Posts
Default

In general, if you know the prime factorization of a number, then you can trivially enumerate all of its factors - they are precisely the products of its prime factors raised to powers no higher than in the factorization.
Mr. P-1 is offline   Reply With Quote
Old 2009-07-19, 17:03   #7
lavalamp
 
lavalamp's Avatar
 
Oct 2007
Manchester, UK

25148 Posts
Default

Quote:
Originally Posted by Mini-Geek View Post
He also lists 1 as the first factor in part a, so he's apparently including the trivial factors (1, itself) as well.
1 + 2 + 3 = 6

You would not include 1?
lavalamp is offline   Reply With Quote
Old 2009-07-21, 04:29   #8
jasong
 
jasong's Avatar
 
"Jason Goatcher"
Mar 2005

350710 Posts
Default

Quote:
Originally Posted by axn View Post
The factors will either be a) powers of 2 or b) powers of 2 times Mp.

a) 1, 2, 2^2, ... 2^(n-1)
b) 2^n-1, 2*(2^n-1), 2^2*(2^n-1), ... 2^(n-1)*(2^n-1)
Just because I'm anal, let's test it. :) Since only (a) includes 1, I'll assume that both a and b are supposed to be used together.

The first Mersenne prime is 3, 2^2-1. This makes the first perfect number (2^2-1)(2^(2-1))=3*2=6.

So for a this gives us 1 and 2. For b you get 3.

I'm addicted to Runescape, so I'll let others worry about maybe testing the other numbers.

Btw, I'm biguglydude3, and I hang out on world 98. :)
jasong is offline   Reply With Quote
Old 2009-07-21, 04:46   #9
CRGreathouse
 
CRGreathouse's Avatar
 
Aug 2006

3×1,993 Posts
Default

Quote:
Originally Posted by jasong View Post
The first Mersenne prime is 3, 2^2-1. This makes the first perfect number (2^2-1)(2^(2-1))=3*2=6.

So for a this gives us 1 and 2. For b you get 3.
No, for b you get 3 and 6.

Quote:
Originally Posted by jasong View Post
Just because I'm anal, let's test it. :)
Isn't it obvious?
CRGreathouse is offline   Reply With Quote
Old 2009-07-21, 11:14   #10
R.D. Silverman
 
R.D. Silverman's Avatar
 
Nov 2003

164448 Posts
Default

Quote:
Originally Posted by lavalamp View Post
1 + 2 + 3 = 6

You would not include 1?
Factors come in PAIRS; N = ab.

If you list 1, then you should N.
R.D. Silverman is offline   Reply With Quote
Old 2009-07-21, 18:09   #11
alpertron
 
alpertron's Avatar
 
Aug 2002
Buenos Aires, Argentina

2×683 Posts
Default

Quote:
Originally Posted by R.D. Silverman View Post
Factors come in PAIRS; N = ab.

If you list 1, then you should N.
Except when a=b. Let's get the factors of 9. 1 is paired with 9, and 3 is paired with...
alpertron is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Odd Perfect Numbers davar55 Miscellaneous Math 16 2011-01-29 01:53
GMP-ECM crashing for large numbers or high RAM use lavalamp Software 6 2011-01-06 05:29
Small range with high density of factors hbock Lone Mersenne Hunters 1 2004-03-07 19:51
Perfect Numbers MajUSAFRet Math 3 2003-12-13 03:55
Odd Perfect Numbers Zeta-Flux Math 1 2003-05-28 19:41

All times are UTC. The time now is 08:21.


Mon Aug 2 08:21:40 UTC 2021 up 10 days, 2:50, 0 users, load averages: 1.64, 1.99, 1.77

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.