素数とは？わかりやすく解説

「prime」は素数。「composite」は合成数。合成数は長方形に並べることができるが、素数は長方形に並べられない。

素数（そすう、英: prime あるいは prime number）とは、 $2$ 以上の自然数で、正の約数が $1$ とその数自身のみであるもののことである。正の約数の個数が $2$ である自然数と言い換えることもできる。 $1$ より大きい自然数で素数でないものは合成数と呼ばれる。例えば、 $5$ は素数である。なぜなら、 $5$ を自然数の積として書くには、「1×5」か「5×1」しかないからである。しかし、 $4$ を自然数の積で表すと、「1×4」、「4×1」の他に「2×2」があり、両方の数が4より小さいので合成数である。よって素数ではない。

日本では、英: prime number の日本語への訳語は「素数」とすることが1881年（明治14年）に決まった^[1]^[2]。和算では素数のことを単数と呼んでいた^[3]。

一般には、素数は代数体の整数環の素元として定義される（そこでは反数などの同伴なものも素数に含まれる）。このため、有理整数環 $\mathbb {Z}$

キュイズネール棒（英語版）を用いて7が素数であることを実証した。

また、 $2, 3$ 以外の素数は、最も近い6の倍数との差が $1$ か $-1$ である。

$2$ でない素数は奇数であり、奇素数と呼ぶ。

100以下の素数は25個存在し、小さい順に次の通りである^[4]。

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

→詳細は「素数の一覧」を参照

素因数分解の可能性・一意性

→詳細は「算術の基本定理」を参照

「 $2$ 以上の自然数は、素因数（素数である約数）の積で表せる。その表し方は積の順序を除けば一意である」という、素因数分解の可能性・一意性が成立する（算術の基本定理）。素因数分解の可能性から、素数全体の成す集合は、2以上の自然数全体の成す集合とその乗法からなる半群の最小^{[注釈 1]}の生成系である。言い換えれば、これは「素数は自然数の構成要素である」などとなる^[8]。

素数の定義である「 $1$ と自分自身でしか割り切れない」という条件（既約性）は、抽象代数学において、環の既約元の概念（一部の環では素元の概念と一致する）に抽象化され一般的に取り扱われる。一般の環で、任意の元は既約元の積に分解され、しかもその表示は一意であるという性質は稀有である。例えばネーター環では、任意の元は既約元分解が可能であるが、その表示が一意ではないネーター環の例はいくつも知られている。一意に既約元分解ができる環は一意分解環と呼ばれ、既約元分解は素元分解ともなる。

1 は素数か

現代の定義では $1$ は素数ではない。歴史を通しても $1$ を素数に含めない数学者が多数派であったが、20世紀初頭の環論の成熟まで定義は統一されていなかった^[9]。プラトンやアリストテレスを含むほとんどの古代ギリシアの哲学者は $1$ を数とさえ見なさず^[10]^[11]、素数性の考察の対象としなかった。スペウシッポスは $1$ を数と見なし素数としたが、当時としては異端であった^[12]。この時代には素数を奇数の一部分と考え、 $2$ を素数に含めない数学者もいた（ただしユークリッドをはじめとする多数派は $2$ を素数に含めている）。アラビアではおおむね古代ギリシアに倣って $1$ は数でないとされた^[10]。中世からルネサンスにかけて、 $1$ が数として扱われるようになり、 $1$ を最初の素数とする数学者も現れた^[13]。18世紀半ば、ゴールドバッハはオイラーに宛てた書簡で $1$ を素数に挙げている（ただしオイラー自身は $1$ を素数とは考えていなかった）^[14]。19世紀にも少数派だが $1$ を素数に含める数学者はかなりいた^[9]。ハーディの『A Course of Pure Mathematics』では、1933年に出版された第6版までは $1$ を素数に含めているが、1938年の第7版から $2$ を最小の素数とするよう改訂されている。レーマー（英語版）の $1$ を含む素数表は1956年まで出版された^[15]。ルベーグは $1$ を素数だと考えた最後の専門的な数学者だと言われている^[16]。

$1$ も素数と定義すると、素数に関する多くの定理で、もとの「素数」を「 $1$ 以外の素数」と呼び替える記述の修正が必要になる。例えば $6$ の素因数分解は、（積の順序を除いても）

6 = 2 \times 3 = 1 \times 2 \times 3 = 1 2 \times 2 \times 3 = 1 3 \times 2 \times 3 = \dots

