高校数学の美しい物語さんの記事
を初めて見たとき、一つだけ知らない定理がありました。それがZsigmondyの定理です:
この定理は1892年にZsigmondyによって発見・証明され、1904年にBirkhoffとVandiverによって再証明されています。この記事ではZsigmondyの定理のBirkhof-Vandiverによる証明をMichelsが整理したものを解説します。定理の主張を満たすような素因数のことを原始的素因数と呼ぶことにします。
準備の補題
および
が成り立つことを思い出します。ここで、はMöbius関数です。
証明. ②を用いることによって容易に確認できる。 Q.E.D.
証明. なので、①より
である。Fermatの小定理より
であり、結局
となる。すなわち、
は確かに
の元であって、その位数を
とすると
が成り立つ。補題1より
であり、Fermatの小定理より
であるから
ー③がわかる。
であると仮定して矛盾を導く。②より
なので、或る
が存在して
ー④が成り立つ。
であることから、③と④より多項式
は
に還元して考えると重根をもつことになる。しかしながら、重根を持てるのは
の場合のみである。従って、我々は矛盾に到達した。 Q.E.D.
証明. これは鈴木の定理の記事105:円分多項式の係数と鈴木の定理 - INTEGERSにおける補題7に他ならない。 Q.E.D.
証明. 別途記事を書いた:指数持ち上げ補題 - INTEGERS Q.E.D.
証明. が絶対値
の複素数であれば三角不等式
が成立する。一つ目の不等式はのときのみ、二つ目の不等式は
のときのみ等号が成立する。この不等式を全ての
の原始
乗根について考えて掛け合わせることにより
が得られる。一つ目の不等式で等号が成立するのはのときのみであり、それは
のときである。二つ目の不等式は
であることから常に等号は成立しない。さて、定義より不等式の真ん中の数は
であり、②より
であることから
である。 Q.E.D.
Zsigmondyの定理の証明
はZsigmondyの定理の主張に現れるようなものとして固定する。ただし、
とする(主張の本質は変わらない)。また、例外ケースではないと仮定する。
のとき
で、例外ケースでないことから
は奇素数因子を持ち、それが原始的となる。何故ならば、もし、
も割り切るならば
と
を割り切ることになり互いに素であるという仮定に反するからである。
従って、以下とする。
若干の帰着
原始的素因数の存在を示すということは、の素因数
が存在して
なる任意の
に対して
は
を割り切らないことを示すということである(定義そのもの)。しかしながら、実際には
が成り立つ。これを確認するにはの素因数
に対して、
が
の素因数であるような最小の自然数
をとったときに
となっていることを示せばよい。
は互いに素であるからともに
で割り切れないことに注意する。
なる整数
を一つとる*1。
は
と同値である。よって、
の最小性から
の
における位数は
である。
でもあるから
がわかる。
証明方針
を斉次円分多項式とする。すなわち、
が成り立つ。円分多項式に関する命題は大抵の場合斉次版に書き換えることができる。
示したいことはが原始的素因数を持つことであるが、
の因数のうち原始的素因数からなる部分を
とする。すなわち、
を
の原始的素因数全体からなる集合とするとき、
と定義される。ならば
とする。しからば、我々が示すべきことは
となる。
ところで、各原始的素因数は⑥よりなる
に対する
のいずれかに住んでいるが、原始的素因数の定義と⑦を合わせて考えると
なる
に対する
には住んでいないことがわかる。すなわち、
は
に格納されているのである。そこで、
とを導入する。我々は
自体を攻めるのではなく、
を攻めるという方針をとることにする。証明のKeyは
は殆ど素因数を持ち得ないことを示すことである。具体的にいうと、
は素因数を持ったとしても高々一つであり、更にその素因数の指数は
であることを示すことができる。この証明に指数持ち上げ補題が巧みに用いられることになる。そうして、
が十分に小さいことを示した後に補題5を使って
を下から評価することによって
も下から評価できるという寸法である。
の構造
が素因数
を持ったと仮定する。このとき、
を示す。
のときは補題3のうち、
は成り立たない(
なので)。よって、
が成り立つ。
は奇素数であるとする。
と仮定して矛盾を導く。
の素因数は原始的ではないため、「若干の帰着」の内容と合わせると、
,
であって
なるものが存在する。まず、⑥より
であり、特に
であることがわかる。一方、であって
であるから、指数持ち上げ補題を適用すると
が成り立つことがわかる(と仮定していることに注意)。これは⑧と矛盾する。以上により
が示された。つまり、
の素因数は
の素因数によって支配される(とりあえずそんなにたくさんはないことがわかった)。
を引き続き仮定する。
の素因数は
のみであることを示す。
と表示する。ここで、
は自然数で
は
で割り切れない。補題1は斉次版でも成り立つため
が成り立ち、Fermatの小定理よりであるから、
である。
なる整数
をとると
が成り立つので、補題3より
または
となる。今、
であるから
が成立することがわかる。特に、
である。
を
の
以外の素因数としよう(これは
のときのみ考える)。すると、
なので、
と合わせて
でなければならない。先ほど
を示したことと合わせて
ことが示された。引き続きと仮定しよう。今示したことから
と書けることがわかる。
であることを示す。
のときから示す。
の最大の素因数が
ということになるので、
は
の冪である。
としているのだから、
も
の冪である。⑦とMöbius関数の性質より
である。が互いに素であることと
から
と
はともに奇数である。すなわち、
は奇数の平方数の和になっていることがわかった。従って、
である。すなわち、
は単偶数(i.e.
)である。
次にが奇素数であるとする。
なる
を任意に考える。今までと同じように
をとると、
であることから
であることがわかり、補題2より
の
での位数は
である(
という設定は続ける)。一方、
なので、
であることがわかる。このことから、⑦を考えると
となる(の値が
とならない因子のみを考えればよく、そのようなもののうち最後の二つ以外は
で割れない)。
が原始的でないことを考えると、上の議論と合わせて
は実際に
で割り切れることがわかるので、
,
,
として指数持ち上げ補題を適用することができる。従って、
を得る。以上をもって、は
であるか、或る素数
に対して
となることが示された。
証明の完結
のとき 補題5(
に注意)より
よって、が示された。
のとき 補題5より
となって、が示された(
なので
)。
のとき
を示せばよい。
なので
は奇数である(今、
のパリティは異なる)。
とおく。いつも通り
は自然数で
は
で割り切れないものとする。
と仮定する。
と考えて補題1の斉次版を適用すると
が成り立ち、
と評価できる。、すなわち
の場合を考える。補題1の斉次版と補題5の斉次版より
と評価できる。のとき関数
は
で単調増加なので、
となるが、だとこれは
より大きい。こうして、
の場合が残った。
で、前に示したように
なのだから、
しかありえない。
としよう。
なので、
の素因数は原始的である(「若干の帰着」に注意)。最終的に
の場合が残ったが、
なので、ならば
が示される。
のときは、例外ケースであった。 Q.E.D.
あとがき
Zsigmondyの定理は古い結果ですが、今ではZsigmondyの定理を特殊な場合として含む、はるかに強力な結果が得られています:
integers.hatenablog.com
この記事を書いたことによって、インテジャーズでは高校数学の美しい物語さんの「整数論の美しい定理7つ」の記事で紹介されている7つの定理のうち、フェルマーの最終定理以外の証明を解説したことになります。あと一つ!
*1:の存在証明は
integers.hatenablog.com
に書きました。