はじめに
本記事では整数における進付値と型素数を素因数に持つ関数について紹介しようと思います。
目次
1.進付値の定義及び基本性質
2.進付値に関する補題
3.補題の使用例
4. の素因数
進付値の定義及び基本性質
まず、はじめに整数における進付値を定義します。(既にご存じの方は読み飛ばしてもらって構いません。)
整数における進付値
をでない整数とし、を素数とする。を素因数分解したときの素数における指数をもしくはと書き、進付値という。(本記事では、の書式を採用する。)
がで割り切ることのできる最大の回数とも表現できます。また、とすると、は整数でと互いに素であることは良く使うので抑えおきましょう。
続いて、進付値の基本的な性質について紹介します。
これらの命題は進付値を扱う上で基本的なものとなっており、進付値を有理数やもっと一般な代数体に拡張する際にも引き継ぐ性質です。なお証明は易しいので省略させていただきます。また、1の性質を繰り返し用いることで正の整数においてが成り立つことがわかります。
補題
ここで本記事のメインテーマである補題について述べます。
冪乗和の進補題
をそれぞれでない整数とし、を奇素数とする。
が成立する。
これは形の進付値を評価する定理です。という形で使えるLTEの補題とは主張が大きく異なり、が素因数にを十分に多く持っていればの進付値がの倍数になるという点がポイントです。また、この補題を使う際には、という条件に注意しましょう。下に証明が続きます。
,と表示し、とおく。(,はと互いに素)
また、対称性よりの場合のみを証明すればよい。
[1] のとき
であるから
すなわち=
[2]のとき
フェルマーの小定理より、であるから
よって 証明終
使用条件が限られていますが、このように3つの冪乗和についても公式が作れます。
と表示し、とおく。(はと互いに素)
また、対称性よりの場合のみを証明すればよい。
[1] のとき
フェルマーの小定理より
[2] のとき
フェルマーの小定理より
[3] のとき
より
よって[1],[2],[3]の全てにおいてなので
ゆえに、 証明終
補題の使用例
有理数解を求める問題では合同式では不十分なこともあり、今回は進付値に注目して解いていきます。まず先程紹介した補題が使える形に方程式を変形しましょう。
解答
またはのとき、個別に調べることで解を持たないことがわかるので,である。よって、でない整数を用いてとおける。
・・・①
とし、補題2を用いることでとなり、①の左辺のでの付値は偶数、右辺の付値は奇数であることがわかり、付値の不一致より解なし。
の素因数
先程の補題を使っての素因数について考察していきます。
をそれぞれでない整数とし、を正の整数とする。
①とが互いに素であるとき、を除く素数がの素因数ならば は型素数である。
②の場合を除いては型素数を最低1つ素因数に持つ。
①を除くである素数において、補題2より
が成り立つ。とは互いに素であるのでとの少なくともどちらかはでありとなる。
よっての素因数はか型素数に限られる。
②とが互いに素な場合のみ証明すれば十分である。であるからはをを高々1つしか素因数に持たない。一方であるから、以外の素因数すなわち型素数を持つ。証明終
定理4の副産物として次の系があります。
互いに素な正の整数に対して、型素数が無限個あることは知られていますが、証明は解析的な道具を用いた高度なものとなります。今回は特にの場合について定理3を用いて初等的な証明を与えます。
型素数は型素数でもあるので、型素数の無限性を証明すれば十分である。
を正の整数とし、を任意の型素数とする。(型素数の存在については定理3から明らか。)正の整数に対して、数列{}を , ()として定めると、任意の相異なる2つの項は互いに素である。また補題2よりすべての項は型素数を素因数に含むので、型素数をいくらで多く生成でき、無限個あることがわかる。証明終
フェルマーの最終定理
をそれぞれでない整数とする。
を満たす の組は存在しない。
かの有名なフェルマーの最終定理です。の場合では、を乗ではなく 乗まで強めることができます。証明は無限降下法を使うやり方が有名で、調べれば沢山出てくると思うので今回は省略させていただきます。
をそれぞれでない整数とし、を以上の整数とする。
との偶奇が不一致なとき、となるような型素数が存在する。
これが本記事での最終的な結論となります。証明自体は補題2,5からすぐに従います。
まず、は明らかに奇数であり、を素因数に持たないので、補題2より、型ではない素数はを最大で偶数回割り切る。
また、補題5よりを最大で奇数回割り切るような素数が存在し、それは型素数となる。証明終
をそれぞれでない整数とし、を以上の整数とする。
とが互いに素であるとき, は平方因子を持たない。
この予想はどうやら未解決問題のようです。定理6の結果とは相反しておらず、十分に成り立ちうるものだと考えています。
終わりに
本記事では整数の進付値に注目し、特殊な素数について考察していきました。進展があったら続きを書こうと思います。ここまで読んでくださった方、ありがとうございました。