コックス「ガロワ理論」 4.1節の演習問題

演習問題1

f(α)=0より、f=∑_{0≤i≤deg(f)} f_ixⁱ (f_i∈F)とすると∑_i f_iαⁱ=0。

この両辺をα^deg(f)で割れば、0=∑_i f_i(1/α)^deg(f)-i=∑_j f_deg(f)-j(1/α)^j。

したがって、1/αはg=∑_j f_deg(f)-j x^j∈F[x]の根だから、

1/αはF上代数的である。

演習問題2

fはgを割るのである0でないu∈F[x]が存在してg=uf。

またgはfを割るのである0でないu v∈F[x]が存在してf=vg。

故にf= uvfとなるからuv=1となりu,vは単数。

f,gは共に単多項式だから、u=v=1でなければならないのでf=g。

演習問題3

求値写像φ: F[x₁,...,x_n]→F[α₁,...,α_n]⊂L (f(x₁,...,x_n)→f(α₁,...,α_n))

は環準同型なので単位元を保ち、任意のf,g∈F[x₁,...,x_n]に対し

φ(f)+φ(g)=φ(f+g)∈F[α₁,...,α_n], φ(f)φ(g)=φ(fg)∈F[α₁,...,α_n]だから、

F[α₁,...,α_n]はLの部分環となる。

有理関数体F(α₁,...,α_n)については求値写像

φ: F(x₁,...,x_n)→F(α₁,...,α_n)⊂L (f(x₁,...,x_n)→f(α₁,...,α_n))

を考えれば和と積については同様で、

さらにf≠0について1=φ(1)=φ(ff^-1)=φ(f)φ(f^-1)だから、

φ(f)≠0に対し乗法の逆元φ(f^-1)∈F(α₁,...,α_n)を常に取ることが出来る。

したがってF(α₁,...,α_n)はLの部分体。

演習問題4

補題4.1.9によりF(α₁,...,α_r)は、

Fとα₁,...,α_rを含むLの最小の部分体である。

F(α₁,...,α_n)はFとα₁,...,α_rを含む体だから、F(α₁,...,α_r) ⊂F(α₁,...,α_n)。

補題4.1.9により、F(α₁,...,α_r)(α_r+1,...,α_n)は、

F(α₁,...,α_r)とα_r+1,...,α_nを含むLの最小の部分体である。

F(α₁,...,α_r) ⊂F(α₁,...,α_n)よりF(α₁,...,α_n)は

F(α₁,...,α_r)とα_r+1,...,α_nを含む体だから、

F(α₁,...,α_r)(α_r+1,...,α_n)⊂F(α₁,...,α_n)。

演習問題5

任意のf∈F[α₁,...,α_n-1][α_n]は、α_nを用いた

F[α₁,...,α_n-1]係数多項式表示だから、f∈F[α₁,...,α_n]となり、

F[α₁,...,α_n-1][α_n]⊂F[α₁,...,α_n]。

また、任意のg∈F[α₁,...,α_n]の多項式表示を、

α_nについての冪の和として表示すれば、

gはα_nを用いたF[α₁,...,α_n-1]係数多項式表示となるから、

g∈F[α₁,...,α_n-1][α_n]よりF[α₁,...,α_n]⊂F[α₁,...,α_n-1][α_n]。

したがってF[α₁,...,α_n-1][α_n]=F[α₁,...,α_n]。

演習問題6

求値写像φ：F[x₁,...,x_n]→F[α₁,...,α_n]⊂L (f(x₁,...,x_n)→f(α₁,...,α_n))

を考える。φは環準同型で明らかに全射。

f∈F[x₁,...,x_n]に対し、f(α₁,...,α_n)=0が成り立ったとすると、

f∈Ker(φ)である。ところが、α₁,...,α_nは代数的独立だから、

α₁,...,α_nについて成り立つ自明でない多項式関係は存在しないので、

f=0でなければならない。すなわちKer(φ)={0}だから、

