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.