6

ガロア理論⑦ 中間体の拡大次数

408
0
$$\newcommand{bs}[0]{\backslash} \newcommand{ol}[0]{\overline} $$

はじめに

今回は,中間体の拡大次数を調べることでもとの拡大の様子がわかるという話をしたいと思います。
そして最後に,その事実を踏まえた上で$ℚ(\sqrt2+\sqrt3)$について考察してみます。

目次

1.中間体の拡大次数
2.実用例

中間体の拡大次数

$L/M/K$に対し,$L/M,M/K$が有限次拡大ならば$[L:K]=[L:M][M:K]$

$[L:M]=m,[M:K]=n$とし,$\{a_1,…,a_m\},\{b_1,…,b_n\}$をそれぞれの基底とすると,任意の$α∈L$に対し,$\displaystyle α=\sum_{i=1}^ma_ix_i$を満たす$x_i∈M$が存在し,かつ$\displaystyle x_i=\sum_{j=1}^nb_jy_{ij}\;(1≤i≤m)$を満たす$y_{ij}∈K$が存在する。
このとき$\displaystyleα=\sum_{i=1}^ma_i\left(\sum_{j=1}^nb_jy_{ij}\right)=\sum_{i=1}^m\sum_{j=1}^na_ib_jy_{ij}$であるから,$S=\{a_ib_j|1≤i≤m,1≤j≤n\}$$K$上で$L$生成する。
また,$α=0$とすると$x_i=0\;(∀i)$であり,$x_i=0$とすると$y_{ij}=0\;(∀j)$であるから,$α=0⇒y_{ij}=0\;(∀i,j)$
ゆえに$S$の元は線形独立でもあるから,$S$$L$$K$-線形空間としての基底となる。
したがって$[L:K]=|S|=mn=[L:M][M:K]$ □

定理$1$から直ちに次の系が従う。

$L/M/K$に対し,$[L:M],[M:K]$$[L:K]$約数である。

これらの事実を用いることで,拡大次数の候補をかなり絞ることができます。詳細は後の考察パートで述べます。


次の命題と系も重要です。

$L/K$に対し,$L=K\iff[L:K]=1$

$⇒$は明らかなので,逆を示す。
基底を$\{α\}$とし,$L$$K$を真に含むと仮定すると$α\in L-K$
一方で$α^2=αx$を満たす$x∈K$が存在するが,$α\neq 0$より$α=x\in K$ を得るから矛盾。□

命題 2

$L/K$に対し,$[L:K]$が素数ならば,その中間体は$L,K$に限る

$[L:K]$を素数とし,$M$$L/K$の任意の中間体とすると,定理$1$から$[L:M]=1$または$[M:K]=1$
命題$2$より$M=L$または$M=K$である。□

実用例

さて,これらの事実のいくつかを用いて$ℚ(\sqrt2+\sqrt3)$について考察してみる。

考察

まず,$x^4-10x^2+1$$\sqrt2+\sqrt3$を根にもつから, ガロア理論⑥ 定理$1$から$[ℚ(\sqrt2+\sqrt3):ℚ]≤4$
また,$ℚ(\sqrt2)$$ℚ(\sqrt2,\sqrt3)/ℚ$の中間体であるから,定理$1$より
$[ℚ(\sqrt2+\sqrt3):ℚ]=[ℚ(\sqrt2,\sqrt3):ℚ]^{*1}=[ℚ(\sqrt2,\sqrt3):ℚ(\sqrt2)][ℚ(\sqrt2):ℚ]=2[ℚ(\sqrt2,\sqrt3):ℚ(\sqrt2)]$
とくに,$[ℚ(\sqrt2+\sqrt3):ℚ]$偶数である。
また,$ℚ(\sqrt2+\sqrt3)$$ℚ(\sqrt2)$を真に含むから,命題$2$より$[ℚ(\sqrt2+\sqrt3):ℚ(\sqrt2)]≠1$
したがって,$[ℚ(\sqrt2+\sqrt3):ℚ]=4$

$^{*1}$$ℚ(\sqrt2+\sqrt3)=ℚ(\sqrt2,\sqrt3)$である。証明は ガロア理論② を参照せよ。


このように,中間体を考えることで拡大次数を容易に求めることができます。この例では愚直に$x^4-10x^2+1$の既約性を調べることもできてしまうので困りはしないのですが,この考え方は生成元が具体的でないときにより威力を発揮します。
次回は,「多項式が既約であるための十分条件」を与える判定法を扱います。

投稿日:2023316

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

Qualtagh
Qualtagh
88
10616
数学徒 じゅけんせいのすがた 扱う分野:位相空間論 群論 環論 体論 位相幾何

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中