Galois理论

共轭域

• 将域K上所有代数元都添加到K中得到域$K^{ac}$，称为K的代数闭包(algebraic closure)。
• 域$K^{ac}$是代数封闭的 ($L$的任何扩域中元素$\alpha$在L上代数，则$\alpha \in L$；即$L$不存在更大代数扩域)。代数封闭域一定是无限域。
• 有理数域$Q$的有限扩域 (自然是代数扩域) $K$叫做代数数域 (简称数域)。
• 代数扩张$L/K$，有：$L^{ac}=K^{ac}$；数域$K$的代数闭包$K^{ac}=Q^{ac}⊊C$。
• 域扩张$L/K$，任意$\alpha \in L$的极小多项式$f(x)\in K[x]$在$K^{ac}$中的所有根 { α i ∣ f ( α i ) = 0 } \{\alpha_i|f(\alpha_i)=0\} {αi​∣f(αi​)=0}叫做$\alpha$的$K-$共轭。
• 域扩张$L/K$，映射$\sigma :L\to L^{ac}$，若$\alpha \in K,\sigma (\alpha )=\alpha$，且$\sigma (L)\cong L$，称$\sigma$为$L$的$K-$嵌入，$\sigma (L)$叫做$L$的$K-$共轭域。若$L$的$K-$共轭域均等于$L$ (请区分“同构”、“等于”、“不动”)，称$L$是$K-$自共轭域。
• $K-$嵌入的扩张定理：$M$是$K$的扩域，若$\tau :M\to M^{ac}$是$K-$嵌入，则对于$M$的每一个扩域$L$，均恰好有$[L:M]$个$K-$嵌入$\sigma :L\to M^{ac}$，使得$\sigma {|}_M=\tau$
• 域扩张$L/K$，$L$的的$K-$嵌入$\sigma :L\to L^{ac}$，将任意的$\alpha \in L$，映射到$\alpha$的某个共轭元素$\sigma (\alpha )$

可分扩张

• 可分多项式：多项式$f(x)\in K[x]$，其每个不可约因式都在$K^{ac}$上无重根。

• 不可约多项式$f(x)$无重根，当仅当$(f(x),f^{\prime }(x))=1$。

  对于特征0域，不可约多项式无重根。

  对于特征p域$K$，不可约多项式$f(x)\in K[x]$有重根，当仅当存在不可约多项式$h(x)\in K[x]$，使得$f(x)=h(x^p)$

  对于特征p域$K$，不可约多项式$f(x)\in K[x]$有重根，当仅当存在不可约多项式$h(x)\in K[x]$，$h(x)$无重根，使得$f(x)=h(x^{p^e}),e\in Z_{>0}$

  特征p域$K$上，不可约多项式$f(x)$所有根在$K^{ac}$中重数相同。

• 域$K$中所有不可约多项式都是可分的，则$K$是完全域。

  定义 K p = { α p ∣ α ∈ K } K^p=\{\alpha^p|\alpha \in K\} Kp={αp∣α∈K}，特征0域和$K=K^p$的特征p域是完全域。

  特征p的有限域满足$GF(q{)}^p=GF(q)$；非完全域一定是特征p的无限域。

• 域扩张$L/K$，$\alpha \in L$，$f(x)$是$\alpha$的$K$上极小多项式。若$f(x)$在代数闭包$K^{ac}$上可分，那么$\alpha$是$L$的一个可分元。

• 域扩张$L/K$，如果$L$中每个元素都是$K$上可分元，那么$L/K$是可分扩张。

• 域扩张$L/K$，$[L:K]=n$，若$L$存在n个$K-$嵌入，那么$L/K$是可分扩张。

• 完全域$K$的代数扩张$L/K$，$L$中元素在$K$上代数，其极小多项式是可分多项式，因此是可分扩张。

• 单扩张定理 ($Artin$本原性定理) ：有限可分扩张都是单代数扩张。

• 同构延拓定理：设 $\sigma :F\to F^{\prime }$ 是域同构，多项式 $f(x)={\sum }_i{f}_i{x}^i\in F[x]$ 的分裂域 $K$，另一个多项式 $f^{\sigma }(x):={\sum }_i\sigma (f_i)x^i\in F^{\prime }[x]$ 的分裂域 $K^{\prime }$，那么 $\sigma$ 可以延拓成域同构 $\tau :K\to K^{\prime }$，它满足 $\tau {|}_F=\sigma$，延拓的个数 $m$ 满足 $1\le m\le [K:F]$；如果 $f(x)$ 可分，则 $m=[K:F]$。

正规扩张

