正规扩张是抽象代数中的概念,属于
域扩张中的一类。一个域扩张L/K是正规扩张当且仅当扩域L是
多项式环K[X]中的某个多项式的分裂域。布尔巴基学派将这类扩张称为“准伽罗瓦扩张”。正规扩张是代数扩张的一种。
设K是一个包含了L的K的
代数闭包。对于L在K上的每一个嵌入σ,只要它限制在K上的部分是平凡的(即为恒等映射:),那么就有。换句话说,L在K上的每一个K-嵌入σ都是一个L上的K-自同构。
是的一个正规扩张,因为它是上的
多项式的分裂域。然而,并不是的一个正规扩张,因为上的不可约多项式有一个根:在里面,但它的另外两个根:和都是
复数,不在里面。只有在加入了三次
单位根:后的扩域才是一个正规扩张。
也可以用正规扩张的第二个定义来证明不是的正规扩张。设域是由所有复
代数数生成的扩域,则是的一个代数闭包,并且在里面。另一方面,
设有
域扩张,那么总存在域扩张,使得是正规扩张。在
同构意义上,最小的这样的扩张是唯一。即是说,其他的域扩张N/L如果使得是正规扩张,那么总存在的子扩张,使得M'同构于M。这个唯一的“最小”正规扩张称为域扩张的 正规闭包。