伽罗瓦理论笔记暂记2

伽罗瓦理论笔记暂记1
伽罗瓦理论笔记暂记2
方程根式解笔记3
方程根式解笔记4

置换群（有限群与之同构）
扩张的理论

基本概念

伽罗瓦群：

设K是域F的有限扩张，则K的所有F-自同构的集合关于映射的乘法
构成一个群，称为K在F上的伽罗瓦群，记为Gal(K/F)

不变子域(K的G不变子域)InvG：

设G为域K的自同构群AutK的一个子群，则集合$$a,a\in K|g(a)=a,\forall g\in G$$

伽罗瓦扩张：

若域F的有限扩张K满足 Inv (Gal(K/F))= F,
则称K是F的伽罗瓦扩张.
按照伽罗瓦群和不变子域的定义，一般有
$$F\subseteq Inv(Gal(K/F)),$$
等号成立“K是域F的伽罗瓦扩张”

“K是域F的伽罗瓦扩张”，将是伽罗瓦基本定理成立的
条件.为了从不同角度去理解伽罗瓦扩张的特点.

定理:设K是域F的扩域，则下边三个条件是等价的:

①K是F的伽罗瓦扩张;
②K是F的有限可分正规扩张;
③K是可分多项式f®∈F[r|的分裂域.
且此时有|Gal(K/F)|=|K :F].
最后这个等式的左边表达的是“群中元素的个数”，右边表达的是“域的扩张次数”，在伽罗瓦扩张这一条件下，群和域的性质屠然可以统一在这样一个等式中.

把多项式的一个根放进去$$x^3-5\Rightarrow Q(\sqrt[3]{5})$$
$$Q(\sqrt[3]{5})\subseteq K(分裂域)$$

3.伽罗瓦基本定理

定理(伽罗瓦基本定理)设K 是域F的伽罗瓦扩张，记Gal (K/F)为G,
记R是G的所有 子群 的集合，
记S是域K与F间的所有 中间域 的集合，
则有
1)定义S到R的映射
Gal: E→Gal(K/E), \forall E∈S,
称之为
伽罗瓦映射，则伽罗瓦映射是可逆映射，其逆映射为R到S的映射
Inv; H→InvH, VH∈R

2. VH1,H2∈R,有
   $$H2\subset H1\iff InvH2\subset InvH1$$

3. VH1,H2∈,H2C H1,则有
   [H1: H2]=[nvH2: InvH1].

4. VHI,H2∈R,H2C H1,则有

$$H2◃H1\iff H2是H1的正规扩张$$
$$且此时Gal(InvH2/InvH1)\simeq H1/H2.同构$$
为了帮助读者理解伽罗瓦基本定理，我们做如下解释:
伽罗瓦映射(子群到不变子域的映射)及其逆映射，是本定理的核心内容.子
群集合R与中间域集合S之间建立了一一对应，

(可分扩张：一个代数扩张L/K是可分扩张，当且仅当对L中任一给定元素α，α在K上的极小多项式没有重根。)
(正规扩张：域F上的某不可约多项式，在K上存在一个根，那么在K上存在所有根)
(有限扩张是正规扩张，当扩张是某个多项式的分裂域)
可分扩展很明显不一定是正规扩张:比如Q[x]/(x³-2)是可分扩张，但不是正规扩张。
不可分扩张，只要极小多项式有重根就是不可分扩张啦。
可分扩张的充要条件是(f(x),f’(x))=1。正规扩张一定是基域的某个分裂域。

参考：https://tieba.baidu.com/p/3668618341