查看“︁伽罗瓦群”︁的源代码

{{NoteTA|G1=math}}
'''伽罗瓦群'''（{{lang-fr|Groupe de Galois}}）是[[抽象代数]]中[[域论]]的概念，表示与某个类型的[[域扩张]]相伴的[[群]]，是[[伽罗瓦理论]]的基础概念。域扩张源于[[多项式]]。通过伽罗瓦群研究域扩张以及[[多项式]]的理论，称为[[伽罗瓦理论]]，是十九世纪[[法国]]数学家[[埃瓦里斯特·伽罗瓦]]为了解决“高次多项式方程是否有根式解”的问题而创造的。后世也以他的名字命名相关的概念。

用[[置换群]]更初等地讨论伽罗瓦群，参见[[伽罗瓦理论]]一文。

==定义==
设有[[域扩张]]{{mvar|L/K}}。考虑所有{{mvar|L}}上的{{mvar|K-}}[[自同构]]集合。此处的{{mvar|K-}}[[自同构]]指的是{{mvar|L}}映射到{{mvar|L}}的域同构，且其限制在{{mvar|K}}上的部分是平凡的（即为[[恒等映射]]）。用数学语言描述，一个{{mvar|K-}}[[自同构]]是指满足以下条件的[[同态]]{{mvar|σ}}{{r|gtm167|cox|page1=15-16|page2=125}}：
#{{mvar|σ}}是从{{mvar|L}}映射到{{mvar|L}}上的[[双射]]。
#{{mvar|σ}}是[[域同态]]，即：<math>\forall a, b, \in L, \; \sigma(a+b) = \sigma(a) + \sigma(b), \; \sigma(ab) = \sigma(a)\sigma(b).</math>
#{{mvar|σ}}将所有{{mvar|K}}中元素映射到其自身：<math>\forall x \in K, \; \sigma(x) = x.</math>

可以证明，对任意的域扩张{{mvar|L/K}}，所有{{mvar|L}}上的{{mvar|K-}}[[自同构]]关于映射的复合运算构成[[群]]，称为域扩张{{mvar|L/K}}的自同构群，记作{{math|Aut(''L/K'')}}{{r|gtm167|page=16}}。

如果{{mvar|L/K}}是一个[[伽罗瓦扩张]]，则{{math|Aut(''L/K'')}}称为扩张{{mvar|L/K}}上的'''伽罗瓦群'''，通常记做 {{math|Gal(''L/K'')}}（有些文献中记作{{math|Gal(''L'' : ''K'')}}）{{r|gtm167|page=16}}。

在某些介绍伽罗瓦理论的专著中，也会将任何域扩张上的自同构群都称为伽罗瓦群，并记作{{math|Gal(''L/K'')}}{{mvar|σ}}{{r|cox|page1=125}}。

==例子==
设{{mvar|F}}是一个域，<math>\mathbb Q, \mathbb R, \mathbb C</math>分别为[[有理数]]、[[实数]]与[[复数 (数学)|复数]]域。{{math|''F''(''a'')}}表示在{{mvar|F}}中添加元素{{mvar|a}}[[生成集|生成]]的域扩张。


* {{mvar|F/F}}是平凡扩张，也是[[可分扩张|可分]][[正规扩张]]，即伽罗瓦扩张。其伽罗瓦群{{math|Gal(''F''/''F'')}}是只包含一个元素（即恒等映射）的平凡群。
* <math>\mathbb C / \mathbb R</math>是次数为2的伽罗瓦扩张。其伽罗瓦群<math>\mathrm{Gal}(\mathbb C / \mathbb R)</math>有两个元素，恒等映射与[[复共轭]]自同构{{r|cox|page=127}}。
* <math>\mathbb R / \mathbb Q</math>不是伽罗瓦扩张。其自同构群<math>\mathrm{Gal}(\mathbb R / \mathbb Q)</math>是只包含恒等映射的平凡群。事实上可以证明，任何在<math>\mathbb Q</math>上为恒等映射的<math>\mathbb R</math>到<math>\mathbb R</math>的自同构，都保持实数的[[序理论|序结构]]。也就是说，只要某个自同构{{mvar|σ}}将每个有理数都映射到自身，那么对任何{{math|''a'' < ''b''}}，都有{{math|''σ''(''a'') < ''σ''(''b'')}}。这说明此自同构在整个实数集上都是恒等映射。

* <math>\mathbb C / \mathbb Q</math>是无限伽罗瓦扩张。其伽罗瓦群是无限群。
* <math>\mathbb Q (\sqrt{2}) / \mathbb Q</math>是次数为2的伽罗瓦扩张。其伽罗瓦群<math>\mathrm{Gal}(\mathbb Q (\sqrt{2}) / \mathbb Q)</math>有两个元素，恒等映射与将{{math|{{radic|2}}}}与{{math|-{{radic|2}}}}互换的自同构{{r|cox|page=127}}。
* 考虑域<math>K = \mathbb Q (\sqrt[3]{2})</math>。<math>K / \mathbb Q</math>不是[[正规扩张]]，故不是伽罗瓦扩张。其自同构群<math>\mathrm{Aut}(K / \mathbb Q)</math>只包含恒等映射{{r|cox|page=127}}。
* 现在考虑<math>L = \mathbb Q (\sqrt[3]{2}, \omega)</math>，这里{{mvar|ω}}是[[单位根|本原三次单位根]]。{{mvar|L}}是有理数域上不可约的多项式{{math|''P'' {{=}} ''X''<sup>3</sup> - 2}}的[[分裂域]]，因此是伽罗瓦扩张。其伽罗瓦群<math>\mathrm{Gal}(K / \mathbb Q)</math>同构于[[置换群|3次置换群]]{{mvar|S}}<sub>3</sub>。这个群是[[可解群]]，意味着多项式方程{{math|''X''<sup>3</sup> - 2 {{=}} 0}}能用根式求解{{r|gtm167|page=52-53}}。

