一定是一个一次多项式。
代数闭包.设formula_12为代数扩张，且formula_13是代数闭域，则称formula_13是formula_1的一个代数闭包。可以视之为包含formula_1的最小的代数闭域。若我们承认佐恩引理（或其任一等价陈述），则任何域都有代数闭包。设formula_17为任两个formula_1的代数闭包，则存在环同构formula_19使得formula_20；代数闭包在此意义上是唯一的，通常记作 formula_21 或formula_22。