6

有限体のガロア理論

1942
0
$$\newcommand{C}[0]{\mathbb{C}} \newcommand{div}[0]{\mathrm{div}} \newcommand{division}[0]{÷} \newcommand{dps}[0]{\displaystyle} \newcommand{grad}[0]{\mathrm{grad}\ } \newcommand{N}[0]{\mathbb{N}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rot}[0]{\mathrm{rot}\ } \newcommand{Z}[0]{\mathbb{Z}} $$

今回は次の定理を示してみます.(これは前回の記事に用いた定理の一部の解説でもあります)

$L/K$を有限体の有限次拡大とするとこれは巡回拡大になり,ガロア群はフロベニウス写像$a\mapsto a^{\#K}$によって生成される.

有名だけど以外と証明見つからない気がしたので.まずは体の乗法群について見てみます.

$K$を体とする.$K^*$の有限部分群$G$は巡回群である.

まず$K$は体なので$G$はアーベル群である.$x\in G$$G$における位数が最大となる元とし,その位数を$m$とする.もし, ある$y\in G$の位数$n$$m$を割り切らないとする. このとき, $y$$y^m$に取り替えて$(m,n)=1$とできる. このとき$xy$の位数が$x$の位数より大きくなる.なぜなら,$(xy)^k=1,1\leq k< m$なる$k$が存在すると仮定すると,両辺$n$乗して$y^{nk}=1$.従って$m|nk$しかし$(m,n)=1$だったので$m|k$となり,$1\leq k< m$に矛盾する.
よって全ての$y\in G$$y^m=1$を満たす.よって因数定理より$m\geq \#G$.よって$G\supset H=\{x^k|k\in \mathbb Z\}$とすると,$\#H=m\geq \#G$が成り立つので,$G=H$.よって$G$$x$によって生成される巡回群である.

$K$を有限体とすると,$K^*$は位数$\#K-1$の巡回群である.
従って$x\in K$とすると,$x^{\#K}=x$.

有限体$K$の標数を$p$とするとき$p$乗写像$x\to x^p$は全単射である.

(単射性)$x^p=y^p$とすると両辺を$\dfrac{\# K}p(\in \mathbb N)$乗すると$x=y$となることから従う.
(全射性)任意の$x\in K$に対し$(x^{\# K/p})^p=x$$x^{\# K/p}\in K$であることから従う.

以下$L/K$は有限体の拡大とする.

$L/K$は分離拡大である.特に$K$は完全体である.

$p$$K$の標数とする. $a\in L$$K$上の最小多項式を$f(x)$とする.$f'(a)=0$と仮定して,矛盾を示す. このとき$f'(x)$$K$上の$a$を根に持つ$f$より次数の小さい多項式なので$0$である. よって$f(x)$$x^{kp}$上の項にのみ係数を持つ. 特に$f(x)=a_nx^{np}+a_{n-1}x^{(n-1)p}+...+a_0$と書ける. ここで定理$2$の系より$b_i^p=a_i$なる$b_i\in K$が存在する. $g(x)=b_nx^n+b_{n-1}x^{n-1}+...+b_0$とおくと, 定理$2$の系より,
\begin{align} g(x)^p=&b_n^px^{np}+b_{n-1}^px^{(n-1)p}+...+b_0^p\\=&a_nx^{np}+a_{n-1}x^{(n-1)p}+...+a_0=f(x) \end{align}となる. これは最小多項式の次数の最小性に矛盾する. よって示された.

有限体のガロア理論

$L/K$はガロア拡大であり,ガロア群はフロベニウス写像$f:a\mapsto a^{\#K}$で生成される巡回群である.

まず定理$3$より$L/K$は分離拡大.$f:L\to L$が体自己準同型であることは二項定理とコンビネーションの性質,$\#K=(\mathrm{ch}K)^n$となる$n$が存在することから従う.また,定理$2$の系より$a\in K$なら$f(a)=a$.よって$f\in G=\mathrm{Aut}(L/K)$.($f$が全射である事は非自明だが,すぐ後の議論から従う.)
$f$$G$における位数$m$を求める.まず$f^{[L:K]}(a)=a^{\#K^{[L:K]}}=a^{\#L}=a$(定理$2$の系より)なので$m|[L:K]$.逆に$m<[L:K]$とすると,全ての$a\in L$に対して$a^{n}=a$となる$n$が存在することとなり,定理$2$の系に矛盾する.
$L/K$は有限次分離拡大なので$L=K(\alpha)$となる$\alpha\in L$が存在する.その最小多項式を$g(x)$とする.この次数は$[L:K]$である.$g(f^n(\alpha))=f^n(g(\alpha))=0$より,$g$$f^n(\alpha)$を根に持つ.もし,$1\leq n<[L:K]$$f^n(\alpha)=\alpha$となる$n$が存在したとすると,$f^n$は準同型なので任意の$a\in L$に対して$f^n(a)=a$が成り立つこととなり,$f$の位数が$[L:K]$である事に矛盾する.よって$\alpha,f(\alpha),...,f^{[L:K]-1}(\alpha)\in L$は全て異なる$g$の根である.従って因数定理より,次数を比べると,$g$の根はそれが全てである事が分かる.これは$L/K$が正規拡大である事を意味する.
以上より$L/K$はガロア拡大であり,#$\mathrm{Gal}(K/L)=[L:K]$$f$の位数と等しいので,ガロア群は$f$によって生成される巡回群となる.

投稿日:202155

この記事を高評価した人

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

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

バッジはありません。

投稿者

整数が好きです

コメント

他の人のコメント

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