mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Miscellaneous Math (https://www.mersenneforum.org/forumdisplay.php?f=56)
-   -   search for MMM127 small factors? (https://www.mersenneforum.org/showthread.php?t=5661)

 Orgasmic Troll 2006-03-25 08:13

search for MMM127 small factors?

Would the allure of MM127's possible primality be diminished if a Catalan-Mersenne number was found to be composite? Has anyone searched for small factors of the CM numbers greater than MM127?

mild tangent:
I'm not aware if attempting to find small factors of these monstrous numbers is even feasible, so, if I'm talking out of my arse, leave your inflammatory comments at the door. Frankly, I'm too busy with my other math classes to go learning computational mathematics from scratch and buying \$70 books to do so, nor is the question compelling enough for me to go through that much toil. If you want to make toast but you're out of bread, you don't go out and plant wheat.

 alpertron 2006-03-25 12:44

Travis,

It's not a bad idea. Since MM127 is almost surely composite, MMM127 factors should not have the form 2*k*MM127+1.

My program to compute factors of googolplexplex could be adapted to perform trial division by small factors (say less than 10^12). If MMM127 has such a small factor, we are sure that MM127 is not prime.

 alpertron 2006-03-25 13:09

What I wrote in my previous post is not correct. If MM127 is equal to the product of primes a*b*c*..*z, then after dividing MMM127 by 2^a-1, 2^b-1, etc. (which are very large numbers whose factors have the form 2*k*a+1, 2*k*b+1, which are out of reach) we get the primitive factor.

The factors of this primitive factor have the form 2*k*MM127+1.

So if we cannot find a factor of MM127 we also cannot expect to find a factor of MMM127.

 R.D. Silverman 2006-03-25 15:50

[QUOTE=alpertron]What I wrote in my previous post is not correct. If MM127 is equal to the product of primes a*b*c*..*z, then after dividing MMM127 by 2^a-1, 2^b-1, etc. (which are very large numbers whose factors have the form 2*k*a+1, 2*k*b+1, which are out of reach) we get the primitive factor.

The factors of this primitive factor have the form 2*k*MM127+1.

So if we cannot find a factor of MM127 we also cannot expect to find a factor of MMM127.[/QUOTE]

This is correct.

 Orgasmic Troll 2006-03-25 17:05

Ahh, okay.

Thanks to both :)

 David John Hill Jr 2006-05-02 02:23

one assurence numerically speaking

If one could show x|(x-1)! evenly and with multiples of 5,
you will be quaranteed of finding factors .
So also for m^x 127.

 ewmayer 2006-05-02 16:28

[QUOTE=alpertron]The factors of this primitive factor have the form 2*k*MM127+1.[/QUOTE]
Good luck doing arithmetic modulo numbers of this size.

 ixfd64 2006-06-11 15:38

I think that testing one trial factor of MMM127 (2k * MM127 +1) takes roughly the same amount of computation as LL-testing MM127.

 All times are UTC. The time now is 10:42.