正规扩张

正规扩张是抽象代数中的概念，属于域扩张中的一类。一个域扩张L/K是正规扩张当且仅当扩域L是多项式环K中的某个多项式的分裂域。布尔巴基学派将这类扩张称为“准伽罗瓦扩张”。正规扩张是代数扩张的一种。正规扩张的定义不止一种，以下三个准则都可以刻画（有限）正规扩张，是三个等价的定义。