Math Is Fun Forum

Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫  π  -¹ ² ³ °

You are not logged in.

#1 2019-01-08 12:36:40

Member Registered: 2013-01-22
Posts: 149

Sophie Germain primes and Mersenne number divisors

It is known from Wikipedia that:

“ If a Sophie Germain prime p is congruent to 3 (mod 4), then it’s matching safe prime 2p + 1 will be a divisor of the Mersenne number 2^p - 1.”

And:

“ Fermat's little theorem states that if p is a prime number, then for any integer a, the number a^p − a is an integer multiple of p.”

However if an integer, 2p + 1, where p is a prime number, is a divisor of the Mersenne number 2^p - 1, then 2p + 1 is a safe prime and p it’s matching Sophie Germain prime.

Divisors of the Mersenne number 2^p - 1 can’t be < p if p is a prime number. Therefore if 2p +1 is a divisor of 2^p - 1 it has no divisors as p is > the square root of 2p + 1. This will therefore make 2p + 1 a safe prime and p it’s matching Sophie Germain prime.

For example 11 which is prime, (11*2) + 1 = 23. 2^11 - 1 is divisible by 23 making 11 a Sophie Germain prime and 23 it’s matching safe prime.

"Time not important. Only life important." - The Fifth Element 1997

Offline
{"ft_lang_label":"__label__en","ft_lang_prob":0.76917803,"math_prob":0.9855852,"size":994,"snap":"2022-05-2022-21","text_gpt3_token_len":311,"char_repetition_ratio":0.14949495,"word_repetition_ratio":0.12440191,"special_character_ratio":0.3189135,"punctuation_ratio":0.09210526,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9807403,"pos_list":[0,1,2],"im_url_duplicate_count":[null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-01-18T10:36:57Z\",\"WARC-Record-ID\":\"<urn:uuid:2af8516f-2837-41b3-948a-8472cbfab2cc>\",\"Content-Length\":\"7750\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:7e975355-9d3b-43ee-a1b3-07910903db2e>\",\"WARC-Concurrent-To\":\"<urn:uuid:714634a6-3e01-4f97-88b2-75ef27ad73f9>\",\"WARC-IP-Address\":\"157.245.127.48\",\"WARC-Target-URI\":\"https://mathisfunforum.com/viewtopic.php?pid=406681\",\"WARC-Payload-Digest\":\"sha1:72OHBK5QJ4QNI53WCJSDSGMCG4JRWBZH\",\"WARC-Block-Digest\":\"sha1:HIVIDUKDIY5CWKKI3UXZQAHSITG32M2U\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-05/CC-MAIN-2022-05_segments_1642320300810.66_warc_CC-MAIN-20220118092443-20220118122443-00522.warc.gz\"}"}