数学ファンの鯵坂もっちょさんがツイートしていた問題が面白かったので、今日はその問題について考えてみたいと思います。
あれ、もしかしてan+b(a,b,nは自然数、a,bは互いに素)型の数が積で閉じてるのってb=1のときだけか
— 鯵坂もっちょ🐟 (@motcho_tw) 2021年5月31日
もっちょさんの問題は、任意の という形の数の積
が再び
と表せるような整数 の条件は?という問題ですね。
この問題、見た目以上に広がりがある問題だと思います。「中国剰余定理」や「天に向かって続く数」にもつながったりします。お楽しみに!
元の問題を解く
たとえば、、
とすると、どちらも
の形の数ですが、その積をとると
となり、 なので
型の数となっています。
一方で、 型の数では同じことにはなりません。
どうも、 型の数の
の部分は
でないとうまくいかないようです。
より正確に定式化すると、次の命題になるかと思います。
証明には初等整数論の基本的な事項を使います。
まず と
の積は
と表せますので、 とおくと
となります。
これがある整数 を用いて
と表せる必要十分条件は、
における合同式
が成立することです。
あとは、 の必要十分条件が
であることを示せばよいわけですね。
が
と互いに素であるという条件を思い出すと、
における
の逆元
が存在します。したがって、
を両辺にかけて
となり、目的の関係が得られます。逆に、式 の両辺に
を掛ければ
が得られるので、
と
は同値です。
以上で命題の証明が完了したわけですが、面白いのは証明の途中に出てきた
という式です。
環 で考えると、
は
を満たす元ということになりますね。このような元を 冪等元 といいます。つまり今回の問題は、
の冪等元
の条件は?という問題だったわけですね。
今は、 は
と互いに素、すなわち
(
の乗法群)の元に限定して考えています。そのような条件下では、
の冪等元は
(乗法の単位元)しかないわけです。
せっかく という環を考えたわけなので、今度は乗法群に限らない冪等元を探してみたいです。
における冪等元、すなわち
なる をすべて見つけられるでしょうか。
ここで使えるのが 中国剰余定理 です。
中国剰余定理(環論ver.)
中国剰余定理とは、互いに素な法 における連立1次合同式に対し、その解を保証する定理です。
任意の 個の整数
に対して、
を満たす整数 の存在が保証されるわけですね。さらにその解は
で一意的です。
具体的には、たとえば で割ってあまり
で、
で割ってあまり
、
で割ってあまり
であるような数はあるか、という問題を考えてみましょう。つまり、連立合同式
の解 は存在するか、という問題ですね。
実際、 とすると上記の合同式をすべて満たすことがわかります。このような解があることを保証するのが中国剰余定理というわけですね。
さらにいえば、(
は整数)という形の一般解があるわけですが、
で考えれば
となり、一意的に解が定まるというわけです。
中国剰余定理については、もっちょさんによる大変分かりやすい解説がありますので、参考に置いておきます。
www.ajimatics.com
さて、今日考えたいのは、もう少し洗練されたバージョンの中国剰余定理です。
連立合同式 の条件は、
、
、
という3つの集合の直積の元
だと思うことができます。これに対して の元
が定まるというのが中国剰余定理の主張でした。
これはすなわちこういうことです。写像
を考えます。ただし、これは に対して
を対応させる写像です。
中国剰余定理が主張するのは、行き先の任意の組み合わせに対して、そこに向かう が存在すると言っているわけですから、つまり
が全射 だといっているわけです。このように言い換えられるのは面白いですね。
また、 で一意的ということは、これは単射でもあるということを言っています。つまり、
は全単射 というわけですね。
ここまでは古典的な中国剰余定理と何も変わらない(単に言い換えただけ)ですが、ここからさらに話を進めましょう。
という写像は、
という集合から、
という集合への写像として定義されたのですが、これを環から環への写像であると考えましょう。
さらに、この という写像は 環準同型写像 になっているのです。環準同型とは、環の演算をそのまま保つような写像というわけです。特に、環準同型かつ全単射なので、環同型写像 にもなっています。
環準同型写像とは、具体的には定義域の元 に対して、次のようなことが成り立つものを指します:
これは一見すると「当たり前じゃん」と思われてしまいそうな性質ですが、これがとても大事です。
というのも、この性質によって、 と
が自在に行き来できるからです。
① で計算した結果と、②一旦
で
に移して計算した結果を
で戻してきたものは、一般に等しくなります。
たとえば、① で計算した
の解
と、②
でそれぞれ求めた
の解
を
に戻してきて得られた
が一致するわけです。
実際、 において
が
を満たすとします。ここで、両辺を を使って写すと、等号
が成り立ちます。(同じ元からの写像の行き先は等しい
は環準同型なので、左辺は
より
と表せます。この式は 環
このようにして得られた解 を
によって戻してくれば
となり、元々の
を満たす
が得られると言うわけです。(
は全単射なので
が存在することを使った。)
この議論のイメージは以下の通りです:

だんだんやりたいことがわかってきましたか?
中国剰余定理を使って冪等元を求める
元々、求めたかったのは
の整数解 でした。
つまり環 の言葉で言うと
を満たす を求めよという問題ですね。これを中国剰余定理を使って考えてみましょう。
まず、 を素因数分解します。
は相異なる
の素因数として、その個数を
としています。
さて、ここで はそれぞれ互いに素であることに注意しましょう。中国剰余定理が適用できて、環同型
が得られます。
これによって、 の問題を
に帰着できるわけです。
あとは、(素数冪)において
の解を求めればよいことになります。
実は、法が素数冪のときにおいては、次が成り立ちます:
を満たすならば、 または
である。
これは証明すべきことなので、証明しましょう。
(証明)
整数 が
を満たすとします。
すると
より、 または
が
で割り切れることになります。
(i) が
で割り切れるとき:
も
で割り切れるとすると、
も
で割り切れることになるため、
は
で割り切れません。
したがって、 が
で割り切れることになり、
が成り立ちます。
(ii) が
で割り切れるとき:
も
で割り切れるとすると、
も
で割り切れることになるため、
は
で割り切れません。
したがって、 が
で割り切れることになり、
が成り立ちます。
以上により、 における
の解は
のいずれかであることが分かりました。
したがって、環の直積
における の解は、それぞれの因子における
のすべての組み合わせとなります。
すなわち
の 個が解となります。
ここまでが環の直積の方の解となるわけですが、これを に戻してくれば問題解決です。
環同型は特に全単射なので、全射性より に対応する
の元が存在します。さらに単射性より、その関係は1対1なので、先ほどの
個の解に対応する解が
にそれぞれ存在します。
したがって における
の解(すなわち、冪等元)の個数は 個というわけですね。
具体例1
一般論としてはここまでですが、 に適当な整数を入れると、具体的な冪等元が計算できます。やってみましょう。
とし、
における
の解を求めましょう。
中国剰余定理によって、環の同型
がありますので、右辺で考えます。
実際
の解の組み合わせとしては
の 通りです。
上の環同型によって、これらに対応する元がそれぞれ一つずつ存在します。実際
となります。(これは素朴に計算するほかありません。)
よって
の 個が
において
を満たす元、すなわち冪等元ということになるわけですね。
(確認してみると、確かにそうなっています。)
に対して、
を選び、元々の問題
を計算してみましょう。
式変形すると
となります。ここで、先ほどの議論により
となっているはずですが、実際
となります。したがって
が成り立つというわけですね。よって、下線部を とすれば
が成り立つというわけです。
具体例2
他にも を考えてみましょう。
中国剰余定理によって、環の同型
がありますので、右辺で考えます。
のようにはできないことに注意。
実際
の解の組み合わせとしては
の 通りです。
上の環同型によって、これらに対応する元がそれぞれ一つずつ存在します。実際
となります。(これも素朴に計算するほかありません。)
よって
の 個が
において
を満たす元、すなわち冪等元ということになるわけですね。
(確認してみると、確かにそうなっています。)
「天に向かって続く数」との関係
今回の話を見て、加藤文元先生・中井保行先生の「天に向かって続く数」の話を思い出した方もいるかもしれません。
ペレルマン数という数がありまして
という無限に続く合同式が得られるというものです。これを単に
と表しましょう。
他の系列としては
というものもあります。
これも
のように表記しましょう。
もう少し自明なものだと
というものや
というものもあります。
実はこれで全部となっています。
今回の話の分脈だと、ペレリマン数列が つなのは、
において
なる解が 個であるということの現れと見ることができます。
実際、 と素因数分解できるので、例によって環同型
が得られます。
よって、右辺において の
個の解
が得られ、これを で
に戻したものが、上の
つのペレルマン数ということになるわけですね。
実際、たとえば においては
となります。 においても同様です。
色々な話がつながってきて楽しいですね!
それでは今日はこの辺で!