==基本性质==
设有域扩张{{mvar|L/K}}，则其自同构群{{math|Aut(''L/K'')}}满足：
*设{{mvar|P}}是一个以{{mvar|K}}中元素为系数的多项式。{{mvar|α}}∈{{mvar|L}}是它的一个根，则自同构群中任一个元素{{mvar|σ}}仍将{{mvar|α}}映射到{{mvar|P}}的根上{{r|cox|page=126}}。
*如果{{mvar|L/K}}是有限生成的域扩张，即存在<math>\alpha_1, \alpha_2, \cdots , \alpha_m \in L</math>，使得{{math|''L'' {{=}} ''K''(''α''<sub>1</sub>, ''α''<sub>2</sub>, ... , ''α<sub>m</sub>'')}}，那么自同构群中任一个元素{{mvar|σ}}被这些元素唯一决定。也就是说，如果知道了{{math|''σ''(''α''<sub>1</sub>), ''σ''(''α''<sub>2</sub>), ... , ''σ''(''α<sub>m</sub>''))}}的取值，就能知道{{mvar|σ}}作用在{{mvar|L}}中任何元素上的结果{{r|cox|page=126}}。
*有限扩张的自同构群是[[有限群]]{{r|cox|page=126}}，其元素个数{{math|{{!}}Aut(''L/K''){{!}}}}[[整除]]扩张次数{{math|[''L'' : ''K'']}}，因此小于等于{{math|[''L'' : ''K'']}}。两者相等当且仅当{{mvar|L/K}}是伽罗瓦扩张{{r|cox|page=150}}。
设域扩张{{mvar|L/K}}为伽罗瓦扩张。以下的性质均可以在没有[[伽罗瓦理论基本定理]]的情况下证明。
* <math>|\mathrm{Gal}(L/K)|=[L:K]</math>{{r|cox|page=130}}
* 令 <math>G=\mathrm{Gal}(L/K)</math>，则{{mvar|G}}的不变域，即 <math>L^G=\{x\in L|\forall\sigma\in G,\sigma(x)=x\}</math>，是{{mvar|K}}。反之，如果有限扩张{{mvar|L/K}}的自同构群的不变域是{{mvar|K}}，那么它是伽罗瓦扩张。{{r|cox|page=150}}
* 设{{mvar|F}}是一个域并且复合域{{mvar|LF}}存在。那么<math>\mathrm{Gal}(LF/F)\hookrightarrow \mathrm{Gal}(L/K)</math>，即{{math|Gal(''LF/F'')}}和{{math|Gal(''L/K'')}}的一个[[子群]][[同构]]。（由[[正规扩张]]和[[可分扩张]]的性质，{{mvar|KF/F}}是一个伽罗瓦扩张，因此可以讨论{{math|Gal(''LF/F'')}}）
 
伽罗瓦扩张的重要性在于，有限的伽罗瓦扩张满足[[伽罗瓦理论基本定理]]：伽罗瓦群的子群与域扩张的中间域之间存在着反向包含的一一对应关系。

如果{{math|Gal(''L/K'')}}是伽罗瓦扩张，则伽罗瓦群{{math|Gal(''L/K'')}}上可以装备一个[[拓扑空间|拓扑]]，称为{{tsl|en|Krull topology|克鲁尔拓扑}}，使其成为一个{{tsl|en|profinite group|投射有限群}}。在此拓扑下，即便{{math|Gal(''L/K'')}}是无限扩张，其伽罗瓦群的[[闭集|闭]]子群与域扩张的中间域存在着反向包含的一一对应关系，有类似伽罗瓦理论基本定理的结论。

== 参见 ==
*[[伽罗瓦理论]]
*[[伽罗瓦理论基本定理]]
*[[群表示]]

== 参考来源 ==
{{reflist|refs=
<ref name="gtm167">{{cite book|author=Patrick Morandi|title=Fields and Galois Theory|year=1996|publisher=Springer（插图版）|language = en|isbn=9780387947532}}</ref>
<ref name="cox">{{cite book|author=David A. Cox|title=Galois Theory|year=2004|url=http://books.google.fr/books?id=3u4RF8SrRooC|publisher=John Wiley & Sons, 1st Edition|language=en|isbn=9780471434191|access-date=2014-06-14|archive-date=2014-07-14|archive-url=https://web.archive.org/web/20140714205919/http://books.google.fr/books?id=3u4RF8SrRooC|dead-url=no}}</ref>
}}

==外部链接==
*[http://www.mathpages.com/home/kmath290/kmath290.htm Galois Groups]{{Wayback|url=http://www.mathpages.com/home/kmath290/kmath290.htm |date=20080513082207 }} at MathPages

{{ModernAlgebra}}

[[Category:域论|G]]
[[Category:群论|G]]
[[Category:伽羅瓦理論|G]]