伽罗瓦扩张
Template:NoteTA 伽罗瓦扩张是抽象代数中伽罗瓦理论的核心概念之一。伽罗瓦扩张是域扩张的一类。如果某个域扩张Template:Mvar既是可分扩张也是正规扩张，则称其为伽罗瓦扩张。另一个等价的定义是：伽罗瓦扩张是使得其上的环自同构群的固定域为其基域的域扩张。伽罗瓦扩张上的自同构群称为伽罗瓦群，而且伽罗瓦扩张的中间域与其伽罗瓦群的子群之间的关系满足伽罗瓦理论基本定理。
等价定义
给定有限的域扩张Template:Mvar。Template:Mvar是伽罗瓦扩张，当且仅当它满足以下四个相互等价的条件中的任何一个Template:R：
- Template:Mvar是可分的正规扩张。
- Template:Mvar是某个以Template:Mvar中元素为系数的多项式在Template:Mvar的分裂域，而且该多项式在此分裂域中没有重根。
- Template:Math。域扩张Template:Mvar的次数，等于其上的自同构群Template:Math的阶数（群元素的个数）。
- Template:Math的不变域，即，是Template:Mvar。
例子
给定域扩张，其中的Template:Math是2的三次方根，Template:Mvar是三次单位根。是多项式Template:Math在有理数域上的分裂域，而且它在其中没有重根，所以是伽罗瓦扩张Template:R。它的扩张次数是6，而它的自同构群元素有六个，同构于3次对称群。有关其具体结构，可参见伽罗瓦理论基本定理。
性质
如果域扩张基域的特征为0，那么所有代数扩张都是可分扩张，这时所有的正规扩张都是伽罗瓦扩张。
如果域扩张Template:Mvar是伽罗瓦扩张，则中间扩张Template:Mvar⊂Template:Mvar⊂Template:Mvar中，Template:Mvar也是伽罗瓦扩张Template:R。
域Template:Mvar的代数闭包Template:Math是Template:Mvar的伽罗瓦扩张，当且仅当Template:Mvar是完美域。