メルセンヌ数

メルセンヌ数︵メルセンヌすう、英: Mersenne number︶とは、2の冪よりも

1

小さい自然数、すなわち

2 n - 1

︵

n

は自然数︶の形の自然数のことである。これを

M n

で表すことが多い。メルセンヌ数を小さい順に列挙すると 1, 3, 7, 15, 31, 63, 127, 255, 511, 1023, 2047, 4095, 8191, ... (オンライン整数列大辞典の数列 A000225) となる。メルセンヌ数は2進法表記で

n

桁の

11 \dots 11

、すなわちレピュニットとなる。

M n = 2 n - 1

が素数ならば

n

もまた素数であるが、逆は成立しない (

M 11 = 2047 = 23 \times 89

)。素数であるメルセンヌ数をメルセンヌ素数︵メルセンヌそすう、英: Mersenne prime︶という。なお、﹁メルセンヌ数﹂という語で、

n

が素数であるもののみを指したり^[1]、さらに狭義の意味でメルセンヌ素数を指す場合もある^[注釈 1]。

基本的な性質[編集]

M n

が素数ならば

n

もまた素数であることは、次の式から分かる^[^2]^[3]‥

2 ab - 1 = (2 a - 1) (1 + 2 a + 2 2 a

+ \dots + 2 (b - 1) a) .

対偶命題﹁

n

が合成数ならば

M n

は合成数である﹂が示される。また、この等式より、

m | n

のとき

M m | M n

である。一方、

p

が素数でも

M p

が素数とは限らない。最小の反例は

p = 11

の場合であり、

M 11 = 2047 = 23 \times 89

が成り立つ。 (奇)素数

p

に対して

M p

