ガロア理論/代数拡大のソースを表示

== 導入 ==
ガロア理論では、主に体の代数拡大の性質を扱う。そこで、代数拡大に関する基礎的な定義・定理を述べる。


; 定義 ([[w:代数拡大|代数拡大]] algebraic extension)
<math>K/F</math> を体の拡大とする。<math>\alpha \in K</math> が <math>F</math> 上'''代数的'''(algebraic)であるとは、<math>F</math>係数多項式 <math>f(x) \in F[x]</math> が存在して、<math>f(\alpha) = 0</math> となることをいう。<br>
もし <math>K</math> の全ての元が <math>F</math> 上代数的であるとき、<math>K/F</math> は'''代数拡大'''である、<math>K</math> は <math>F</math> 上'''代数的'''である、<math>K</math> は <math>F</math> の'''代数拡大体'''である、などという。<br>
代数的でないことを'''超越的'''(transcendental)という。

; 例
*<math>\mathbb{Q}(\sqrt{-2})/\mathbb{Q}</math> は代数拡大である。<math>\alpha = a+b\sqrt{-2}</math> は、<math>\alpha^2 = a^2 - 2b^2 + 2ab\sqrt{-2} = (a^2 - 2b^2) + 2a(\alpha - a)</math> より <math>\alpha^2 - 2a\alpha + a^2 + 2b^2 = 0.</math>
*<math>\mathbb{C}/\mathbb{R}</math> は代数拡大である。
*<math>\mathbb{R}/\mathbb{Q}</math> は代数拡大では'''ない'''。<math>\pi, e</math> といった[[w:超越数|超越数]]は有理数体上代数的ではないことが示されている。


; 定義 (拡大次数 extension degree)
体の拡大 <math>K/F</math> の次数 <math>[K:F]</math> とは、<math>K</math> を <math>F</math> 上の自然な[[w:ベクトル空間|ベクトル空間]]とみなしたときの次元である。無限次元ベクトル空間となる場合は、<math>[K:F] = \infty</math> と書く。

;例
*<math>[\mathbb{C}:\mathbb{R}] = 2.</math> 実際、<math>1, \sqrt{-1}</math> は実数体上基底をなす。
*<math>[\mathbb{R}:\mathbb{Q}] = \infty.</math>
*<math>[\mathbb{Q(2^{1/3})}:\mathbb{Q}] = 3.</math>


; 定義 ([[w:最小多項式|最小多項式]] minimal polynomial)
体の拡大 <math>K/F</math> と、<math>F</math> 上代数的な元 <math>\alpha \in K</math> について、<math>F</math> 係数多項式 <math>f(x) \in F[x]</math> で <math>f(\alpha) = 0</math> となるもののうち、次数が最小で、かつ最高次係数が 1 であるものを、<math>\alpha</math> の <math>F</math> 上の最小多項式という。

;例
*<math>\sqrt{-1} \in \mathbb{C}</math> の <math>\mathbb{R}</math> 上の最小多項式は <math>f(x) = x^2 + 1.</math>
*<math>2^{1/3} \in \mathbb{Q(2^{1/3})}</math> の <math>\mathbb{Q}</math> 上の最小多項式は <math>f(x) = x^3 - 2.</math>


==== 命題 1 ====
<math>K/F</math> を体の拡大とし、<math>\alpha \in K</math> を <math>F</math> 上代数的とする。<math>f(x)</math> を <math>\alpha</math> の <math>F</math> 上の最小多項式とする。<br />
(i) <math>\alpha</math> を根に持つ <math>F</math> 係数多項式は <math>F[x]</math> 内で <math>f(x)</math> で割り切れる。<br />
(ii) <math>f(x)</math> は <math>F[x]</math> における[[w:既約多項式|既約多項式]]である。<br />
(iii) 逆に、<math>g(x) \in F[x]</math> が <math>\alpha \in K</math> を根に持つ既約なモニック多項式であるならば、それは <math>\alpha \in K</math> の <math>F</math> 上の最小多項式である。

;証明
(i) <math>g(x) \in F[x], \ g(\alpha) = 0</math> とし、<math>g(x) = f(x)q(x) + r(x)</math> と <math>F[x]</math> 内で除算をする。このとき <math>\deg f > \deg r</math> であり、また <math>x = \alpha</math> を代入して <math>r(\alpha) = 0</math> であるので、最小多項式の次数の最小性より <math>r(x) = 0</math> となって、証明される。<br />
(ii) <math>f(x) = g(x)h(x)</math> と分解されるとすると、<math>0 = f(\alpha) = g(\alpha)h(\alpha)</math> となるため、<math>g(\alpha) = 0, \ h(\alpha) = 0</math> のどちらかが成り立つ。前者が成り立つとしても一般性を失わない。<math>\deg g \leq \deg f</math> であることと、最小多項式の定義より、<math>\deg g = \deg f</math> となり、つまり定数倍の違いしかなく、これは命題で主張されている既約性を表している。<br />
(iii) (i) より <math>g(x)</math> は <math>f(x)</math> で割り切れるので、既約性より <math>g(x)</math> は <math>f(x)</math> の定数倍である。<math>g(x)</math> がモニックであるという仮定より、<math>g(x) = f(x).</math>

