可分扩张

可分扩张(separable extension)一种重要的域扩张。其特征为p的域F的任意扩张K/F。域的扩张是域论的基本概念之一。若域K包含域F作为它的子域，则称K是F的一个扩张(或扩域)，F称为基域，常记为K/F。此时，K可以看成F上的向量空间。研究扩域K(相对于基域F)的代数性质，是域论研究的一个基本内容。可分扩张是一种重要的域扩张。