が素数であるかどうかは、リュカ-レーマー・テストによって判定できる (#素数判定法節を参照)。

完全数[編集]

M p = 2 p - 1

が素数ならば、

2 p - 1 (2 p - 1)

は完全数である^[2]^[4]。この定理はすでに紀元前3世紀頃のユークリッド原論で証明されていた^[5]。したがって、完全数の探索はメルセンヌ素数の探索に終始された。

2 p - 1 (2 p - 1)

は明らかに偶数であるが、偶数の完全数でこの生成式から得られるもの以外はないのか2000年間にわたって未解決であったが、18世紀にオイラーによりこの形に限ることが証明された^[4]。

メルセンヌ数の素因数[編集]

p

を素数とする。 ●

M p

の素因数は

2 p

を法として

1

と合同^[6]、かつ

8

を法として

1

または

- 1

と合同である^[7]。 ●

p \equiv 3 (m o d 4)

のとき、

M p

が

2 p + 1

で割れることと、

2 p + 1

が素数であることは同値である^[7]。 ●ある計算可能な正定数

c

が存在して、

M p

の最大素因数を

q

について、

q \geq cp l o g p

^[8]。

メルセンヌ素数[編集]

メルセンヌ素数︵メルセンヌそすう、Mersenne prime︶とは、素数であるメルセンヌ数のことである。 2022年2月現在知られている最大のメルセンヌ素数は、2018年12月に発見された、それまでに分かっている中で51番目のメルセンヌ素数

282589933 - 1

であり、十進法で表記したときの桁数は2486万2048桁に及ぶ^[GIMPS 1]。

メルセンヌ素数の発見の歴史[編集]

古代～中世[編集]

メルセンヌ素数の探求は紀元前3世紀ごろに端を発する。古代エジプトの数学者エウクレイデスは﹃原論﹄の中で、﹁

2 n - 1

が素数ならば、

2 n - 1 (2 n - 1)

は完全数である﹂ことを証明した^[9]。ここから、メルセンヌ素数の探索は完全数の探索にも繋がることとなる^[10]^[注釈 2]。小さいメルセンヌ素数がいつから知られているかは定かではないが、少なくとも最初の4つの完全数はゲラサのニコマコスの﹃算術入門﹄ですでに言及されている^[11]^[12]。5番目から7番目の完全数は、13世紀イスラムの数学者イブン・ファッルース (fr:Ibn Fallus) が論文に記している^[13]。ヨーロッパでは、5番目の完全数が1456年と1461年の日付が付された古い写本に記されて^[14]^[15^]おり、6番目と7番目のメルセンヌ素数および完全数も1603年にピエトロ・カタルディ︵英: Pietro Cataldi︶によって発見されている^[13]。

メルセンヌの予想[編集]

メルセンヌの予想の表: p ≦ 263

〇：M_pが素数の場合／×：M_pが合成数の場合水色が正解、ピンク色が間違いを示す^[16]。
p	2	3	5	7	11	13	17	19
M_p	〇	〇	〇	〇	×	〇	〇	〇
p	23	29	31	37	41	43	47	53
M_p	×	×	〇	×	×	×	×	×
p	59	61	67	71	73	79	83	89
M_p	×	〇	×	×	×	×	×	〇
p	97	101	103	107	109	113	127	131
M_p	×	×	×	〇	×	×	〇	×
p	137	139	149	151	157	163	167	173
M_p	×	×	×	×	×	×	×	×
p	179	181	191	193	197	199	211	223
M_p	×	×	×	×	×	×	×	×
p	227	229	233	239	241	251	257	263
M_p	×	×	×	×	×	×	×	×

1644年、マラン・メルセンヌは﹁素数

p

で

2 p - 1

が素数になるのは、

p ≦ 257

では

p = 2, 3, 5, 7,

13, 17, 19, 31, 67, 127, 257

の11個の場合だけである﹂という予想を公表した^[13]^[17]。しかしメルセンヌ自身はその予想を証明することができず、しかもその予想の一部は誤っていた。成果を見るのはメルセンヌが予想を公表してから128年後、1772年、オイラー︵

p = 31

では素数︶^[2]^[18]。その次の成果はさらに104年後、1876年、リュカ︵効率的な素数判定法リュカ・テスト︵英語版︶を考案、

p = 67

では素数でない、

p = 1

27

では素数^[2]^[19]︶であった。その後リュカ・テストは改良が加えられ、メルセンヌが予想した範囲にない3個が付け加えられた︵

p = 61

︵1883年︶、

p = 89

︵1911年︶、

p =

107

︵1914年︶︶。メルセンヌが予想した最後の数

p = 2

57

について決着がついたのは1922年のことであり、

p = 2

57

も合成数だった^[2]^[20]。結局メルセンヌの11個の予想のうち2つは外れた。なおかつ、間に予想できなかった3つが含まれていたことを考えれば予想は正しかったとはいえないが、その後の歴史を見ても大きな原動力となり先駆的であったことに敬意を表し、素数であるメルセンヌ数をメルセンヌ素数という^[^要出典]。 1903年 10月、アメリカの数学者フランク・ネルソン・コールは実際の素因数分解を探し求め、ニューヨークで開かれたアメリカ数学会の会議で

193707721 \times 761838257287

を黒板に計算し、

M 67

と一致することを証明した。この間一言もしゃべらず、席に戻った後、少し間を置いて拍手が沸き起こったと伝えられている^[^21]。 1952年、ラファエル・M・ロビンソンが SWAC を利用して

M 521

から

M 2281

まで、5つのメルセンヌ素数を発見^[2^]して以降、発見にはコンピュータが使用されており、コンピュータの進歩と共に新たなメルセンヌ素数が発見されつつある。

GIMPSによる発見[編集]

1996年、メルセンヌ素数を発見することを目的として作られた分散コンピューティングによるプロジェクト GIMPS が発足し、35番目のメルセンヌ素数

M 1, 398, 269

︵1996年11月13日、Joel Armengaud^[GIMPS 2]︶以来、GIMPSによるメルセンヌ素数の発見が続いている。 2008年 8月23日、GIMPS は46番目の素数候補が、カリフォルニア大学ロサンゼルス校の数学部のコンピュータによって発見されたと報じた^[要出典]。この素数は電子フロンティア財団が賞金を懸けた1000万桁以上の最初の素数となるため、GIMPS によって同校数学部に50,000ドル、慈善事業に25,000ドル、残りを前の6つのメルセンヌ素数の発見者へ分配することになった^[GIMPS 3^]。 2008年9月6日、GIMPS は45番目の素数候補が、ドイツで発見されたと報じた^[要出典]。これは、GIMPS によって発見された中では、発見順序と桁数が逆転した初めてのケースである。

素数判定法[編集]

知られている素数の中で最大のものが1876年以降ほぼ一貫してメルセンヌ素数である理由は、この判定法にある^[要出典]。

リュカ・テスト[編集]

p

が

(4 j + 3)

型の素数のとき、

S 0 = 3

,

S n =

S n - 1 2 - 2

(n \geq 1)

で

{S n}

を定義すると、

$M_{p}\not \mid S_{k}\ (0\leqq k\leqq p-2)$ ならば、 $M p$ は合成数である
$M_{p}\mid S_{p-2}$ ならば、 $M p$ は素数である^[22]^[23]^[24]

証明については「リュカ・テストの証明」を参照

アルゴリズム[編集]

アルゴリズムは以下の擬似コードで表される。

入力: p:  $(4 j + 3)$  型の素数であるテスト対象の整数
出力: PRIME:素数の場合, COMPOSIT:合成数の場合
Lucas_Test(p):
    var s = 3
    var MP = (1 << p) − 1
    for n in range(2, p):
        s = (s² − 2) % MP
    if s == 0 then:
        return PRIME
    else:
        return COMPOSIT

リュカ–レーマー・テスト[編集]

$p$ が奇素数のとき、 $S 0 = 4$ , $S n = S n -1 2 - 2$ $(n \geq 1)$ で ${S n}$ を定義すると、

$M_{p}\not \mid S_{k}\ (0\leqq k\leqq p-2)$ ならば、 $M p$ は合成数である
$M_{p}\mid S_{p-2}$ ならば、 $M p$ は素数である^[25]^[26]^[27]

証明については「リュカ–レーマー・テストの証明」を参照

リュカ–レーマー・テストは二進計算機用のアルゴリズムに向いており、コンピュータによるメルセンヌ素数の発見には、この判定法が用いられてきた。例えば、

2 p \equiv 1

(m o d M p)

より、

A \cdot 2 p

+ B \equiv A + B

(m o d M p)

が成り立つので、

M p

で割る割り算の代わりに、二進法で

p

桁のシフト演算と足し算だけで計算できる。

アルゴリズム[編集]

アルゴリズムは以下の擬似コードで表される。

入力: p:奇素数であるテスト対象の整数
出力: PRIME:素数の場合, COMPOSIT:合成数の場合
Lucas_Lehmer_Test(p):
    var s = 4
    var MP = (1 <<p) − 1
    fornin range(2, p):
        s = (s² − 2) % MP
    if s == 0 then:
        return PRIME
    else:
        return COMPOSIT

入力: p:奇素数であるテスト対象の整数
出力: PRIME:素数の場合, COMPOSIT:合成数の場合
Lucas_Lehmer_Test_FAST(p):
    var s = 4
    var m = 2^p − 1
    fornin range(2, p):
        var s2 = s × s
        s = (s2 &m) + (s2 >>p)
        if s >= m then
            s = s − m
        s = s − 2
    if s == 0 then
        return PRIME
    else
        return COMPOSIT

メルセンヌ素数の一覧[編集]

2021年10月現在、メルセンヌ素数は51個まで知られている。ただし、メルセンヌ素数としての番号が確定しているものは48番目までであり、

p = 2, 3, 5, 7, 13, 17, 19, 31, 61,

89, 107, 127, 521, 607, 1279, 22

03, 2281, 3217, 4253, 4423, 968

9, 9941, 11213, 19937, 21701, 2

3209, 44497, 86243, 110503, 132

049, 216091, 756839, 859433, 12

57787, 1398269, 2976221, 302137

7, 6972593, 13466917, 20996011,

24036583, 25964951, 30402457,

32582657, 37156667, 42643801, 4

3112609, 57885161

︵オンライン整数列大辞典の数列 A000043︶における

M p

がそうである。さらに49, 50, 51番目の候補として

p = 74207281, 77232917, 82589

933

が挙がっており、間に素数がないかどうか検証中である。メルセンヌ素数は小さい順番から並べると 3, 7, 31, 127, 8191, 131071, 524287, 2147483647, ... (A000668) となる。

#	$p$	$M p$ の桁数	発見日	発見者
1	2	1	紀元前500年?^[28]
2	3	1	紀元前500年?^[28]
3	5	2	紀元前275年?^[28]
4	7	3	紀元前275年?^[28]
5	13	4	1456年^[10]	不明^[10]
6	17	6	1603年^[13]	ピエトロ・カタルディ（英語版）
7	19	6	1603年^[13]	ピエトロ・カタルディ
8	31	10	1772年	レオンハルト・オイラー
9	61	19	1883年	イヴァン・パヴシン（英語版）
10	89	27	1911年	R・E・パワーズ（英語版）
11	107	33	1914年	R・E・パワーズ^[29]
12	127	39	1876年	エドゥアール・リュカ
13	521	157	1952年1月30日	ラファエル・M・ロビンソン（英語版）, 使用：SWAC
14	607	183	1952年1月30日	ラファエル・M・ロビンソン
15	1,279	386	1952年6月25日	ラファエル・M・ロビンソン
16	2,203	664	1952年10月7日	ラファエル・M・ロビンソン
17	2,281	687	1952年10月9日	ラファエル・M・ロビンソン
18	3,217	969	1957年9月8日	ハンス・リーゼル, 使用：BESK
19	4,253	1,281	1961年11月3日	アレクサンダー・フルウィッツ, 使用：IBM 7090
20	4,423	1,332	1961年11月3日	アレクサンダー・フルウィッツ
21	9,689	2,917	1963年5月11日	ドナルド・ギリース, 使用：ILLIAC II
22	9,941	2,993	1963年5月16日	ドナルド・ギリース
23	11,213	3,376	1963年6月2日	ドナルド・ギリース
24	19,937	6,002	1971年3月4日	ブライアント・タッカーマン（英語版）, 使用：IBM 360/91
25	21,701	6,533	1978年10月30日	ランドン・カート・ノル（英語版） & ローラ・ニッケル, 使用：CDC Cyber 174
26	23,209	6,987	1979年2月9日	ランドン・カート・ノル
27	44,497	13,395	1979年4月8日	ハリー・ネルソン & デイヴィッド・スローウィンスキー（英語版）
28	86,243	25,962	1982年9月25日	デイヴィッド・スローウィンスキー
29	110,503	33,265	1988年1月28日	ウォルター・コルキット & ルーク・ウェルシュ
30	132,049	39,751	1983年9月19日^[28]	デイヴィッド・スローウィンスキー
31	216,091	65,050	1985年9月1日^[28]	デイヴィッド・スローウィンスキー
32	756,839	227,832	1992年2月19日	デイヴィッド・スローウィンスキー & ポール・ゲイジ（英語版）使用：Harwell Lab Cray-2^[30]
33	859,433	258,716	1994年1月4日^[31]	デイヴィッド・スローウィンスキー & ポール・ゲイジ
34	1,257,787	378,632	1996年9月3日	デイヴィッド・スローウィンスキー & ポール・ゲイジ^[32]
35	1,398,269	420,921	1996年11月13日	GIMPS / Joel Armengaud^{[GIMPS 2]}
36	2,976,221	895,932	1997年8月24日	GIMPS / Gordon Spence^{[GIMPS 4]}
37	3,021,377	909,526	1998年1月27日	GIMPS / Roland Clarkson^{[GIMPS 5]}
38	6,972,593	2,098,960	1999年6月1日	GIMPS / Nayan Hajratwala^{[GIMPS 6]}
39	13,466,917	4,053,946	2001年11月14日	GIMPS / Michael Cameron^{[GIMPS 7]}
40	20,996,011	6,320,430	2003年11月17日	GIMPS / Michael Shafer^{[GIMPS 8]}
41	24,036,583	7,235,733	2004年5月15日	GIMPS / Josh Findley^{[GIMPS 9]}
42	25,964,951	7,816,230	2005年2月18日	GIMPS / Martin Nowak et al.^{[GIMPS 10]}
43	30,402,457	9,152,052	2005年12月15日	GIMPS / カーティス・クーパー（英語版）, Steven Boone^{[GIMPS 11]}
44	32,582,657	9,808,358	2006年9月4日	GIMPS / カーティス・クーパー, Steven Boone^{[GIMPS 12]}
45	37,156,667	11,185,272	2008年9月6日	GIMPS / Hans-Michael Elvenich^{[GIMPS 3]}
46	42,643,801	12,837,064	2009年4月12日	GIMPS / Odd Magnar Strindmo
47	43,112,609	12,978,189	2008年8月23日	GIMPS / エドソン・スミス^{[GIMPS 3]}
48	57,885,161	17,425,170	2013年1月25日	GIMPS / カーティス・クーパー^[33]^{[GIMPS 13]}
^{[* 1]}	74,207,281	22,338,618	2016年1月7日	GIMPS / カーティス・クーパー^{[GIMPS 14]}
^{[* 1]}	77,232,917	23,249,425	2017年12月26日	GIMPS / Jonathan Pace^{[GIMPS 15]}
^{[* 1]}	82,589,933	24,862,048	2018年12月7日	GIMPS / Patrick Laroche^{[GIMPS 1]}

^ ^a ^b ^c 49番目以降はメルセンヌ素数としての順番が確定していない。

未解決問題[編集]

メルセンヌ素数は無数に存在するか？
素数 $p$ に対して $M p$ が合成数であるとき、これをメルセンヌ合成数と呼ぶことにして、それは無数に存在するか？
平方因子を持つメルセンヌ数 $M p$ （ $p$ は素数）が存在するか？
$n$ を奇数とするとき、次の3つの条件のうち2つが満たされれば、残りの1つも満足されると予想されており、 $n < 10 5$ に対してこの予想は正しいと確認されている^[34]。

$M n$ が素数
$n = 2 k \pm 1$ または $4 k \pm 3$
$(2 n + 1)/3$ が素数

脚注[編集]

[脚注の使い方]

注釈[編集]

(一)^ ﹃岩波数学辞典﹄第3版 180E ではそのようになっている。一松 (2007, p. 73) によれば、これは日本のごく一部での用法であるらしい。﹃岩波数学辞典﹄第4版 194D では、メルセンヌ数とメルセンヌ素数を使い分けている。 (二)^

2 n - 1 (2 n - 1)

は偶数であるため、この式は奇数の完全数について何も言及しない。また、偶数の完全数がこの形に限られることは18世紀にレオンハルト・オイラーが証明するまで未解決であった。

出典[編集]

(一)^ Weisstein, Eric W.. “Mersenne Number” (英語). mathworld.wolfram.com. 2022年2月18日閲覧。 (二)^ ^a ^b ^c ^d ^e ^f淡中 1982, pp. 65–67. (三)^ 中村 2008, p. 81. (四)^ ^a ^b和田 1981, pp. 59–61 (五)^ ユークリッド 1971, pp. 225–226, 第9巻、命題36. (六)^ 和田 1981, p. 192. (七)^ ^a ^b和田 1981, p. 193 (八)^ Theorem 1, Erdős & Shoray 1976 (九)^ ﹃原論﹄第9巻, 命題36. (pp. 225–226, ユークリッド 1971) (十)^ ^a ^b ^c“Mersenne Primes: History, Theorems and Lists” (英語). PrimePages. 2022年2月21日時点のオリジナルよりアーカイブ。2022年2月22日閲覧。 (11)^ Voight, John (1998年5月31日). “PERFECT NUMBERS: AN ELEMENTARY INTRODUCTION” (PDF) (英語). 2021年6月28日時点のオリジナルよりアーカイブ。2022年2月21日閲覧。 (12)^ Nicomachus of Gerasa (1926). Introduction to Arithmetic. Martin Luther D'Ooge (trans). The Macmillan Company. pp. 207–212 (13)^ ^a ^b ^c ^d ^eO'Conner, John; Edmund F. Robertson. “Perfect numbers” (英語). MacTutor History of Mathematics. 2022年1月11日時点のオリジナルよりアーカイブ。2022年2月22日閲覧。 (14)^ Dickson, Leonard E. (1919) (英語). History of the Theory of Numbers. 1. Carnegie Institution of Washington. p. 6 (15)^ Anonymous (1456), Calendarium ecclesiasticum - BSB Clm 14908 (Anonymous Manuscript) 2022年2月21日閲覧。 (16)^ オンライン整数列大辞典の数列 A000043 (17)^ Mersenne, Marin (1644) (ラテン語). Cogitata Physico Mathematica. Paris: Antonii Bertier. doi:10.3931/e-rara-11036 (18)^ 和田 1981, p. 51. (19)^ 中村 2008, pp. 83f. (20)^ 中村 2008, p. 80. (21)^ 中村 2008, p. 87. (22)^ 中村 2008, pp. 82–84. (23)^ Lucas 1878. (24)^ Lucas 1969. (25)^ 中村 2008, pp. 84f. (26)^ 和田 1981, pp. 50–52, 194–199. (27)^ 和田 1999, §5 リュカ・テスト. (28)^ ^a ^b ^c ^d ^e ^fLandon Curt Noll, Mersenne Prime Digits and Names. (29)^ The Prime Pages, M₁₀₇: Fauquembergue or Powers?. (30)^ The Prime Pages, The finding of the 32nd Mersenne. (31)^ Chris Caldwell, The Largest Known Primes. (32)^ The Prime Pages, A Prime of Record Size! 2^1257787 − 1. (33)^ CASEY JOHNSTON (2013年2月7日). “﹁これまでで最大の素数﹂を発見”. WIRED (WIRED.jp) 2013年2月10日閲覧。 (34)^ P. T. Bateman, J. L. Selfridge, S. S. Wagstaff Jr., "The new Mersenne conjecture", American Mathematical Monthly, 96 (1989), 125–128.

GIMPS[編集]

参考文献[編集]

●淡中忠郎著﹁メルセンヌ数物語﹂、数学セミナー編集部編編﹃数の世界﹄日本評論社︿数学セミナー増刊数学セミナー・リーディングス﹀、1982年9月30日、65-67頁。 ●中村滋﹃フィボナッチ数の小宇宙︵ミクロコスモス︶　フィボナッチ数、リュカ数、黄金分割﹄日本評論社、2002年9月30日。ISBN 4-535-78281-4。 ●中村滋﹃フィボナッチ数の小宇宙︵ミクロコスモス︶　フィボナッチ数、リュカ数、黄金分割﹄︵改訂版︶日本評論社、2008年1月25日。ISBN 978-4-535-78492-5。 ●日本数学会編編﹃岩波　数学辞典﹄︵第3版︶岩波書店、1985年12月10日。ISBN 978-4-00-080016-7。 ●日本数学会編編﹃岩波　数学辞典﹄︵第4版︶岩波書店、2007年3月15日。ISBN 978-4-00-080309-0。 ●一松信﹃数のエッセイ﹄筑摩書店︿ちくま学芸文庫﹀、2007年1月10日。ISBN 978-4-480-09041-6。 ●ユークリッド著、ハイベア・メンゲ編編﹃ユークリッド原論﹄中村幸四郎・寺阪英孝・伊東俊太郎・池田美恵訳・解説、共立出版。 - 全13巻の最初の邦訳。 ●︵ハードカバー︶1971年7月。ISBN 4-320-01072-8 ●︵縮刷版︶1996年6月。ISBN 4-320-01513-4 ●︵追補版︶2011年5月。ISBN 978-4-320-01965-2 ●和田秀男﹃数の世界　整数論への道﹄岩波書店︿科学ライブラリー﹀、1981年7月10日。ISBN 4-00-005500-3。 - 前編は1次式の整数論、後編は2次式の整数論。 ●和田秀男﹃コンピュータと素因子分解﹄︵改訂版︶遊星社︵発行︶星雲社︵発売︶、1999年4月︵原著1987年10月20日︶。ISBN 4-7952-6858-4 ISBN 4-7952-6889-4。 ●Lucas, Edouard (1878), “Théorie des Fonctions Numériques Simplement Périodiques” (French) (PDF), American Journal of Mathematics (Johns Hopkins University Press) 1 (2): pp. 184-240 et 289-321, doi:10.2307/2369308 ●︵前半の英訳︶Lucas, Edouard (1969) (English) (PDF), The Theory of Simply Periodic Numerical Functions, Translated by Sidney Kravitz, Fibonacci Association, p. 77 ●Erdős, P.; Shorey, T. (1976). “On the greatest prime factor of

2^{p}-1

2^{p}-1

for a prime p and other expressions”. Acta Arithmetica 30 (3): 257–265. doi:10.4064/aa-30-3-257-265. ISSN 0065-1036.

外部リンク[編集]

●世界大百科事典第2版﹃メルセンヌ数﹄ - コトバンク ●リュカテストによるメルセンヌ素数の発見法 (PDF) ●Weisstein, Eric W. "Mersenne number". mathworld.wolfram.com (英語). ●Weisstein, Eric W. "Mersenne prime". mathworld.wolfram.com (英語). ●Mersenne Primes: History, Theorems and Lists︵英語︶ ●The Largest Known Primes︵英語︶ ●GIMPS︵英語︶ ●米フロリダ州の男性、わずか4回の試行で51番目のメルセンヌ素数を発見 | スラドサイエンス ●﹁史上最大の素数﹂約2年ぶりに更新、50番目のメルセンヌ素数で桁数は2324万9425桁 | スラドサイエンス ●史上最大、2,233万8,618桁の素数が発見される | スラドサイエンス ●45個目のメルセンヌ素数発見か | スラドサイエンス ●43個目のメルセンヌ素数が発見される | スラド ●史上最大のメルセンヌ素数発見 | スラド‥40個目

[*-49] 49番目以降はメルセンヌ素数としての順番が確定していない。

[1]

[注釈 1]

[

[3]

[4]

[5]

[6]

[7]

[8]

[GIMPS 1]

[9]

[10]

[注釈 2]

[11]

[12]

[13]

[14]

[15

[16]

[17]

[18]

[19]

[20]

[

[GIMPS 2]

[GIMPS 3

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[GIMPS 4]

[GIMPS 5]

[GIMPS 6]

[GIMPS 7]

[GIMPS 8]

[GIMPS 9]

[GIMPS 10]

[GIMPS 11]

[GIMPS 12]

[33]

[GIMPS 13]

[* 1]

[GIMPS 14]

[GIMPS 15]

[34]

表話編歴素数の分類
生成式	フェルマー ( $2 2 n + 1$ ) メルセンヌ ( $2 p - 1$ ) 二重メルセンヌ ( $2 2 p -1 - 1$ ) ワグスタッフ ( $(2 p + 1)/3$ ) プロス ( $k \cdot2 n + 1$ ) 階乗 ( $n! \pm 1$ ) 素数階乗 ( $p n # \pm 1$ ) ユークリッド ( $p n # + 1$ ) ピタゴラス ( $4 n + 1$ ) ピアポント ( $2 u \cdot3 v + 1$ ) Quartan（英語版） ( $x 4 + y 4$ ) ソリナス（英語版） ( $2 a \pm 2 b \pm 1$ ) カレン ( $n \cdot2 n + 1$ ) ウッダル ( $n \cdot2 n - 1$ ) Cuban（英語版） ( $(x 3 - y 3)/(x - y)$ ) キャロル ( $(2 n - 1) 2 - 2$ ) Kynea ( $(2 n + 1) 2 - 2$ ) レイランド ( $x y + y x$ ) サービト（英語版） ( $3\cdot2 n - 1$ ) ミルズ ( $[A] 3 n$ )
漸化式（英語版）	フィボナッチリュカペルニューマン–シャンクス–ウィリアムズペラン分割ベルモツキン
各種の性質	ヴィーフェリッヒ（英語版） (対（英語版）) ウォール–孫–孫（英語版）ウォルステンホルムウィルソン幸運フォーチュンラマヌジャン（英語版）ピライ正則強（英語版）スターン Supersingular (楕円曲線)（英語版） Supersingular (ムーンシャイン理論)（英語版）良いスーパーヒッグス（英語版）高度コトーティエント（英語版）
基数依存	ハッピー二面（英語版）回文エマープレピュニット ( $(10 n - 1)/9$ ) 置換可能 Circular（英語版）切り捨て可能 Strobogrammatic（英語版） Minimal（英語版）弱いフルサイクルプライム Unique（英語版） Primeval（英語版）自己スマランダチェ–ウェラン（英語版）
組	互いに素双子 ( $p, p + 2$ ) Bi-twin chain ( $n - 1, n + 1, 2 n - 1, 2 n + 1, \dots$ ) 三つ子 ( $p, p + 2$ or $p + 4, p + 6$ ) 四つ子 ( $p, p + 2, p + 6, p + 8$ ) k−Tuple いとこ ( $p, p + 4$ ) セクシー ( $p, p + 6$ ) 陳ソフィー・ジェルマン ( $p, 2 p + 1$ ) カニンガム鎖 ( $p, 2 p \pm 1, \dots$ ) 安全 ( $p, (p - 1)/2$ ) 算術数列（英語版） ( $p + an; n = 0, 1, \dots$ ) 平衡 ( $p - n, p, p + n$ )
桁数	タイタニック ( $103$ 桁以上) 巨大 ( $104$ 桁以上) メガ ( $106$ 桁以上)
複素数	アイゼンシュタイン素数（英語版）ガウス素数
合成数	擬素数概素数半素数楔数 Interprime（英語版）
関連する話題	確率的素数 Industrial-grade prime（英語版）違法素数素数の公式（英語版）素数の間隔『巨大な素数の一覧』
最初の50個	$2$ $3$ $5$ $7$ $11$ $13$ $17$ $19$ $23$ $29$ $31$ $37$ $41$ $43$ $47$ $53$ $59$ $61$ $67$ $71$ $73$ $79$ $83$ $89$ $97$ $101$ $103$ $107$ $109$ $113$ $127$ $131$ $137$ $139$ $149$ $151$ $157$ $163$ $167$ $173$ $179$ $181$ $191$ $193$ $197$ $199$ $211$ $223$ $227$ $229$
素数の一覧

基本的な性質[編集]

完全数[編集]

メルセンヌ数の素因数[編集]

メルセンヌ素数[編集]

メルセンヌ素数の発見の歴史[編集]

古代～中世[編集]

メルセンヌの予想[編集]

GIMPSによる発見[編集]

素数判定法[編集]

リュカ・テスト[編集]

アルゴリズム[編集]

リュカ–レーマー・テスト[編集]

アルゴリズム[編集]

メルセンヌ素数の一覧[編集]

未解決問題[編集]

脚注[編集]

注釈[編集]

出典[編集]

GIMPS[編集]

参考文献[編集]

関連項目[編集]

外部リンク[編集]