教科書に何故か書いてくれない円分体のガロア理論　〜ガウス周期〜

${\zeta }_N:=e^{2\pi \sqrt{-1}/N}(N\in \mathbb{Z})$とする．

はじめに

代数学の教科書には大抵ガロア理論の章に円分体$\mathbb{Q}({\zeta }_N)$について書かれている．しかし殆どの場合そのガロア群を求めて終わりである．実際にはガロア対応まで明示的に求めることが出来る有名な話題があるのに何故かそれが書いてある本が非常に少ない（個人的に絶対に書くべき内容だと思う）．この現状は誠に遺憾だと思ったので簡単ながらこのような記事を書くこととなった．なお証明は省略しているので適宜ググるなりして欲しい（いつか書くつもりではある）．

円分体のガロア対応

以下主に$N=p$が奇素数の場合を考える．$F=\mathbb{Q}({\zeta }_p)$とする．

ガウスは次の偉大な和を考えた：

もしかしたら聞いたことがあるかもしれない．それなりに有名な話題ではある．あるいはこれに関係する量でもあるガウス和の方は聞いたことがあるかもしれない．

さてこれが$F$の部分体を記述してくれる（証明はいつか書く）：

例

具体的な計算を一つだけ書いてみよう：

まず4次のガウス周期全体は $${\eta }_4(1)，{\eta }_4(2)，{\eta }_4(4)，{\eta }_4(7)$$である．計算するとこれらを根に持つ多項式は$x^4+x^3+2x^2-4x+3$となる．これの根全体は，計算すると，$$\begin{array}{rc}{\eta }_{4,1}& :={\displaystyle \frac{-1+\sqrt{13}-{\alpha }^{\prime }}{4}}，{\eta }_{4,2}:={\displaystyle \frac{-1+\sqrt{13}+{\alpha }^{\prime }}{4}},\\ {\eta }_{4,3}& :={\displaystyle \frac{-1-\sqrt{13}-\alpha }{4}}，{\eta }_{4,4}:={\displaystyle \frac{-1-\sqrt{13}+\alpha }{4}}\\ (\alpha & :=\sqrt{-1}\sqrt{26+6\sqrt{13}},{\alpha }^{\prime }:=\sqrt{-1}\sqrt{26-6\sqrt{13}})\end{array}$$の4つである．従って$K$は$\mathbb{Q}$にこの4つの値を添加した体となる．ここで
$${\eta }_{4,2}-{\eta }_{4,1}={\displaystyle \frac{{\alpha }^{\prime }}{2}}，\alpha {\alpha }^{\prime }=-4\sqrt{13}$$に注意すれば示したかった$K=\mathbb{Q}(\alpha )=\mathbb{Q}(\sqrt{-1}\sqrt{26+6\sqrt{13}})$が得られた！

結論

楽しい！