| ７．可解性の十分条件（続き） |
７.８ 可解な５次方程式
大多数の５次方程式のガロア群は、対称群 \(S_5\) か 交代群 \(A_5\) であり、従って可解ではありません（65G）。しかし特別な形の５次方程式は可解です。
|
しかし、\(x^5-2=0\) のガロア群は可解な５次方程式のガロア群としては最も複雑なのです。方程式の "見た目の" 単純・複雑さと、ガロア群の単純・複雑さはリンクしません。以下で \(x^5-2\) のガロア群を計算します。
| \(x^5-2\) のガロア群 |
\(1\) の原始\(5\)乗根の一つを \(\zeta\) とします。\(x^5-1=0\) は、
\((x-1)(x^4+x^3+x^2+x+1)=0\)
と因数分解できるので、\(\zeta\) は、
\(x^4+x^3+x^2+x+1=0\)
の根です。７.１節で計算したように、たとえば、
\(\zeta=\dfrac{1}{4}(-1+\sqrt{5}+i\sqrt{10+2\sqrt{5}})\)
です。また、
\(\alpha=\sqrt[5]{2}\)
とします。そうすると、\(x^5-2=0\) の解は、
\(\alpha,\:\:\alpha\zeta,\:\:\alpha\zeta^2,\:\:\alpha\zeta^3,\:\:\alpha\zeta^4\)
の５つです。\(f(x)=x^5-2\) の最小分解体 \(\boldsymbol{L}\) は、
\(\begin{eqnarray}
&&\:\:\boldsymbol{L}&=\boldsymbol{Q}(\alpha,\:\alpha\zeta,\:\alpha\zeta^2,\:\alpha\zeta^3,\:\alpha\zeta^4)\\
&&&=\boldsymbol{Q}(\zeta,\alpha)\\
\end{eqnarray}\)
です。この \(\boldsymbol{L}=\boldsymbol{Q}(\zeta,\alpha)\) は、\(\boldsymbol{F}=\boldsymbol{Q}(\zeta)\) として、
\(\boldsymbol{Q}\:\subset\:\boldsymbol{F}\:\subset\:\boldsymbol{L}\)
という、体の拡大で作られたものと見なせます。つまり \(\boldsymbol{L}=\boldsymbol{F}(\alpha)\) です。
\(\zeta\) の \(\boldsymbol{Q}\) 上最小多項式は、\(x^4+x^3+x^2+x+1\) という４次多項式なので、拡大次数は、
\([\:\boldsymbol{F}:\:\boldsymbol{Q}\:]=4\)
です。\(\boldsymbol{Q}(\zeta)\) は単拡大体であり、単拡大体の同型写像の定理（51G）によって、\(\zeta\) に作用する \(\boldsymbol{Q}\) 上の同型写像はちょうど \(4\)個あります。
\(\boldsymbol{L}=\boldsymbol{Q}(\zeta,\alpha)\) は \(\boldsymbol{F}=\boldsymbol{Q}(\zeta)\) 上の５次既約多項式 \(x^5-2\) の解 \(\alpha\) を \(\boldsymbol{F}\) に添加した単拡大体です。従って、
\([\:\boldsymbol{L}\::\:\boldsymbol{F}\:]=5\)
です。\(\boldsymbol{L}=\boldsymbol{F}(\alpha)\) も単拡大体であり、\(\alpha\) に作用する \(\boldsymbol{\boldsymbol{F}}\) 上の同型写像は \(5\)個です。
拡大次数の連鎖律（33H）により、
\([\:\boldsymbol{L}\::\:\boldsymbol{Q}\:]=[\:\boldsymbol{L}\::\:\boldsymbol{F}\:]\cdot[\:\boldsymbol{F}\::\:\boldsymbol{Q}\:]=20\)
がわかります。従って \(\mathrm{Gal}(\boldsymbol{L}/\boldsymbol{Q})\) の位数は \(20\) です。\(\boldsymbol{L}=\boldsymbol{Q}(\zeta,\alpha)\) の自己同型写像を\(20\)個見つければ、それが \(\mathrm{Gal}(\boldsymbol{Q}(\zeta,\alpha)/\boldsymbol{Q})\) です。
\(\mathrm{Gal}(\boldsymbol{Q}(\zeta)/\boldsymbol{Q})\)
自己同型写像は、方程式の解を共役な解に移します。\(\zeta\) は \(1\) の原始\(5\)乗根であり、４次方程式 \(x^4+x^3+x^2+x+1=0\) の解なので、
\(\zeta,\:\:\zeta^2,\:\:\zeta^3,\:\:\zeta^4\)
が互いに共役です。そこで、自己同型写像 \(\tau_i\:(i=1,2,3,4)\) を、\(\zeta\) を \(\zeta^i\) に置き換える写像、つまり、
\(\tau_i\::\:\zeta\:\longrightarrow\:\zeta^i\) |
\(\tau_i(\zeta)=\zeta^i\:\:(i=1,2,3,4)\)
と表記します。\(\tau_i\:(i=1,2,3,4)\) の集合を、
\(G_{\large t}=\{\tau_1,\:\tau_2,\:\tau_3,\:\tau_4\}\)
とすると、\(G_{\large t}\) は \(\boldsymbol{Q}(\zeta)\) の４つの自己同型写像の集合なので、
\(\mathrm{Gal}(\boldsymbol{Q}(\zeta)/\boldsymbol{Q})=G_{\large t}\)
です。恒等写像を \(e\) とすると、
\(\tau_1=e\)
ですが、
\(\tau_2(\zeta)=\zeta^2\)
\(\begin{eqnarray}
&&\:\:\tau_2^{\:2}(\zeta)&=\tau_2(\tau_2(\zeta))=\tau_2(\zeta^2)\\
&&&=\zeta^4=\tau_4(\zeta)\\
&&\:\:\tau_2^{\:3}(\zeta)&=\tau_2(\tau_2^2(\zeta))=\tau_2(\zeta^4)\\
&&&=\zeta^8=\zeta^3=\tau_3(\zeta)\\
&&\:\:\tau_2^{\:4}(\zeta)&=\zeta^{16}=\tau_1(\zeta)\\
\end{eqnarray}\)
と計算できるので、
\(\tau_1^{\:2}=\tau_4,\:\:\tau_1^{\:3}=\tau_3,\:\:\tau_1^{\:4}=e\)
となります。従って、\(\tau_2\) を \(\tau\) と書くと、
\(G_{\large t}=\{e,\:\tau,\:\tau^2,\:\tau^3\}\)
であり、\(G_{\large t}\) は \(\tau\)（＝ \(\tau_2\)） を生成元とする位数 \(4\) の巡回群で、既約剰余類群 \((\boldsymbol{Z}/5\boldsymbol{Z})^{*}\) と同型です。これは一般に \(1\) の原始\(n\)乗根を \(\zeta\) としたときに、
\(\mathrm{Gal}(\boldsymbol{Q}(\zeta)/\boldsymbol{Q})\cong(\boldsymbol{Z}/n\boldsymbol{Z})^{*}\)
という ６.３節の \(\boldsymbol{\boldsymbol{Q}(\zeta)}\)のガロア群の定理（63E）からもわかります。
\((\boldsymbol{Z}/5\boldsymbol{Z})^{*}\) の生成元は \(2,\:3\) です。従って、\(G_{\large t}\) の生成元は \(\tau_2,\:\tau_3\) です。\(\tau_4\) については、
\(\tau_4(\zeta)=\zeta^4\)
\(\begin{eqnarray}
&&\:\:\tau_4^{\:2}(\zeta)&=\tau_4(\tau_4(\zeta))=\tau_4(\zeta^4)\\
&&&=\zeta^{16}=\zeta\\
\end{eqnarray}\)
なので、\(\tau_4^{\:2}=\tau_1=e\) であり、生成元ではありません。
\(\mathrm{Gal}(\boldsymbol{F}(\alpha)/\boldsymbol{F})\)
\(\boldsymbol{L}=\boldsymbol{Q}(\zeta,\alpha)=\boldsymbol{F}(\alpha)\) は \(\boldsymbol{F}=\boldsymbol{Q}(\zeta)\) 上の既約方程式 \(x^5-2=0\) の解の一つである \(\alpha\) を \(\boldsymbol{F}\) に添加したべき根拡大体です。\(\boldsymbol{F}\) には \(1\)の原始５乗根 \(\zeta\) が含まれるので、\(\boldsymbol{F}(\alpha)/\boldsymbol{F}\) はガロア拡大、かつ巡回拡大です。\(\alpha\) と共役な方程式の根は、
\(\alpha,\:\:\alpha\zeta,\:\:\alpha\zeta^2,\:\:\alpha\zeta^3,\:\:\alpha\zeta^4\)
です。そこで \(\alpha\) に作用する自己同型写像 \(\sigma_j\:(j=0,1,2,3,4)\) を、
\(\sigma_j:\:\alpha\:\longrightarrow\:\alpha\zeta^j\) |
\(\sigma_j(\alpha)=\alpha\zeta^j\)
と書きます。\(\sigma_j\) の集合を、
\(G_{\large s}=\{\sigma_0,\:\sigma_1,\:\sigma_2,\:\sigma_3,\:\sigma_4\}\)
とすると、\(\mathrm{Gal}(\boldsymbol{F}(\alpha)/\boldsymbol{F})=G_{\large s}\) です。また、
\(\sigma_0=e\)
\(\sigma_1(\alpha)=\alpha\zeta\)
\(\sigma_2(\alpha)=\alpha\zeta^2=\sigma_1^{\:2}(\alpha)\)
\(\sigma_3(\alpha)=\alpha\zeta^3=\sigma_1^{\:3}(\alpha)\)
\(\sigma_4(\alpha)=\alpha\zeta^4=\sigma_1^{\:4}(\alpha)\)
です。\(\sigma_1=\sigma\) と書くと、
\(G_{\large s}=\{e,\:\sigma,\:\sigma^2,\:\sigma^3,\:\sigma^4\}\)
となって、\(G_{\large t}\) は \(\sigma\) を生成元とする位数 \(5\) の巡回群であり、剰余群 \(\boldsymbol{Z}/5\boldsymbol{Z}\) と同型です。なお \(5\) は素数なので、\(\sigma_1\) だけでなく、\(\sigma_2,\:\sigma_3,\:\sigma_4\) も生成元です。
\(\mathrm{Gal}(\boldsymbol{Q}(\zeta,\alpha)/\boldsymbol{Q})\)
\(\sigma_j\) を使って、\(\boldsymbol{F}=\boldsymbol{Q}(\zeta)\) の自己同型写像 \(\tau_i\) を \(\boldsymbol{L}=\boldsymbol{Q}(\zeta,\alpha)\) の自己同型写像に延長します。同型写像の延長定理（51H）により、\(\boldsymbol{Q}(\zeta,\alpha)\) の自己同型写像で、その作用を \(\boldsymbol{Q}(\zeta)\) に限定すると \(\tau_i\) に一致するものが必ず存在します。
\(\tau_i\) と \(\sigma_j\) の合成写像を \(\sigma_{ij}\) とし、
\(\sigma_{ij}=\sigma_j\cdot\tau_i\) \((i=1,2,3,4)\:\:(j=0,1,2,3,4)\) |
\(\sigma_{10}=\sigma_0\cdot\tau_1=e\cdot e=e\)
\(\sigma_{ij}(\zeta)=\tau_i(\zeta)=\zeta^i\)
\(\sigma_{ij}(\alpha)=\sigma_j(\alpha)=\alpha\zeta^j\)
となります。また、
\(\begin{eqnarray}
&&\:\:\sigma_{ij}(\alpha\zeta)&=\sigma_j\tau_i(\alpha\zeta)\\
&&&=\sigma_j(\alpha\zeta^i)\\
&&&=\alpha\zeta^j\zeta^i\\
&&&=\alpha\zeta^{i+j}\\
\end{eqnarray}\)
です。このように定義した \(\sigma_{ij}\) 同士の演算（＝写像の合成）は \(\sigma_{ij}\) で閉じています。\(\tau_i\) も \(\sigma_j\) も５次方程式の解を共役な解に移す写像なので、その合成写像もまた、解を共役な解に移す写像ですが（＝閉じている）、次のように計算で確認することができます。
\(\tau_i\:(i=1,2,3,4)\) は \(\tau(\)＝\(\tau_2)\) を生成元とする巡回群で、\(\sigma_j\:(j=0,1,2,3,4)\) は \(\sigma(=\sigma_1)\) を生成元とする巡回群です。ここで、
\(\tau\sigma=\sigma^2\tau\)
が成り立ちます。なぜなら、
\(\begin{eqnarray}
&&\:\:\tau\sigma(\alpha\zeta)&=\tau_2\sigma_1(\alpha\zeta)\\
&&&=\tau_2(\alpha\zeta\cdot\zeta)=\tau_2(\alpha\zeta^2)\\
&&&=\alpha\zeta^4\\
&&\:\:\sigma^2\tau(\alpha\zeta)&=\sigma_1^{\:2}\tau_2(\alpha\zeta)\\
&&&=\sigma_1^{\:2}(\alpha\zeta^2)\\
&&&=\sigma_1(\alpha\zeta\cdot\zeta^2)\\
&&&=\alpha\zeta\cdot\zeta\cdot\zeta^2\\
&&&=\alpha\zeta^4\\
\end{eqnarray}\)
と計算できるので、
\(\tau\sigma(\alpha\zeta)=\sigma^2\tau(\alpha\zeta)\)
が成り立つからです。\(\sigma\) と \(\tau\) は可換ではありませんが（\(\tau\sigma\neq\sigma\tau\)）、\(\tau\sigma=\sigma^2\tau\) という、いわば "弱可換性" があります（"弱可換性" はここだけの言葉）。
なお、一般化すると、
\(\tau^i\sigma^j=\sigma^k\tau^i\:\:(k=2^{i}j)\)
と計算できます。
\(\tau^i\sigma^j=\sigma^k\tau^i\:\:(k=2^{i}j)\)
と計算できます。
\(\sigma_{ij}\) の ２つの元 \(\sigma_{ab},\:\sigma_{cd}\) の合成写像は、
\(\sigma_{cd}\sigma_{ab}=\sigma_d\tau_c\sigma_b\tau_a=\sigma_d(\tau_c\sigma_b)\tau_a\)
ですが、\(\tau_c\sigma_b\) の部分は、
\(\tau_c\sigma_b=\tau\cdots\tau\sigma\cdots\sigma\)
の形をしています。この部分に弱可換性 \(\tau\sigma=\sigma^2\tau\) の関係を繰り返し使って、
\(\tau_c\sigma_b=\sigma\cdots\sigma\tau\cdots\tau\)
の形に変形できます。ということは、
\(\sigma_{cd}\sigma_{ab}=\sigma\cdots\sigma\tau\cdots\tau\)
にまで変形できます。\(\sigma^5=e,\:\tau^4=e\) なので、これは、
\(\sigma_{cd}\sigma_{ab}=\sigma_j\tau_i\)
となる \(i,\:j\) が一意に決まることを示していて、合成写像は \(\sigma_{ij}\) で閉じていることがわかります。
２つの写像、\(\sigma_{ab}\) と \(\sigma_{cd}\) の合成写像を具体的に計算してみると、
\(\begin{eqnarray}
&&\:\:\sigma_{cd}\sigma_{ab}(\alpha\zeta)&=\sigma_{cd}(\alpha\zeta^{a+b})\\
&&&=\sigma_d\tau_c(\alpha\zeta^{a+b})\\
&&&=\sigma_d\alpha\zeta^{c(a+b)}\\
&&&=\alpha\zeta^{ac+bc+d}\\
\end{eqnarray}\)
\((1\leq a,c\leq4,\:\:0\leq b,d\leq4)\)
となります。四則演算はすべて有限体 \(\boldsymbol{F}_5\) で（＝ \(\mathrm{mod}\:5\) で）行います。
\(\sigma_{(ac)(bc+d)}(\alpha\zeta)=\alpha\zeta^{ac+bc+d}\)
なので、
\(\sigma_{cd}\sigma_{ab}=\sigma_{(ac)(bc+d)}\)
です。記述を見やすくするため、
\(\sigma_{ij}=\)[ \(i,\:j\) ] |
と書きます。この記法を使うと、
[ \(c,\:d\) ][ \(a,\:b\) ]\(=\)[ \(ac,\:bc+d\) ]
となります。また、
[ \(a,\:b\) ][ \(a^{-1},\:-a^{-1}b\) ]
\(=\)[ \(aa^{-1},\:-aa^{-1}b+b\) ]
\(=\)[ \(1,\:0\) ]\(=e\)
[ \(a^{-1},\:-a^{-1}b\) ][ \(a,\:b\) ]
\(=\)[ \(a^{-1}a,\:a^{-1}b-a^{-1}b\) ]
\(=\)[ \(1,\:0\) ]\(=e\)
なので、[ \(a,\:b\) ] の逆元は、
[ \(a,\:b\) ]\(^{-1}=\)[ \(a^{-1},\:-a^{-1}b\) ]
です。\(a^{-1}\) は \(\boldsymbol{F}_5\)（ないしは\((\boldsymbol{Z}/5\boldsymbol{Z})^{*}\)）での逆元で、\(1^{-1}=1\)、\(2^{-1}=3\)、\(3^{-1}=2\)、\(4^{-1}=4\) です。
以上で、演算で閉じていて、単位元と逆元の存在がいえるので、
\(\sigma_{ij}\:\:(i=1,2,3,4)\:\:(j=0,1,2,3,4)\)
は群を構成することがわかります。
\(\sigma_{ij}\) を共役な解の巡回置換で表現します。\(x^5-2=0\) の５つの解を \(1,\:2\:,3,\:4,\:5\) で表します。つまり、
\(1:\alpha,\:2:\alpha\zeta,\:3:\alpha\zeta^2,\:4:\alpha\zeta^3,\:5:\alpha\zeta^4\)
です。
\(\tau_i(\zeta)=\zeta^i\)
ですが、\(\zeta^5=1\) に注意して、\(\tau_i\) を巡回置換で表現すると、
\(\tau_1=\:e\)
\(\tau_2=(2,\:3,\:5,\:4)=\tau\)
\(\tau_3=(2,\:4,\:5,\:3)=\tau^3\)
\(\tau_4=(2,\:5)(3,\:4)=\tau^2\)
となります。同様にして、
\(\sigma_j(\alpha)=\alpha\zeta^j\)
なので、
\(\sigma_0=\:e\)
\(\sigma_1=(1,\:2,\:3,\:4,\:5)=\sigma\)
\(\sigma_2=(1,\:3,\:5,\:2,\:4)=\sigma^2\)
\(\sigma_3=(1,\:4,\:2,\:5,\:3)=\sigma^3\)
\(\sigma_4=(1,\:5,\:4,\:3,\:2)=\sigma^4\)
です。これらをもとに \(\sigma_{ij}\) を計算すると、次のようになります。
\(\sigma_{10}=\sigma_0\tau_1=\:e\)
\(\sigma_{20}=\sigma_0\tau_2=(2,\:3,\:5,\:4)\)
\(\sigma_{30}=\sigma_0\tau_3=(2,\:4,\:5,\:3)\)
\(\sigma_{40}=\sigma_0\tau_4=(2,\:5)(3,\:4)\)
\(\sigma_{11}=\sigma_1\tau_1=(1,\:2,\:3,\:4,\:5)\)
\(\sigma_{21}=\sigma_1\tau_2=(1,\:2,\:4,\:3)\)
\(\sigma_{31}=\sigma_1\tau_3=(1,\:2,\:5,\:4)\)
\(\sigma_{41}=\sigma_1\tau_4=(1,\:2)(3,\:5)\)
\(\sigma_{12}=\sigma_2\tau_1=(1,\:3,\:5,\:2,\:4)\)
\(\sigma_{22}=\sigma_2\tau_2=(1,\:3,\:2,\:5)\)
\(\sigma_{32}=\sigma_2\tau_3=(1,\:3,\:4,\:2)\)
\(\sigma_{42}=\sigma_2\tau_4=(1,\:3)(4,\:5)\)
\(\sigma_{13}=\sigma_3\tau_1=(1,\:4,\:2,\:5,\:3)\)
\(\sigma_{23}=\sigma_3\tau_2=(1,\:4,\:5,\:2)\)
\(\sigma_{33}=\sigma_3\tau_3=(1,\:4,\:3,\:5)\)
\(\sigma_{43}=\sigma_3\tau_4=(1,\:4)(2,\:3)\)
\(\sigma_{14}=\sigma_4\tau_1=(1,\:5,\:4,\:3,\:2)\)
\(\sigma_{24}=\sigma_4\tau_2=(1,\:5,\:3,\:4)\)
\(\sigma_{34}=\sigma_4\tau_3=(1,\:5,\:2,\:3)\)
\(\sigma_{44}=\sigma_4\tau_4=(1,\:5)(2,\:4)\)
この巡回置換表示にもとづいて
[ \(c,\:d\) ][ \(a,\:b\) ]\(=\)[ \(ac,\:bc+d\) ]
を検証してみます。たとえば、
| \(\sigma_{23}\sigma_{42}\) | \(=\)[ \(2,\:3\) ][ \(4,\:2\) ] | |
| \(=\)[ \(8,\:7\) ]\(=\)[ \(3,\:2\) ] | ||
| \(=\sigma_{32}\) |
| \(\sigma_{42}\) | \(=(1,\:3)(4,\:5)\) | |
| \(=\left(\begin{array}{c}1&2&3&4&5\\3&2&1&5&4\end{array}\right)\) | ||
| \(\sigma_{23}\) | \(=(1,\:4,\:5,\:2)\) | |
| \(=\left(\begin{array}{c}3&2&1&5&4\\3&1&4&2&5\end{array}\right)\) |
| \(\sigma_{23}\sigma_{42}\) | \(=\left(\begin{array}{c}1&2&3&4&5\\3&1&4&2&5\end{array}\right)\) | |
| \(=(1\:3\:4\:2)=\sigma_{32}\) |
となって、確かに成り立っています。また逆元の式、
[ \(a,\:b\) ]\(^{-1}=\)[ \(a^{-1},\:-a^{-1}b\) ]
ですが、
| \(\sigma_{23}^{\:\:-1}\) | \(=\)[ \(2,\:3\) ]\(^{-1}\) | |
| \(=\)[ \(3,\:-3\cdot3\) ]\(=\)[ \(3,\:-9\) ] | ||
| \(=\)[ \(3,\:1\) ]\(=\sigma_{31}\) | ||
| \(=(1,\:2,\:5,\:4)\) | ||
| \(\sigma_{23}^{\:\:-1}\) | \(=(1,\:4,\:5,\:2)^{-1}\) | |
| \(=(2,\:5,\:4,\:1)\) | ||
| \(=(1,\:2,\:5,\:4)\) |
となり、成り立っています。\(\boldsymbol{F}_5\) での演算では \(2^{-1}=3\) です。
以上により、
\(\begin{eqnarray}
&&\:\:G=\{\sigma_{ij}\:| &i=1,2,3,4\\
&&&j=0,1,2,3,4\}\\
\end{eqnarray}\)
とおくと、
\(G=\mathrm{Gal}(\boldsymbol{Q}(\zeta,\alpha)/\boldsymbol{Q})\)
であることがわかりました。ここで、
\(G_{\large s}=\{e,\:\sigma,\:\sigma^2,\:\sigma^3,\:\sigma^4\}\)
は \(G\) の正規部分群になります。なぜなら、\(G_{\large s}=\mathrm{Gal}(\boldsymbol{Q}(\zeta,\alpha)/\boldsymbol{Q}(\zeta))\) なので、\(G_{\large s}\) の固定体は \(\boldsymbol{Q}(\zeta)\) です。一方、\(\boldsymbol{Q}(\zeta)/\boldsymbol{Q}\) はガロア拡大なので、正規性定理（53C）によって \(G_{\large s}\) は \(G\) の正規部分群になるからです。
\(G_{\large s}\) が \(G\) の正規部分群であることは、計算でも確かめられます。"弱可換性" である、
\(\tau\sigma=\sigma^2\tau\)
の関係を使うと、
\(\begin{eqnarray}
&&\:\:\tau G_{\large s}&=\{\tau,\:\sigma^2\tau,\:\sigma^4\tau,\:\sigma^6\tau,\:\sigma^8\tau\}\\
&&&=\{\tau,\:\sigma^2\tau,\:\sigma^4\tau,\:\sigma\tau,\:\sigma^3\tau\}\\
&&&=\{e,\:\sigma^2,\:\sigma^4,\:\sigma,\:\sigma^3\}\cdot\tau\\
&&&=G_{\large s}\tau\\
\end{eqnarray}\)
が成り立ち、これを繰り返すと、
\(\tau^iG_{\large s}=G_{\large s}\tau^i\)
が成り立ちます。\(G\) の任意の元を \(\sigma^j\tau^i\) とすると、
\(\begin{eqnarray}
&&\:\:(\sigma^j\tau^i)G_{\large s}&=\sigma^jG_{\large s}\tau^i\\
&&&=G_{\large s}(\sigma^j\tau^i)\\
\end{eqnarray}\)
となって（\(\sigma^j\) と \(G_{\large s}\) は可換です）、\(G_{\large s}\) が正規部分群の定義を満たします。
また、\(G\) の任意の元 \(x\) を \(x=\sigma^j\tau^i\) とし、剰余群 \(G/G_{\large s}\) の任意の元 を \(xG_{\large s}\) とすると、
\(\begin{eqnarray}
&&\:\:xG_{\large s}&=(\sigma^j\tau^i)G_{\large s}=\sigma^jG_{\large s}\tau^i\\
&&&=G_{\large s}\tau^i\\
\end{eqnarray}\)
となりますが、\(G_{\large s}\tau^i=\tau^iG_{\large s}\) が成り立つので、
\(\begin{eqnarray}
&&\:\:(xG_{\large s})^4&=(G_{\large s}\tau^i)^4\\
&&&=(G_{\large s})^4(\tau^i)^4\\
&&&=G_{\large s}\\
\end{eqnarray}\)
となり、剰余群 \(G/G_{\large s}\) は位数 \(4\) の巡回群です。
もともと \(G_{\large s}=\mathrm{Gal}(\boldsymbol{Q}(\zeta,\alpha)/\boldsymbol{Q}(\zeta))\) であり、\(\boldsymbol{Q}(\zeta)\) の固定体は \(G_{\large s}\) でした。従って、
| \(\boldsymbol{Q}\:\subset\:\boldsymbol{Q}(\zeta)\) | \(\subset\:\boldsymbol{Q}(\zeta,\alpha)\) | |
| \(G\:\supset\:G_{\large s}\) | \(\supset\:\{e\}\) |
のガロア対応が得られました。\(G_{\large s}\) は \(G\) の正規部分群で \(G/G_{\large s}\) は巡回群、また \(G_{\large s}\) も巡回群です。従って \(G\) は可解群です。なお、\(\mathrm{Gal}(\boldsymbol{Q}(\zeta)/\boldsymbol{Q})=G_{\large t}\) です。以上をまとめると、
\(\mathrm{Gal}(\boldsymbol{Q}(\zeta,\alpha)/\boldsymbol{Q}))\)
\(=G\)
\(=\{\:\sigma_{ij}\:\}=\{\:\sigma_j\tau_i\:\}\)
\((i=1,2,3,4)\:\:(j=0,1,2,3,4)\)
\(\sigma=(1,\:2,\:3,\:4,\:5)\)
\(\sigma_0=e\)
\(\sigma_1=\sigma\)
\(\sigma_2=\sigma^2\)
\(\sigma_3=\sigma^3\)
\(\sigma_4=\sigma^4\)
\(\tau=(2,\:3,\:5,\:4)\)
\(\tau_1=e\)
\(\tau_2=\tau\)
\(\tau_3=\tau^3\)
\(\tau_4=\tau^2\)
\(\begin{eqnarray}
&&G_{\large s}&=\{e,\:\sigma,\:\sigma^2,\:\sigma^3,\:\sigma^4\}\\
&&&=\mathrm{Gal}(\boldsymbol{Q}(\zeta,\alpha)/\boldsymbol{Q}(\zeta)))\\
&&G_{\large t}&=\{e,\:\tau,\:\tau^2,\:\tau^3\}\\
&&&=\mathrm{Gal}(\boldsymbol{Q}(\zeta)/\boldsymbol{Q}))\\
\end{eqnarray}\)
となります。
 |