と無数に与えられることになり、自然数の素因数分解の一意性は「 $1$ を素数に含めると」成り立たなくなる^[9]。エラトステネスの篩においては、 $1$ も素数とすると、 $1$ の倍数（すなわち他のすべての数）を消去し、残った唯一の数 $1$ を出力するので機能しない^[17]。さらに、 $1$ 以外の素数でのみ成り立ち、 $1$ では成り立たない様々な性質がある（例えば、自然数とそれに対応するオイラーのφ関数や約数関数の値との関係など）^[18]^[19]^[20]。20世紀初頭までに $1$ は素数ではなく「単数」という特別な分類に属するという見方が一般的になった^[9]。

歴史

紀元前1600年頃のエジプト第2中間期において、素数の初等的な性質が部分的に知られていたことが、リンド数学パピルスなどの資料によって示唆されている。例えば分数をエジプト式分数で表す場合、素数と合成数の場合で異なる計算をしなければならないからである。しかし、記録に残っている限りにおいて、明確に素数を研究対象としたのは古代ギリシアが最初である。紀元前300年頃に書かれたユークリッドの『原論』には、素数が無数に存在することや、その他の素数の性質が証明されている。また、彼はメルセンヌ素数から完全数を構成する方法を示している。ギリシアの数学者、エラトステネスに因んで名付けられたエラトステネスの篩は、素数を列挙するための計算方法である。

古代ギリシア時代の後、17世紀頃までの長い間、素数の研究にはあまり進展が見られなかった。1640年に、ピエール・ド・フェルマーは「フェルマーの小定理」を述べた（未証明）。この定理は後にライプニッツとオイラーによって証明された。

自然数を渦巻状に並べていき、素数だけを黒く塗ったもの（ウラムの螺旋）。
素数が高密度に集まった対角線、水平線、垂線が見て取れる。素数の分布が極めて難解であるために、この素数のパターンが示す事実については未だに明らかにされていない。

素数が無数に存在することは既に古代ギリシア時代から知られていて、ユークリッドが彼の著作『原論』^[21]の中で証明している。

ユークリッドによる証明

『原論』第9巻命題20^[21]: 素数の個数はいかなる定められた素数の個数よりも多い。; 定められた個数の素数を $p 1, p 2, \dots, p n$ とせよ。 $p 1, p 2, \dots, p n$ より多い個数の素数があると主張する。
『原論』による証明^{[注釈 2]}: 定められた素数の個数が $n$ 個であるとき、 $n$ 個の素数を小さい順番に並べて $i$ 番目の素数を $p i$ とする。; $1 < p 1 < p 2 < \dots < p n .$; このとき、 $n$ 個の素数をすべて掛け合わせた数に $1$ を加えた数を $q$ とすると、; $q = p 1 \times p 2 \times \dots \times p n + 1$ .; $q$ は有限個の自然数の積に $1$ を加えた数なので $1$ より大きい自然数である。ゆえに、 $q$ は素数または合成数のどちらかである。; $q$ が素数のとき、 $q$ は最大の素数 $p n$ より大きい素数になるので、定められた個数の素数よりも多くの素数が存在する。; $q$ が合成数のとき、 $q$ を割り切る素数が存在する。一方、 $q$ の定義より、すべての $p i$ で割った余りは $1$ になるので、 $q$ はすべての $p i$ で割り切れない。したがって、すべての $p i$ 以外に素数が存在する。すなわち、定められた個数の素数よりも多くの素数が存在する。（証明終）; 1878年、クンマーは $q = p 1 \times p 2 \times \dots \times p n + 1$ の代わりに $q = p 1 \times p 2 \times \dots \times p n - 1$ を考えても同様に証明できることを示した。
例: 自然数の有限集合 $A$ の全ての要素を掛け合わせた自然数を $f (A)$ とする。; 定められた個数の素数からなる集合を $A 3 = {2, 3, 5}$ とするとき、 $f (A 3) = 2 \times 3 \times 5 + 1 = 31$ は素数なので、新しい素数 $31$ が得られる。したがって、定められた個数より多くの素数が存在する。; 定められた個数の素数からなる集合を $A 4 = {2, 3, 5, 31}$ とするとき、 $f (A 4) = 2 \times 3 \times 5 \times 31 + 1 = 931 = 7 \times 7 \times 19$ なので、新しい素数 $7$ と $19$ が得られる。したがって、定められた個数より多くの素数が存在する。

他の証明

上記のユークリッドによる証明以外にも、素数が無数に存在することの証明方法が存在する。

