首先注意當 a
L 是 algebraic over F 時, 事實上滿足
f (x)
F[x] 且 f (a) = 0 的多項式有無窮多個. 不過這其中有一個相當特別.
我們首先可以考撩”� f (a) = 0 的
f (x)
F[x] 中 degree 最小的
polynomials. 這樣的 polynomials 有以下兩個重要的性質.
(2) 假設 f (x) 在 F[x] 中不是 irreducible, 即存在
h(x), l (x)
F[x] 滿足
deg(h(x)) < deg(f (x)),
deg(l (x)) < deg(f (x)) 且
f (x) = h(x) . l (x). 將 a 代入上式, 由 f (a) = 0 知
h(a) . l (a) = 0. 由於
h(x), l (x)
F[x] 且 a
L, 我們知
h(a), l (a)
L. 故由 L 是 integral domain (Lemma 9.1.1) 得 h(a) = 0 或
l (a) = 0. 這再次和 f (x) 的選取相矛盾, 故知 f (x) 是 F[x] 中的
irreducible element.
若
f (x)
F[x] 是 F[x] 中符合 f (a) = 0 degree 最小的 polynomial
且
g(x)
F[x] 滿足 g(a) = 0, 則由 Lemma 10.1.1 (1) 知
g(x)
f (x)
. 畢b如果 g(x) 也是 F[x] 中符合 g(a) = 0
degree 最小的 polynomial, 則可得
f (x)
=
g(x)
. 由於
F[x] 中的 unit 都是 F 中的非 0 元素 (Proposition 7.2.3)
利用 Lemma 8.1.3 知存在 c
F 使得
f (x) = c . g(x).
所以如果我們將這些次數最低而滿足 f (a) = 0 的 polynomial
除以它們的最高次項係數所得的 monic polynomial 就唯一了.
因此我們有以下之定義.
我們知道當 [L : F] 是有限的時候, L 中的元素都是 algebraic over
F. 若 [L : F] = n 且 a
L, 則由於
1, a,..., an 一定 linearly
independent over F, 故知存在
f (x)
F[x] 且
deg(f (x))
n
使得 f (a) = 0 (詳見 Theorem 9.3.7 的証明) 故由 minimal
polynomial 的定義知: 若 p(x) 是 a 的 minimal polynomial, 則
deg(p(x))
deg(f (x))
n. 換言之我們得 a 的 degree
小於或等於 [L : F]. 我們將這個結果寫成以下之 Lemma.
當 L 不是 finite extension over F 時, L 中當然有可能存在元素是
algebraic over F. 如果 a
L 是 algebraic over F, 我們想知道
F 和 L 之間是否可以找到一個 field K 是 F 的一個 finite
extension 滿足 a
K?
什麼是
ker(
) 呢? 由於 F[x] 是一個 principle ideal domain 且
ker(
) 是 F[x] 的一個 ideal, 我們知存在
p(x)
f[x] 使得
ker(
) =
p(x)
. 事實上 我們可以有
ker(
) =
p(x)
其中 p(x) 是 a 的 minimal polynomial. 這是因為若
f (x)
ker(
), 則知
(f (x)) = f (a) = 0. 故由 Lemma 10.1.1
知
f (x)
p(x)
. 反之, 對任意
f (x)
p(x)
, 存在
h(x)
F[x] 使得
f (x) = p(x) . h(x), 因此由 p(a) = 0 得
f (a) = p(a) . h(a) = 0. 故得證
ker(
) =
p(x)
, 其中 p(x)
是 a 的 minimal polynomial.
畦� First Isomorphism Theorem (6.4.2) 知
至於什麼是
im(
) 呢? 由定義知
若僅由定義來看 Proposition 10.1.5 中的
im(
) = {f (a) | f (x)
F[x]} 只是一個 ring, 那為何它會是 field 呢? 若你記得
Theorem 9.3.7 這就一點都不奇怪了. 因為
im(
)
L 自然是 integral domain, 而由 Proposition
10.1.5 的證明也知
dimF(im(
)) = n.
我們也很容易檢查
{f (a) | f (x)
F[x]} 會是 L 中包含 F
以及 a 最小的 ring, 這是因為若 R 是一個 ring 且包含 F 以及
a, 則對任意的
f (x)
F[x], 由於 f (a) 僅牽涉到 a 和 F
中的元素間的加法以及乘法, 別忘了這些都是 R 中元素的運算所以當然得
f (a)
R. 換言之我們得
{f (a) | f (x)
F[x]}
R,
再加上
{f (a) | f (x)
F[x]} 本身是一個 ring 所以它自然是包含
F 以及 a 最小的 ring 了!
為了方便我們定以下之符號, 在一般的代數書上這個定義是標準的且常被使用的定義.
前面已知 F[a] 就是
im(
) = {f (a) | f (x)
F[x]}. 那麼
F(a) 中的元素又是怎樣呢? 利用 quotient field 的性質 (Proposition
7.4.2) 很容易驗證
接下來我們就來看和 a 是 algebraic over F 等價的條件是什麼?
(2)
(3): 若 K 是 L over F 的 subextension (即
F
K
L), 則由假設 a
K 知
F[a]
K.
再由假設 K 是 F 的一個 finite extension, 套用 Proposition
9.4.3 可得 F[a] 是一個 field. 故知 F[a] = F(a).
(3)
(1): 假設 F[a] = F(a), 也就是說 F[a] 是一個
field. 如果 a = 0
F, 那當然 a 是 algebraic over F (注意 F
中的元素當然是 algebraic over F). 如果 a
0, 則由 a
F[a]
且 F[a] 是一個 field 知
a-1
F[a]. 別忘了 F[a]
裡的元素都是 f (a), 其中
f (x)
F[x] 這種形式, 所以我們有
a-1 = f (a), 其中
Theorem 10.1.9 給了我們一個很好的方法來驗證 a 是否是
algebraic over F. 也就是說今後要檢查 a 是 algebraic over F
我們可以不必真的去找一個
f (x)
F[x] 使得 f (a) = 0.
當然了要用什們方法會因問題而有所差別. 比方說若 a2
L 且我們知
a2 是 algebraic over F, 如果
f (x)
F[x] 滿足 f (a2) = 0,
則令
g(x) = f (x2), 我們可得
g(a) = f (a2) = 0. 因此知 a 也是
algebraic over F. 也就是當 a2 是 algebraic over F 時, a
也會是 algebraic over F. 但是反過來, 如果已知 a 是 algebraic
over F, 我們就無法利用滿足 a 的 polynomial 來製造一個滿足 a2
的 polynomial 了. 同學或逖想若 f (a) = 0, 我們可以令
g(x) = f (x1/2), 則
g(a2) = f (a) = 0 呀! 這是不對的, 因為 f (x)
若有奇數次項, 則
g(x) = f (x1/2) 就不再是一個 polynomial 了.
所以在這種狀況下就不可能利用找 polynomial 的方法來證明 a2 是
algebraic over F. 其實當 a 是 algebraic over F 時利用 Theorem
10.1.9 知存在一個 field K 是 F 的 finite extension 且
a
K. 然而 K 是一個 field 且 a
K, 所以當然 a2
K,
所以再用一次 Theorem 10.1.9 (或是利用 Lemma 10.1.3)
我們得證 a2 也是 algebraic over F.
以後我們常會用類似的方法來處理相關的問題.