目录
写在开头域的扩张，极小多项式多项式的分裂域，重根写在开头
写这个篇章，主要目的有两个：一个是重新理解这一精妙的理论；另一个是给想了解这一理论的爱好者一个友好的入口。参考文献为J.S.Milne的讲义。
这个篇章的内容，以伽罗瓦的可解性定理为核心，以讲清楚五次以上一般多项式方程不是根式可解的为目标，力求逻辑清晰，通俗易懂，简明扼要（持续改进）。包含以下：
域的扩张，极小多项式多项式的分裂域，重根正规扩张，可分扩张伽罗瓦群，伽罗瓦扩张群的阶和扩张次数的关系伽罗瓦扩张的等价刻画伽罗瓦基本定理可解性定理一般五次以上方程不是根式可解的伽罗瓦群的计算和方程的可解性
伽罗瓦理论（2）
伽罗瓦理论（3）
伽罗瓦理论（4）
预备知识：此篇假定读者了解群环域的基本概念以及相关的符号约定和基本性质。不了解的可以翻翻参考文献。
首先讲一些基本概念。
域的扩张，极小多项式
两个域，一个包含另一个，则称大的域为小的域的扩域，或者扩张。对于大域中的元素，一个刻画就是极小多项式，即小域上的全体首项系数为1并以此元素为零点的非零多项式中次数最小的那个多项式。如果这样的多项式不存在，则称此元素为小域上的超越元，否则为代数元。
定理（单扩张）设E⊃FE\supset FE⊃F为扩域，f(x)∈F[x]f(x)\in F[x]f(x)∈F[x]为a∈Ea\in Ea∈E的极小多项式，则f(x)f(x)f(x)为不可约多项式，并且有域同构
F[a]≃F[x]/(f(x))F[a]\simeq F[x]/(f(x))F[a]≃F[x]/(f(x))
为了理解以上，我们举例子说明。
C⊃Q\mathbb{C}\supset\mathbb{Q}C⊃Q 为扩域2∈C\sqrt{2}\in\mathbb{C}2∈C 在Q[x]\mathbb{Q}[x]Q[x]上的极小多项式为x2−2x^2-2x2−2Q[2]≃Q[x]/(x2−2)\mathbb{Q}[\sqrt{2}]\simeq \mathbb{Q}[x]/(x^2-2)Q[2]≃Q[x]/(x2−2)
证明作环的满同态σ:F[x]→F[a],x↦a\sigma:F[x]\rightarrow F[a],x\mapsto aσ:F[x]→F[a],x↦a. 若g(x)∈Kerσg(x)\in Ker\ \sigmag(x)∈Kerσ，带余除法g(x)=f(x)q(x)+r(x)g(x)=f(x)q(x)+r(x)g(x)=f(x)q(x)+r(x)，有r(x)=0r(x)=0r(x)=0或者degr(x)<degf(x)deg\ r(x)<deg\ f(x)degr(x)<degf(x).由于f(x)f(x)f(x)次数极小，所以r(x)=0r(x)=0r(x)=0，从而g(x)∈(f(x))g(x)\in (f(x))g(x)∈(f(x))。于是得到同构。
多项式的分裂域，重根
如果多项式在大域上面可以分解为常数和一些一次多项式x−αix-\alpha_ix−αi的乘积，则称多项式在大域上分裂，并称由小域和这些一次多项式给出的大域中的元素αi\alpha_iαi生成的扩域为此多项式的一个分裂域。
一个问题是，对于非常数多项式，分裂域存在吗？首先把多项式分解为不可约多项式的乘积，然后对于不可约多项式，可以构造商域作为扩域包含它的一个根，在这个扩域上再分解，再构造商域作为扩域，这样用归纳法就可以证明分裂域是存在的。
具体而言，f(x)∈F[x]−Ff(x)\in F[x]-Ff(x)∈F[x]−F，对次数进行归纳。一次多项式，分裂域就是FFF。如果大于一次，取一个不可约因子g(x)g(x)g(x)。F1=F[x]/(g(x))F_1=F[x]/(g(x))F1=F[x]/(g(x))是包含FFF的域，并且xˉ=x+(g(x))∈F1\bar{x}=x+(g(x))\in F_1xˉ=x+(g(x))∈F1是f(x)f(x)f(x)的一个根。在F1[x]F_1[x]F1[x]上，有分解f(x)=(x−xˉ)f1(x)f(x)=(x-\bar{x})f_1(x)f(x)=(x−xˉ)f1(x)，f1(x)f_1(x)f1(x)的次数更小。根据归纳假设，f1(x)f_1(x)f1(x)有分裂域E⊃F1E\supset F_1E⊃F1。于是，EEE是f(x)f(x)f(x)的分裂域。
另一个问题更加微妙些，分裂域好像并不是唯一的，那么在什么意义下是唯一的呢？应该是同构的，而且这个同构还可以保证小域中的元素不动。直觉上，这个同构只需要把多项式的根进行置换就行了。
进一步，这样的同构有多少个？感觉应该跟根的合法置换个数相关。如果多项式在分裂域中分裂出来的一次多项式有重复出现的，则称对应的根为重根，对应的重复次数为根的重数。在不同的分裂域中，多项式的重根个数和重数是不变的吗？
定理（分裂域）f(x)∈F[x]−Ff(x)\in F[x]-Ff(x)∈F[x]−F的分裂域存在，并且任何两个分裂域间有FFF-同构。这样的FFF-同构个数不超过分裂域的扩张次数。如果多项式没有重根，则两者相等。
照旧举例子。
a=2+3∈C⊃Qa=\sqrt{2}+\sqrt{3}\in \mathbb{C}\supset\mathbb{Q}a=2+3∈C⊃Q的极小多项式为
f(x)=(x−(2+3))(x−(−2+3))(x−2−3)(x−(−2−3))∈Qf(x)=(x-(\sqrt{2}+\sqrt{3}))(x-(-\sqrt{2}+\sqrt{3}))(x-\sqrt{2}-\sqrt{3})(x-(-\sqrt{2}-\sqrt{3}))\in \mathbb{Q}f(x)=(x−(2+3))(x−(−2+3))(x−2−3)(x−(−2−3))∈Q
此多项式的分裂域为E=Q[2,3]E=\mathbb{Q}[\sqrt{2},\sqrt{3}]E=Q[2,3]，分裂域的扩张次数为[E:Q]=4[E:\mathbb{Q}]=4[E:Q]=4EEE的Q\mathbb{Q}Q-同构的个数为4，对应为2↦−2\sqrt{2}\mapsto -\sqrt{2}2↦−2和3↦−3\sqrt{3}\mapsto -\sqrt{3}3↦−3的组合。
证明对多项式的次数使用归纳法证明下述命题：
F1→∼F2:f1(x)↦f2(x)(F1[x]≃F2[x])F_1\xrightarrow{\sim}F_2:f_1(x)\mapsto f_2(x)(F_1[x]\simeq F_2[x])F1∼F2:f1(x)↦f2(x)(F1[x]≃F2[x])，EiE_iEi为fi(x)∈Fi[x]f_i(x)\in F_i[x]fi(x)∈Fi[x]的分裂域，则前面的同构可以扩充为同构E1→∼E2E_1\xrightarrow{\sim}E_2E1∼E2.
如果次数为1，则分裂域就是本身。如果次数大于1，设αi∈Ei\alpha_i\in E_iαi∈Ei为fi(x)f_i(x)fi(x)的一个根并且αi\alpha_iαi的极小多项式gi(x)g_i(x)gi(x)在同构下对应。于是根据归纳假设，同构Fi′=Fi[x]/(gi(x))≃Fi[αi]⊂Ei:x↦αiF_i^{\prime}=F_i[x]/(g_i(x))\simeq F_i[\alpha_i]\subset E_i:x\mapsto \alpha_iFi′=Fi[x]/(gi(x))≃Fi[αi]⊂Ei:x↦αi扩充为同构Ei′≃EiE_i^{\prime}\simeq E_iEi′≃Ei，同构F1′≃F2′F_1^{\prime}\simeq F_2^{\prime}F1′≃F2′扩充为同构E1′≃E2′E_1^{\prime}\simeq E_2^{\prime}E1′≃E2′.将这三个同构复合起来，就得到了同构E1≃E2E_1\simeq E_2E1≃E2.
FFF-同构数目的估计，也是使用归纳法证明：
F1→∼F2:f1(x)↦f2(x)(F1[x]≃F2[x])F_1\xrightarrow{\sim}F_2:f_1(x)\mapsto f_2(x)(F_1[x]\simeq F_2[x])F1∼F2:f1(x)↦f2(x)(F1[x]≃F2[x])，EiE_iEi为fi(x)∈Fi[x]f_i(x)\in F_i[x]fi(x)∈Fi[x]的分裂域，则前面的同构扩充为同构E1→∼E2E_1\xrightarrow{\sim}E_2E1∼E2的方式不超过[Ei:Fi][E_i:F_i][Ei:Fi]，并且当多项式没有重根时取等号.
如果次数为1，则都是1. 如果次数大于1. 设σ:E1≃E2\sigma:E_1\simeq E_2σ:E1≃E2为一个扩充的同构,f1(x)=a∏i=1m(x−αi),E1=F1[α1,⋯,αm]f_1(x)=a\prod_{i=1}^{m}(x-\alpha_i),E_1=F_1[\alpha_1,\cdots, \alpha_m]f1(x)=a∏i=1m(x−αi),E1=F1[α1,⋯,αm]. 设α1∉F1\alpha_1\not\in F_1α1∈F1，极小多项式为g1(x)g_1(x)g1(x)，则σ(g1)(σ(α1))=σ(g1(α1))=0\sigma(g_1)(\sigma(\alpha_1))=\sigma(g_1(\alpha_1))=0σ(g1)(σ(α1))=σ(g1(α1))=0，于是σ(α1)\sigma(\alpha_1)σ(α1)的可能性数目为σ(g1)\sigma(g_1)σ(g1)的不同根的数目，这个数不超过degσ(g1)=[F2[x]/(σ(g1)):F2]=[F1[x]/(g1(x)):F1]=[F1[α1]:F1]deg\ \sigma(g_1)=[F_2[x]/(\sigma(g_1)):F_2]=[F_1[x]/(g_1(x)):F_1]=[F_1[\alpha_1]:F_1]degσ(g1)=[F2[x]/(σ(g1)):F2]=[F1[x]/(g1(x)):F1]=[F1[α1]:F1]，并且当f1(x)f_1(x)f1(x)没有重根时相等。固定一种选择σ(α1)\sigma(\alpha_1)σ(α1)，考虑多项式f1(x)/(x−α1)∈F1[α1][x]f_1(x)/(x-\alpha_1)\in F_1[\alpha_1][x]f1(x)/(x−α1)∈F1[α1][x]，由同构F1[α1]≃F2[σ(α1)]F_1[\alpha_1]\simeq F_2[\sigma(\alpha_1)]F1[α1]≃F2[σ(α1)]扩张为E1≃E2E_1\simeq E_2E1≃E2的方式不超过[E1:F1[α1]][E_1:F_1[\alpha_1]][E1:F1[α1]]，并且在f1(x)/(x−α1)f_1(x)/(x-\alpha_1)f1(x)/(x−α1)无重根时相等，从而σ\sigmaσ的选择方式不超过[E1:F1][E_1:F_1][E1:F1]，并且在f1(x)f_1(x)f1(x)无重根时相等。
