$$\newcommand{A}[0]{\mathbb{A}}
\newcommand{abs}[1]{\left \lvert #1 \right \rvert}
\newcommand{acts}[0]{\curvearrowright}
\newcommand{Alt}[0]{Alt}
\newcommand{aut}[0]{Aut}
\newcommand{B}[0]{\mathbb{B}}
\newcommand{bfsubsection}[1]{\subsection*{\textbf{#1}}}
\newcommand{bmat}[1]{\begin{bmatrix}#1\end{bmatrix}}
\newcommand{C}[0]{\mathbb{C}}
\newcommand{calA}[0]{\mathcal{A}}
\newcommand{calB}[0]{\mathcal{B}}
\newcommand{calC}[0]{\mathcal{C}}
\newcommand{calD}[0]{\mathcal{D}}
\newcommand{calE}[0]{\mathcal{E}}
\newcommand{calF}[0]{\mathcal{F}}
\newcommand{calG}[0]{\mathcal{G}}
\newcommand{calH}[0]{\mathcal{H}}
\newcommand{calI}[0]{\mathcal{I}}
\newcommand{calJ}[0]{\mathcal{J}}
\newcommand{calK}[0]{\mathcal{K}}
\newcommand{calL}[0]{\mathcal{L}}
\newcommand{calM}[0]{\mathcal{M}}
\newcommand{calN}[0]{\mathcal{N}}
\newcommand{calO}[0]{\mathcal{O}}
\newcommand{calP}[0]{\mathcal{P}}
\newcommand{calQ}[0]{\mathcal{Q}}
\newcommand{calR}[0]{\mathcal{R}}
\newcommand{calS}[0]{\mathcal{S}}
\newcommand{calT}[0]{\mathcal{T}}
\newcommand{calU}[0]{\mathcal{U}}
\newcommand{calV}[0]{\mathcal{V}}
\newcommand{calW}[0]{\mathcal{W}}
\newcommand{calX}[0]{\mathcal{X}}
\newcommand{calY}[0]{\mathcal{Y}}
\newcommand{calZ}[0]{\mathcal{Z}}
\newcommand{card}[1]{\left|#1\right|}
\newcommand{ceil}[1]{\left\lceil#1\right\rceil}
\newcommand{ch}[0]{ch}
\newcommand{cl}[0]{Cl}
\newcommand{codim}[0]{codim}
\newcommand{coker}[0]{Coker}
\newcommand{Cx}[0]{\mathbb{C}^{\times}}
\newcommand{defiff}[0]{\mathrel{\overset{\text{def}}{\iff}}}
\newcommand{diag}[0]{diag}
\newcommand{diff}[2]{\frac{d#1}{d#2}}
\newcommand{dint}[0]{\displaystyle\int}
\newcommand{dprod}[0]{\displaystyle\prod}
\newcommand{dsp}[0]{\displaystyle}
\newcommand{dsum}[0]{\displaystyle\sum}
\newcommand{End}[0]{End}
\newcommand{F}[0]{\mathbb{F}}
\newcommand{floor}[1]{\left\lfloor#1\right\rfloor}
\newcommand{frake}[0]{\mathfrak{e}}
\newcommand{frakH}[0]{\mathfrak{H}}
\newcommand{frakO}[0]{\mathfrak{O}}
\newcommand{frakp}[0]{\mathfrak{p}}
\newcommand{frakP}[0]{\mathfrak{P}}
\newcommand{frakq}[0]{\mathfrak{q}}
\newcommand{frakQ}[0]{\mathfrak{Q}}
\newcommand{frob}[0]{Frob}
\newcommand{gal}[0]{Gal}
\newcommand{GL}[0]{\mathrm{GL}}
\newcommand{H}[0]{\mathbb{H}}
\newcommand{Hom}[0]{Hom}
\newcommand{I}[0]{\sqrt{-1}}
\newcommand{id}[0]{id}
\newcommand{im}[0]{\operatorname{Im}}
\newcommand{ind}[0]{ind}
\newcommand{inprod}[2]{\langle #1 , #2 \rangle}
\newcommand{inv}[1]{#1^{-1}}
\newcommand{iu}[0]{\sqrt{-1}}
\newcommand{K}[0]{\mathbb{K}}
\newcommand{ker}[0]{\operatorname{Ker}}
\newcommand{leftmapsto}[0]{\leftarrow\!\shortmid}
\newcommand{M}[0]{\mathbb{M}}
\newcommand{Map}[0]{Map}
\newcommand{mapdisplay}[1]{\begin{array}{r@{\,\,}c@{\,\,}c@{\,\,}c}#1\colon&\longrightarrow\\ &\rotatebox{90}{$\in$}&&\rotatebox{90}{$\in$}\\ &\longmapsto \end{array}}
\newcommand{Mp}[0]{Mp}
\newcommand{N}[0]{\mathbb{N}}
\newcommand{norm}[1]{\left \lVert #1 \right \rVert}
\newcommand{O}[0]{\mathcal{O}}
\newcommand{ord}[0]{ord}
\newcommand{P}[0]{\mathbb{P}}
\newcommand{pdiff}[2]{\frac{\partial #1}{\partial #2}}
\newcommand{pf}[0]{pf}
\newcommand{PGL}[0]{\mathrm{PGL}}
\newcommand{pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}
\newcommand{PSL}[0]{\mathrm{PSL}}
\newcommand{Q}[0]{\mathbb{Q}}
\newcommand{R}[0]{\mathbb{R}}
\newcommand{rank}[0]{rank}
\newcommand{re}[0]{\operatorname{Re}}
\newcommand{relmiddle}[1]{\mathrel{}\middle#1\mathrel{}}
\newcommand{res}[0]{res}
\newcommand{Res}[0]{Res}
\newcommand{restrict}[2]{\left. #1 \right|_{#2}}
\newcommand{rk}[0]{rk}
\newcommand{set}[2]{\left\{ #1 \mathrel{} \middle| \mathrel{} #2 \right\}}
\newcommand{sgn}[0]{sgn}
\newcommand{single}[0]{\{ 0 \}}
\newcommand{SL}[0]{\mathrm{SL}}
\newcommand{smat}[1]{\bigl(\begin{smallmatrix}#1\end{smallmatrix}\bigr)}
\newcommand{SO}[0]{SO}
\newcommand{Sp}[0]{Sp}
\newcommand{spec}[0]{Spec}
\newcommand{spl}[0]{Spl}
\newcommand{stab}[0]{Stab}
\newcommand{supp}[0]{supp}
\newcommand{Supp}[0]{Supp}
\newcommand{Sym}[0]{Sym}
\newcommand{T}[0]{\mathbb{T}}
\newcommand{textblue}[1]{\textcolor{blue}{\textbf{#1}}}
\newcommand{tr}[0]{tr}
\newcommand{Tr}[0]{Tr}
\newcommand{transpose}[1]{\, {\vphantom{#1}}^t\!{#1}}
\newcommand{vmat}[1]{\begin{vmatrix}#1\end{vmatrix}}
\newcommand{vol}[0]{vol}
\newcommand{Z}[0]{\mathbb{Z}}
$$
$\zeta_N:=e^{2\pi\iu/N}\ (N\in\Z)$とする．
はじめに
代数学の教科書には大抵ガロア理論の章に円分体$\Q(\zeta_N)$について書かれている．しかし殆どの場合そのガロア群を求めて終わりである．実際にはガロア対応まで明示的に求めることが出来る有名な話題があるのに何故かそれが書いてある本が非常に少ない（個人的に絶対に書くべき内容だと思う）．この現状は誠に遺憾だと思ったので簡単ながらこのような記事を書くこととなった．なお証明は省略しているので適宜ググるなりして欲しい（いつか書くつもりではある）．
円分体のガロア対応
以下主に$N=p$が奇素数の場合を考える．$F=\Q(\zeta_p)$とする．
ガウスは次の偉大な和を考えた：
ガウス周期
$H_d\subset \gal{(F/\Q)}$を指数$d$の部分群とする．$H_d$と$a\in (\Z/p\Z)^{\times}$に付随する次数$d$のガウス周期$\eta_d(a)$を
$$\eta_d(a):=\sum_{\tau\in H_d} \tau(\zeta_p^a)$$ で定める．
もしかしたら聞いたことがあるかもしれない．それなりに有名な話題ではある．あるいはこれに関係する量でもあるガウス和の方は聞いたことがあるかもしれない．
さてこれが$F$の部分体を記述してくれる（証明はいつか書く）：
円分体のガロア対応(コックス『ガロワ理論 下』9.2)
$a$を動かしたときガウス周期は$d$個の相異なる値$\eta_{d,1},\ldots,\eta_{d,d}$を取る．これらは$\eta_{d,1}$の$\Q$上共役な元のすべてである．
よって$\Q(\eta_{d,1}),\ldots,\Q(\eta_{d,d})$は$\Q$上次数$d$の体であるが$\gal{(F/\Q)}\cong (\Z/p\Z)^{\times}$は指数$d$の部分群を唯一しか含まないからこれらは全て等しい．
従って$H_d$に対応する体は$\Q(\eta_{d,1})=\ldots=\Q(\eta_{d,d})$.
例
具体的な計算を一つだけ書いてみよう：
$F=\Q(\zeta_{13})$を円の13分体としよう．$K$を$F$に含まれる$\Q$の4次拡大とする．$K$の生成元をガウス周期を使って具体的に求めてみよう．
まず4次のガウス周期全体は $$\eta_{4}(1)，\eta_{4}(2)，\eta_{4}(4)，\eta_{4}(7)$$である．計算するとこれらを根に持つ多項式は$x^4+x^3+2x^2-4x+3$となる．これの根全体は，計算すると，$$\begin{eqnarray}
\eta_{4,1}&:=\dfrac{-1+\sqrt{13}-\alpha'}{4}，\eta_{4,2}:=\dfrac{-1+\sqrt{13}+\alpha'}{4},\\
\eta_{4,3}&:=\dfrac{-1-\sqrt{13}-\alpha}{4}，\eta_{4,4}:=\dfrac{-1-\sqrt{13}+\alpha}{4}\\
(\alpha&:=\iu\sqrt{26+6\sqrt{13}},\alpha':=\iu\sqrt{26-6\sqrt{13}})\end{eqnarray}$$の4つである．従って$K$は$\Q$にこの4つの値を添加した体となる．ここで
$$\eta_{4,2}-\eta_{4,1}
=\dfrac{\alpha'}{2}，\alpha\alpha'=-4\sqrt{13}$$に注意すれば示したかった$K=\Q(\alpha)=\Q(\iu\sqrt{26+6\sqrt{13}})$が得られた！
結論
楽しい！
