まず次の問題を見てもらいたい。
2017年の早稲田大学の入試問題である。解答は適当に検索すると例えばhttp://nonoishi.web.fc2.com/entexam/nyuusi17-1.pdfが見つかる。そこには、その根はと書いてある。
この特別な多項式を「巡回多項式」、をその「巡回関数」と呼ぶことにするならば、この問題は多項式が巡回多項式、がその巡回関数であることを主張していると言える。
この気持ちに沿うように「巡回多項式」、「巡回関数」を定義してみよう。
[定義]
をを解に持つ$n$次の有理数係数多項式とする。ここでが巡回多項式であるとは次が成り立つ事をいう:
あるがあって
このとき$p$を$f$の巡回関数という。
ここではを回合成した関数を表している(ただし$p^(0)(x):=x$)。
注意:$p$は唯一つに定まるとは一言も言っていない。
さて、もしという多項式だけ見せられて、これが巡回多項式であること、そして巡回関数は何であるかを求めることは出来るのだろうか?
まずは前者から解決しよう。いきなりであるが次がこのテーマの主定理であり、この話題に決着をつけるものである。
[主定理]
をを解に持つ既約次多項式とする。このとき以下が成り立つ
は次巡回拡大は巡回多項式
巡回拡大とはその拡大のガロア群が巡回群であるということである。つまりこの問題の構造はガロア理論によって記述されるものなのである。 またここでが素数のときにはもっと特殊な状況が起こる(後で証明する)
[系]
を を解に持つ既約次多項式とする(は素数)。このとき以下は同値である
は巡回多項式
のある根を用いてと書ける
ここで は次巡回群のことである。
これにより、例えば
代数体上の多項式の因数分解 - Period-Mathematics
で挙げられているはその因数分解の形から条件を満たしていることがわかるので、巡回多項式であることがわかる(後で確認する)*2。
主な想定読者層は中高生や数学が専門でない(なかった)方、としているので証明や説明は懇切丁寧に書いた。ただ、ガロア理論についてしっかりした知識がない場合、ちゃんとした本を一冊傍らに置いておくことを強くお勧めする。後述するが、本稿ではよく知られた事実などを石井俊全『ガロア理論の頂を踏む』から引用したりしているので、例えばこの本を用意しておけば十分である。
本稿を通じてガロア理論ないし現代数学の大きな魅力である、計算の泥沼の上を優雅に飛んで行ってしまう感覚を味わえたら幸いである。
目次
主定理の証明(ここは飛ばして先に計算を楽しむこともできる)
主定理を示す前にいくつか補題などを用意する。いくつかよく知られた事実などは認めることにする。ただ一応出典は載せておいた方がいいと思ったのでここでは、最近人気のようである石井俊全『ガロア理論の頂を踏む』から引用することにする。その方が多分読者層にもあっているだろうし何よりこの本は全く省略がないので問題ない。以下断りなくページ数などを書いたらこの本についてのものとする。また説明も、高校生などを想定してかなりわかりやすくかみ砕いて説明したつもりである。
補題1
を有限次元ベクトル空間の部分空間とする。ここでも有限次であり、が成り立つ。(p.319 定理5.16)
補題2
次既約多項式の根による単拡大体の上のベクトル空間の基底としてが取れる。よって(p.288 定理5.3 後半)
命題1
(p.377 定理5.28)
命題2
をそれぞれの次拡大体とするとき、
証明
は仮定そのものであるのでを示せばよいが、拡大次数の定義を思い出せば補題1より直ちに従う。
証明終了
では主定理の証明に入る。もう一度主定理を述べておこう。
[主定理]
をを解に持つ既約次多項式とする。このとき以下が成り立つ
は次巡回拡大あるがあって(つまりは巡回多項式)
証明
は次巡回拡大であるとする。まずが次拡大である事により、命題2より(最後のイコールはが上代数的であることによる(p.288 定理5.3 前半*3))。命題1よりであるから、と書ける。
はの共役であることからあるがあってとなる。は、より、あるを用いてと書けることがわかる。
このとき、必要に応じて添え字を付け変えて、と書くことにすると、
であるので示された。
次に逆を示す。まず仮定よりであるから命題2よりが言えるので命題1と合わせると、を得る。が既約であることからは任意の二つの根を選んだとき、一方を他方へ移す元を必ず含んでいる(p.292 定理5.5*4 )。従ってあるがあってとなる。このときとなり、をその共役へ移す同型が個全て得られたので*5の元はこれで全てである(詳しく言うならがわかり、最初に述べたようにあるから とならねばならない、ということである)。従って示された。
証明終了
系も示すのであった。
[系]
を を解に持つ既約次多項式とする(は素数)。このとき以下は同値である
は巡回多項式
のある根を用いてと書ける
証明
は主定理から従い、は自明なのでのみ証明すればよい。
が成り立っているとすると、命題2よりであるから、これと命題1を合わせるとがわかり、ここから直ちにが従う*6。
証明終了
冒頭の例を考えてみる
まずは冒頭の問題について主定理を当てはめてみる。とする。 が三次の巡回群であることを確認すればよいのだが、これは問題の内容から明らかである(これでわからない読者は恐らく説明されてもわからないだろうし、説明されて分かる読者は説明せずともはずであるから説明の必要はないのである。p.322の例と全く同じである)。
逆にガロア群が巡回群である多項式を持ってきてそれが巡回多項式となる例も見たい。そのためには次の節の内容が必要であるので、そこで例を出そう。
巡回関数の計算
さて二つ目の主題である。これは上での因数分解が与えられれば解決することはすぐにわかる(はの根)。
ちょうどその方法をここに書いたのでまずこれを読んでほしい。
period-mathematics.hatenablog.com
計算にはPARI/GPというものを使う。Androidならスマホアプリもあるので非常に便利である。
さてでは冒頭の例の巡回関数を求めてみよう。
まずはを上で因数分解するととなる
コマンドと計算の様子は以下のようになる
コマンド
gp > f(x)=x^3+x^2-2*x-1
gp > lift(factornf(f(x),f(a)))
計算画面
よってのどちらかが巡回関数だとわかる。
ここで主定理の証明を見ると納得されると思うが、生成元となる多項式を引く確率は1からまでの中でと互いに素な数の個数を引く確率であるのでである。特にが素数の時はどれを選んでもよい。今はであるからどちらも巡回関数である。
ここで問題文に与えられていたと形が違うと思うかもしれない。しかしこれは見かけが違うだけで本質的には*7同じである。というのもなのである。これは簡単に確かめられるがPARI/GPでは以下のように確かめられる。
gp > a=Mod(a,f(a))
gp > lift(-1/(a+1))
%4 = a^2 - 2
よってどちらの表現を使ってもいいわけであるがは既に問題で確かめられているのでの方を確かめよう。その前に、念のためここまでをやった計算画面を以下に示す。
さて確かめる内容はである。これは単なる計算なのでコマンドと計算画面だけ置いておこう。
コマンド
gp > p_1(x)=x^2-2
gp > lift(p_1(p_1(a)))
gp > lift(p_1(p_1(p_1(a))))
計算画面
%6の結果でが、%7の結果でがしっかり出ていることがわかるだろうか?これはそれぞれを表しており、従ってが巡回関数であることが確かめられたのである!
も巡回関数であったのでこっちを選んでも同様の結果が出るはずである。ここではあえて計算画面などを出さないので、読者自ら計算を試みられてほしい。PARI/GPの慣れにも、状況把握にも役立つはずである。
巡回関数の計算2(冒頭の問題以外の多項式の考察)
ここでは冒頭の入試問題以外の例も少し計算してみることにする。
まずは始めで予告したについて考察しよう。これについては既にそこに
という分解が計算されているので[系]より巡回多項式だったっわけであるが、これが巡回多項式であるかを確かめてみよう。
も素数であるからどれを選んでもよいので、例えばを選んでみよう。計算結果だけ載せると以下のようになる(画像では(面倒だったので)liftをかましていないがもちろんかました方が見やすくきれいな見た目になる)。
しっかり巡回して最後にはもとに戻っていることがわかる。他の三通りも試されたい。冒頭の問題のように分数表示をすることも出来よう(例えばの分数表示はであることがわかる)。
他にもいろいろと計算できるはずである。沢山遊んでみてほしい。筆者にはその余裕が無いので今はこうしてその土壌を整えることに集中した。そして何か面白いことをどんどん見出していってみてほしい。
巡回多項式はどのように見つけ出せるか
実は三次多項式$f$に対しては,その判別式を$D$としたとき「が有理数のガロア群は巡回群」という定理があるのでが有理数であるとき,またそのときに限って$f$は巡回多項式です.$D$の公式はネットで検索すれば色々出てくるでしょうからPari/GPと合わせて色々計算を楽しんでみてください.
あとがき
中学生のときだったか高校生のときだったか、興味を引くページhttp://shochandas.xsrv.jp/solution/solution3.htmを見つけた。という見慣れた方程式が始めの方にあり、「またこれか」と思って読み進めていくとどんどん見覚えのない記述が目に飛び込んできた。
てっきりこれは解が三角関数で表せるという、とても特殊な状況の中でもさらにたまたま起こるような現象だとばかり思っていたがそこには一般の異なる3つの実数解を持つ3次方程式に対してなんと公式まで与えられていた*8。これには驚きどのようにして導出したかの解明に取り掛かるも当時の自分には2次が関の山であった。
またそのあとには4次の場合などより高次の場合が続いていた。必要十分条件や完全な公式は与えられていなかったが、読み進めるにつれて「ガロア理論」というワードが飛び交うようになっていた。それが恐らくキーなのだろうということは分かりつつも誰も決定打を与えられていなかったような雰囲気であった(ただ一人、大学教員と思われる人は完全にわかっていたようであるが)。
月日が流れ、ガロア理論を少しやり終えてからしばらくして、この話題を思い出し、かねてから気になっていた主定理の証明と巡回関数を求める方法を見出すことの二点に成功したのがちょうど去年の三月頃であった。
この問題について考えているサイトをよく見かけたが、ガロア理論が関係していることは勘づいている人は少なくなかったようだが、ガロア理論をちゃんと知らないため結局はそのキーワードを出すにとどまっているのがほとんどだった。ガロア理論を知らない人には到底記述できず、また知っている人は少し考えればわかることなのであえてしっかりとした回答を残さなかったのだろうという想像がつく。一番ましに思えたのがhttp://suseum.jp/gq/question/2733であった。
恐らく、少なくとも日本語の文献では、この現象に完全な解答を与えた文献は本稿が初めてなのではないのだろうかと思う。もしそうなら書いたかいがあったというものである。そうでなくとも昔抱いた疑問を完全に解決できたというだけでも嬉しいものである。解決当時も、計算の最後にしっかり「a」と出てきてくれたときは喜びに打ちひしがれた。
後半の計算パートはガロア理論がわかっている人も楽しめるのではないかと思う。ガロア理論を知らない人でもここで雰囲気だけでもつかむことは出来るかもしれない(念のため、この記事+傍らの本だけではガロア理論はまだわからないと思う(わかるきっかけにはなるかもしれないが)。本当にガロア理論を理解したいのなら啓蒙書ばかり読んでなんとなく分かった気にならずに必ずちゃんとした本を一冊手元に置いて、証明をしっかり追って勉強するのを強くお勧めする。例えば本記事で引用した石井俊全さんの本は良いと思う。上の方程式のガロア理論に終始しているため単拡大定理を駆使してとっつきやすい内容となっている。基本定理の証明も単拡大ならではのオリジナリティのあるものであると思う)。
最初に宣言した通り証明も本当に丁寧に書いたので、少なくともガロア理論の本をある程度読んだことのある読者なら、時間をかければ必ず理解できると思う。そうでない読者も根気強くちゃんとした本にある程度時間をかければ、本稿を読み通すことができるようになっていると思う。一人でも多くの人がガロア理論の威力を体感出来たらそれは筆者の喜びである。
*1:以下の議論においてを全て標数0の体で置き換えることで上の多項式に対しても全く同様の結果が成り立つ。
*2:ガロア群が5次の巡回群であることも直接PARI/GPを用いて確認することもできる(これは
多項式のガロア群の計算~PARI/GP入門~ - Period-Mathematics
にて紹介している)
*3:本にはと書いてあるが正しくはである。が体であることがわかって初めてがわかる、という寸法である
*4:正確にはこの定理の同型、では正しくない。しっかりの自己同型にしなければならず、その場合同型を拡張する必要がある。これを正確に扱っているのは雪江明彦『代数学2 環と体とガロア理論』の命題4.1.11である。が、しかし初学者は今の段階では特に気にせずその同型がの元であると(不正確ではあるが)思って構わないだろう
*5:p.301 定理5.10の理屈である
*6:素数位数の群は巡回群しかないという有名な事実が効いており、これがこの証明のキーである
*7:正確にはの元として