伽罗瓦扩张

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

等价定义

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

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

性质

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

如果域扩张 $L/K$ 是伽罗瓦扩张，则中间扩张 $K$ ⊂ $F$ ⊂ $L$ 中， $L/F$ 也是伽罗瓦扩张^[1]^:149。

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

参见

参考来源

^ ^1.0 ^1.1 ^1.2 David A. Cox. Galois Theory. John Wiley & Sons, 1st Edition. 2004 [2014-06-14]. ISBN 9780471434191. （原始内容存档于2014-07-14）（英语）.

参考文献

Serge Lang. Algebra. Springer-Verlag. 2002.

Patrick Morandi. Fields and Galois Theory. Springer（插图版）. 1996. ISBN 9780387947532 （英语）.

[cox-1] 1.0 ^1.1 ^1.2 David A. Cox. Galois Theory. John Wiley & Sons, 1st Edition. 2004 [2014-06-14]. ISBN 9780471434191. （原始内容存档于2014-07-14）（英语）.

[1]