本日 11/11 はレピュニット(1が続く数)の日ですね。毎年この日が来るとtsujimotterはこちらの記事をTwitterに投稿しています。
tsujimotter.hatenablog.com
この日は数学が好きな人たちの間でも、レピュニット関連の話題がたくさん投稿されるのですが、特に鯵坂もっちょさんのこちらの投稿が気になりました。
11/11ですが pic.twitter.com/6MATw4sGfZ
— 鯵坂もっちょ🐟 (@motcho_tw) 2019年11月11日
レピュニットは
とかける数のことですが
という多項式を考えて、 を代入したもの、だと考えてもいいわけです。
このように考えると、多項式 の既約分解を考えることで、レピュニットの因数分解を得ることができます。たとえば
という多項式の既約分解を考えることで、 と代入してレピュニットの因数分解
が得られるというわけですね。
これは面白い見方だと思いました。
一方で、 を考えると、これはよく知られているように 上既約な多項式です。たとえば、証明はこちらに載っています。
biteki-math.hatenablog.com
一般に、素数を として、 は既約であることが示せます。
ところで、この に を代入したレピュニットは、素数にはならず、以下のように素因数分解されます。
すなわち、 が既約だからといって、 が素数であるとは限らないというわけですね。
それはたしかにそうなのですが、もう少し踏み込んだ議論ができないかと思いました。そこでこんなツイートをしたわけです。
この見方は面白いな。円分多項式の既約性と対応づけられないかなと思って考えてました。
— tsujimotter ロマ数本好評発売中!! (@tsujimotter) 2019年11月11日
一方で、たとえばX^6+X^5+X^4+X^3+X^2+X+1はQ上既約だけど、1111111 = 239 × 4649 と割り切れてしまう。上手い解釈はできないかな。
このツイートに対して、梅崎さんと山田さんのお二方から、円分体の分解法則と関連づけられそうだという情報をいただきました。今回は、それをまとめて見たいと思います。
円分体との関係
まず円分体とは、 を なる整数として、1の原始 乗根 を に添加した体 のことです。tsujimotterのノートブックでも度々登場しています。
原始 乗根 の最小多項式は、 が素数のときには に一致します。したがって、以降 を奇数の素数に固定して
という同型があります。
実際、 は円分体 の性質に大きく関係しているわけですが、その一つとして素イデアルの分解法則があります。
の整数環 の素イデアルは、素数を として の形で表せます。素イデアルは は、円分体 の整数環 の素イデアルに持ち上げることができます。このとき、持ち上げた素イデアル は、 でも素イデアルのままとは限りません。
たとえば、 の場合、 の素イデアル は
のように分解されます。一般に が で 個の素イデアルに分解されるとき、 は で完全分解するといいます。上の例では、 は で完全分解するというわけですね。
このように、素イデアルが分解する法則のことを、そのまま「素イデアル分解法則」といいます。
円分体の素イデアル分解法則は、類体論等の理論により、よく知られています。ここでは、その帰結だけ紹介しましょう。
が で完全分解する( が で 個の相異なる多項式の積に分解する)
が で完全分解する
特に最後の条件 は非常にわかりやすい条件になっていますね。 とすると、式 のケースが、この条件を満たしていることを確認できますね。
さて、レピュニットの話に戻しましょう。
のとき、上記の分解法則から が で完全分解することがわかります。
また、このとき が で完全分解することもわかります。すなわち
は、 個の相異なる解 を持つことになります。( で考えています)
このとき に対して
が成り立つわけですが、これは 進法のレピュニット
が、 で 0 に合同、すなわち で割り切れるということを表しています。すなわち、レピュニットの素因数を見つけることができたというわけですね。
実際、 のケースを考えると
なので、 はどちらも で完全分解します。また
はどちらも完全分解するわけですが、そのときの共通の解として が取れたというわけですね。面白い。
他の例を考えてみよう
たとえば、 以下では、 なる素数は の3つです。これらについて、 での の分解を考えましょう。
sagemathを使って次のようなコードで検証します。
p=2 while p<100: p=next_prime(p) if p % 7 == 1: F=FiniteField(p) R.<x>=F[] f=factor(x^6+x^5+x^4+x^3+x^2+x+1) print p,f
すると次のような結果が得られました。
29 (x + 4) * (x + 5) * (x + 6) * (x + 9) * (x + 13) * (x + 22) 43 (x + 2) * (x + 8) * (x + 22) * (x + 27) * (x + 32) * (x + 39) 71 (x + 23) * (x + 26) * (x + 34) * (x + 39) * (x + 41) * (x + 51)
すなわち、 においては
が成り立つということですね。符号を反転した方が解釈しやすいので
としておきます。すると、 の解は
となるわけですね。
よって、先ほどの議論により で に合同な 進法の 桁のレピュニットは で割り切れる というわけです。
実際計算してみると
となり、たしかにすべて素因数として を持つことがわかりますね。
惰性する場合
(私の勘違いがあったため、この節の内容は大幅に修正しました)
上の話では が で完全分解するケースだけを考慮していました。完全分解しないケースについてはどうでしょうか?
完全分解しない場合は、たとえば のケース
のように、各多項式の次数が 2 以上になります。また、ガロア拡大における素イデアル分解の性質により、分解された多項式の次数はすべて等しくなります。よって、このようなケースでは は で解を持たないということになります。(もし解を持つなら、1次の多項式の積に分解されるため)
完全分解しない素数、すなわち かつ においては、 が を割り切るような 進法が存在しないということになりますね。
の例で考えると、どんな 進法に対しても
は で割り切れない、ということになるでしょうか。
この辺の議論はちょっと自信がないのですが、もし成り立つなら面白い結論です。すなわち、 桁のレピュニットの素因数として、 なる素数 は現れないということになります。本当でしょうか。
実際、素数 桁のレピュニットの素因数分解の様子を確認すると、たしかに のとき()を除けば、 型の素因数になっていますね。
111 = 3 * 37 11111 = 41 * 271 1111111 = 239 * 4649 11111111111 = 21649 * 513239 1111111111111 = 53 * 79 * 265371653
おわりに
今回は円分体の素イデアル分解法則が、レピュニットの素因数に関連するというお話をしました。
円分体の理論は好きで、たびたび記事にしていますが、このような形で役にたつ(?)とは思っていなかったので、とても新鮮でした。アイデアをくださった梅崎さん、山田さんありがとうございました。
それでは今日はこの辺で。