ウィルソン素数

ウィルソン素数（ウィルソンそすう、英: Wilson prime）とは、p2 が (p − 1)! + 1 を割り切るような素数 p である。ここで "!" は階乗。任意の素数 p が (p − 1)! + 1 を割り切ることはわかっている（ウィルソンの定理）。名称はイングランドの数学者ジョン・ウィルソン（英語版）にちなむ。 既知のウィルソン素数は 5, 13, 563 のみである（オンライン整数列大辞典の数列 A007540）。もしこれ以外のウィルソン素数が存在すれば、それは 2×1013 より大きくなければならない。ウィルソン素数は無限個存在し、さらに区間 [x, y] に約 log(log(y)/log(x)) 個存在すると予想されている。 新たなウィルソン素数を発見すべく、コンピュータによる探索が幾度か行われた。Ibercivis（英語版）分散コンピューティングにはウィルソン素数の探索も含まれており、また mersenneforum.org でも探索の連携が行われている。 ウィルソンの定理はより一般に、任意の整数 n ≥ 1 と素数 p ≥ n に対し ( n − 1 ) ! ( p − n ) ! ≡ ( − 1 ) n   ( mod p ) {\displaystyle (n-1)!(p-n)!\equiv (-1)^{n}\ ({\bmod {p}})} と表現できる（ p − n + k ≡ ( − 1 ) ( n − k )   ( mod p ) {\displaystyle p-n+k\equiv (-1)(n-k)\ ({\bmod {p}})} だから）。オーダー n の一般化ウィルソン素数（generalized Wilson prime of order n）とは p2 が(n − 1)!(p − n)! − (− 1)n を割り切るような素数 p のことである。 任意の自然数 n に対し、オーダー n の一般化ウィルソン素数は無限に存在すると予想されている。 オーダー n の一般化ウィルソン素数の最小値を順に並べた数列は以下のとおりである。この次の項（n = 8）の値は 1.4×107 よりも大きいことが分かっている。 5, 2, 7, 10429, 5, 11, 17, ... （A128666） 小さな |B| に対し合同式 (p − 1)! ≡ −1 + Bp (mod p2) を満たす素数 p をニアウィルソン素数（near-Wilson prime）という。ニアウィルソン素数で B = 0 としたものがウィルソン素数である。本節の表は 106 から 4×1011 までで |B| ≤ 100 となる全てのニアウィルソン素数を挙げたものである。 ウィルソン数（Wilson number）は W(n) ≡ 0 (mod n2) となる自然数 n である。ここで W ( n ) = e + ∏ gcd ( k , n ) = 1 1 ≤ k ≤ n k {\displaystyle W(n)=e+\prod _{\stackrel {1\leq k\leq n}{\gcd(k,n)=1}}{k}} であり、定数 e は n を法とする原始根が存在するとき 1 , そうでないとき e = −1 とする。全ての自然数 n に対し W(n) は n で割り切れる（この商を一般化ウィルソン商という（A157249））。ウィルソン数は 1, 5, 13, 563, 5971, 558771, 1964215, 8121909, 12326713, 23025711, 26921605, 341569806, 399292158, ... （A157250） と続く。ウィルソン数 n が素数であるとき、ウィルソン素数である。5×108 までに13個のウィルソン数が存在する。 ヴィーフェリッヒ素数（英語版） ウォール–スン–スン素数（英語版） ウォルステンホルム素数 PrimeGrid 合同関係の一覧（英語版） ^ a b A Search for Wilson primes Retrieved on November 2, 2012. ^ The Prime Glossary: Wilson prime ^ McIntosh, R. (9 March 2004). “WILSON STATUS (Feb. 1999)”. E-Mail to Paul Zimmermann. 6 June 2011閲覧。 ^ A search for Wieferich and Wilson primes, p 443 ^ Ribenboim, P.; Keller, W. (2006) (German). Die Welt der Primzahlen: Geheimnisse und Rekorde. Berlin Heidelberg New York: Springer. p. 241. ISBN 3-540-34283-4. https://books.google.com/?id=-nEM9ZVr4CsC&pg=PA248&dq=die+welt+der+primzahlen+rodenkirch#v=onepage&q&f=false  ^ Ibercivis site ^ Distributed search for Wilson primes (at mersenneforum.org) ^ Gauss's generalization of Wilson's theoremを参照。ガウスはウィルソンの定理を一般化し、次を証明した。 ∏ k = 1 gcd ( k , m ) = 1 m k   ≡ { − 1 ( mod m ) if  m = 4 , p α , 2 p α 1 ( mod m ) otherwise {\displaystyle \prod _{k=1 \atop \gcd(k,m)=1}^{m}\!\!k\ \equiv {\begin{cases}-1{\pmod {m}}&{\text{if }}m=4,\;p^{\alpha },\;2p^{\alpha }\\\;\;\,1{\pmod {m}}&{\text{otherwise}}\end{cases}}} ここで、p は奇数、α は正整数。剰余が −1 になるための必要十分条件は m を法とする原始根が存在することである。 ^ Agoh, Takashi; Dilcher, Karl; Skula, Ladislav (1998). “Wilson quotients for composite moduli”. Math. Comput. 67 (222): 843–861. doi:10.1090/S0025-5718-98-00951-X. http://www.ams.org/journals/mcom/1998-67-222/S0025-5718-98-00951-X/S0025-5718-98-00951-X.pdf.  Beeger, N. G. W. H. (1913–1914). “Quelques remarques sur les congruences rp−1 ≡ 1 (mod p2) et (p − 1!) ≡ −1 (mod p2)”. The Messenger of Mathematics 43: 72–84.  Goldberg, Karl (1953). “A table of Wilson quotients and the third Wilson prime”. J. London Math. Soc. 28 (2): 252–256. doi:10.1112/jlms/s1-28.2.252.  Ribenboim, Paulo (1996). The new book of prime number records. Springer-Verlag. pp. 346. ISBN 0-387-94457-5  Crandall, Richard E.; Dilcher, Karl; Pomerance, Carl (1997). “A search for Wieferich and Wilson primes”. Math. Comput. 66 (217): 433–449. doi:10.1090/S0025-5718-97-00791-6.  Crandall, Richard E.; Pomerance, Carl (2001). Prime Numbers: A Computational Perspective. Springer-Verlag. p. 29. ISBN 0-387-94777-9  Pearson, Erna H. (1963). “On the Congruences (p − 1)! ≡ −1 and 2p−1 ≡ 1 (mod p2)”. Math. Comput. 17: 194–195. http://www.ams.org/journals/mcom/1963-17-082/S0025-5718-1963-0159780-0/S0025-5718-1963-0159780-0.pdf.  The Prime Glossary: Wilson prime Weisstein, Eric W. "Wilson prime". mathworld.wolfram.com (英語). Status of the search for Wilson primes