6
大学数学基礎解説
文献あり

ソフィー・ジェルマン素数とメルセンヌ数

1306
1

経緯

以前、数学系の方たちと飲み会をしていたときに、ソフィー・ジェルマン素数の話になりました。その際、Wikipediaを調べてみたところ、以下のような性質が書かれていました。

ソフィー・ジェルマン素数pp3(mod4)を満たすとき、2p+1はメルセンヌ数2p1の約数となる。

「簡単なmodの計算で証明できるかな?」と思いきや、私にはできませんでした。家に帰ってから、飲み会のときに教えて頂いたヒントを足掛かりにして証明してみました。

道具としては

  • フェルマーの小定理
  • 平方剰余の相互法則

を用いました。

私自身、その飲み会に参加するまでソフィー・ジェルマン素数の存在すらも知らなかったので、教えて下さったみなさまに感謝です!

前提知識

ソフィー・ジェルマン素数

2p+1が素数になるような素数pをソフィー・ジェルマン素数という。

フェルマーの小定理

pを素数、apの倍数ではない任意の整数であるとする。このとき、以下が成立する。
ap11(modp)

平方剰余の相互法則

p,q2でない素数で相異なるものとすると
(qp)=(pq)(1)p12q12

本編

ソフィー・ジェルマン素数pp3(mod4)を満たすとする。
このとき
2p+10(mod2p+1)
が成り立つ。

ソフィー・ジェルマン素数pp3(mod4)を満たすとする。
2p+10(mod2p+1)
であると仮定して、背理法で証明する。

2p1(mod2p+1)1+(2p+1)(mod2p+1)2p(mod2p+1)
より
2p1p(mod2p+1)
である。
Z/(2p+1)Zが体であることを使いました)

p3(mod4)より、pは奇素数なので、p1は偶数である。
よって、①より、pは、2p+1を法とする平方剰余である。

また
2p+11(modp)12(modp)
より、2p+1は、pを法とする平方剰余である。

以上より
(p2p+1)=1(2p+1p)=1
である。よって、平方剰余の相互法則より
1=1(1)p122p2
であるので
(1)p(p1)2=1
であることがわかる。したがって
p(p1)2
は偶数である。

ここで、kを整数として、p=4k+3とおくと
p(p1)2=(4k+3)(4k+2)2=(4k+3)(2k+1)
となるが、これは奇数であるため、矛盾。

よって
2p+10(mod2p+1)
が成り立つ。

ソフィー・ジェルマン素数pp3(mod4)を満たすとき、2p+1はメルセンヌ数2p1の約数となる。

ソフィー・ジェルマン素数pp3(mod4)を満たすとする。
22p+1は互いに素なので、フェルマーの小定理より
22p1(mod2p+1)
である。ここで
22p1(2p1)(2p+1)(mod2p+1)
であることと、①から
22p1(2p1)(2p+1)0(mod2p+1)
である。
ここで、補題より
2p+10(mod2p+1)
なので
2p10(mod2p+1)
である。
よって、2p+1はメルセンヌ数2p1の約数となる。

感想など

素人質問ですが、2p1よりも、2p+1の方が調べやすいと思うので、2p1が合成数であることを判定するときに、この命題が役に立つんですかね?

追記(2021/1/9)

具体例

【初めてのJuliaプログラミング】ソフィー・ジェルマン素数を使ってメルセンヌ数の約数を求めてみた
※今回紹介した命題を使用して、具体例を計算した記事です。

よりシンプルな証明

ソフィー・ジェルマン素数とメルセンヌ数(よりシンプルな証明)
※本記事にてコメントを頂き、よりシンプルな証明を教えて頂きました。その証明を記載した記事です。

参考文献

[1]
加藤和也, 数論への招待
投稿日:20201120
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

みぽ
みぽ
161
31707
今日もねこがかわいい。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 経緯
  2. 前提知識
  3. 本編
  4. 感想など
  5. 追記(2021/1/9)
  6. 参考文献