第4章1节

问题 3

设 K/F 是有限次扩域，且
[K : F] 为素数 p 。设 α ∈
K 且 α ∉ F ，则 K =
 证明
由定义 F(α) 为 K 的含 F ⋃ {α} 的最小子域 ，又
因 K 在 F 上的有限次扩域 ，即 F ⊂ F(α) ⊂
K。
由素数的定义，若 p 可分解为数 a 与 b ，
即 p = ab ，则 a = 1 或 b = 1 。
由命题 1.5 [K : F] = [K : F(α)][F(α) : F] 。而 [F(α) :
F] = p ，又因 α ∈ K 且 α ∉ F ，即 [F(α) : F] ≠
1 ，故 [K : F(α)]=1 。因此 K = F(α) 。
 A First Course in Abstract Algebra 7 Ed Fraleigh
Section 31 Algebraic Extension p292 Q23

Show that if E is a finite extension of

a field F and [E : F] is a prime
number, then E is a simple extension
fo F and, indeed, E = F(α) for every α
∈ E not in F.
 Proof
Let α by any element in E that is not in F. Then [E :
F] = [E : F(α)][F(α) : F] = p for some prime p by
Theorem 314. Because α is not in F, we know that
[F(α) : F] > 1, so we must have [F(α) : F] = p and
therefore [E : F(α)] = 1. As we remarked after
Definition 31.2, this shows that E = F(α), which is
what we wish to show.