Подвійне число Мерсенна

У математиці подвійне число Мерсенна — це число Мерсенна у формі

$M_{M_p}=2^{2^p-1}-1$

де p є простим.

Приклади

Перші чотири члени послідовності подвійних чисел Мерсенна є (Шаблон:OEIS):

$M_{M_2}=M_3=7$

$M_{M_3}=M_7=127$

$M_{M_5}=M_{31}=2147483647$

$M_{M_7}=M_{127}=170141183460469231731687303715884105727$

Подвійні прості числа Мерсенна

Подвійне число Мерсенна, яке є простим, називається подвійним простим числом. Оскільки число Мерсенна M_p може бути простим, лише якщо p є простим (див. Шаблон:Не перекладено для доказу), подвійне число Мерсенна Число $M_{M_p}$ може бути простим, лише якщо M_p саме по собі є простим числом Мерсенна. Для перших значень p, для яких M_p є простим, $M_{M_p}$, як відомо, просте для p = 2, 3, 5, 7, тоді як явні дільники $M_{M_p}$ були знайдені для p = 13, 17, 19 та 31

$p$	$M_p=2^p-1$	$M_{M_p}=2^{2^p-1}-1$	Розклад $M_{M_p}$
2	3	просте	7
3	7	просте	127
5	31	просте	2147483647
7	127	просте	170141183460469231731687303715884105727
11	не просте	не просте	47 × 131009 × 178481 × 724639 × 2529391927 × 70676429054711 × 618970019642690137449562111 × …
13	8191	не просте	338193759479 × 210206826754181103207028761697008013415622289 × …
17	131071	не просте	231733529 × 64296354767 × …
19	524287	не просте	62914441 × 5746991873407 × 2106734551102073202633922471 × 824271579602877114508714150039 × 65997004087015989956123720407169 × …
23	не просте	не просте	2351 × 4513 × 13264529 × 76899609737 × …
29	не просте	не просте	1399 × 2207 × 135607 × 622577 × 16673027617 × 4126110275598714647074087 × …
31	2147483647	не просте	295257526626031 × 87054709261955177 × 242557615644693265201 × 178021379228511215367151 × …
37	не просте	не просте
41	не просте	не просте
43	не просте	не просте
47	не просте	не просте
53	не просте	не просте
59	не просте	не просте
61	2305843009213693951	невідомо

Таким чином, найменшим кандидатом на наступне подвійне просте число Мерсенна є $M_{M_{61}}$, або 2^{2305843009213693951} − 1. Будучи приблизно 1,695Шаблон:E, це число занадто велике для будь-якого відомого на даний момент теста простоти. У нього немає основного дільника нижче 4 × 10³³. Є імовірність, що немає інших подвійних простих чисел Мерсенна, крім чотирьох відомих.

Найменшими простими множниками $M_{M_p}$ (де p є n-им простим) є :7, 127, 2147483647, 170141183460469231731687303715884105727, 47, 338193759479, 231733529, 62914441, 2351, 1399, 295257526626031, 18287, 106937, 863, 4703, 138863, 22590223644617, … (наступний терм > 4 × 10³³) (Шаблон:OEIS)

Гіпотеза про число Каталана–Мерсенна

Рекурсивно визначена послідовність

$c_0=2$

$c_{n+1}=2^{c_n}-1=M_{c_n}$

називається послідовністю чисел Каталана-Мерсенна. Першими членами послідовності є (Шаблон:OEIS):

$c_0=2$

$c_1=2^2-1=3$

$c_2=2^3-1=7$

$c_3=2^7-1=127$

$c_4=2^{127}-1=170141183460469231731687303715884105727$

$c_5=2^{170141183460469231731687303715884105727}-1\approx 5.454\times 10^{51217599719369681875006054625051616349}\approx 10^{10^{37.7094}}$

Шаблон:Не перекладено відкрив цю послідовність після відкриття простоти $M_{127}=c_4$ Едуаром Люка у 1876. Каталан припустив, що вони є простими «до певної межі». Хоча перші п'ять членів є простими, жодні відомі методи не можуть довести, що будь-які подальші члени є простими (у будь-який розумний час) просто тому, що вони занадто великі. Однак, якщо $c_5$ не є простим, є шанс виявити це, обчисливши $c_5$ за невеликим простим модулем $p$ (з використанням рекурсивного Шаблон:Не перекладено). Якщо отриманий залишок дорівнює нулю, $p$ представляє дільник $c_5$ і, це таким чином, спростує його простоту. Оскільки $c_5$ є числом Мерсенна, такий простий множник $p$ мав би мати вигляд $2k{c}_4+1$. Крім того, оскільки $2^n-1$ є складеним, коли $n$ є складеним, виявлення складеного члена в послідовності виключає можливість будь-яких інших простих чисел в послідовності.

У масовій культурі

У фільмі Futurama Звір з мільярдом спин, подвійне число Мерсенна $M_{M_7}$ коротко видно у «елементарному доказі гіпотези Гольдбаха ». У фільмі це число відоме як «марсіанське просте».

Див. також

• Шаблон:Не перекладено
• Шаблон:Не перекладено
• Числа Ферма
• Досконале число
• Просте число Віферіха

Джерела

• Шаблон:Citation
• Шаблон:MathWorld
• Tony Forbes, A search for a factor of MM61.
• Status of the factorization of double Mersenne numbers
• Double Mersennes Prime Search
• Operazione Doppi Mersennes