定义 一个具有性质 $E=F(a)$ 的元素 $a$ 称为 $E$ 的本原元.
定理(Steinitz) 设 $F$ 是特征为 $0$ 的域, $a,b$ 是 $F$ 上的代数元,则存在 $c\in F(a,b)$, 使得 $F(a,b)=F(c)$.
推论 特征 $0$ 的域的任何有限扩域都是单扩域.
定义 一个具有性质 $E=F(a)$ 的元素 $a$ 称为 $E$ 的本原元.
定理(Steinitz) 设 $F$ 是特征为 $0$ 的域, $a,b$ 是 $F$ 上的代数元,则存在 $c\in F(a,b)$, 使得 $F(a,b)=F(c)$.
推论 特征 $0$ 的域的任何有限扩域都是单扩域.
转载于:https://www.cnblogs.com/zhengtao1992/p/10537093.html