素数の逆数の和が発散することを利用した証明^{[注釈 3]}（#素数の逆数和を参照）
2つの異なるフェルマー数が互いに素であることを利用した証明^{[注釈 4]}
整数の集合に、等差数列の族を開基とする位相を入れる証明^{[注釈 5]}
$n \geq 2$ に対して、 $n (n + 1)$ は少なくとも相異なる2個の素因数を持つことを利用した証明^{[注釈 6]}（サイダックによる）

素数判定と素因数分解

→詳細は「素数判定」および「素因数分解」を参照

与えられた自然数 $n$ が素数であるか合成数であるかを判定するためのアルゴリズムが多数考案されている。最も素朴な方法は、 $2$ から $\sqrt n$ 以下の素数まで順番に割っていく、試し割り法と呼ばれる方法である。 $n$ が $\sqrt n$ 以下の全ての素数で割り切れなければ $n$ は素数である。試し割り法は、 $n$ が大きくなるに従って、急速に速度が低下するため、実用的ではない。任意の数に適用できる試し割り法よりも高速なアルゴリズムが考案されている。また、特殊な形をした数に対してはより高速なアルゴリズムも存在する。素数判定は、与えられた数が素数であるか否かだけを判定するものであるが、素因数分解とはより強く、与えられた数の全ての素因数を列挙することであるとも言える。

上記の通り2を除く偶数、2桁以上で末尾が5の数、数字和が3の倍数となる数は合成数と分かるのでそれを省き、7以上の素数を順番に割る方法がある。

分布

ある自然数までにどのくらいの素数があるのかという問題は、基本的だが非常に難しい問題である。これに関して、次の素数定理は有名である。この定理は1896年に、アダマールとド・ラ・ヴァレ・プサンによって独立に証明された。

$x$ 以下の素数の個数を $π (x)$ （素数計数関数）とすると、

\pi (x)\sim \int _{2}^{x}{\frac {dt}{\log t}}\sim {\frac {x}{\log x}}\quad (x\to \infty )

この節は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索^?: "素数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2024年7月)

右下の歯車には13の歯があり、左の歯車には21の歯があり、どちらの歯車も素数である。

固定ギア自転車のスプロケットやチェーンリングの歯数を素数にすることでスキッドポイントと呼ばれる摩耗点を分散化させてタイヤの寿命を向上させることができる。また、自転車や内燃機関など入力に脈動がある動力の歯車を素数にすると摩耗点が分散され歯車の寿命が向上する。

自然界の素数

自然界に現れる素数の一例として、素数ゼミと呼ばれるセミの一種がいる。アメリカ合衆国に分布するこのセミの成虫は、ある周期ごとに、13年ないしは17年間の周期で大量発生する。成虫になった後は、数週間だけを地上で成虫として過ごし交配と産卵を行う。このセミが素数周期で発生する理由として、寄生虫や捕食者に対抗するための進化であるという説や近縁種との交雑を避けるためであるという説がある。つまり、もしこのセミが12年の発生周期を持っていた場合、12の約数である2, 3, 4, 6年の寿命を持つ捕食者と同時に発生してしまうことになり、捕食対象にされやすくなる。また、地理的に近い場所で12年周期と15年周期のセミが存在した場合、60年ごとに2種は同時に発生し、交雑してしまう可能性がある。すると、雑種は発生周期がずれてしまい、同種のセミとの交尾の機会が失われる。素数の周期を持つものは交雑が起こりにくく、淘汰されにくいと考えられる^[41]。

また、ゼータ関数上の零点の分布の数式が、原子核のエネルギー間隔を表す式と一致することを示し、素数と核物理現象との関連性が示唆されている。

→詳細は「リーマン予想」を参照

コンピュータゲーム

パナソニック株式会社が2011年にリリースしたiPad用アプリケーション「Panasonic Prime Smash!」は空中に打ち上げられたボールに書かれた数字が素数であればタップして得点、合成数であればスワイプすることで割り算し、素数になったらタップして得点にするゲームである^[42]。第15回文化庁メディア芸術祭エンターテインメント部門の審査委員会推薦作品に選ばれ^[43]、第6回企業ウェブグランプリスチューデント部門特別賞を受賞した^[44]。

2016年にイギリスの数学者クリスチャン・ローソン=パーフェクトが公開した「これは素数ですか？ (Is this prime?)」は、画面に表示される数字を素数と合成数に仕分けるゲームで、2021年7月にプレイ回数が300万回を突破した^[45]。このゲームのプログラムにはミラー–ラビン素数判定法が組み込まれている^[45]。