φは単射となりしたがって同型写像である。

故にF[α₁,...,α_n]≃F[x₁,...,x_n]。

F(α₁,...,α_n)={r=α/β|α,β∈F[α₁,...,α_n]}だから、

求値写像ψ：F(x₁,...,x_n)→F(α₁,...,α_n)⊂L (r(x₁,...,x_n)→r(α₁,...,α_n))

は環準同型で明らかに全射。

r(α₁,...,α_n)=0ならα(α₁,...,α_n)=0である。

このときα∈F[α₁,...,α_n]だから、前段落の記述によりα=0となるので、

r(α₁,...,α_n)=0となるから、Ker(ψ)={0}。

ψは単射となりしたがって同型写像である。

故にF(α₁,...,α_n)≃F(x₁,...,x_n)。

例えばα₁が代数的数なら、α₂,...,α_nは超越数ってことか。

演習問題7

(a)

gとpに単数でない最大公約数が存在すると、

pは最小多項式だから命題4.1.5によりF上既約なので、

最大公約数はpである。したがってあるd∈F[x]が存在してg=pd。

命題4.1.5によりp(α)=0だから、0=p(α)d(α)=g(α)=βとなり、

β≠0と矛盾。

したがってgとpの最大公約数は単数しかありえないから、

gとpは互いに素である。

(b)

Ap+Bg=1よりBg=1-Ap。p(α)=0だから、B(α)g(α)=1。

したがって、B(α) ∈F[α]はg(α)の乗法に関する逆元。

ユークリッドのアルゴリズム（Euclidean algorithm=互除法）を使っているので、

3.1節の演習問題5の証明で互除法から剰余環を使ったのと同じことだが、

こちらはもっと泥臭い証明。

演習問題8

(a)

g=x²-3とし、gがℚ(√2)上可約と仮定する。

deg(g)=2だから、gがℚ(√2)上可約ならℚ(√2)上完全分解するので、

gはℚ(√2)に根を持つ。

√2はf=x²-2=0の根で、f∈ℚ[x]だから、√2はℚ上代数的である。

したがって命題4.1.15によりℚ(√2)=ℚ[√2]。

また、例4.1.16と同様に、(√2)²ⁿ=2ⁿ, (√2)²ⁿ⁺¹=2ⁿ√2だから、

α∈ℚ[√2]はα=a+b√2, a,b∈ℚの形に書ける。

g=x²-3とするとg(α)=a²+2b²-3+2√2ab=0。

√2は無理数なので、ℚ∋a²+2b²-3=0かつℚ∋ab=0。

ℚは整域だから第2式よりa=0またはb=0。

これより第1式はそれぞれ、2b²-3=0またはa²-3=0、

故にℚ∋b=√6/2またはℚ∋a=√3となるが、これらは√3, √6の無理性に反する。

したがってx²-3=0はℚ[√2]=ℚ(√2)に根を持たないから、

ℚ(√2)上既約である。

(b)

f=x⁴-10x²+1とする。α=√2+√3∈ℚ(√2,√3)とすればf(α)=0で、

例4.1.7によりfはℚ上既約である。

(α-√3)²=2よりα²-2√3α+1=0なので、

αはg=x²-2√3x+1, g∈ℚ(√3)[x]の根でもある。

deg(g)=2<deg(f)=4だから、fはαのℚ(√3)上での最小多項式ではない。

deg(g)=2かつgはℚ[√3]=ℚ(√3)に根を持たないから、

gはℚ[√3]=ℚ(√3)上既約である。しかもg(α)=0なので、

命題4.1.5によりgがαのℚ(√3)上での最小多項式である。

αはℚ(√3)上代数的でf(α)=0だから、

補題4.1.3によりℚ(√3)[x]においてfはgの倍式である。

したがってfはℚ(√3)上既約でない。

実際x⁴-10x²+1=(x²-2√3x+1)(x²+2√3x+1)。

ちょっとびっくり。