本原元

定义 一个具有性质 $E=F(a)$ 的元素 $a$ 称为 $E$ 的本原元.

定理(Steinitz) 设 $F$ 是特征为 $0$ 的域, $a,b$ 是 $F$ 上的代数元,则存在 $c\in F(a,b)$, 使得 $F(a,b)=F(c)$.

推论 特征 $0$ 的域的任何有限扩域都是单扩域.