ガロア理論/単拡大

定義(単拡大)

体の拡大 $K/F$ が単拡大(単純拡大)であるとは、$K=F(\alpha )$ となる $\alpha$ が存在することを言う。

定理 1 (原始元定理)

体の有限次拡大 $K/F$ に対して以下は同値。

(i) 中間体が有限個である
(ii) 単拡大である

証明

(i) ⇒ (ii):
$F$ が有限体の場合は ガロア理論/有限体 を参照のこと。
$K=F(\alpha ,\beta )$, $F$ が無限体、のときを示せば十分。$\theta (a)=\alpha +\beta a$ とおいて、$K=F(\theta (x))$ となる $x\in F$ を探す。$\{\theta (a):a\in F-\{0\}\}$ は無限集合であるが、$\{F(\theta (a)):a\in F-\{0\}\}$ は仮定より有限集合。したがって $F(\theta (a))=F(\theta (b))$ となる相異なる $a,b\in F-\{0\}$ が取れる。
${\frac {\theta (a)-\theta (b)}{a-b}}=\beta ,{\frac {\theta (a)b-\theta (b)a}{b-a}}=\alpha$ であるので、$F(\theta (a))=F(\theta (a),\theta (b))\subseteq F(\alpha ,\beta )=K$ となり $K=F(\theta (a)).$

(ii) ⇒ (i):
$K=F(\alpha )$ として、$f(X)\in F[X]$ を $\alpha$ の $F$ 上の最小多項式とする。$K/F$ の中間体 $M$ について、$g(X)\in M[X]$ を $\alpha$ の $M$ 上の最小多項式とする。$g(X)$ の係数 $a_{1},\cdots ,a_{d}$ について、$M=F(a_{1},\cdots ,a_{n})$ となることを示そう。
$M'=F(a_{1},\cdots ,a_{n})$ として、$h(X)$ を $\alpha$ の $M'$ 上の最小多項式とする。明らかに $g(X)\in M'[X]$ なので、$g(X)$ は $h(X)$ で割り切れる。また、$h(X)\in M'[X]\subseteq M[X]$ より、$h(X)$ は $g(X)$ で割り切れる。つまり、$g(X)=h(X)$ であり、$[K:M]=[K:M']$ なので $M=M'.$
したがって、$K/F$ の中間体は $g(X)$ で決まることがわかったのだが、$g(X)$ は $K[X]$ 内で $f(X)$ を割り切るので、中間体が有限個であることが示された。

命題 2

有限次分離拡大は単拡大である。

証明

$K=F(\alpha _{1},\cdots ,\alpha _{n})$ を $F$ の有限次分離拡大とする。