連続素数

連続素数和

連続数	数	参照	含まれる素数列
2	$5, 8, 12, 18, 24, 30, 36, 42, 52, 60, 68, 78, 84, \dots$	A001043
3	$10, 15, 23, 31, 41, 49, 59, 71, 83, 97, 109, \dots$	A034961	A034962
4	$17, 26, 36, 48, 60, 72, 88, 102, 120, 138, 152, \dots$	A034963
5	$28, 39, 53, 67, 83, 101, 119, 139, 161, 181, \dots$	A034964	A034965
6	$41, 56, 72, 90, 112, 132, 156, 180, 204, 228, \dots$	A127333
7	$58, 75, 95, 119, 143, 169, 197, 223, 251, 281, \dots$	A127334	A082246
8	$77, 98, 124, 150, 180, 210, 240, 270, 304, \dots$	A127335
9	$100, 127, 155, 187, 221, 253, 287, 323, 363, \dots$	A127336	A082251
10	$129, 158, 192, 228, 264, 300, 340, 382, 424, \dots$	A127337
11	$160, 195, 233, 271, 311, 353, 399, 443, 491, \dots$	A127338	A127340
12	$197, 236, 276, 318, 364, 412, 460, 510, 562, \dots$	A127339
13	$238, 279, 323, 371, 423, 473, 527, \dots$		A127341

→各連続素数和の最初の数については「オンライン整数列大辞典の数列 A007504」を、この数が素数になる数については「オンライン整数列大辞典の数列 A013918」を参照

連続素数積

連続数	数	参照
2	$6, 15, 35, 77, 143, 221, 323, 437, 667, 899, 1147, 1517, 1763, \dots$	A006094
3	$30, 105, 385, 1001, 2431, 4199, 7429, 12673, 20677, 33263, 47027, \dots$	A046301
4	$210, 1155, 5005, 17017, 46189, 96577, 215441, 392863, 765049, \dots$	A046302
5	$2310, 15015, 85085, 323323, 1062347, 2800733, \dots$	A046303
6	$30030, 255255, 1616615, 7436429, 30808063, 86822723, \dots$	A046324
7	$510510, 4849845, \dots$	A046325
8	$9699690, 111546435, \dots$	A046326
9	$223092870, 3234846615, \dots$	A046327
10	$6469693230, 100280245065, \dots$	A127342
11	$200560490130, 3710369067405, \dots$	A127343
12	$7420738134810, 152125131763605, \dots$	A127344

→各連続素数積の最初の数については「素数階乗」を参照

素数砂漠

自然数で素数でないものが連続している区間を「素数砂漠」という。例えば ${24, 25, 26, 27, 28}$ は「長さ 5 の素数砂漠」である。素数砂漠を挟む2個の素数は $3$ 以上であるため、共に奇数である。このことから、素数砂漠の長さは必ず奇数である。いくらでも長い素数砂漠が構成できる（#分布を参照）。

初めから60個の素数の間隔は^[46]

1, 2, 2, 4, 2, 4, 2, 4, 6, 2, 6, 4, 2, 4, 6, 6, 2, 6, 4, 2, 6, 4, 6, 8, 4, 2, 4, 2, 4, 14, 4, 6, 2, 10, 2, 6, 6, 4, 6, 6, 2, 10, 2, 4, 2, 12, 12, 4, 2, 4, 6, 2, 10, 6, 6, 6, 2, 6, 4, 2, …

→詳細は「素数の間隔」を参照

脚注

[脚注の使い方]

注釈

^ どの素数も他の自然数の積では表せないためこれ以上小さい生成系は存在しない。
^ ユークリッドによる証明では、変数・数式・任意の個数を示すパラメーター $n$ を使用せずに、定められた個数が 3個の素数 $Α, Β, Γ$ の場合に証明している。これを「準一般的」な証明という。詳細は素数が無数に存在することの証明#ユークリッドを参照。
^ レオンハルト・オイラーによる。現代的な用語で言えば、リーマンゼータ関数のオイラー積表示を用いる^[22]。
^ ジョージ・ポーヤによる^[22]^[23]。
^ ヒレル・ファステンバーグによる。en:Furstenberg's proof of the infinitude of primesを参照。
^ 素数が無数に存在することの証明#サイダックを参照^[24]。
^ 『天書の証明』第1章^[23]を参照。原論文は Erdös, P. (1938-07), “Über die Reihe ∑ 1/p” (German) (pdf), Mathematica, Zutphen B: 1-2 。

