View Single Post
Old 2020-08-16, 10:34   #4
JeppeSN's Avatar
Jan 2016

23×23 Posts

Agree with Batalov; for proving primality of M_p, since the full factorization of M_p + 1 is trivial, we do not gain anything from the factorization of M_p - 1.

Of course, it may be fun to find the factorization anyway; here is a factordb query for tiny examples.

JeppeSN is offline   Reply With Quote