「ガロア理論の頂を踏む(石井俊全著)」p. 480
「ガロア理論の頂を踏む(石井俊全著)」p. 480 引用ここから「
の拡大次数をとおきます。
, …, の最小公倍数をnとして、1の原始n乗根ζを拡大列に加えます。
Q(ζ)=(ζ)⊂(ζ)⊂…⊂(ζ)=(ζ)
すると、(ζ)/(ζ)の拡大では、(ζ)に1の原始乗根が含まれていますから、定理6.5より(ζ)/(ζ)はべき根拡大になります。
つまり、(ζ)は、(ζ)にx^-=0の1つの解√を加えて、(ζ)=(√, ζ)と表されています。
」引用ここまで
f(x)=0のガロア群が可解群であるという前提なので、/が巡回拡大なのは良いが、そこからただちに(ζ)/(ζ)が巡回拡大といえるのか、感覚的にはそうなりそうだがそれほど明らかでもない。
例えば(巡回拡大ではない例だが)、Q(√2, √3)/Qはp339から議論したようにガロア拡大だが、1の原始2乗根である1/√2≡ζとすると、Q(√2, √3,ζ)/Q(ζ)=Q(√2, √3)/Q(√2)となり、ζを加えるという操作で拡大列がどのような影響を受けるか考える必要がある。
これは以下のように考えればよい。
(1)∋ζの場合(当然ながら、∋ζである)
(ζ)/(ζ)=/なので、(ζ)/(ζ)は巡回拡大である。
(2)にζが含まれず、∋ζの場合
⊂(ζ)⊂=(ζ)
であり、
/=(ζ)/がガロア拡大なので、(ζ)/(ζ)もガロア拡大であり、Gal((ζ)/(ζ))は、Gal(/)の部分群である。巡回群の部分群は一般に巡回群なので、(ζ)/(ζ)は巡回拡大である。
なお、拡大次数はの約数であり、(ζ)上の方程式x^-=0の1つの解√を用いて、(ζ)=(√, ζ)とできる。
(2)にもにもζが含まれない場合
が上のm次既約多項式g(x)=0の解βを用いて、=(β)と表されているとする。g(x)=0の解を=, …とします。すると、Gal(/)={, …,}で、(β)=で自己同型写像が作れます。
⊂(ζ)⊂(ζ)=(ζ, β)
である。
g(x)は上では既約でしたが、(ζ)上では既約でない可能性があります。(ζ)上でのβの最小多項式をh(x)とすると、g(x)はh(x)で割り切れます。h(x)=0の解は、, …のうちのいくつかと、βとであるということがわかります。
(ζ)を不変にする、(ζ)=(ζ, β)に作用する同型写像を考えます。p390で考えたように、βの移り先を調べてみることにします。βの移り先はh(x)=0の解しかあり得ないことがわかります。そして、これらはすべて実現できます。
/がガロア拡大より、=, …はに含まれているので当然に、h(x)=0の解は(ζ)に含まれています。よって、(ζ)/(ζ)はガロア拡大となります。Gal((ζ)/(ζ))は、{, …,}のうちのいくつかであることから、巡回群の部分群より巡回群です。
よって、(ζ)/(ζ)は巡回拡大です。