mersenneforum.org  

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

Reply
 
Thread Tools
Old 2009-07-22, 23:00   #23
Primeinator
 
Primeinator's Avatar
 
"Kyle"
Feb 2005
Somewhere near M52..

3·5·61 Posts
Default

Quote:
Originally Posted by David John Hill Jr View Post
I had been meaning to post this elsewhere , but this looks like a better place.

Of very rare occurence and usage.

Begin at (p-1)!+1= K*p (AS befitting Wilson's theorem.)

Perform K+1, then as given 2^p-1 and a corresponding 2^(p-1), then
2^(p-1) | K+1

In reverse , as an integer multiple of 2^(p-1) subtract 1, and one has K, the
Wilson's theorem proof coefficient.

Two cases where this appears to hold(and possibly on up by induction)
is 2^3-1 and 2^7-1.(and should therefor really be included in the given statement)


As 'academic' to the whole picture that this may appear, they are(exist) cases
where going the perfect way should be a lot faster than full scale wilson calculation.
Doesn't this still require knowing the value of p?

Last fiddled with by Primeinator on 2009-07-22 at 23:08 Reason: Sentence clarity
Primeinator is offline   Reply With Quote
Old 2009-07-23, 01:30   #24
Primeinator
 
Primeinator's Avatar
 
"Kyle"
Feb 2005
Somewhere near M52..

3×5×61 Posts
Default

Additionally, if we consider
(2^p -1)(2^{p-1})=\sum_{i=0}^{p-1} {2^i}  + \sum_{j=0}^{p-2} {2^j(2^p-1)}

then the number of distinct factors for the associated perfect number of any Mersenne prime can be given by:

factors = 1 + (p-1) + 1 + (p-2) + 1 = (2p-3) + 3 = 2*p factors

Just something interesting I just noticed.
Primeinator is offline   Reply With Quote
Old 2009-07-23, 07:20   #25
Kevin
 
Kevin's Avatar
 
Aug 2002
Ann Arbor, MI

433 Posts
Default

Quote:
Originally Posted by Primeinator View Post
Additionally, if we consider
(2^p -1)(2^{p-1})=\sum_{i=0}^{p-1} {2^i}  + \sum_{j=0}^{p-2} {2^j(2^p-1)}

then the number of distinct factors for the associated perfect number of any Mersenne prime can be given by:

factors = 1 + (p-1) + 1 + (p-2) + 1 = (2p-3) + 3 = 2*p factors

Just something interesting I just noticed.
That's pretty easy to see directly. Assuming 2^{p}-1 is prime, all of your factors are either one of $p$ powers of 2 (2^0,2^1,/ldots, 2^{p-1}), or one of $p$ powers of two times the associated Mersenne prime ((2^0*(2^{p}-1),2^1*(2^{p}-1),/ldots, 2^{p-1}*(2^{p}-1)), for $2p$ distinct factors.

/too drunk to bother with the tex tags
Kevin is offline   Reply With Quote
Old 2009-07-23, 08:09   #26
David John Hill Jr
 
David John Hill Jr's Avatar
 
Jun 2003
Pa.,U.S.A.

110001002 Posts
Default In response to 2nd to last entry

To clarify, I was not suggesting a shortcut for a search for a p in general. The examples are just that , as occuring.For examples much higher the numbers are too great to verify with my software, and so , to verify a pattern
of the division by some 2^(p-1), as going this way.
I was simply noting the occurence of the +1 to the K of Wilson and division
by the 2^(p-1) as being another whole number, and further as far as computing it might be a faster way around.


As to the original thread post, back to the last entry--------
David John Hill Jr 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:44 UTC 2021 up 10 days, 2:50, 0 users, load averages: 1.83, 2.02, 1.79

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.