ガロア理論/代数拡大
導入

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

K / F {\displaystyle K/F} を体の拡大とする。 α ∈ K {\displaystyle \alpha \in K} が F {\displaystyle F} 上代数的(algebraic)であるとは、 F {\displaystyle F} 係数多項式 f ( x ) ∈ F [ x ] {\displaystyle f(x)\in F[x]} が存在して、 f ( α ) = 0 {\displaystyle f(\alpha )=0} となることをいう。 もし K {\displaystyle K} の全ての元が F {\displaystyle F} 上代数的であるとき、 K / F {\displaystyle K/F} は代数拡大である、 K {\displaystyle K} は F {\displaystyle F} 上代数的である、 K {\displaystyle K} は F {\displaystyle F} の代数拡大体である、などという。 代数的でないことを超越的(transcendental)という。
導入

体の拡大 K / F {\displaystyle K/F} の次数 [ K : F ] {\displaystyle [K:F]} とは、 K {\displaystyle K} を F {\displaystyle F} 上の自然なベクトル空間とみなしたときの次元である。無限次元ベクトル空間となる場合は、 [ K : F ] = ∞ {\displaystyle [K:F]=\infty } と書く。
導入

体の拡大 K / F {\displaystyle K/F} と、 F {\displaystyle F} 上代数的な元 α ∈ K {\displaystyle \alpha \in K} について、 F {\displaystyle F} 係数多項式 f ( x ) ∈ F [ x ] {\displaystyle f(x)\in F[x]} で f ( α ) = 0 {\displaystyle f(\alpha )=0} となるもののうち、次数が最小で、かつ最高次係数が 1 であるものを、 α {\displaystyle \alpha } の F {\displaystyle F} 上の最小多項式という。
導入

K / F {\displaystyle K/F} を体の拡大とし、 α ∈ K {\displaystyle \alpha \in K} を F {\displaystyle F} 上代数的とする。 f ( x ) {\displaystyle f(x)} を α {\displaystyle \alpha } の F {\displaystyle F} 上の最小多項式とする。 (i) α {\displaystyle \alpha } を根に持つ F {\displaystyle F} 係数多項式は F [ x ] {\displaystyle F[x]} 内で f ( x ) {\displaystyle f(x)} で割り切れる。 (ii) f ( x ) {\displaystyle f(x)} は F [ x ] {\displaystyle F[x]} における既約多項式である。 (iii) 逆に、 g ( x ) ∈ F [ x ] {\displaystyle g(x)\in F[x]} が α ∈ K {\displaystyle \alpha \in K} を根に持つ既約なモニック多項式であるならば、それは α ∈ K {\displaystyle \alpha \in K} の F {\displaystyle F} 上の最小多項式である。
導入

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

体の拡大 K / F {\displaystyle K/F} について、 f ( x ) {\displaystyle f(x)} を、 F {\displaystyle F} 上代数的な元 α ∈ K {\displaystyle \alpha \in K} の F {\displaystyle F} 上の最小多項式とする。このとき、 (i) F ( α ) = F [ x ] / ( f ( x ) ) . {\displaystyle F(\alpha )=F[x]/(f(x)).} 特に、 F ( α ) {\displaystyle F(\alpha )} の任意の元は α {\displaystyle \alpha } の F {\displaystyle F} 係数多項式で表せる。 (ii) [ F ( α ) : F ] = deg f . {\displaystyle [F(\alpha ):F]=\deg f.}
導入

(i) F [ x ] {\displaystyle F[x]} は単項イデアル整域であり、上の命題より f ( x ) {\displaystyle f(x)} は既約元なので、 ( f ( x ) ) {\displaystyle (f(x))} は極大イデアルである。したがって、 F [ x ] / ( f ( x ) ) {\displaystyle F[x]/(f(x))} は体である。
導入

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

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

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

基底として 1 , α , ⋯ , α d − 1 {\displaystyle 1,\alpha ,\cdots ,\alpha ^{d-1}} が取れるため、拡大次数は d = deg f {\displaystyle d=\deg f} である。
導入

L / K , K / F {\displaystyle L/K,K/F} を体の拡大とする。このとき、 [ L : K ] [ K : F ] = [ L : F ] . {\displaystyle [L:K][K:F]=[L:F].}
導入

