伽罗瓦理论 一、正规扩域 在研究域 F 的代数扩张 E 时,首要的前提是扩域 E 是存在的,其次还要让所有扩域在同一个空间,即它们之间是可运算的。满足这样条件的空间便是 F 的代数闭包,使用集合论的语言,代数闭包可以描述成所有多项式的分裂域之并。这个定义合法性其实还是需要推敲的,你可以结合代数扩域的性质自行讨论,这里就先假定它的存在性。其次,不同的闭包之间并不一定是互通的,下面的讨论将回避这种“平行世界”的讨论,将范围限制在某个选定的代数闭包 Ω Ω Ω中。 即使只在某个闭包中,满足特定条件的扩域总也有多种选择的方法,这种将域对应到闭包中的映射一般称为域的嵌入,