ガロア理論⑤　最小多項式と単拡大について

はじめに

前回，代数的数を定義しました。定義から明らかに，$α∈L/K$が代数的数ならば$α$を根にもつ$K$上の多項式$p(x)$が存在するはずです。
そのような$p(x)$は無数にあるのですが，実はある条件を加えると一意に定まります。

目次

1.最小多項式
2.代数的数による単拡大

最小多項式

$α$が$K$上代数的数ならば，最小多項式は確かに存在する。実際，$α$は$K$上代数的であるから，$α$を根にもつ$0$でない$K$上の多項式$p(x)$が存在し，しかも$ℕ$の整列性から次数最小のものがとれる。必要であれば，$p(x)$の最高次係数を$c(≠0)$として$\displaystyle q(x)=\frac{1}{c}p(x)$とすると，$q(x)$は$K$上のモニック多項式になる。

以上で，代数的数の最小多項式はただ一つ存在し，しかも既約であることがわかりました。これは_非常に嬉しい性質_です。

さて，読者の皆様は， ガロア理論② の最後で「$ℚ(\sqrt2)=ℚ[\sqrt2]$は偶然か？」という問いが残されたままなのを覚えていますでしょうか。その問いに答える準備がこれで整いました。

代数的数による単拡大

$^{*1}$ $∀f∈K[x]$は$q,r∈K[x]$を用いて$f=pq+r\;(\deg r<\deg p)$とかける。$f∈\ker{φ}$ならば$r(α)=0$となり，$\deg p$の最小性から$r=0$
したがって$\ker{f}⊆(p(x))$
逆の包含関係は明らか。

$^{*2}$ ガロア理論③ の系から従う。

系：$K$を体とし，$f$を$K$上既約多項式とすると，$K[x]/(f)$は体である

これで，$ℚ(\sqrt2)=ℚ[\sqrt2]$が成り立つのは偶然ではなく，$\sqrt2$が$ℚ$上代数的であることによって一致するのだということがわかりました。

ところで，たとえば

• $\sqrt2$の$ℚ$上の最小多項式は$x^2-2$で$2$次
• $\sqrt[3]{2}$の$ℚ$上の最小多項式は$x^3-2$で$3$次
• $\sqrt2+\sqrt3$の$ℚ$上の最小多項式は$x^4-10x^2+1$で$4$次
  でした。何か気づきましたか？ヒントは， ガロア理論② です。