[ L : K ] , [ K : F ] {\displaystyle [L:K],[K:F]} 片方が無限であるとき、 [ L : F ] {\displaystyle [L:F]} も無限であることはすぐにわかる。どちらも有限であるとして、
導入

x 1 , ⋯ , x n ∈ L , y 1 , ⋯ , y m ∈ K {\displaystyle x_{1},\cdots ,x_{n}\in L,\ y_{1},\cdots ,y_{m}\in K} をそれぞれベクトル空間としてみたときの L / K , K / F {\displaystyle L/K,K/F} の基底とする。このとき、 x i y j ( i = 1 , ⋯ , n , j = 1 , ⋯ , m ) {\displaystyle x_{i}y_{j}\ (i=1,\cdots ,n,j=1,\cdots ,m)} は、 L {\displaystyle L} の F {\displaystyle F} 上の基底になっている。
導入

(i) K / F {\displaystyle K/F} を体の拡大とする。 α ∈ K {\displaystyle \alpha \in K} は F {\displaystyle F} 上代数的である ⇔ [ F ( α ) : F ] < ∞ . {\displaystyle \Leftrightarrow [F(\alpha ):F]<\infty .} (ii) K = F ( α 1 , ⋯ , α n ) / F {\displaystyle K=F(\alpha _{1},\cdots ,\alpha _{n})/F} を体の拡大とする。このとき、 [ K : F ] < ∞ ⇔ K / F {\displaystyle [K:F]<\infty \Leftrightarrow K/F} は代数拡大。
導入

(i) 命題2より十分性は明らか。逆に拡大次数が有限のとき、 n ≥ 0 {\displaystyle n\geq 0} が存在して 1 , α , α 2 , ⋯ , α n − 1 {\displaystyle 1,\alpha ,\alpha ^{2},\cdots ,\alpha ^{n-1}} が F {\displaystyle F} 上線形従属となる。これは、代数的元であることを意味している。 (ii)
導入

L / K , K / F {\displaystyle L/K,K/F} が体の代数拡大なら、 L / F {\displaystyle L/F} も代数拡大である。
導入

α ∈ L {\displaystyle \alpha \in L} が体 F {\displaystyle F} 上代数的であることを示す。定義より、 a 0 , ⋯ , a n ∈ K {\displaystyle a_{0},\cdots ,a_{n}\in K} が存在して a n α n + ⋯ + a 1 α + a 0 = 0 {\displaystyle a_{n}\alpha ^{n}+\cdots +a_{1}\alpha +a_{0}=0} を満たす。 このことから、 α {\displaystyle \alpha } は M = F ( a 0 , ⋯ , a n ) {\displaystyle M=F(a_{0},\cdots ,a_{n})} 上代数的である。 命題4(i)より [ M ( α ) : M ] < ∞ , [ M : F ] < ∞ . {\displaystyle [M(\alpha ):M]<\infty ,[M:F]<\infty .} したがって命題3より、 [ M ( α ) : F ] < ∞ . {\displaystyle [M(\alpha ):F]<\infty .} 命題3 を再び使って、 [ F ( α ) : F ] < ∞ {\displaystyle [F(\alpha ):F]<\infty } なので、命題(i) より、 α {\displaystyle \alpha } は F {\displaystyle F} 上代数的である。
導入

K / F {\displaystyle K/F} を体の拡大とする。 (i) α , β ( ≠ 0 ) ∈ K {\displaystyle \alpha ,\beta (\neq 0)\in K} が代数的であるとする。このとき、 α ± β , α β , α / β {\displaystyle \alpha \pm \beta ,\alpha \beta ,\alpha /\beta } も代数的である。 (ii) K a = { α ∈ K : α {\displaystyle K^{a}=\{\alpha \in K:\alpha } は代数的 } {\displaystyle \}} は、 K / F {\displaystyle K/F} の中間体である。
導入

(i)
導入

(ii)
導入

K / F {\displaystyle K/F} を体の拡大とし、集合 S ⊂ K {\displaystyle S\subset K} の任意の元が F {\displaystyle F} 上代数的であるとする。このとき、 F ( S ) / F {\displaystyle F(S)/F} は代数拡大である。
導入

F ( S ) {\displaystyle F(S)} は F ∪ S {\displaystyle F\cup S} を含む最小の体であり、定理6 (ii) より F ( S ) ⊆ K a {\displaystyle F(S)\subseteq K^{a}} である。
解説

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

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