方程式 の解を考えます.これは の 乗根で,複素数の知識を使えば, と表わされる数になります. 有限巡回群 の記事で見たように,この方程式の解 は巡回群をなします.
いま, の最小分解体を とすると, が言えますが,ガロア群 の元は の解を置換しますので,ある適当な整数 を用い,ガロア群に属する任意の元 の作用は必ず次式のように書けるはずです.
ただし,この範囲にある 全てにおいて, と が一対一に対応するとは限りません. と が 以外に公約数 を持つ場合,次式が成り立つため, と が同じになってしまいます.
従って,一対一対応の写像が得られるのは と が互いに素 のときに限ります. に対し, (ただし )を 1の原始n乗根 と呼びます.一般に,原始 乗根は一つとは限りません. が の原始 乗根となるための必要十分条件は ですので,一般に の 乗根は,『 以下の整数で と互いに素である整数の個数』だけ存在すると言えます. と互いに素である整数 の個数は,よく で表わされます.
theorem
の原始 乗根は 個あります.
ここに出てきた を オイラーのファイ関数 と呼びます.ファイ関数を使うと, と書くことが出来ます.また,次の定理も重要です.
theorem
の最小多項式は, の全てを解として持ちます.
この定理の証明は長くなるので,ここでは省略します. が代数方程式の解として与えられるとき,常に他の も一緒に与えられるということです.この定理により, の解 の最小多項式は の形に書けることが要請されます.添字の は, を満たす だけを取るものとします.この最小多項式を 円周等分方程式 と呼びます.円周等分方程式の解は,複素平面上で単位円の円周を等分点に当たりますから,この名前の意味は非常に明快だと思います.
円周等分方程式は という記号で表わすことが多いようです.
先ほどの定理の系として次の定理も重要です. は剰余体 の乗法群を意味するとします.
corollary
に の 乗根 を添加した拡大体を とすると, がなりたちます.さらにガロア群 は に同型となります.
proof
まず先ほどの議論より となるはずですが, の元 を の各類 に対応させる写像があれば,ガロア群 は と同型になるはずです.いま , とすると,合成写像は となりますので, , に対して, が言え,この写像は単準同型になっています.逆に から への写像も一つに決まるので,結局この写像は同型だと言えます.■
拡大体の次数について注意です. の解 を使い,拡大体 を考えます. の元は,一般に と表わされ, 上のベクトル空間と見た場合には が基底を張ることになります.あれ, は基底に無いのでしょうか?要りません.ベクトルの足し算だと思って図形的に考えればすぐに分かりますが, がなりたつため, と は独立ではないのです. の 乗根を添加するとき,拡大次数を間違わないように注意して下さい.
一般に の 乗根を添加した拡大体を 円分体 と呼びます.(一般に,と書いたのは,標数が零ではない体上で円周等分方程式を考えることもあるからです.)いま 上の円周等分方程式円分体を考え,円分体 を得たとすると, であって, は一般に のガロア拡大体となります.
先ほど,円周等分方程式を の形に書きましたが,これを次のように書き直すことも出来ます. は『 の約数 』という意味です.
円分体は美しい代数構造を持っていますが,代数的整数論という分野で重要だそうです.かのガウスが整数論を『数学の女王』と呼んだのは有名な話ですが,整数論は数学の中でも特に難しく,かつ美しい分野です.普通の整数(有理整数)の性質を研究する分野を初等整数論と呼びますが(初等というのは簡単という意味ではありません!!),これに対して代数的整数,つまり 上の代数方程式の解として得られる数の性質を考える分野を代数的整数論と呼びます.
有名なフェルマーの大定理は 年にワイルズ( )によって証明されましたが,証明の中でもとりわけ重要な鍵を握っていた部分が,岩澤理論と呼ばれる代数的整数論の理論でした.ここまで行くと,著者も内容が分かっていないので知ったかぶりの説明は止めますが,岩澤理論とは代数体の円分 拡大(円分拡大と 拡大を合わせたものです)と呼ばれるものの構造に関する予想です.この先には,随分と面白そうな世界が広がっているようです.
代数的整数論の分野は伝統的に日本から優秀な数学者がたくさん出ています.例えば,類体論の高木貞治 や岩澤理論の岩澤健吉( )が有名です.数学の分野を正確に区別は出来ませんが,代数幾何,数論幾何など,関連の深い分野もやはり日本の研究者が得意とする分野で,フィールズ賞を取った京都大学の森重文( )などが有名でしょう.もしこの辺りの分野に興味のある人がいたら,日本で研究するにはいいかも知れません.