伽罗瓦群（）是抽象代数中域论的概念，表示与某个类型的域扩张相伴的群，是伽罗瓦理论的基础概念。域扩张源于多项式。通过伽罗瓦群研究域扩张以及多项式的理论，称为伽罗瓦理论，是十九世纪法国数学家埃瓦里斯特·伽罗瓦为了解决“高次多项式方程是否有根式解”的问题而创造的。后世也以他的名字命名相关的概念。
用置换群更初等地讨论伽罗瓦群，参见伽罗瓦理论一文。
定义
设有域扩张。考虑所有上的自同构集合。此处的自同构指的是映射到的域同构，且其限制在上的部分是平凡的（即为恒等映射）。用数学语言描述，一个自同构是指满足以下条件的同态：
#是从映射到上的双射。
#是域同态，即：\forall a, b, \in L, \; \sigma(a+b) = \sigma(a) + \sigma(b), \; \sigma(ab) = \sigma(a)\sigma(b).
#将所有中元素映射到其自身：\forall x \in K, \; \sigma(x) = x.
可以证明，对任意的域扩张，所有上的自同构关于映射的复合运算构成群，称为域扩张的自同构群，记作。
如果是一个伽罗瓦扩张，则称为扩张上的伽罗瓦群，通常记做 （有些文献中记作）。
在某些介绍伽罗瓦理论的专著中，也会将任何域扩张上的自同构群都称为伽罗瓦群，并记作。
例子
设是一个域，\mathbb Q, \mathbb R, \mathbb C分别为有理数、实数与复数域。表示在中添加元素生成的域扩张。
- 是平凡扩张，也是可分正规扩张，即伽罗瓦扩张。其伽罗瓦群是只包含一个元素（即恒等映射）的平凡群。
- \mathbb C / \mathbb R是次数为2的伽罗瓦扩张。其伽罗瓦群\mathrm{Gal}(\mathbb C / \mathbb R)有两个元素，恒等映射与复共轭自同构。
- \mathbb R / \mathbb Q不是伽罗瓦扩张。其自同构群\mathrm{Gal}(\mathbb R / \mathbb Q)是只包含恒等映射的平凡群。事实上可以证明，任何在\mathbb Q上为恒等映射的\mathbb R到\mathbb R的自同构，都保持实数的序结构。也就是说，只要某个自同构将每个有理数都映射到自身，那么对任何，都有。这说明此自同构在整个实数集上都是恒等映射。
- \mathbb C / \mathbb Q是无限伽罗瓦扩张。其伽罗瓦群是无限群。
- \mathbb Q (\sqrt{2}) / \mathbb Q是次数为2的伽罗瓦扩张。其伽罗瓦群\mathrm{Gal}(\mathbb Q (\sqrt{2}) / \mathbb Q)有两个元素，恒等映射与将与互换的自同构。
- 考虑域K = \mathbb Q (\sqrt[3]{2})。K / \mathbb Q不是正规扩张，故不是伽罗瓦扩张。其自同构群\mathrm{Aut}(K / \mathbb Q)只包含恒等映射。
- 现在考虑L = \mathbb Q (\sqrt[3]{2}, \omega)，这里是本原三次单位根。是有理数域上不可约的多项式的分裂域，因此是伽罗瓦扩张。其伽罗瓦群\mathrm{Gal}(K / \mathbb Q)同构于3次置换群3。这个群是可解群，意味着多项式方程能用根式求解。
基本性质
设有域扩张，则其自同构群满足：
*设是一个以中元素为系数的多项式。∈是它的一个根，则自同构群中任一个元素仍将映射到的根上。
*如果是有限生成的域扩张，即存在\alpha_1, \alpha_2, \cdots , \alpha_m \in L，使得，那么自同构群中任一个元素被这些元素唯一决定。也就是说，如果知道了的取值，就能知道作用在中任何元素上的结果。
*有限扩张的自同构群是有限群，其元素个数整除扩张次数，因此小于等于。两者相等当且仅当是伽罗瓦扩张。
设域扩张为伽罗瓦扩张。以下的性质均可以在没有伽罗瓦理论基本定理的情况下证明。
- |\mathrm{Gal}(L/K)|=[L:K]
- 令 G=\mathrm{Gal}(L/K)，则的不变域，即 L^G=\{x\in L|\forall\sigma\in G,\sigma(x)=x\}，是。反之，如果有限扩张的自同构群的不变域是，那么它是伽罗瓦扩张。
- 设是一个域并且复合域存在。那么\mathrm{Gal}(LF/F)\hookrightarrow \mathrm{Gal}(L/K)，即和的一个子群同构。（由正规扩张和可分扩张的性质，是一个伽罗瓦扩张，因此可以讨论）
伽罗瓦扩张的重要性在于，有限的伽罗瓦扩张满足伽罗瓦理论基本定理：伽罗瓦群的子群与域扩张的中间域之间存在着反向包含的一一对应关系。
如果是伽罗瓦扩张，则伽罗瓦群上可以装备一个拓扑，称为，使其成为一个。在此拓扑下，即便是无限扩张，其伽罗瓦群的闭子群与域扩张的中间域存在着反向包含的一一对应关系，有类似伽罗瓦理论基本定理的结论。
参见
*伽罗瓦理论
*伽罗瓦理论基本定理
*群表示
参考来源
外部链接
*[http://www.mathpages.com/home/kmath290/kmath290.htm Galois Groups] at MathPages
评论 (0)