伽罗瓦扩张

伽罗瓦扩张是抽象代数中伽罗瓦理论的核心概念之一。伽罗瓦扩张是域扩张的一类。如果某个域扩张L/K既是可分扩张也是正规扩张，则称其为伽罗瓦扩张。另一个等价的定义是：伽罗瓦扩张是使得其上的环自同构群的固定域为其基域的域扩张。伽罗瓦扩张上的自同构群称为伽罗瓦群，而且伽罗瓦扩张的中间域与其伽罗瓦群的子群之间的关系满足伽罗瓦理论基本定理。

等价定义

给定有限的域扩张L/K。L/K是伽罗瓦扩张，当且仅当它满足以下四个相互等价的条件中的任何一个：

• L/K是可分的正规扩张。
• L是某个以K中元素为系数的多项式在K的分裂域，而且该多项式在此分裂域中没有重根。
• [L : K] = |Aut(L/K)|。域扩张L/K的次数，等于其上的自同构群Aut(L/K)的阶数（群元素的个数）。
• Aut(L/K)的不变域，即$L^{\mathrm {Aut} (L/K)}:=\{x\in L|\forall \sigma \in \mathrm {Aut} (L/K),\sigma (x)=x\}$，是K。

例子

给定域扩张$\mathbb {Q} \subset \mathbb {Q} (\theta ,\omega )$，其中的θ = ³√2是2的三次方根，ω = e^2iπ⁄3是三次单位根。$L=\mathbb {Q} (\theta ,\omega )$是多项式P = X³ - 2在有理数域上的分裂域，而且它在其中没有重根，所以$L/\mathbb {Q}$是伽罗瓦扩张。它的扩张次数是6，而它的自同构群元素有六个，同构于3次对称群。有关其具体结构，可参见伽罗瓦理论基本定理。

性质

如果域扩张基域的特征为0，那么所有代数扩张都是可分扩张，这时所有的正规扩张都是伽罗瓦扩张。

如果域扩张L/K是伽罗瓦扩张，则中间扩张K⊂F⊂L中，L/F也是伽罗瓦扩张。

域K的代数闭包K^alg是K的伽罗瓦扩张，当且仅当K是完美域。

参见

• 正规扩张
• 可分扩张
• 伽罗瓦群

参考文献

• Serge Lang. Algebra. Springer-Verlag. 2002. ISBN 978-0-387-95385-4. 
• Patrick Morandi. Fields and Galois Theory. Springer（插图版）. 1996. ISBN 9780387947532 （英语）.