Definition
Wilsonの定理は、pが素数ならば(p-1)!≡-1(mod.p)であることを主張している。
Wilson商(Wilson quotient)と呼ばれる数

は整数となる。
そこでW(p)≡0(mod.p)、或いは同値な合同式(p-1)!≡-1(mod.p²)が成立するとき、pはWilson素数と呼ばれる。

• 現在見つかっているWilson素数は5、13、563(1953年に発見された)のみである。
• 未解決問題:無限に多くのWilson素数が存在するか。

戻る