可分扩张(separable extension)一种重要的域扩张。 概念
可分扩张的特征为p的域F的任意扩张K/F，Ω是K的代数闭包，若K与 F={α∈Ω|α∈F}
在F上是线性分离的，则称K/F是可分扩张。当F是完备域时，F上任何扩张都是可分扩张。当K/F是代数扩张时，若α∈K在F上的最小多项式是可分多项式，则称α是(F上的)可分代数元(简称F上可分元)。若K中每个元均为F上可分元，则称K是F上可分扩张。若K/F有一个超越基S，使得K是可分的，则称S是可分超越基。若K/F有这样一个可分超越基，则称此扩张K/F是可分生成的。完备域上的有限生成扩张均为可分生成扩张。可分扩张具有传递性。当K/F是有限生成，而且是可分扩张时，K/F是可分生成的。反之，可分生成的扩张必然是可分扩张。