第4章1节

问题 1

证明：
有限次扩域是代数扩域
。
 证明
我们需证明对所有的 α ∈ E, α 是在 F 上
的代数元。若 [E : F] = n, 则 1, α, · · · , αⁿ
不可能是线性无关在 F 的元素，故存在
aₖ ∈ F 使得 aₙαⁿ + ··· + a₁α + a₀ = 0, 且非
全 aₖ 为零。 故 f (x) = aₙxⁿ +· · ·+a₁x + a₀
是在 F[x] 中的非零多项式，且 f (α) = 0.
因此是在 F 上的代数元。 故有限次扩域
 A First Course in Abstract Algebra
Fraleigh 7 Ed
Theorem 31.3

A finite extension field E of

a field F is an algebraic
extension of F.
Proof
We must show that for α ∈ E, α is algebraic over F.
By Theorem 30.19 if [E : F] = n, 1, α, · · · , αⁿ
cannot be linearly independent elements, so there
exist aₖ ∈ F such that aₙαⁿ + ··· + a₁α + a₀ = 0,
and not all aₖ = 0. Then f (x) = aₙxⁿ +· · ·+a₁x + a₀ is
a nonzero polynomial in F[x], and f (α) = 0.
Therefore, α is algebraic over F.