第4章1节

问题 2

若域扩张 K/F 的次数 [K :

F] 为素数 p ，则 K/F 没有
非平凡的中间域。
 证明
由素数的定义，若 p 可分解为数 a
与 b ，即 p=ab ，则 a=1 或
b=1 。
若 H 为 K/F 的中间域，由命题 1.4
[K : F] = [K : H][H : F] ，
即 [K : H]=1 或 [H : F]=1 ，即 H=K
 A First Course in Abstract Algebra 7 Ed Fraleigh
Section 31 Algebraic Extension p292 Q29

Let E be a finite extension of a field

F, and let p(x) ∈ F[x] be irreducible
over F and have degree that is not a
divisor of [E : F]. Show that p(x) has
no zeros in E.
 Proof
If a zero α of p(x) were in E, then because
p(x) is irreducible over F, we would have
[F(α) : F] = deg(p(x)), and [F(α) : F] would
be a divisor [E : F] by Theorem 31.4. By
hypothesis, this is not the case.
Therefore p(x) has no zeros in E.