出典

^ 「創立80周年特集」『数学』第9巻第2号、1957年、72頁、doi:10.11429/sugaku1947.9.65。
^ 「東京數學會社雑誌第四十二號附録」『東京數學會社雑誌』1881年、13頁、doi:10.11429/sugakukaisya1877.1881.42sup_1。
^ 藤原松三郎他著、日本学士院編『明治前日本数学史』第4巻、岩波書店、1959年、29頁。NDLJP:2421638。
^ ^a ^b オンライン整数列大辞典の数列 A40
^ “The Largest Known Primes”. The Prime Pages (2024年10月21日). 2024年10月22日閲覧。
^ 史上最大の素数発見、4100万桁超　びっちり印刷しても1万6千枚(朝日新聞、2024年10月23日)
^ “[数A]11の倍数の判定法、見分け方とその証明”. トムラボ. 2023年2月25日閲覧。
^ http://www4.math.sci.osaka-u.ac.jp/~ogawa/pdfs/v_lec/HimejiNishi-2006-12.pdf
^ ^a ^b ^c ^d Caldwell & Xiong 2012
^ ^a ^b Caldwell et al. 2012。古代ギリシアについては pp.3-4、アラビアについては p.6 を参照。
^ 例えば David E. Joyce's のユークリッド原論についてのコメンタリー Book VII, definitions 1 and 2 を参照。
^ Tarán 1981
^ Caldwell et al. 2012, pp. 7–13。特にStevin、Brancker、Wallis、Prestetの項を参照。
^ Caldwell et al. 2012, p. 15
^ Conway & Guy 1996, pp. 129f
^ Derbyshire 2003, p. 33
^ Conway & Guy 1996, pp. 129–130
^ φ関数についてはSierpiński 1988、p. 245を参照。約数関数についてはSandifer 2007、p. 59を参照。
^ "Arguments for and against the primality of 1".
^ "Why is the number one not prime?"
^ ^a ^b ユークリッド 2011, 9-20
^ ^a ^b Ribenboim 2001, 第1章
^ ^a ^b アイグナー & ツィーグラー 2012, 第1章
^ doi:10.2307/27642094 https://primes.utm.edu/notes/proofs/infinite/Saidak.html
^ この区間の最初の値はオンライン整数列大辞典の数列 A008950を、終了の値はオンライン整数列大辞典の数列 A008995をその区間幅についてはオンライン整数列大辞典の数列 A008996を参照
^ Tomás Oliveira e Silva, Goldbach conjecture verification. Retrieved 16 July 2013.
^ Jens Franke (2010年7月29日). “Conditional Calculation of pi(10²⁴)”. 2018年12月30日閲覧。
^ Prime Formulas -- from Wolfram MathWorld
^ Willans, C. P (1964-12), “On formulae for the $n$ th prime number”, The Mathematical Gazette 48 (366): 413-415, doi:10.2307/3611701, ISSN 0025-5572, JSTOR 3611701, https://jstor.org/stable/3611701
^ Ribenboim 2001, 第3章
^ オンライン整数列大辞典の数列 A005846
^ オンライン整数列大辞典の数列 A014556
^ Jones, James P.; Sato, Daihachiro; Wada, Hideo; Wiens, Douglas (1976), "Diophantine representation of the set of prime numbers", American Mathematical Monthly 83: 449-464, doi:10.2307/2318339
^ オンライン整数列大辞典の数列 A002496
^ オンライン整数列大辞典の数列 A037896
^ オンライン整数列大辞典の数列 A152913
^ オンライン整数列大辞典の数列 A023195
^ Helfgott, H.A. (2013). "Major arcs for Goldbach's theorem". arXiv:1305.2897 [math.NT]。
^ Helfgott, H.A. (2012). "Minor arcs for Goldbach's problem". arXiv:1205.5252 [math.NT]。
^ Dossier Alexander von Humboldt-Professur - Alexander von Humboldt-Stiftung
^ 吉村 2008
^ 田崎恭子 (2011年5月16日). “素数の不思議をゲームで学ぶiPadアプリ”. リセマム (イード) 2023年8月24日閲覧。
^ “第15回受賞作品文化庁メディア芸術祭エンターテインメント部門”. 文化庁メディア芸術祭. 文化庁. 2023年8月24日閲覧。
^ 池田真也 (2012年12月10日). “「第6回企業ウェブ・グランプリ」受賞サイト決定、コンテンツへの思いがグランプリへ”. Web担当者Forum (インプレス) 2023年8月24日閲覧。
^ ^a ^b シヴォーン・ロバーツ (2021年7月26日). “51、57、91は素数？数学者が考えたオンライン・ゲームが人気”. MIT Technology Review (KADOKAWA) 2023年8月24日閲覧。
^ オンライン整数列大辞典の数列 A001223

