n::::可分扩张.设为代数扩张，如果的极小多项式没有重根，则称可分（重根的存在性与域扩张的选取无关，可分性等价于1，这可以直接在中计算）。所有可分元素形成一个中间域⊂⊂，称作的可分次数。若，则称是可分扩张。当是有限扩张时，定义不可分次数。当基域的特征为零时，任何代数扩张都是可分的；任何有限域的扩张也都是可分的。