ウィルソン素数

ウィルソン素数（ウィルソンそすう、）とは、"p"2 が ("p" − 1)! + 1 を割り切るような素数 "p" である。ここで "!" は階乗。任意の素数 "p" が ("p" − 1)! + 1 を割り切ることはわかっている（ウィルソンの定理）。名称はイングランドの数学者にちなむ。 
既知のウィルソン素数は 5, 13, 563 のみである（）。もしこれ以外のウィルソン素数が存在すれば、それは 2 より大きくなければならない。ウィルソン素数は無限個存在し、さらに区間 ["x", "y"] に約 log(log("y")/log("x")) 個存在すると予想されている。
新たなウィルソン素数を発見すべく、コンピュータによる探索が幾度か行われた。分散コンピューティングにはウィルソン素数の探索も含まれており、また mersenneforum.org でも探索の連携が行われている。
一般化.
オーダー "n" のウィルソン素数.
ウィルソンの定理はより一般に、任意の整数 "n" ≥ 1 と素数 "p" ≥ "n" に対し 
と表現できる（ formula_2 だから）。オーダー "n" の一般化ウィルソン素数（generalized Wilson prime of order n）とは "p"2 が("n" − 1)!("p" − n)! − (− 1)n を割り切るような素数 "p" のことである。
任意の自然数 "n" に対し、オーダー "n" の一般化ウィルソン素数は無限に存在すると予想されている。
オーダー "n" の一般化ウィルソン素数の最小値を順に並べた数列は以下のとおりである。この次の項（"n" = 8）の値は 1.4×107 よりも大きいことが分かっている。
ニアウィルソン素数.
小さな "|B|" に対し合同式 ("p" − 1)! ≡ −1 + "Bp" (mod "p"2) を満たす素数 "p" をニアウィルソン素数（near-Wilson prime）という。ニアウィルソン素数で "B" = 0 としたものがウィルソン素数である。本節の表は から 4 までで "|B|" ≤ 100 となる全てのニアウィルソン素数を挙げたものである。
ウィルソン数.
ウィルソン数（Wilson number）は "W"("n") ≡ 0 (mod "n"2) となる自然数 "n" である。ここで formula_3 であり、定数 "e" は "n" を法とする原始根が存在するとき 1 , そうでないとき "e" = −1 とする。全ての自然数 "n" に対し "W"("n") は "n" で割り切れる（この商を一般化ウィルソン商という（））。ウィルソン数は
と続く。ウィルソン数 "n" が素数であるとき、ウィルソン素数である。5 までに13個のウィルソン数が存在する。