伽罗瓦理论（2）

伽罗瓦理论（1）
伽罗瓦理论（3）
伽罗瓦理论（4）
接着上次的内容，把多项式的分裂域和重根概念通过代数元的极小多项式推广到扩域上面。

正规扩张，可分扩张

假设大域是代数扩张，即任何元素都有极小多项式。如果大域中的每个元素的极小多项式在大域中分裂，则称大域为正规扩张。如果大域中的每个元素的极小多项式没有重根，则称大域为可分扩张。

还是看个例子。

• $\mathbb{Q}[\sqrt{2},\sqrt{3}]\supset \mathbb{Q}$为正规扩张，也是可分扩张

伽罗瓦群，伽罗瓦扩张

大域$E$上的$F$-自同构，称为伽罗瓦群，记作$Gal(E/F)$。如果是有限扩张，并且小域恰好是大域在伽罗瓦群下的不动点全体，即$F=E^{Gal(E/F)}$，则称为伽罗瓦扩张。

• $E=\mathbb{Q}[\sqrt{2},\sqrt{3}]\supset \mathbb{Q}$为伽罗瓦扩张， G a l ( E / Q ) = { i d , 2 ↦ σ − 2 , 3 ↦ τ − 3 , σ τ } ≃ Z 2 × Z 2 Gal(E/\mathbb{Q})=\{id, \sqrt{2}\xmapsto{\sigma}-\sqrt{2},\sqrt{3}\xmapsto{\tau}-\sqrt{3},\sigma\tau\}\simeq \mathbb{Z}_2\times\mathbb{Z}_2 Gal(E/Q)={id,2 ​σ ​−2 ​,3 ​τ ​−3 ​,στ}≃Z2​×Z2​。并且，$\mathbb{Q}=E^{Gal(E/\mathbb{Q})}$。

到现在，算是把基本的概念全部说完了。但是概念之间的关系还没有讲清楚。分裂域，正规扩张和可分扩张，伽罗瓦扩张，分别是从三个不同的角度刻画扩域，一个是多项式的根，一个是元素性质，一个是对称性。它们之间有怎样的联系呢？我们先从两个数值不变量入手。
（这里，我想可以和黎曼曲面的理论联系起来。代数曲面，Galois覆叠，关于Deck群的商空间。）

群的阶和扩张次数的关系

分裂域的伽罗瓦群一定是有限群，并且群的阶不超过扩张次数，这在前面分裂域的部分已经讲过。反过来，扩域在有限子群的不变子域上的扩张次数一定不超过群的阶。

定理(有限群的不变子域) 如果有限群$G\subset Aut(E)$，则
$$[E:E^G]\le |G|$$

证明 设 G = { σ 1 = i d , σ 2 , ⋯   , σ n } G=\{\sigma_1=id, \sigma_2,\cdots,\sigma_n \} G={σ1​=id,σ2​,⋯,σn​}. $E$中$m>n$个元素$x_1,\cdots ,x_m$，考虑方程组
${\sigma }_1(x_1)c_1+\cdots +{\sigma }_1(x_m)c_m=0$
${\sigma }_2(x_1)c_1+\cdots +{\sigma }_2(x_m)c_m=0$
$\cdots$
${\sigma }_n(x_1)c_1+\cdots +{\sigma }_n(x_m)c_m=0$

未知数的个数大于方程的个数，所以在$E$上必有非零解，调换$c_i$的位置可以设$c_1\ne 0$，两边再同时乘以$c_1^{-1}$的话可以设$c_1=1\in E^G$. 这种正规化操作是不改变解中非零元的个数的，假设$c_1=1,c_2,\cdots ,c_n$为所有非零解中包含最少非零元的一个解。下面证明此时必有$c_i\in E^G,$对于所有的$i$.

假设存在$c_j\notin E^G$,于是存在$k,{\sigma }_k(c_j)\ne c_j.$对上面的方程组两边使用${\sigma }_k$作用，得到一个新的解${\sigma }_k(c_i),i=1,2,\cdots ,m.$两个解做差得到又一个解

$$(0,\cdots ,c_j-{\sigma }_k(c_j),\cdots )$$

因为原来的零经过变换做差后还是零，所以这个解含有更少的非零元，与假设矛盾，得证。

伽罗瓦扩张的等价刻画

伽罗瓦扩张，用抽象而全局的对称性来刻画一类有限扩域，往往难以进行具体验证和进一步的逻辑演绎。所以需要其他更为具体和更为局部的刻画。前者我们借助分类域，后者我们借助正规扩张和可分扩张。

定理（伽罗瓦扩张） 对于域扩张$E/F$，以下命题等价：

1. $E$是$F$上某个可分多项式的分裂域
2. 此扩张是伽罗瓦扩张
3. 存在某个有限群$G\subset Aut(E)$使得$F=E^G$
4. 此扩张是有限的，正规的，可分的

这个定理的理解很重要。如何从1到2？分裂域自然是有限扩张。设$G=Gal(E/F)$，下面证明$E^G=F.$在分裂域的定义部分证明了$|G|=[E:F]$.因为$F\subset E^G$，所以$Gal(E/E^G)\subset Gal(E/F)=G$，又显然有$G\subset Gal(E/E^G)$，因此$G=Gal(E/E^G).$注意到$E$也是$E^G$上某个可分多项式的分裂域，$|Gal(E/E^G)|=[E:E^G]$，从而$E^G=F.$

接下来，从2到3. 令$G=Gal(E/F)$，下面说明这个群是有限群。因为是有限扩张，可以设$E\subset E^{\prime }$，其中$E^{\prime }$为$F$上某个多项式的分裂域。于是$Gal(E^{\prime }/F)$是有限群。但是，$E^{\prime }$也是$E$上某个多项式的分裂域，于是任何$E$的自同构一定可以扩充为$E^{\prime }$的自同构，从而$G\subset Gal(E^{\prime }/F)$，因而也是有限群。

再看从3到4. 根据上面的引理，有$[E:F]\le |G|$，于是扩张是有限的。对于$a\in E-F$，极小多项式为$f(x)\in F[x]$. 设 G = { σ 1 = i d , ⋯   , σ n } G=\{\sigma_1=id,\cdots, \sigma_n\} G={σ1​=id,⋯,σn​}，令$g(x)={\prod }_{i=1}^n(x-{\sigma }_i(a))$.因为$g(x)$的系数在$G$下不变，所以是$F[x]$上的多项式，于是$f(x)|g(x)$，从而$f(x)$的其他根也都在$E$中，从而$E$是正规扩张。设$a$在$G$作用下的轨道为 { a 1 = a , ⋯   , a m = a } \{a_1=a, \cdots, a_m=a\} {a1​=a,⋯,am​=a},设$h(x)={\prod }_{j=1}^m(x-a_j)$,使用${\sigma }_i$作用到多项式$h(x)$上，因为$Ga={\sigma }_{i}Ga$，所以$h(x)\in F[x]$，从而$f(x)|h(x)$，立即有$f(x)$为可分多项式，因此$E$是可分扩张。

最后看从4到1.这一步就很容易了。因为$E$为有限扩张，可以设$E=F[{\alpha }_1,\cdots ,{\alpha }_n]$，${\alpha }_i$的极小多项式为$f_i(x)\in F[x].$ 如果$f_i,f_j$有共同根，因为不可约，则必有$f_i=f_j.$设$f$为$f_i$中所有互异多项式的乘积，由于$E$正规可分，$E$是可分多项式$f$的分裂域。