\(\boldsymbol{x^5-2=0}\) のガロア群（\(F_{20}\)） |
ガロア群 \(F_{20}\) の \(20\)個の元を、４つの５角形の頂点に配置した図。\((1,2,3,4,5)\) などはガロア群を構成する巡回置換を表す。また \(23451\) などは、その巡回置換によって \(12345\) を置換した結果を表す（白ヌキ数字は置換で不動の点）。この群の生成元は、色を付けた \((1,2,3,4,5)\) と \((2,3,5,4)\) である。 |
位数 \(20\) の元、\(G=\mathrm{Gal}(\boldsymbol{Q}(\zeta,\alpha)/\boldsymbol{Q})\) は、（位数 \(20\)の）フロベニウス群という名前がついていて、\(F_{20}\) と表記します。フロベニウス群は、高々１点を固定する置換と恒等置換から成る群です。\(G\) は、固定する点がない \(\sigma=(1,\:2,\:3,\:4,\:5)\) と、１点だけを固定する \(\tau=(2,\:3,\:5,\:4)\) の２つを生成元とする群なので、フロベニウス群です。この \(F_{20}\) の内部構造を調べます。
\(\tau_i\) には \(\{\tau_1=e,\:\tau_2,\:\tau_3,\:\tau_4\}\) の生成元とはならない \(\tau_4\) があります。\(\sigma_i,\:\tau_j\) このような性格をもつのは \(\tau_4\) だけです。その \(\tau_4\) は、
\(\tau_4=(2,\:5)(3,\:4)\)
\(\tau_4^{\:2}=e\)
でした。つまり \(\{e,\:\tau_4\}\) は位数２の巡回群です。
ということは、\(\sigma_1=\sigma\) と \(t_4\) を生成元として、新たな群を定義できることになります。その群の元を \(\pi_{ij}\) とし、
\(\pi_{ij}=\sigma^j\tau_4^i\:\:(i=0,1,\:\:j=0,\:1,\:2,\:3,\:4)\)
\(\begin{eqnarray}
&&\:\: \pi_{0j}&=\sigma_j\\
&&\:\: \pi_{1j}&=\sigma_j\cdot\tau_4\\
&&&=\sigma_j\cdot(2,\:5)(3,\:4)\\
\end{eqnarray}\)
と定義すると、位数 \(10\) の群になります。具体的に計算してみると、
\(\pi_{00}=e\)
\(\pi_{01}=(1,\:2,\:3,\:4,\:5)\)
\(\pi_{02}=(1,\:3,\:5,\:2,\:4)\)
\(\pi_{03}=(1,\:4,\:2,\:5,\:3)\)
\(\pi_{04}=(1,\:5,\:4,\:3,\:2)\)
\(\pi_{10}=(2,\:5)(3,\:4)\)
\(\pi_{11}=(1,\:2)(3,\:5)\)
\(\pi_{12}=(1,\:3)(4,\:5)\)
\(\pi_{13}=(1,\:4)(2,\:3)\)
\(\pi_{24}=(1,\:5)(2,\:4)\)
となります。
この群は５次の２面体群であり、\(D_{10}\) で表します（\(D_5\) と書く流儀もある。幾何学の文脈では \(D_5\)）。一般に ２面体群 \(D_{2n}\)（または \(D_n\)）とは、裏表のある正\(n\)角形を元の形に一致するように移動する（＝対称移動をする）ことを表す群です。正５角形の頂点に１から５の名前を一周する順につけると、たとえば \((1,\:2,\:3,\:4,\:5)\) は \(72^\circ\)の回転であり、\((2,\:5)(3,\:4)\) は頂点１を通る対称軸で折り返す対称移動です。３次の２面体群を１.３節で図示しました。
\(D_{10}\) は \(F_{20}\) の部分群で、位数は \(10\) です。位数が \(20\) の半分なので、半分の部分群は正規部分群の定理（65F）により、\(D_{10}\) は \(F_{20}\) の正規部分群であり、剰余群 \(F_{20}/D_{10}\) は位数が \(2\) なので巡回群です。
さらに \(D_{10}\) の部分群として \(\sigma_i\:(i=0,1,2,3,4)\) があり、位数 \(5\) の巡回群です。位数 \(5\) の巡回群は \(C_5\) と表記されます。\(C_5\) の位数もまた \(D_{10}\) の半分なので、\(C_5\) は \(D_{10}\) の正規部分群であり、剰余群 \(D_{10}/C_5\) は巡回群です。結局、\(F_{20}\) には、
\(F_{20}\:\supset\:C_5\:\supset\:\{\:e\:\}\)
\(F_{20}\:\supset\:D_{10}\:\supset\:C_5\:\supset\:\{\:e\:\}\)
という部分群の列（可解列）が存在することになり、これらの部分群は可解群です。実は、可解な５次方程式のガロア群は、\(F_{20}\)、\(D_{10}\)、\(C_5\) の３つしかないことが知られています。以上のように \(x^5-2=0\) のガロア群は、可解なガロア群の全部を含んでいるのでした。
| \(x^5+11x-44\) |
|
\(x^5+11x-44=0\)
のガロア群は \(D_{10}\) であることが知られています。この方程式は実数解が１つで、虚数解が４つです。実数解を \(\alpha\) とし、Wolfram Alpha で \(\alpha\) の近似値と厳密値を求めてみると次のようになります。この厳密値は本当かと心配になりますが、検算してみると正しいことが分かります。
\(\begin{eqnarray}
&&\:\:\alpha&=1.8777502748964972576\cdots\\
&&&=\dfrac{\sqrt[5]{11}}{(\sqrt[5]{5})^4}(\alpha_1+\alpha_2-\alpha_3+\alpha_4)\\
\end{eqnarray}\)
\(\alpha_1=\sqrt[5]{\phantom{-}75+50\sqrt{5}-12\sqrt{5-\sqrt{5}}-59\sqrt{5+\sqrt{5}}}\)
\(\alpha_2=\sqrt[5]{\phantom{-}75-50\sqrt{5}+59\sqrt{5-\sqrt{5}}-12\sqrt{5+\sqrt{5}}}\)
\(\alpha_3=\sqrt[5]{-75+50\sqrt{5}+59\sqrt{5-\sqrt{5}}-12\sqrt{5+\sqrt{5}}}\)
\(\alpha_4=\sqrt[5]{\phantom{-}75+50\sqrt{5}+12\sqrt{5-\sqrt{5}}+59\sqrt{5+\sqrt{5}}}\)
| ８．結論 |
第５章から第７章まで、かなり長い証明のステップでしたが、可解性の必要条件（64B）、
\(\boldsymbol{Q}\) 上の方程式 \(f(x)=0\) の解の一つ がべき根で表されているとする。\(f(x)\) の最小分解体を \(\boldsymbol{L}\) とするとき、\(\mathrm{Gal}(\boldsymbol{L}/\boldsymbol{Q})\) は可解群である。
と、可解性の十分条件（75A）、
体 \(\boldsymbol{F}\) 上の方程式 \(f(x)=0\) の最小分解体を \(\boldsymbol{K}\) とする。\(\mathrm{Gal}(\boldsymbol{K}/\boldsymbol{F})=G\) とし、\(G\) は可解群とする。このとき \(f(x)=0\) の解は四則演算とべき根で表現できる。
および、具体的な５次方程式のガロア群の検討と合わせて、次が結論づけられました。
\(\boldsymbol{Q}\) 上の多項式 \(f(x)\) の最小分解体を \(\boldsymbol{L}\) とする。方程式 \(f(x)=0\) の解が四則演算とべき根で表現できるための必要十分条件は、ガロア群 \(\mathrm{Gal}(\boldsymbol{L}/\boldsymbol{Q})\) が可解群であることである。
５次方程式のガロア群には、可解群でないものと可解群の両方がある。従って、任意の５次方程式の解を四則演算とべき根で統一的に表現する解の公式はない。
（高校数学で理解するガロア理論：終）
| 定義\(\cdot\)定理一覧 |
２．整数の群
２.１ 整数
| 互除法の原理（21A） |
\(\mathrm{gcd}(a,\:b)=\mathrm{gcd}(b,\:r)\)
である。
| 不定方程式の解の存在（21B） |
\(ax+by=c\)
（\(a,\:b,\:c\) は整数。\(a\neq0,\:b\neq0\)）
とし、\(a\) と \(b\) の最大公約数を \(d\) とする。このとき、
\(c=kd\) （\(k\) は整数）
なら方程式は整数解を持ち、そうでなければ整数解を持たない。
このことは１次不定方程式が３変数以上であっても成り立つ。つまり
\(a_1x_1+a_2x_2+\:\cdots\:+a_nx_n=c\)
（\(a_i\) は \(0\) 以外の整数）
とし、
\(d=\mathrm{gcd}(a_1,a_2,\:\cdots\:,\:a_n)\)
とする。このとき、
\(c=kd\) （\(k\) は整数）
なら方程式は整数解を持ち、そうでなければ整数解を持たない。
| 不定方程式の解の存在（21C） |
\(ax+by=1\)
は整数解をもつ。また、\(n\) を任意の整数とすると、
\(ax+by=n\)
は整数解をもつ。あるいは、任意の整数 \(n\) は、
\(n=ax+by\) \((x,\:y\) は整数）
の形で表現できる。
これは３変数以上であっても成り立つ。たとえば３変数の場合は、\(0\) でない整数 \(a,\:b,\:c\) が互いに素、つまり、
\(\mathrm{gcd}(a,b,c)=1\)
であるとき、\(n\) を任意の整数として、１次不定方程式、
\(ax+by+cz=n\)
は整数解を持つ。
| 法による演算の定義（21D） |
\(a\equiv b\:\:(\mathrm{mod}\:n)\)
と書き、\(a\) と \(b\) は「法 \(n\) で合同」という。あるいは「\(\mathrm{mod}\:n\) で合同」、「\(\mathrm{mod}\:n\) で（見て）等しい」とも記述する。
| 法による演算規則（21E） |
\(a\equiv b\:\:(\mathrm{mod}\:n)\)
\(c\equiv d\:\:(\mathrm{mod}\:n)\)
とする。このとき、
| \((1)\:a+c\) | \(\equiv b+d\) | \((\mathrm{mod}\:n)\) | |
| \((2)\:a-c\) | \(\equiv b-d\) | \((\mathrm{mod}\:n)\) | |
| \((3)\:ac\) | \(\equiv bd\) | \((\mathrm{mod}\:n)\) | |
| \((4)\:a^r\) | \(\equiv b^r\) | \((\mathrm{mod}\:n)\) |
| 中国剰余定理（21F） |
\(x\equiv a_1\:\:(\mathrm{mod}\:n_1)\)
\(x\equiv a_2\:\:(\mathrm{mod}\:n_2)\)
の連立方程式を満たす整数 \(x\) が存在する。この \(x\) は \(\mathrm{mod}\:n_1n_2\) でみて唯一である。つまり、\(0\leq x < n_1n_2\) の範囲に解が唯一存在する。
| 中国剰余定理・多連立（21G） |
\(x\equiv a_1\:\:(\mathrm{mod}\:n_1)\)
\(x\equiv a_2\:\:(\mathrm{mod}\:n_2)\)
\(\vdots\)
\(x\equiv a_k\:\:(\mathrm{mod}\:n_k)\)
の連立合同方程式を満たす整数 \(x\) が存在する。この \(x\) は \(\mathrm{mod}\:n_1n_2\cdots n_k\) でみて唯一である。つまり、\(0\leq x < n_1n_2\cdots n_k\) の範囲では唯一の解が存在する。
２.２ 群
| 群の定義（22A） |
| \(G\) の任意の元 \(x,\:y\) に対して演算（\(\cdot\)で表す）が定義されていて、\(x\cdot y\in G\) である。 | |
| 演算について結合法則が成り立つ。つまり、 \((x\cdot y)\cdot z=x\cdot(y\cdot z)\) | |
| \(G\) の任意の元 \(x\) に対して \(x\cdot e=e\cdot x=x\) を満たす元 \(e\) が存在する。\(e\) を単位元という。 | |
| \(G\) の任意の元 \(x\) に対して \(x\cdot y=y\cdot x=e\) となる元 \(y\) が存在する。\(y\) を \(x\) の逆元といい、\(x^{-1}\) と表す。 |
２.３ 既約剰余類群
| 既約剰余類群（23A） |
「既約剰余類」は、乗算に関して群になる。これを「既約剰余類群」といい、\((\boldsymbol{Z}/n\boldsymbol{Z})^{*}\) で表す。
定義により、\((\boldsymbol{Z}/n\boldsymbol{Z})^{*}\) の群位数は \(\varphi(n)\) である。\(\varphi\) はオイラー関数で、\(\varphi(n)\) は \(n\) 以下で \(n\) と互いに素な自然数の数を表す。\(n\) が素数 \(p\) の場合の群位数は \(\varphi(p)=p-1\) である。
２.４ 有限体 \(\boldsymbol{\boldsymbol{F}_p}\)
| 有限体上の方程式１（24A） |
\(ax+b=c\)
は１個の解をもつ。
| 有限体上の方程式２（24B） |
\(f(a)=0\) なら、\(f(x)\) は \(x-a\) で割り切れる。
| 有限体上の方程式３（24C） |
\(f_n(x)=0\)
の解は、高々 \(n\) 個である。
２.５ 既約剰余類群は巡回群
既約剰余類群 \((\boldsymbol{Z}/n\boldsymbol{Z})^{*}\) は巡回群の直積に同型である
| 位数の定理（25A） |
［補題１］
\(a^x=1\) となる \(x\:\:(1\leq x)\) が必ず存在する。\(x\) のうち最小のものを \(d\) とすると、\(d\) を \(a\) の位数（order）と呼ぶ。
［補題２］
\(a,\:a^2,\:a^3,\:\cdots\:,\:a^d=1\) は 全て異なる。ないしは、
\(a^0=1,\:a,\:a^2,\:\cdots\:,a^{d-1}\) は 全て異なる。
［補題３］
\(n=p\)（素数）とする。\(d\) 乗すると \(1\) になる \((\boldsymbol{Z}/p\boldsymbol{Z})^{*}\) の元は、\(a,\:a^2,\:a^3,\:\cdots\:,\:a^d\) がそのすべてである。
［補題４］
\(a^x=1\) となる \(x\) は \(d\) の倍数である。
［補題５］
\(a\) の位数を \(d\) とすると、\(d\) は 群位数 の約数である。
| オイラーの定理（25B） |
\(a^{\varphi(n)}=1\:\:(\mathrm{mod}\:n)\)
が成り立つ（オイラーの定理）。\(\varphi\) はオイラー関数で、\(\varphi(n)\) は \(n\) 以下で \(n\) と互いに素な自然数の数を表す。
\(n=p\)（素数）の場合は、\(p\) と素な数 \(a\) について、
\(a^{p-1}=1\:\:(\mathrm{mod}\:p)\)
となる（フェルマの小定理）。
| 位数 \(d\) の元の数（25C） |
| 生成元の存在１（25D） |
なお、素数 \(p\) に対して、
\(a^x\equiv1\:\:(\mathrm{mod}\:p)\)
となる \(x\) の最小値が \(p-1\) であるような \(a\) を、\(p\) の「原始根」という。既約剰余類群 \((\boldsymbol{Z}/p\boldsymbol{Z})^{*}\) の生成元＝原始根である。
\(a^x\equiv1\:\:(\mathrm{mod}\:p)\)
となる \(x\) の最小値が \(p-1\) であるような \(a\) を、\(p\) の「原始根」という。既約剰余類群 \((\boldsymbol{Z}/p\boldsymbol{Z})^{*}\) の生成元＝原始根である。
| 生成元の探索アルゴリズム（25D’） |
［補題６］
\(a,\:b\) を自然数とすると、２つの数、\(a\,',\:b\,'\) をとって、
\(a\,'|a\)
\(b\,'|b\)
\(\mathrm{gcd}(a\,',b\,')=1\)
\(\mathrm{lcm}(a,b)=a\,'b\,'\)
となるようにできる。
［補題７］
\(p\) を素数とし、\((\boldsymbol{Z}/p\boldsymbol{Z})^{*}\) の元の一つを \(a\) とする。\(a\) の位数を \(d\) とし、\(a^k\:\:(1\leq k\leq p-1)\) の位数を \(e\) とすると、
\(e=\dfrac{d}{\mathrm{gcd}(k,d)}\)
である。
［補題８］
\(p\) を奇素数とし、\(k\) を \(p\) と素な数とする（\(\mathrm{gcd}(k,p)=1\)）。また、整数 \(m\) を \(m\geq1\) とする。
このとき、
\((1+kp^m)^p=1+k\,'p^{m+1}\)
と表すことができて、\(k\,'\) は \(p\) と素である。
| 生成元の存在２（25E） |
このとき \(g\) または \(g+p\) は \((\boldsymbol{Z}/p^n\boldsymbol{Z})^{*}\) の生成元である。つまり、\((\boldsymbol{Z}/p^n\boldsymbol{Z})^{*}\) には生成元が存在する。
生成元の存在２（その１）
\(p\) を奇素数とし、\(g\) を \((\boldsymbol{Z}/p\boldsymbol{Z})^{*}\) の生成元とする。また、\(g\) は、
\(g^{p-1}=1+kp\)
\(\mathrm{gcd}(k,p)=1\)
と表されているとする。
この条件で、\(g\) は \((\boldsymbol{Z}/p^n\boldsymbol{Z})^{*}\) の生成元でもある。
生成元の存在２（その２）
\(p\) を奇素数とし、\(g\) を \((\boldsymbol{Z}/p\boldsymbol{Z})^{*}\) の生成元とする。また、\(g\) は、
\(g^{p-1}=1+kp^m\:\:(m\geq2)\)
\(\mathrm{gcd}(k,p)=1\)
と表されているとする。
この条件では、\(g+p\) が \((\boldsymbol{Z}/p^n\boldsymbol{Z})^{*}\) の生成元である。
| ２のべき乗の既約剰余類群（25F） |
\((\boldsymbol{Z}/2^n\boldsymbol{Z})^{*}\cong(\boldsymbol{Z}/2\boldsymbol{Z})\times(\boldsymbol{Z}/2^{n-2}\boldsymbol{Z})\)
である。つまり２つの巡回群の直積に同型である。
［補題９］
\(n\geq2\) のとき、\(5\) の \(\mathrm{mod}\:2^n\) での位数は \(2^{n-2}\) である。
| 既約剰余類群の構造（25G） |
３．多項式と体
３.１ 多項式
| 多項式の不定方程式（31A） |
\(a(x)f(x)+b(x)g(x)=1\)
を満たす多項式 \(f(x)\)、\(g(x)\)で、
\(\mathrm{deg}\:g(x)\: < \:\mathrm{deg}\:a(x)\)
のものが存在する。
また、\(a(x)\) と \(b(x)\) が互いに素な多項式で、\(h(x)\) が任意の多項式のとき、
\(a(x)f(x)+b(x)g(x)=h(x)\)
を満たす多項式 \(f(x)\)、\(g(x)\) で、
\(\mathrm{deg}\:g(x)\: < \:\mathrm{deg}\:a(x)\)
のものが存在する。
| 既約多項式の定義（31B） |
| 整数係数多項式の既約性（31C） |
| 既約多項式と素数の類似性（31D） |
\(p(x)\) を既約多項式とし、\(f(x),\:g(x)\) を多項式とする。\(f(x)g(x)\) が \(p(x)\) で割り切れるなら、\(f(x),\:g(x)\) の少なくとも１つは \(p(x)\) で割り切れる。
\(p(x)\) を既約多項式とし、\(g(x)\) を多項式とする。\((g(x))^2\) が \(p(x)\) で割り切れるなら、\(g(x)\) は \(p(x)\) で割り切れる。また、\((g(x))^k\:\:(2\leq k)\) が \(p(x)\) で割り切れるなら、\(g(x)\) は \(p(x)\) で割り切れる。
| 既約多項式の定理１（31E） |
方程式 \(p(x)=0\) と \(f(x)=0\) が（複素数の範囲で）共通の解を１つでも持てば、\(f(x)\) は \(p(x)\) で割り切れる。
| 既約多項式の定理２（31F） |
\(f(x)\) の次数が１次以上で \(p(x)\) の次数未満のとき、方程式 \(p(x)=0\) と \(f(x)=0\) は（複素数の範囲で）共通の解を持たない。
| 既約多項式の定理３（31G） |
| 最小多項式の定義（31H） |
| 最小多項式は既約多項式（31I） |
| \(f(x)\) が 体 \(\boldsymbol{Q}\) 上の既約多項式である | |
| \(f(x)\) が \(\alpha\) の \(\boldsymbol{Q}\) 上の最小多項式である |
の２つは同値である。
３.２ 体
| 最小分解体の定義（32A） |
\(f(x)=(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_n)\)
と、１次多項式で因数分解したとき、
\(\boldsymbol{Q}(\alpha_1,\:\alpha_2,\:\cdots\:,\:\alpha_n)\)
を \(f(x)\) の最小分解体と言う。\(f(x)\) は既約多項式でなくてもよい。
| 単拡大定理（32B） |
| 単拡大の体（32C） |
| \(a_{n-1}\alpha^{n-1}+\)\(a_{n-2}\alpha^{n-2}+\)\(\:\cdots\:+\)\(a_2\alpha^2+\)\(a_1\alpha+\)\(a_0\:|\:a_i\in\boldsymbol{Q}\:\}\) |
と定義すると、\(\boldsymbol{K}\) は体になり、\(\boldsymbol{K}=\boldsymbol{Q}(\alpha)\) である。その元の表し方は一意である。
３.３ 線形空間
| 線形空間の定義（33A） |
加算の定義
\(V\) の任意の元 \(u,\:v\) に対して \((u+v)\in V\) が定義されていて、この加算（\(+)\) の定義に関して \(V\) は可換群である。すなわち、
\((1)\) 単位元の存在
\(u+x=x\) となる \(x\) が存在する。これを \(0\) と書く。
\((2)\) 逆元の存在\(u+x=0\) となる \(x\) が存在する。これを \(-u\) と書く。
\((3)\) 結合則が成り立つ任意の元 \(u,\:v\:,w\) について、\((u+v)+w=u+(v+w)\)
\((4)\) 交換則が成り立つ\(u+v=v+u\)
スカラー倍の定義
\(V\) の任意の元 \(u\) と \(\boldsymbol{K}\) の任意の元 \(k\) に対して、スカラー倍 \(ku\in V\) が定義されていて、加算との間に次の性質がある。\(u,\:v\) を \(V\) の元、\(k,\:m\) を \(\boldsymbol{K}\) の元とし、\(\boldsymbol{K}\) の乗法の単位元を \(1\) とする。
\((1)\:\:k(mu)=(km)u\)
\((2)\:\:(k+m)u=ku+mu\)
\((3)\:\:k(u+v)=ku+kv\)
\((4)\:\:1v=v\)
| １次独立と１次従属（33B） |
線形空間 \(V\) の元の組、\(\{v_1,v_2,\cdots,v_n\}\) に対して、
\(a_1v_1+a_2v_2+\)..\(+a_nv_n=0\)
を満たす \(\boldsymbol{K}\) の元 \(a_1,a_2,\cdots,a_n\) が、\(a_1=a_2=\cdots=a_n=0\) しかないとき、\(\{v_1,v_2,\cdots,v_n\}\) は１次独立であるという。
１次従属
１次独立でないときが１次従属である。つまり、線形空間 \(V\) の元の組、\(\{v_1,v_2,\cdots,v_n\}\) に対して、
\(a_1v_1+a_2v_2+\)..\(+a_nv_n=0\)
を満たす、少なくとも一つは \(0\) でない \(\boldsymbol{K}\) の元 \(a_1,a_2,\cdots,a_n\) があるとき、\(\{v_1,v_2,\cdots,v_n\}\) は１次従属であるという。
| 基底の定義（33C） |
| \({v_1,v_2,\cdots,v_n}\) は１次独立である。 | |
| \(V\) の任意の元 \(v\) は、\(\boldsymbol{K}\) の元 \(a_1,a_2,\cdots,a_n\) を選んで、 \(v=a_1v_1+a_2v_2+\)..\(+a_nv_n\) と表せる。 |
基底から１つの元を除外したものは基底ではなくなる。また基底に１つの元を加えたものも基底ではない。
| 基底の数の不変性（33D） |
| 次元の不変性（33E） |
| 単拡大体の基底（33F） |
| 拡大次数の定義（33G） |
\([\:\boldsymbol{K}\::\:\boldsymbol{F}\:]\)
で表す。
| 拡大次数の連鎖律（33H） |
\([\:\boldsymbol{K}\::\:\boldsymbol{F}\:]=[\:\boldsymbol{K}\::\:\boldsymbol{M}\:][\:\boldsymbol{M}\::\:\boldsymbol{F}\:]\)
が成り立つ。
| 体の一致（33I） |
４．一般の群
４.１ 部分群\(\boldsymbol{\cdot}\)正規部分群、剰余類\(\boldsymbol{\cdot}\)剰余群
| 部分集合の演算（41A） |
\(HN\:=\:\{\:hn\:|\:h\in H,\:n\in N,\:hn\) は群の演算定義による \(\}\)
群 \(G\) の元の演算では結合則が成り立つから、部分集合の演算でも結合則が成り立つ。つまり \(H_1,\:H_2,\:H_3\) をを３つの部分群とすると、
\((H_1H_2)H_3=H_1(H_2H_3)\)
である。部分集合の元は \(1\)つでもよいから、\(x\) が \(G\) の元で \(x\) だけの部分集合を \(\{x\}\) とすると、
\(H_1(\{x\}H_2)=(H_1\{x\})H_2\)
である。これを、
\(H_1(xH_2)=(H_1x)H_2\)
と記述する。
| 部分群の十分条件（41B） |
\(xy\in N,\:x^{-1}\in N\)
なら、\(N\) は \(G\) の部分群である。
| 部分群の元の条件（41C） |
① \(xN\:=\:N\)
② \(x\:\in\:N\)
| 部分群の共通部分は部分群（41D） |
| 剰余類の定義（41E） |
\(g_1H,\:g_2H,\:\cdots\:,g_nH\)
を作る。
\(g_1H,\:g_2H,\:\cdots\:,g_nH\) から、同じになる集合を集めたものを剰余類と呼ぶ。その同じになる集合から代表的なものを一つ取り出し、
\(xH\:\:(x\in G)\)
の形で剰余類を表す。\(g_1H,\:g_2H,\:\cdots\:,g_nH\) から剰余類が \(d\) 個できたとし、それらを、
\(x_1H,\:x_2H,\:\cdots\:,x_dH\)
とすると、
\(i\neq j\) のとき \(x_iH\:\cap\:x_jH=\phi\)
\(G=x_1H\:\cup\:x_2H\:\cup\:\cdots\:\cup\:x_dH\)
である。剰余類は、群 \(G\) の元を部分群 \(H\) によって分類したものといえる。
\(x_1H,\:x_2H,\:\cdots\:,x_dH\) を「左剰余類」という。同じことが \(G\) の元を右からかけたときにも成り立ち、\(Hx_1{}^{\prime},\:Hx_2{}^{\prime},\:\cdots\:,Hx_d\,'\) を「右剰余類」という。
群 \(G\) の 部分群 \(H\) による剰余類の個数 \(d\) について、\(d\cdot|H|=|G|\) が成り立つ。この \(d\) を「\(G\) の \(H\) による指数」といい、\([\:G\::\:H\:]\) で表す。つまり、
\(|G|=[\:G\::\:H\:]\cdot|H|\)
である（ラグランジュの定理）。
群 \(G\) の元 \(g\) の位数（\(g^x=e\) となる最小の \(x\)）を \(n\) とすると、\(n\) は群位数 \(|G|\) の約数である。
群位数が素数の群は巡回群である。
| 正規部分群の定義（41F） |
\(gH=Hg\)
が成り立つとき、\(H\) を \(G\) の正規部分群（normal subgroup）という。正規部分群では左剰余類と右剰余類が一致する。
定義により、\(G\) および \(\{e\}\) は \(G\) の正規部分群である。また \(G\) が可換群であると、その部分群は正規部分群である。巡回群は可換群だから、巡回群の部分群は正規部分群である。
| 剰余群の定義（41G） |
\(x_1H,\:x_2H,\:\cdots\:,x_dH\:\:(\:x_i\in G,\:d=[\:G\::\:H\:]\:)\)
は部分集合の演算の定義（41A）で群になる。この群を \(G\) の \(H\) による剰余群（quotient group）といい、\(G/H\) で表す。剰余群は商群とも言う。
| 巡回群の剰余群は巡回群（41H） |
| 部分群と正規部分群（41I） |
(a) \(NH\) は \(G\) の部分群である。
(b) \(G\:\supset\:N\:\supset\:H\) なら、\(H\) は \(N\) の正規部分群である。
(c) \(N\cap H\) は \(N\) の正規部分群である。
(b) \(G\:\supset\:N\:\supset\:H\) なら、\(H\) は \(N\) の正規部分群である。
(c) \(N\cap H\) は \(N\) の正規部分群である。
が成り立つ。
４.２ 準同型写像
| 準同型写像と同型写像（42A） |
\(f(xy)=f(x)f(y)\)
が成り立つとき、\(f\) を \(G\) から \(G\,'\) への準同型写像（homomorphism）という。右辺は群 \(G\,'\) の演算定義に従う。
また、\(f\) が全単射写像のとき、\(f\) を同型写像（isomorphism）という。群 \(G\) から \(G\,'\) への同型写像が存在するとき、\(G\) と \(G\,'\) は同型であるといい、
\(G\:\cong\:G\,'\)
で表す。
| 準同型写像の像と核（42B） |
\(\mathrm{Im}\:f\) は \(G\,'\) の部分群である。
\(G\) の単位元を \(e\)、\(G\,'\) の単位元を \(e\,'\) とする。準同型写像 \(f\) によって \(e\,'\) に移る \(G\) の元の集合を「\(f\) の核（kernel）」といい、\(\mathrm{Ker}\:f\) と書く。
\(\mathrm{Ker}\:f\) は \(G\) の部分群である。
| 核が単位元なら単射（42C） |
| \(\mathrm{Im}\:f\) | \(=\:G\,'\) | なら \(f\) は全射 | |
| \(\mathrm{Ker}\:f\) | \(=\:\{e\}\) | なら \(f\) は単射 |
である。
| 核は正規部分群（42D） |
４.３ 同型定理
| 準同型定理（43A） |
\(G/H\:\cong\:\mathrm{Im}\:f\)
が成り立つ。
| 第２同型定理（43B） |
\(N/(N\cap H)\:\cong\:NH/H\)
が成り立つ。
５．ガロア群とガロア対応
５.１ 体の同型写像
| 体の同型写像（51A） |
\(\begin{eqnarray}
&&\:\:f(x+y)&=f(x)+f(y)\\
&&\:\:f(xy)&=f(x)f(y)\\
\end{eqnarray}\)
が成り立つとき、\(f\) を体の同型写像という。この定義による同型写像は、加法と乗法のみならず、四則演算を保存する。
特に、\(\boldsymbol{K}\) から \(\boldsymbol{K}\) への同型写像を自己同型写像という。
\(\boldsymbol{K}\) から \(\boldsymbol{F}\) への同型写像が存在するとき、体 \(\boldsymbol{K}\) と 体 \(\boldsymbol{F}\) は同型であるといい、\(\boldsymbol{K}\:\cong\:\boldsymbol{F}\) で表す。
体 \(\boldsymbol{K}\) と \(\boldsymbol{F}\) がともに \(\boldsymbol{Q}\) を含むとき、\(a\in\boldsymbol{Q}\) に対して、
\(f(a)=a\)
である。つまり有理数は同型写像で不変である。
| 有理式の定義（51B） |
| 同型写像と有理式の順序交換（51C） |
\(\sigma(f(a))=f(\sigma(a))\)
である。これは多変数の有理式でも成り立つ。\(a_1,a_2,\cdots,a_n\) を \(\boldsymbol{K}\) の元、\(f(x_1,x_2,\cdots,x_n)\) を \(\boldsymbol{Q}\) 上の有理式とすると、
\(\sigma(f(a_1,a_2,\cdots,a_n))=f(\sigma(a_1),\sigma(a_1),\cdots,\sigma(a_n))\)
である。
\(\boldsymbol{Q}\) を含む体を \(\boldsymbol{K}\) とし、\(\boldsymbol{K}\)の拡大体を \(\boldsymbol{F}\:,\boldsymbol{F}\,'\) とする。\(\sigma\) を \(\boldsymbol{K}\) を不変にする \(\boldsymbol{F}\) から \(\boldsymbol{F}\,'\) への同型写像とし、\(a\) を \(\boldsymbol{F}\) の元とする。\(f(x)\) を \(\boldsymbol{K}\) 上の有理式とすると、
\(\sigma(f(a))=f(\sigma(a))\)
である。
| 同型写像での移り先（51D） |
| 同型写像による解の置換（51E） |
すると \(\sigma(\alpha_1),\sigma(\alpha_2),\cdots,\sigma(\alpha_n)\) は、\(\alpha_1,\alpha_2,\cdots,\alpha_n\) を入れ替えたものである。
| 同型写像の存在（51F） |
すると \(\sigma(\alpha)=\beta\) を満たす \(\boldsymbol{Q}(\alpha)\) から \(\boldsymbol{Q}(\beta)\) への唯一の同型写像 \(\sigma\) が存在する。
| 単拡大体の同型写像（51G） |
\(\sigma_i(\alpha)=\alpha_i\) \((1\leq i\leq n)\)
で定められ、\(\sigma_i\) は \(\boldsymbol{Q}(\alpha)\) から \(\boldsymbol{Q}(\alpha_i)\) への同型写像となる。
| 同型写像の延長（51H） |
\(\boldsymbol{\boldsymbol{Q}(\alpha)}\) 上の \(m\)次既約多項式を \(g(x)\) とし、方程式 \(g(x)=0\) の解の一つを \(\beta\) とする。また、\(\boldsymbol{Q}(\alpha)\) の同型写像の一つを \(\tau\) とする。
このとき、\(\tau\) は \(\boldsymbol{Q}(\alpha,\beta)\) の同型写像 \(\sigma_j\) に延長できる。延長とは、\(\sigma_j\) の作用を \(\boldsymbol{Q}(\alpha)\) に限定した写像の作用が \(\tau\) と一致することを言う。\(\tau\) を延長した同型写像 \(\sigma_j\) は \(m\)個ある（\(0\leq j < m\)）。
５.２ ガロア拡大とガロア群
| ガロア拡大（52A） |
| （最小分解体定義）体 \(\boldsymbol{F}\) 上の多項式を \(f(x)\) とし、方程式 \(f(x)=0\) の最小分解体を \(\boldsymbol{L}\) とするとき、\(\boldsymbol{L}/\boldsymbol{F}\) をガロア拡大という。 | |
| （自己同型定義）体 \(\boldsymbol{F}\) の代数拡大体 \(\boldsymbol{K}\) があったとき、\(\boldsymbol{F}\) の元を不動にする \(\boldsymbol{K}\) の同型写像がすべて自己同型写像になるとき、\(\boldsymbol{K}/\boldsymbol{F}\) をガロア拡大という。 |
\(\boldsymbol{K}/\boldsymbol{F}\) がガロア拡大のとき、\(\boldsymbol{\boldsymbol{F}}\) を不変にする \(\boldsymbol{K}\) の自己同型写像の集合は群になる。これをガロア群といい、\(\mathrm{Gal}(\boldsymbol{K}/\boldsymbol{F})\) で表す。
| 次数と位数の同一性（52B） |
\(\boldsymbol{F}\) を代数拡大体とし、\(\boldsymbol{F}\) のガロア拡大を \(\boldsymbol{L}\) とする。\(\boldsymbol{L}\) のガロア群の位数は \(\boldsymbol{F}\) から \(\boldsymbol{L}\) への拡大次数に等しい。つまり、
\([\:\boldsymbol{L}\::\:\boldsymbol{F}\:]=|\mathrm{Gal}(\boldsymbol{L}/\boldsymbol{F})|\)
である。
| 中間体からのガロア拡大（52C） |
５.３ ガロア対応
| 固定体と固定群（53A） |
また \(\boldsymbol{K}\) の中間体 \(\boldsymbol{M}\) のすべての元を不変にする \(G\) の部分集合 \(H\) は群になる。これを \(G\) における \(\boldsymbol{M}\) の固定群と呼び、\(G(\boldsymbol{M})\) で表す（または \(G^M\)）。
| ガロア対応（53B） |
\(\begin{eqnarray}
&&G\:\supset\:H &\supset\:\{e\}\\
&&\boldsymbol{F}\:\subset\:\boldsymbol{K}(H)=\boldsymbol{M} &\subset\:\boldsymbol{K}\\
\end{eqnarray}\)
\(\boldsymbol{M}\)の固定群を \(G(\boldsymbol{M})\) とする（次式）。ガロア群の定義により \(G(\boldsymbol{M})=\mathrm{Gal}(\boldsymbol{K}/\boldsymbol{M})\) である。
\(\begin{eqnarray}
&&\boldsymbol{F}\:\subset\:\boldsymbol{M} &\subset\:\boldsymbol{K}\\
&&G\:\supset\:G(\boldsymbol{M}) &\supset\:\{e\}\\
\end{eqnarray}\)
このとき、
\(G(\boldsymbol{M})=H\)
つまり、
\(\begin{eqnarray}
&&\:\:\mathrm{Gal}(\boldsymbol{K}/\boldsymbol{M})&=H \\
&&\:\:\boldsymbol{K}(G(\boldsymbol{M}))&=\boldsymbol{M}\\
\end{eqnarray}\)
が成り立つ。
| 正規性定理（53C） |
| \(\boldsymbol{M}/\boldsymbol{Q}\) がガロア拡大である | |
| \(H\)が\(G\)の正規部分群である |
の２つは同値である。また、これが成り立つとき、
\(\mathrm{Gal}(\boldsymbol{M}/\boldsymbol{Q})\:\cong\:G/H\)
という群の同型が成り立つ。
６．可解性の必要条件
６.１ 可解群
| 可解群の定義（61A） |
| \(H_0\:\supset H_1\supset\cdots\supset H_i\supset H_{i+1}\supset\cdots\supset H_k=\{\:e\:\}\) |
があって、\(H_{i+1}\) は \(H_i\) の正規部分群であり、剰余群 \(H_i/H_{i+1}\) が巡回群であるとき、\(G\) を可解群（solvable group）と言う。
\(H_{i+1}\) が \(H_i\) の正規部分群であるとき、\(H_i\) を正規列と言う。また、\(H_i/H_{i+1}\) が巡回群のとき、\(H_i\) を可解列という。
| 巡回群は可解群（61B） |
| 可解群の部分群は可解群（61C） |
| 可解群の像は可解群（61D） |
このことより、
可解群の剰余群は可解群
であることが分かる。なぜなら、群 \(G\) の部分群を \(N\) とすると、\(G\) から \(G/N\) への自然準同型、つまり \(x\in G\) として、
\(x\:\longmapsto\:xN\)
の準同型写像を定義できるからである。
６.２ 巡回拡大
| 巡回拡大の定義（62A） |
| 累巡回拡大の定義（62B） |
| \(\boldsymbol{K}_0\subset\boldsymbol{K}_1\subset\cdots\subset\boldsymbol{K}_i\subset\boldsymbol{K}_{i+1}\subset\cdots\subset\boldsymbol{K}_k=\boldsymbol{K}\) |
となる拡大列があって（\(k > 1\)）、\(\boldsymbol{K}_{i+1}/\boldsymbol{K}_i\:(0\leq i < k)\) が巡回拡大のとき、\(\boldsymbol{K}/\boldsymbol{Q}\) は累巡回拡大であると言う。ただし、\(\boldsymbol{\boldsymbol{K}/\boldsymbol{Q}}\) が累巡回拡大だとしても、\(\boldsymbol{\boldsymbol{K}/\boldsymbol{Q}}\) がガロア拡大であるとは限らない。
| 累巡回拡大ガロア群の可解性（62C） |
| \(G\) が可解群である | |
| \(\boldsymbol{K}/\boldsymbol{Q}\) が累巡回拡大である |
の２つは同値である。
６.３ 原始\(\boldsymbol{n}\)乗根を含む体とべき根拡大
１の原始\(n\)乗根を \(\zeta\) とする。このとき
・\(\boldsymbol{Q}(\zeta)/\boldsymbol{Q}\) はガロア拡大
・\(\mathrm{Gal}(\boldsymbol{Q}(\zeta)/\boldsymbol{Q})\:\cong\:(\boldsymbol{Z}/n\boldsymbol{Z})^{*}\)
が成り立つ。
| 原始n乗根の数（63A） |
原始\(n\)乗根は \(\varphi(n)\) 個ある。\(\varphi(n)\) はオイラー関数で、\(n\) と互いに素である \(n\) 以下の自然数の数を表す。
| 原始n乗根の累乗（63B） |
\(\zeta^m\:\:(1\leq m\leq n)\)
は、\(1\) の\(n\)乗根の全体を表す。また、
\(\zeta^m\:\:(\mathrm{gcd}(m,n)=1)\)
は、\(1\) の原始\(n\)乗根の全体を表す。
| 原始n乗根の最小多項式（63C） |
このとき \(f(\zeta^k)=0\) である。
| 円分多項式（63D） |
従って、原始\(n\)乗根は互いに共役である。最小多項式は既約多項式なので、円分多項式は既約多項式である。
\(\boldsymbol{Q}\) に \(\zeta\) を添加した単拡大体 \(\boldsymbol{Q}(\zeta)\) は \(f(x)\) の最小分解体であり、\(\boldsymbol{Q}(\zeta)/\boldsymbol{Q}\) はガロア拡大である。
| Q(ζ)のガロア群（63E） |
\(\mathrm{Gal}(\boldsymbol{Q}(\zeta)/\boldsymbol{Q})\cong(\boldsymbol{Z}/n\boldsymbol{Z})^{*}\)
である。つまり \(1\) の原始\(n\)乗根の一つを \(\boldsymbol{Q}\) に添加した拡大体のガロア群は、既約剰余類群に同型である。
| Q(ζ)のガロア群は巡回群（63F） |
従って、\(\mathrm{Gal}(\boldsymbol{Q}(\zeta)/\boldsymbol{Q})\) は可解群であり（61B）、累巡回拡大である（62C）。
| べき根拡大の定義（63G） |
また、\(\boldsymbol{K}\) からのべき根拡大を繰り返して拡大体 \(\boldsymbol{F}\) ができるとき、\(\boldsymbol{F}/\boldsymbol{K}\) を累べき根拡大と言う。
| 原始n乗根を含むべき根拡大（63H） |
| \(\boldsymbol{L}/\boldsymbol{K}\) は巡回拡大である | |
| \(\mathrm{Gal}(\boldsymbol{L}/\boldsymbol{K})\) の位数は \(n\) の約数である |
６.４ 可解性の必要条件
| ガロア閉包の存在（64A） |
| 可解性の必要条件（64B） |
６.５ ５次方程式の解の公式はない
| 置換は巡回置換の積（65A） |
| 置換は互換の積（65B） |
| 置換の偶奇性（65C） |
| 交代群は正規部分群（65D） |
\([\:S_n\::\:A_n\:]=2\)
である。
\(A_n\) は \(S_n\) の正規部分群であり、\(S_n/A_n\) は巡回群である。
| 交代群は３文字巡回置換の積（65E） |
| 半分の部分群は正規部分群（65F） |
\(|G|=2|N|\)
のとき（つまり 群の指数 \([G:N]=2\) のとき）、\(N\) は \(G\) の正規部分群である。
| 対称群の可解性（65G） |
| ５次方程式の解の公式はない（65H） |
| \(f(x)\) | \(=\) | \((x-b_1)\)\((x-b_2)\)\((x-b_3)\)\((x-b_4)\)\((x-b_5)\) \([b_i\in\boldsymbol{K}]\) | |
| \(=\) | \(x^5-a_4x^4+\)\(a_3x^3-a_2x^2+\)\(a_1x-a_0\) |
\(\boldsymbol{F}=\boldsymbol{Q}(a_0,\:a_1,\:a_2,\:a_3,\:a_4)\)
である。
このとき、\(\boldsymbol{K}\) の \(\boldsymbol{F}\) 上の ガロア群 \(G\) は５次対称群 \(S_5\) である。\(S_5\) は可解群ではないので（65G）、従って \(b_i\) を \(a_i\) のべき根で表すことはできない。
６.６ 可解ではない５次方程式
| コーシーの定理（66A） |
| 実数解が３つの５次方程式（66B） |
７．可解性の十分条件
７.１ １の原始\(\boldsymbol{n}\)乗根
| 原始n乗根はべき根で表現可能（71A） |
７.２ べき根拡大の十分条件のため補題
| べき根拡大の十分条件のため補題１（72A） |
| \(g(x)\) | \(=\) | \(x+\)\(a_1\sigma(x)+\)\(a_2\sigma^2(x)+\)\(\:\cdots\:+\)\(a_{n-1}\sigma^{n-1}(x)=0\) | |
| \((a_i\in\boldsymbol{L},\:1\leq i\leq n-1)\) |
と定義する。このとき、\(\boldsymbol{L}\) の全ての元 \(x\) について、\(g(x)=0\) となるような \(\boldsymbol{L}\) の元、\(a_1,\:a_2,\:\cdots\:,a_{n-1}\) は存在しない。
| べき根拡大の十分条件のため補題２（72B） |
| \(x+\)\(\zeta^{n-1}\sigma(x)+\)\(\zeta^{n-2}\sigma^2(x)+\)\(\cdots+\)\(\zeta\sigma^{n-1}(x)\) |
とおくと、\(g(\theta),\:g(\theta^2),\:\cdots\:,g(\theta^{n-1})\) のうち少なくとも一つは \(0\) ではない。
７.３ べき根拡大の十分条件
| べき根拡大の十分条件（73A） |
このとき、\(\boldsymbol{L}\) は \(\boldsymbol{K}\) のべき根拡大である。
７.４ べき根拡大と巡回拡大の同値性
| べき根拡大と巡回拡大は同値（74A） |
このとき、
| \(\boldsymbol{L}/\boldsymbol{K}\) は巡回拡大である | |
| \(\boldsymbol{L}/\boldsymbol{K}\) はべき根拡大である。 |
７.５ 可解性の十分条件
| 可解性の十分条件（75A） |
このとき \(f(x)=0\) の解は四則演算とべき根で表現できる。
７.６ 位数２の巡回拡大は平方根拡大：正５角形が作図できる理由
\(p\) を素数とし、原始\(p\)乗根を \(\zeta\) とすると、
\(|\mathrm{Gal}(\boldsymbol{Q}(\zeta)/\boldsymbol{Q})|=|(\boldsymbol{Z}/p\boldsymbol{Z})^{*}|=p-1\)
なので、
\(p-1=2^k\:\:(1\leq k)\)
の条件があると、\(\boldsymbol{Q}\) から \(\boldsymbol{Q}(\zeta)\) に至る「平方根拡大」の列が存在し、\(\zeta\) は四則演算と平方根 \(\sqrt{\phantom{a}}\) だけで表現できる。従って 正 \(p\)角形は定規とコンパスで作図可能である
（定義・定理一覧：終）