三回生の間に知った事実のうち面白かったもので,かつ証明が比較的容易なものをひとつ紹介したいと思います.
以下の定理を示します.
根の絶対値が ということはつまりガウス平面の単位円周上にあるということなので,パッと見は当たり前ではという感じがしますが,しかし少し考えてみるとそれほど当たり前ではないことが分かります.たとえば の絶対値は ですが,これは のべき根ではありません.証明は,多分漸化式みたいなのをこねくり回しても証明できると思うんですが,体論を知っているのであれば次のように示すことができます.
(証明)
が有理数であると仮定する.すなわち を互いに素な正整数として と表せるとする.このとき は よりも小さい正整数である. は互いに素なので となるような がとれる.すると は の原始 乗根.これを とおく.
いま , はともに有理数であり であることに注意すると である.よって は 上二次拡大で,そのような は に限る.よって矛盾.
は日本一有名な直角三角形から得られる複素数ですが,これが のべき根であるなら整数乗すれば にできるということ,しかしそれは上の事実より矛盾です.なので のべき根ではありません.
の 上の共役元との和と積を考えることで,根の絶対値がすべて であるような多項式として,たとえば を作ることができます.しかしこれは整数係数でないので命題の反例にはなりません.分母を払って としてみても,今度はモニック(最高次の係数が )でなくなるので,これも反例にはなりえません.Kronecker の定理は,『整数係数』で『モニック』な多項式の『すべて』の根の『絶対値が 』である,というところまで条件を課したなら根はすべて のべき根であると結論付けられるということを主張しています.そう考えると結構不思議な感じがしてきませんか?
では証明しましょう.細部では体論の基本的な事項を用いますが,クリティカルな部分は割と初等的な操作ばかりです.
が 上既約のときに示せば十分.このとき は 上既約なモニック多項式だから,ある の 上の最小多項式となっている. は標数 ,特に完全体なので は に重根を持たない.よって の根を とすると,これらはいずれも相異なる.
として Newton’s identities を用いると, は整数係数モニック多項式だったから が任意の で成り立つことが分かる.また だから .ゆえに としてあり得る値は高々有限個である.ここで とおく.すると先に述べたことから となるような , をとることができる.このとき が で成り立つ.
より .移項して とおくと となる. は に無関係であることに注意して,これらを から まで計 個の, を未知数とする連立方程式とみる. 成分が であるような 次正方行列を とすると,先の方程式の解は を解くことで得られる.いま は Vandermonde 行列で,さらに はすべて相異なるとしていたから .すなわち は逆行列をもつので,それを左から乗ずることで結局,任意の について であることがわかる. なので .よって の根はすべて のべき根である.
多項式 に対して定義される概念として Mahler 測度というものがあります(あるらしいです). でない代数的数 に対して Mahler 測度が であることと が のべき根であることが同値,というのが本来の Kchronecker’s Theorem です.Wikipedia なんかを参照してもらえれば,定理で仮定されている状況から Mahler 測度が になることは直ちに分かります.
この問題を口頭で発表する機会があり,そのときに「問題文の条件から根の高さが抑えられるから,そういう場合にはこういったことを示すことができる」というような補足説明(細部は違うかも)を受けました.代数的数 とその次数 ,Mahler 測度 ,絶対的高さ について等式 が成り立つので,あの説明はそういうことだったのかもという気持ちです、いまは(でも詳しいことは何一つも分かっていない).