ウォルステンホルム素数

数論におけるウォルステンホルム素数(ウォルステンホルムそすう、: Wolstenholme prime)とは、強い形のウォルステンホルムの定理英語版を満たすような特別な形をした素数のことである。例えばウォルステンホルムの定理から5以上の素数 p において p−1 までの逆数の和を表す分数の分子は p2 を因数にもつことは知られている。この分数の分子が p3 の因数をもつ素数の事である。名称は19世紀にこの定理を初めて記述した数学者ジョセフ・ウォルステンホルム英語版にちなむ。

ウォルステンホルム素数への最初の興味が湧き上がったのは、また別の数学的重要性を持つフェルマーの最終定理との関連によってであった。ウォルステンホルム素数は、この定理を一般的に証明すべく研究された、他の特別な数の集合とも関係している。

既知のウォルステンホルム素数は、16843 と 2124679 のみである(オンライン整数列大辞典の数列 A088164)。109 以下にはこれ以外にウォルステンホルム素数は存在しない[1]

定義

[編集]

ウォルステンホルム素数にはいくつかの同値な定義がある。

二項係数による定義

[編集]

素数 p > 7 は、次の合同関係を満たすときウォルステンホルム素数という[2]

ここで左辺は二項係数

一方ウォルステンホルムの定理によれば、p > 3 なる全ての素数に対し次が成り立つ。

ベルヌーイ数による定義

[編集]

素数 p は、ベルヌーイ数 Bp−3 の分子を割り切るときウォルステンホルム素数という[3][4][5]。よってウォルステンホルム素数は非正則素数の部分集合である。

非正則素数による定義

[編集]

素数 p は、(p, p–3) が非正則素数の対になるときウォルステンホルム素数という[6][7]

調和数による定義

[編集]

素数 p は、調和数 を既約分数で表したときの分子が p3 で割り切れるときウォルステンホルム素数という[8]

研究とその現状

[編集]

ウォルステンホルム素数の研究は1960年代に始まってから数十年にわたり続いている。最新の結果は2007年に発表された。最小のウォルステンホルム素数 16843 は1964年に発見されたが、当初は明示的に報告されていなかった[9]。1964年の発見は後に1970年代の独立した発見により追認された。ほぼ20年間、これが唯一の既知のウォルステンホルム素数だったが、1993年に2番目のウォルステンホルム素数 2124679 の発見が公表された[10]

1.2×107 までの範囲でこれら以外のウォルステンホルム素数はなく[11]、この範囲は徐々に広げられた。具体的には2×108以下(McIntosh, 1995年)[4]、2.5×108以下(Trevisan & Weber, 2001年)[12]、109以下[13]、1011以下(Booker et al., 2022年)[14]

ウォルステンホルム素数の個数の予想

[編集]

ウォルステンホルム素数は無限個存在すると予想されている。また素数定理から x 以下のウォルステンホルム素数の個数は約 ln ln x 個( ln自然対数)だと予想されている。素数 p ≥ 5 に対しウォルステンホルム商

と定義される。明らかに、p がウォルステンホルム素数であることと Wp ≡ 0 (mod p) であることは同値である[4]。数値計算からは、Wppで割った余りは {0, 1, ..., p–1} 上ランダムに分布することが示唆されている[4]

関連項目

[編集]

脚注

[編集]
  1. ^ Weisstein, Eric W. "Wolstenholme prime". mathworld.wolfram.com (英語).
  2. ^ Cook, J. D.. “Binomial coefficients”. 21 December 2010閲覧。
  3. ^ Clarke & Jones 2004, p. 553.
  4. ^ a b c d McIntosh 1995, p. 387.
  5. ^ Zhao 2008, p. 25.
  6. ^ Johnson 1975, p. 114.
  7. ^ Buhler et al. 1993, p. 152.
  8. ^ Zhao 2007, p. 18.
  9. ^ Selfridge and Pollack published the first Wolstenholme prime in Selfridge & Pollack 1964, p. 97 (see McIntosh & Roettger 2007, p. 2092).
  10. ^ Ribenboim 2004, p. 23.
  11. ^ Zhao 2007, p. 25.
  12. ^ Trevisan & Weber 2001, p. 283–284.
  13. ^ McIntosh & Roettger 2007, p. 2092.
  14. ^ Booker et al. 2022.

参考文献

[編集]

さらに詳しく

[編集]

外部リンク

[編集]