参考文献

Aigner, Martin; Ziegler, Günter M. (2010), Proofs from THE BOOK (4th ed.), Springer-Verlag, ISBN 978-3-642-00856-6
- M・アイグナー、G・M・ツィーグラー著、蟹江幸博訳『天書の証明』（縮刷版）丸善出版、2012年9月1日。ISBN 978-4-621-06535-8。
Caldwell, Chris K.; Reddick, Angela; Xiong, Yeng; Keller, Wilfrid (2012). “The history of the primality of one: a selection of sources”. Journal of Integer Sequences（英語版） 15 (9): Article 12.9.8. MR3005523.
Caldwell, Chris K.; Xiong, Yeng (2012). “What is the smallest prime?”. Journal of Integer Sequences 15 (9): Article 12.9.7. MR3005530.
Conway, John Horton; Guy, Richard K. (1996), The Book of Numbers, New York: Copernicus, ISBN 978-0-387-97993-9
- J・H・コンウェイ、R・K・ガイ著、根上生也訳『数の本』丸善出版、2012年1月。ISBN 978-4-621-06207-4。
R. Crandall ; C. Pomerance: Prime Numbers: A Computational Perspective, Springer, ISBN 0-387-28979-8 (2005)
- R. Crandall ; C. Pomerance, 和田秀男（監訳）：「素数全書：計算からのアプローチ」朝倉書店、ISBN 978-4-254-11128-6（2010年9月10日).
真実のみを記述する会『素数表150000個』暗黒通信団、2011年8月。ISBN 978-4-87310-156-9。
Manfred Robert Schroeder 著、平野浩太郎・野村孝徳共訳『科学と通信における数論　暗号，物理学，ディジタル情報，計算法，自己相似性を含む』〈上〉、パスカル研究会（出版）コロナ社（発売）、1995年2月1日、33-68頁。ISBN 978-4-339-08216-6。
Derbyshire, John (2003), Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics, Washington, D.C.: Joseph Henry Press, ISBN 978-0-309-08549-6, OCLC 249210614
- ジョン・ダービーシャー著、松浦俊輔訳『素数に憑かれた人たち　リーマン予想への挑戦』日経BP社（出版）日経BP出版センター（発売）、2004年8月30日。ISBN 978-4-8222-8204-2。
本橋洋一『解析的整数論』〈1〉素数分布論（第2刷）、朝倉書店〈朝倉数学大系〉、2012年（原著2009年11月1日）。ISBN 978-4-254-11821-6。 - 第2刷 2012：加筆含む。
本橋洋一「素数の翼に乗って」（pdf）『数学通信』第10巻第1号、東京 : 日本数学会、2005年5月、4-19頁、CRID 1520572358126328192、ISSN 13421387、2024年3月14日閲覧。
ユークリッド著、中村幸四郎・寺阪英孝・伊東俊太郎・池田美恵訳『ユークリッド原論』（追補版）共立出版、2011年5月25日。ISBN 978-4-320-01965-2。
吉村仁『17年と13年だけ大発生? 素数ゼミの秘密に迫る!』ソフトバンククリエイティブ〈サイエンス・アイ新書 072〉、2008年7月16日。ISBN 978-4-7973-4258-1。
Riesel, Hans (1994), Prime numbers and computer methods for factorization, Basel, Switzerland: Birkhäuser, ISBN 978-0-8176-3743-9
Ribenboim, Paulo (2004), The Little Book of Bigger Primes (2nd ed.), Springer-Verlag, ISBN 978-0-387-20169-6
- Paulo Ribenboim 著、吾郷孝視訳『素数の世界―その探索と発見―』（第2版）共立出版、2001年10月20日。ISBN 978-4-320-01684-2。
Sandifer, C. Edward (2007). How Euler Did It. MAA Spectrum. Mathematical Association of America. ISBN 978-0-88385-563-8
Sierpiński, Wacław (1988). Elementary Theory of Numbers. North-Holland Mathematical Library. 31 (2nd ed.). Elsevier. ISBN 978-0-08-096019-7
Tarán, Leonardo (1981). Speusippus of Athens: A Critical Study With a Collection of the Related Texts and Commentary. Philosophia Antiqua : A Series of Monographs on Ancient Philosophy. 39. Brill. pp. 35-38. ISBN 978-90-04-06505-5

