mersenneforum.org  

Go Back   mersenneforum.org > New To GIMPS? Start Here! > Information & Answers

Reply
 
Thread Tools
Old 2019-01-06, 19:41   #1
Blackadder
 
Blackadder's Avatar
 
"Angelino Desmet"
Mar 2018
Belgium

2·33 Posts
Default Why 2^p-1 and not 2^p-2?

Why is 2p-1 special, and not 2p-2?
Blackadder is offline   Reply With Quote
Old 2019-01-06, 19:43   #2
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

10010111011012 Posts
Default

Quote:
Originally Posted by Blackadder View Post
Why is 2p-1 special, and not 2p-2?
Because 2p-2 is even?
ET_ is offline   Reply With Quote
Old 2019-01-06, 19:45   #3
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

23·32·137 Posts
Default

In what sense special?
2p-2 is special in its own way, too
Batalov is offline   Reply With Quote
Old 2019-01-06, 19:59   #4
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

26×131 Posts
Default

Quote:
Originally Posted by Batalov View Post
In what sense special?
2p-2 is special in its own way, too
it's twice a repunit, it shows an iteration formula for Mersenne numbers, it's 6 mod 8 for p>2 . etc.
science_man_88 is offline   Reply With Quote
Old 2019-01-06, 20:02   #5
Blackadder
 
Blackadder's Avatar
 
"Angelino Desmet"
Mar 2018
Belgium

2·33 Posts
Default

Quote:
Originally Posted by ET_ View Post
Because 2p-2 is even?
Is that rhetorical? I really should get back into my math books.

Quote:
Originally Posted by Batalov View Post
In what sense special?
2p-2 is special in its own way, too
Special as in: why are we calculating for 2p-1 and not 2p-2 as well. I guess the latter can't be prime?

Last fiddled with by Blackadder on 2019-01-06 at 20:02
Blackadder is offline   Reply With Quote
Old 2019-01-06, 20:17   #6
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

26×131 Posts
Default

Quote:
Originally Posted by Blackadder View Post
Is that rhetorical? I really should get back into my math books.

Special as in: why are we calculating for 2p-1 and not 2p-2 as well. I guess the latter can't be prime?
no number divisible by a number other than 1 or itself is prime 2p-2 = 2(2p-1-1) therefore is divisible by 2 except when p-1 = 1 and therefore p=2 -- 2p-1-1 = 1

Last fiddled with by science_man_88 on 2019-01-06 at 20:18
science_man_88 is offline   Reply With Quote
Old 2019-01-06, 20:39   #7
Blackadder
 
Blackadder's Avatar
 
"Angelino Desmet"
Mar 2018
Belgium

2×33 Posts
Default

Quote:
Originally Posted by science_man_88 View Post
no number divisible by a number other than 1 or itself is prime. Now, 2p-2 = 2(2p-1-1) therefore is divisible by 2

there is only one exception: when p-1 = 1 (and p=2) -- 2p-1-1 = 1 doesn't hurt primality.
That makes sense. Thank you.
Blackadder is offline   Reply With Quote
Old 2019-01-06, 20:44   #8
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

23×32×137 Posts
Default

Quote:
Originally Posted by ET_ View Post
Because 2p-2 is even?
Just to state the obvious, what Luigi 'ET_' said:
the people-speak word 'even' means (in math-speak) 'divisible by 2'. No more, no less.


If something is even - it cannot be prime, except if something is '2' itself.
Batalov is offline   Reply With Quote
Reply

Thread Tools


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


Wed Jul 6 10:25:06 UTC 2022 up 83 days, 8:26, 0 users, load averages: 0.94, 1.17, 1.16

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2022, 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.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