• 域扩张$L/K$，若$\forall \alpha \in L$，$\alpha$在$K$上的极小多项式在$L$上分裂，那么$L/K$是正规扩张。
• $L/K$是正规扩张，当仅当$L$是$K$上一个 (可分/不可分，可约/不可约) 多项式的分裂域。
• 有限扩张$K/F$，$E$是$K$的代数扩域。若$E/F$是正规扩张，且任意的$K\subseteq L\subseteq E$使得$L/K$正规都有$L=E$，称$E$是$K$的正规闭包(normal closure)。正规闭包存在且唯一。

Galois扩张

• 域$L$中所有的自同构组成了乘法群$Aut(L)$，称为$L$的自同构群。
• A u t ( Q ) = { I } ,   A u t ( F p ) = { I } Aut(Q)=\{I\},\, Aut(F_p)=\{I\} Aut(Q)={I},Aut(Fp​)={I}，素域的自同构只有恒等自同构。
• 域扩张$L/K$，$L$中所有的$K-$自同构组成了乘法群$Gal(L/K)$，称为$L/K$的Galois群，它是$Aut(L)$的子群。
• $Gal(L/Q)=Aut(L),Gal(L/F_p)=Aut(L)$，素域扩张$L/K$的Galois群就是$L$的自同构群。
• 单扩张$L=K(\alpha )/K$，扩张元$\alpha$的$K$上极小多项式$f(x)$在$K^{ac}$上有n个根，落在$L$中的不同根为 { α 1 , . . . , α m } \{\alpha_1,...,\alpha_m\} {α1​,...,αm​}，那么 G a l ( L / K ) = { σ i ∣ σ i : α ↦ α i ,   1 ≤ i ≤ m } Gal(L/K)=\{\sigma_i|\sigma_i:\alpha \mapsto \alpha_i,\, 1 \le i \le m\} Gal(L/K)={σi​∣σi​:α↦αi​,1≤i≤m}
• 任意域扩张$L/K$，都有$|Gal(L/K)|\le [L:K]$。若$|Gal(L/K)|=[L:K]$，此时$L$是$K-$自共轭域，那么称$L/K$是Galois扩张。
• Galois扩张，等价于有限可分正规扩张。于是，Galois扩张是单代数扩张。
• $L/K$是Galois扩张，当仅当$L$是$K$上一个 (可约/不可约) 可分多项式的分裂域。
• $K=Q$或$K=GF(q)$，令${\xi }_n$是n次单位根。n次分圆域$K({\xi }_n)$是$x^n-1\in K[x]$的分裂域，因此$K({\xi }_n)/K$是Galois扩张。有限域$GF(q)$是分圆域，考虑多项式$x^q-x$。

Galois理论

• Galois扩张$L/K$，每一个中间域$K\subseteq M\subseteq L$，$L/M$都是Galois扩张。记$H=Gal(L/M)\subseteq Gal(L/K)$；$\alpha \in M\iff \forall \sigma \in H,\sigma (\alpha )=\alpha$

  M的稳定子： ϕ ( M ) = { g ∈ G a l ( L / K ) ∣ g ( m ) = m , ∀ m ∈ M } = H \phi(M) = \{g \in Gal(L/K)|g(m)=m, \forall m \in M\} = H ϕ(M)={g∈Gal(L/K)∣g(m)=m,∀m∈M}=H

  H的不动点： ψ ( H ) = { α ∈ L ∣ σ ( α ) = α , ∀ σ ∈ H } = M \psi(H) = \{\alpha \in L|\sigma(\alpha)=\alpha, \forall \sigma \in H\} = M ψ(H)={α∈L∣σ(α)=α,∀σ∈H}=M

  易知，$M=\psi \varphi (M)$，$H=\varphi \psi (H)$；$\varphi ,\psi$都是双射，且互为逆映射。

• 设$H$是群$G$的子群，那么$\sigma \in G,\sigma H{\sigma }^{-1}$也是$G$的子群，且与$H$同构，称共轭子群。若$\forall \sigma ,\sigma H{\sigma }^{-1}=H$，即$H$只有一个共轭子群，那么称$H$为正规子群。

• Galois扩张$L/K$，中间域$M$对应子群$H=Gal(L/M)$。任取$\sigma \in Gal(L/K)$，$H$的共轭子群$\sigma H{\sigma }^{-1}$对应于$M$的$K-$共轭域$\sigma (M)$，两者数量相等；当仅当$H⊲Gal(L/K)$，$M$是$K-$自共轭域，从而$M/K$是Galois扩张。

• 若$M/K$是Galois扩张，那么$g:Gal(L/K)\to Gal(M/K)$是群同态，且$Kerg=Gal(L/M)$，因此$Gal(M/K)\cong Gal(L/K)/Gal(L/M)$