外部リンク

The Prime Page
Weisstein, Eric W. "Prime Number". mathworld.wolfram.com (英語).
prime number in nLab
prime - PlanetMath.（英語）
Hazewinkel, Michiel, ed. (2001), “Prime number”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

[8] どの素数も他の自然数の積では表せないためこれ以上小さい生成系は存在しない。

[23] ユークリッドによる証明では、変数・数式・任意の個数を示すパラメーター $n$ を使用せずに、定められた個数が 3個の素数 $Α, Β, Γ$ の場合に証明している。これを「準一般的」な証明という。詳細は素数が無数に存在することの証明#ユークリッドを参照。

[25] レオンハルト・オイラーによる。現代的な用語で言えば、リーマンゼータ関数のオイラー積表示を用いる^[22]。

[27] ジョージ・ポーヤによる^[22]^[23]。

[28] ヒレル・ファステンバーグによる。en:Furstenberg's proof of the infinitude of primesを参照。

[30] 素数が無数に存在することの証明#サイダックを参照^[24]。

[34] 『天書の証明』第1章^[23]を参照。原論文は Erdös, P. (1938-07), “Über die Reihe ∑ 1/p” (German) (pdf), Mathematica, Zutphen B: 1-2 。

[1] 「創立80周年特集」『数学』第9巻第2号、1957年、72頁、doi:10.11429/sugaku1947.9.65。

[2] 「東京數學會社雑誌第四十二號附録」『東京數學會社雑誌』1881年、13頁、doi:10.11429/sugakukaisya1877.1881.42sup_1。

[3] 藤原松三郎他著、日本学士院編『明治前日本数学史』第4巻、岩波書店、1959年、29頁。NDLJP:2421638。

[名前なし-1-4] オンライン整数列大辞典の数列 A40

[5] “The Largest Known Primes”. The Prime Pages (2024年10月21日). 2024年10月22日閲覧。

[6] 史上最大の素数発見、4100万桁超　びっちり印刷しても1万6千枚(朝日新聞、2024年10月23日)

[7] “[数A]11の倍数の判定法、見分け方とその証明”. トムラボ. 2023年2月25日閲覧。

[9] ttp://www4.math.sci.osaka-u.ac.jp/~ogawa/pdfs/v_lec/HimejiNishi-2006-12.pdf

[cx-10] Caldwell & Xiong 2012

[crxk-34-11] Caldwell et al. 2012。古代ギリシアについては pp.3-4、アラビアについては p.6 を参照。

[12] 例えば David E. Joyce's のユークリッド原論についてのコメンタリー Book VII, definitions 1 and 2 を参照。

[13] Tarán 1981

[14] Caldwell et al. 2012, pp. 7–13。特にStevin、Brancker、Wallis、Prestetの項を参照。

[15] Caldwell et al. 2012, p. 15

[16] Conway & Guy 1996, pp. 129f

[17] Derbyshire 2003, p. 33

[18] Conway & Guy 1996, pp. 129–130

[19] φ関数についてはSierpiński 1988、p. 245を参照。約数関数についてはSandifer 2007、p. 59を参照。

[20] "Arguments for and against the primality of 1".

[21] "Why is the number one not prime?"

[euclid-22] ユークリッド 2011, 9-20

[Ribenboim-24] Ribenboim 2001, 第1章

[Aigner&Ziegler-26] アイグナー & ツィーグラー 2012, 第1章

[29] :10.2307/27642094 https://primes.utm.edu/notes/proofs/infinite/Saidak.html

[31] この区間の最初の値はオンライン整数列大辞典の数列 A008950を、終了の値はオンライン整数列大辞典の数列 A008995をその区間幅についてはオンライン整数列大辞典の数列 A008996を参照

[32] Tomás Oliveira e Silva, Goldbach conjecture verification. Retrieved 16 July 2013.

[33] Jens Franke (2010年7月29日). “Conditional Calculation of pi(10²⁴)”. 2018年12月30日閲覧。

[35] Prime Formulas -- from Wolfram MathWorld

[36] Willans, C. P (1964-12), “On formulae for the $n$ th prime number”, The Mathematical Gazette 48 (366): 413-415, doi:10.2307/3611701, ISSN 0025-5572, JSTOR 3611701, https://jstor.org/stable/3611701

