素数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/03/30 02:13 UTC 版)
日本では、英: prime number の日本語への訳語は「素数」とすることが1881年(明治14年)に決まった[1][2]。
一般には、素数は代数体の整数環の素元として定義される(そこでは反数などの同伴なものも素数に含まれる)。このため、有理整数環 での素数は有理素数(ゆうりそすう、英: rational prime)と呼ばれることもある。
最小の素数は 2 である。素数は無数に存在する。したがって、素数からなる無限数列が得られる[3]。
素数が無数に存在することは、紀元前3世紀頃のエウクレイデス(以下ユークリッド)の著書『原論』で既に証明されていた。そこでの証明は、背理法により次のようになる:
- 『素数全体は有限個と仮定して、全ての素数の総乗に1を足した数をNとする。Nはどの素数で割っても余りが1となる。一方、Nはどの素数よりも大きいので、Nは素数ではない。すなわち、Nはある素数で割り切れる。これは、Nを素数で割った余りが1であることに矛盾する。ゆえに、素数は無数にある。』
自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。
分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。現在知られている最大の素数は、2018年12月7日に発見された、それまでに分かっている中で51番目のメルセンヌ素数 282589933 − 1 であり、十進法で表記したときの桁数は2486万2048桁に及ぶ[4]。
定義と例
100 以下の素数一覧 | |||||||||
---|---|---|---|---|---|---|---|---|---|
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 |
素数とは、自明な正の因数(1 と自分自身)以外に因数を持たない自然数であり、1 でない数のことである。つまり、正の因数の個数が 2 である自然数である。
例えば、2 は、正の因数が 1, 2 のみなので素数である。
素数でない 2 以上の自然数を合成数と呼ぶ。
合成数であることの判定法として、たとえば下記の4条件がある:
- 4以上の偶数。(2で割り切れる)
- 10以上で末尾が5か0の数。(5で割り切れる)
- 6以上で、数字根が3, 6, 9となる数(3で割り切れる)。(20以上では、21, 27, 33, 39, 51, 57, 63, 69, 81, 87, 93, 99, …)
- 一の位から見て奇数番目の位の数の和と、偶数番目の位の数の和との差が11の倍数であれば、11の倍数である(11で割り切れる)。(100以上では、110, 121, 132, 143, 154, 165, 176, 187, 198, 209, …)[5]
逆に、この4条件を、全て満たさない数でも素数とは限らない。例えば、91 は、正の因数が 1, 7, 13, 91 なので素数ではない。
また、2, 3 以外の素数は、最も近い6の倍数との差が 1 か −1 である。
2 でない素数は奇数であり、奇素数と呼ぶ。
100以下の素数は25個存在し、小さい順に次の通りである[3]。
素因数分解の可能性・一意性
「2 以上の自然数は、素数の積で表せる。その表し方は積の順序を除けば一意である」という、素因数分解の可能性・一意性が成立する(算術の基本定理)。素因数分解の可能性から、素数全体の成す集合は、2以上の自然数全体の成す集合とその乗法からなる半群の最小[注釈 1]の生成系である。言い換えれば、これは「素数は自然数の構成要素である」などとなる[6]。
素数の定義である「1 と自分自身でしか割り切れない」という条件(既約性)は、抽象代数学において、環の既約元の概念(一部の環では素元の概念と一致する)に抽象化され一般的に取り扱われる。一般の環で、任意の元は既約元の積に分解され、しかもその表示は一意であるという性質は稀有である。例えばネーター環では、任意の元は既約元分解が可能であるが、その表示が一意ではないネーター環の例はいくつも知られている。一意に既約元分解ができる環は一意分解環と呼ばれ、既約元分解は素元分解ともなる。
1 は素数か
現代の定義では 1 は素数ではない。歴史を通しても 1 を素数に含めない数学者が多数派であったが、20世紀初頭の環論の成熟まで定義は統一されていなかった[7]。プラトンやアリストテレスを含むほとんどの古代ギリシアの哲学者は 1 を数とさえ見なさず[8][9]、素数性の考察の対象としなかった。スペウシッポスは 1 を数と見なし素数としたが、当時としては異端であった[10]。この時代には素数を奇数の一部分と考え、2 を素数に含めない数学者もいた(ただしユークリッドをはじめとする多数派は 2 を素数に含めている)。アラビアではおおむね古代ギリシアに倣って 1 は数でないとされた[8]。中世からルネサンスにかけて、1 が数として扱われるようになり、1 を最初の素数とする数学者も現れた[11]。18世紀半ば、ゴールドバッハはオイラーに宛てた書簡で 1 を素数に挙げている(ただしオイラー自身は 1 を素数とは考えていなかった)[12]。19世紀にも少数派だが 1 を素数に含める数学者はかなりいた[7]。ハーディの『A Course of Pure Mathematics』では、1933年に出版された第6版までは 1 を素数に含めているが、1938年の第7版から 2 を最小の素数とするよう改訂されている。レーマーの 1 を含む素数表は1956年まで出版された[13]。ルベーグは 1 を素数だと考えた最後の専門的な数学者だと言われている[14]。
1 も素数と定義すると、素数に関する多くの定理で、もとの「素数」を「1 以外の素数」と呼び替える記述の修正が必要になる。例えば 6 の素因数分解は、(積の順序を除いても)
- 6 = 2 × 3 = 1 × 2 × 3 = 12 × 2 × 3 = 13 × 2 × 3 =…
と無数に与えられることになり、一意性は「1 を含む素数」については成り立たない[7]。エラトステネスの篩においては、1 も素数とすると、1 の倍数(すなわち他のすべての数)を消去し、残った唯一の数 1 を出力するので機能しない[15]。さらに、1 以外の素数で成り立つ様々な性質がある(例えば、自然数とそれに対応するオイラーのφ関数や約数関数の値との関係など)[16][17][18]。20世紀初頭までに 1 は素数ではなく「単数」という特別な分類に属するという見方が一般的になった[7]。
注釈
- ^ どの素数も他の自然数の積では表せないためこれ以上小さい生成系は存在しない。
- ^ ユークリッドによる証明では、変数・数式・任意の個数を示すパラメーター n を使用せずに、定められた個数が 3個の素数 Α, Β, Γ の場合に証明している。これを「準一般的」な証明という。詳細は素数が無数に存在することの証明#ユークリッドを参照。
- ^ レオンハルト・オイラーによる。現代的な用語で言えば、リーマンゼータ関数のオイラー積表示を用いる[20]。
- ^ ジョージ・ポーヤによる[20][21]。
- ^ ヒレル・ファステンバーグによる。en:Furstenberg's proof of the infinitude of primesを参照。
- ^ 素数が無数に存在することの証明#サイダックを参照[22]。
- ^ 『天書の証明』第1章[21]を参照。原論文は 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。
- ^ a b オンライン整数列大辞典の数列 A40
- ^ “The Largest Known Primes”. The Prime Pages (2021年5月13日). 2021年5月13日閲覧。
- ^ “[数A11の倍数の判定法、見分け方とその証明]”. トムラボ. 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(1024)”. 2018年12月30日閲覧。
- ^ Prime Formulas -- from Wolfram MathWorld
- ^ Willans, C. P (1964-12), “On formulae for the nth prime number”, The Mathematical Gazette 48 (366): 413-415, doi:10.2307/3611701, JSTOR 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
素数と同じ種類の言葉
- >> 「素数」を含む用語の索引
- 素数のページへのリンク