==== 命題 2 ====
体の拡大 <math>K/F</math> について、<math>f(x)</math> を、<math>F</math> 上代数的な元 <math>\alpha \in K</math> の <math>F</math> 上の最小多項式とする。このとき、<br>
(i)<math>F(\alpha) = F[x]/(f(x)).</math> 特に、<math>F(\alpha)</math> の任意の元は <math>\alpha</math> の <math>F</math> 係数多項式で表せる。<br>
(ii)<math>[F(\alpha) : F] = \deg f.</math><br>

;証明
(i) <math>F[x]</math> は[[w:単項イデアル整域|単項イデアル整域]]であり、上の命題より <math>f(x)</math> は既約元なので、<math>(f(x))</math> は極大イデアルである。したがって、<math>F[x]/(f(x))</math> は体である。

<math>F[x]/(f(x)) \rightarrow F(\alpha), \ x \mapsto \alpha</math> は体から体への準同型であり、単射である([[ガロア理論/準備#命題_3]])。また、全射性は[[ガロア理論/準備#命題_7]]よりしたがう。

実際、<math>F(\alpha)</math> の元は <math>g, h \in F[x], \ h(\alpha) \neq 0</math> によって <math>g(\alpha)/h(\alpha)</math> という形に書け、単射性と <math>F[x]/(f(x))</math> が体であることを使えば <math>k(x) \in F[x]</math> で <math>h(x)k(x) \equiv 1 \ \mod (f(x))</math> となるものがあり、<math>g(x)k(x) \mod (f(x)) \mapsto g(\alpha)k(\alpha) = g(\alpha)/h(\alpha).</math>
<br />
<br />
(ii) <math>d = \deg f</math> として、<math>x^d = f(x)q(x) + r(x), \ \deg r < \deg f = d</math> と、<math>F[x]</math> 内で多項式の除算をする。<math>\alpha</math> を代入して、<math>\alpha^d = r(\alpha)</math> となる。つまり <math>\alpha^d</math> は <math>1, \alpha, \cdots, \alpha^{d-1}</math> の <math>F</math> 係数の線形結合で表せる。

より高次の場合も同じであり、したがって、<math>1, \alpha, \cdots, \alpha^{d-1}</math> はベクトル空間としての生成元である。これらが線型独立であることは、最小多項式の次数の最小性よりしたがう。

基底として <math>1, \alpha, \cdots, \alpha^{d-1}</math> が取れるため、拡大次数は <math>d = \deg f</math> である。

==== 命題 3 ====
<math>L/K, K/F</math> を体の拡大とする。このとき、<math>[L:K][K:F] = [L:F].</math>

;証明
<math>[L:K], [K:F]</math> 片方が無限であるとき、<math>[L:F]</math> も無限であることはすぐにわかる。どちらも有限であるとして、

<math>x_1, \cdots, x_n \in L, \ y_1, \cdots, y_m \in K</math> をそれぞれベクトル空間としてみたときの <math>L/K, K/F</math> の基底とする。このとき、<math>x_iy_j \ (i = 1, \cdots, n, j = 1, \cdots, m)</math> は、<math>L</math> の <math>F</math> 上の基底になっている。


==== 命題 4 ====
(i)<math>K/F</math> を体の拡大とする。<math>\alpha \in K</math> は <math>F</math> 上代数的である <math>\Leftrightarrow [F(\alpha):F] < \infty.</math><br />
(ii)<math>K = F(\alpha_1, \cdots, \alpha_n)/F</math> を体の拡大とする。このとき、<math>[K:F] < \infty \Leftrightarrow K/F</math> は代数拡大。

;証明
(i) 命題2より十分性は明らか。逆に拡大次数が有限のとき、<math>n \geq 0</math> が存在して <math>1, \alpha, \alpha^2, \cdots, \alpha^{n-1}</math> が <math>F</math> 上線形従属となる。これは、代数的元であることを意味している。<br />
(ii)<br />
:<math>\Rightarrow : \ \alpha \in K</math> について、命題3より <math>[F(\alpha):F] < \infty</math> であるので、(i) より <math>\alpha</math> は代数的元である。
:<math>\Leftarrow : \ L/K, K/F</math> を体の拡大としたとき、<math>\alpha \in L</math> が <math>F</math> 上代数的ならば <math>K</math> 上代数的であることに注意して、仮定より <math>F(\alpha_1, \cdots, \alpha_i)/F(\alpha_1, \cdots, \alpha_{i-1})</math> は代数拡大なので (i) より <math>[F(\alpha_1, \cdots, \alpha_i):F(\alpha_1, \cdots, \alpha_{i-1})] < \infty</math> である。命題3を繰り返し使って <math>[K:F] < \infty</math> を得る。


==== 定理 5 ====
<math>L/K, K/F</math> が体の代数拡大なら、<math>L/F</math> も代数拡大である。

;証明
<math>\alpha \in L</math> が体 <math>F</math> 上代数的であることを示す。定義より、<math>a_0, \cdots, a_n \in K</math> が存在して <math>a_n\alpha^n + \cdots + a_1\alpha + a_0 = 0</math> を満たす。<br />
このことから、<math>\alpha</math> は <math>M = F(a_0, \cdots, a_n)</math> 上代数的である。<br />
命題4(i)より <math>[M(\alpha):M] < \infty, [M:F] < \infty.</math> したがって命題3より、<math>[M(\alpha):F] < \infty.</math> 命題3 を再び使って、<math>[F(\alpha):F] < \infty</math> なので、命題(i) より、<math>\alpha</math> は <math>F</math> 上代数的である。


==== 定理 6 ====
<math>K/F</math> を体の拡大とする。<br />
(i) <math>\alpha, \beta (\neq 0) \in K</math> が代数的であるとする。このとき、<math>\alpha \pm \beta, \alpha\beta, \alpha/\beta</math> も代数的である。<br />
(ii) <math>K^a = \{\alpha \in K : \alpha</math> は代数的 <math>\}</math> は、<math>K/F</math> の中間体である。

;証明
(i)<br />
:命題4より <math>[F(\alpha):F] < \infty.</math> <math>\beta</math> は <math>F</math> 上代数的なので <math>F(\alpha)</math> 上代数的であることに注意して、<math>[F(\alpha, \beta):F(\alpha)] < \infty.</math>
:よって命題3より <math>[F(\alpha, \beta):F] < \infty</math> であり、<math>F(\alpha \pm \beta), F(\alpha\beta), F(\alpha/\beta)</math> はいずれも <math>F(\alpha, \beta)</math> の中間体であるから、命題3より <math>F</math> 上の拡大次数はどれも有限である。
:したがって命題4より、<math>\alpha \pm \beta, \alpha\beta, \alpha/\beta</math> はいずれも <math>F</math> 上代数的である。
(ii)<br />
:(i)より直ちに従う。

==== 系 7 ====
<math>K/F</math> を体の拡大とし、集合 <math>S \subset K</math> の任意の元が <math>F</math> 上代数的であるとする。このとき、<math>F(S)/F</math> は代数拡大である。

;証明
<math>F(S)</math> は <math>F \cup S</math> を含む最小の体であり、定理6 (ii) より <math>F(S) \subseteq K^a</math> である。

== 解説 ==
*定理 5 : 体の代数拡大が推移的である
*定理 6 : 代数的な元同士を足したり掛けたりしてもまた代数的である
の二つを示すことが目標だったわけであるが、直接これらを示すのは難しい。そこでかわりにベクトル空間としてみたときの基底の濃度の有限性で代数的であるか超越的であるかを判定できることに(命題4)に着目して、拡大次数を使って目標の定理を示したのである。

ここで出てきた最小多項式と拡大次数はガロア理論において重要な概念であり、ここで使われた命題は今後頻繁に出てくる。

== 例 ==
*<math>n > 1</math> として <math>[\mathbb{Q}(2^{\frac{1}{n}}):\mathbb{Q}] = n.</math> 実際、<math>x^n - 2 \in \mathbb{Q}[x]</math> は[[w:アイゼンシュタインの既約判定法|アイゼンシュタインの既約判定法]]より既約であるので、これは <math>2^{\frac{1}{n}}</math> の最小多項式である。
*<math>\omega = \frac{-1+\sqrt{-3}}{2}</math> を 1 の 3 乗根とし、<math>\alpha = \sqrt[3]{2}</math> として <math>K = \mathbb{Q}(\alpha, \omega)</math> とする。
:<math>K/\mathbb{Q}</math> は中間体として <math>\mathbb{Q}(\alpha), \mathbb{Q}(\omega)</math> を含み、<math>[\mathbb{Q}(\alpha):\mathbb{Q}] = 3, \ [\mathbb{Q}(\omega):\mathbb{Q}] = 2</math> であり、
:<math>[K:\mathbb{Q}]</math> は <math>[\mathbb{Q}(\alpha):\mathbb{Q}], [\mathbb{Q}(\omega):\mathbb{Q}]</math> で割り切れるので、<math>[K:\mathbb{Q}] \geq 6.</math>
:逆に、ベクトル空間として <math>K</math> は <math>1, \alpha, \omega, \alpha\omega, \alpha^2, \alpha^2\omega</math> の 6 つの元によって <math>\mathbb{Q}</math> 上生成されるので、<math>[K:\mathbb{Q}] \leq 6.</math>
:(あるいは <math>K = \mathbb{Q}(\omega)(\alpha)</math> について、<math>\alpha</math> は <math>X^3 - 2</math> の根であるから <math>[K:\mathbb{Q}(\omega)] \leq 3</math> によって <math>[K:\mathbb{Q}] \leq 6.</math>)
:ゆえに、<math>[K:\mathbb{Q}] = 6.</math>

[[カテゴリ:ガロア理論]]
<!--[[Category:代数学]][[Category:ガロア理論|たいすうかくたい]]-->