[37] Ribenboim 2001, 第3章

[38] オンライン整数列大辞典の数列 A005846

[39] オンライン整数列大辞典の数列 A014556

[40] Jones, James P.; Sato, Daihachiro; Wada, Hideo; Wiens, Douglas (1976), "Diophantine representation of the set of prime numbers", American Mathematical Monthly 83: 449-464, doi:10.2307/2318339

[41] オンライン整数列大辞典の数列 A002496

[42] オンライン整数列大辞典の数列 A037896

[43] オンライン整数列大辞典の数列 A152913

[44] オンライン整数列大辞典の数列 A023195

[45] Helfgott, H.A. (2013). "Major arcs for Goldbach's theorem". arXiv:1305.2897 [math.NT]。

[46] Helfgott, H.A. (2012). "Minor arcs for Goldbach's problem". arXiv:1205.5252 [math.NT]。

[47] Dossier Alexander von Humboldt-Professur - Alexander von Humboldt-Stiftung

[48] 吉村 2008

[49] 田崎恭子 (2011年5月16日). “素数の不思議をゲームで学ぶiPadアプリ”. リセマム (イード) 2023年8月24日閲覧。

[50] “第15回受賞作品文化庁メディア芸術祭エンターテインメント部門”. 文化庁メディア芸術祭. 文化庁. 2023年8月24日閲覧。

[51] 池田真也 (2012年12月10日). “「第6回企業ウェブ・グランプリ」受賞サイト決定、コンテンツへの思いがグランプリへ”. Web担当者Forum (インプレス) 2023年8月24日閲覧。

[MITTR210726-52] シヴォーン・ロバーツ (2021年7月26日). “51、57、91は素数？数学者が考えたオンライン・ゲームが人気”. MIT Technology Review (KADOKAWA) 2023年8月24日閲覧。

[53] オンライン整数列大辞典の数列 A001223

[1]

[2]

[3]

[4]

[注釈 1]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[注釈 2]

[注釈 3]

[注釈 4]

[注釈 5]

[注釈 6]

[41]

[42]

[43]

[44]

[45]

[46]

[22]

[23]

[24]

表話編歴素数の分類
生成式	フェルマー ( $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$ ) 四次 ( $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$ ) 置換可能循環切り捨て可能ストロボグラマティック素数 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$
素数の一覧

表話編歴被整除性に基づいた整数の集合
概要	素因数分解約数単約数約数関数素因数算術の基本定理
因数分解による分類	素数合成数半素数矩形数楔数平方因子をもたない整数多冪数累乗数アキレス数滑らかな数（英語版）ハミング数（英語版）粗い数（英語版）異常数（英語版）
約数和による分類	完全数概完全数準完全数倍積完全数 Hemiperfect number（英語版）ハイパー完全数超完全数単完全数（英語版）擬似完全数プラクティカル数エルデシュ・ニコラス数（英語版）
約数が多いもの	過剰数原始過剰数（英語版）高度過剰数超過剰数巨大過剰数高度合成数優高度合成数（英語版）不思議数
アリコット数列関連	アンタッチャブル数（英語版）友愛数 (友愛三数（英語版）) 社交数婚約数
位取り記法に基づくもの	Equidigital number（英語版） Extravagant number（英語版） Frugal number（英語版）ハーシャッド数 Polydivisible number（英語版）スミス数
その他	Arithmetic number（英語版）不足数 Friendly number（英語版） Solitary（英語版）サブライム数調和数デカルト数（英語版）タウ数超完全数

典拠管理データベース
全般	FAST
国立図書館	フランス BnF data ドイツイスラエルアメリカラトビア日本チェコ


	Copyright © 2025実用日本語表現辞典 All Rights Reserved.
	(C)Shogakukan Inc. 株式会社小学館
	Copyright©2025 数理検定協会 All Rights Reserved.
	Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの素数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
	Text is available under GNU Free Documentation License (GFDL). Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの自然数 (改訂履歴)、Constraint Handling Rules (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。
Wiktionary	Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblioに掲載されている「Wiktionary日本語版（日本語カテゴリ）」の記事は、Wiktionaryの素数 (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
TANAKA Corpus	Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います： Creative Commons Attribution (CC-BY) 2.0 France.
京大-NICT 日英中基本文データ	この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
	Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
	Copyright © Benesse Holdings, Inc. All rights reserved.
	Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
	日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
	Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. 「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
	This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

素数とは？わかりやすく解説

素数

そ‐すう【素数】

素数

素数

素数