在談論 field extension 時有一個很重要的定理, 這個定理是說: 如果 K
是一個 field,
p(x) K[x] 是一個 irreducible polynomial,
則必存在一個 K 的 extension field L 使得 p(x) = 0 在 L 中有解
(參見大學基礎代數講義 Theorem 10.3.4). 這個定理的證明大致上就是取
L = K[x]/(p(x)) 這個 field, 而
a =
L 就是 p(x)
的一個根.
第一次看到這個證明大部分的同學會對這個簡單的證明充滿了疑惑,
大致上會有兩個疑問:
第一個問題比較好回答. 這個定理主要是存在性問題: 只要求找到一個 field
使的 p(x) = 0 在那個 field 中有解. 而從前高中找解是要求在特定的
field 中找解 (如 實數
或 複數
) 當然有其困難度.
別忘了這個世界不只有
,
,
這三個 fields.
至於第二個問題較難回答, 我們用一個例子說明一下. 我們都知道 x3 - 2
是
[x] 中的一個 irreducible polynomial. 如何找到一個 field 使得
x3 - 2 = 0 在其中有解呢? 假設你不知道這世上有
和
這個
field, 你會怎麼辦?
代數的方法就是先憑空找一個符號 a 假設是 x3 - 2 的根 (即 a 滿足
a3 = 2). 因為要找到一個 field L 使得 a 和
都在裡面,
所以我們要求 a 和
的元素都相互運算後仍在 L 中. 當然
本身的運算還要保持, 所以我們只要注意 a 本身的自己的運算以及 a 和
的運算即可. 首先對任意的
r
, r + a 和 r . a
到底是什麼呢? 當 r = 0 時 r + a 和 r . a 當然須分別等於 a 和
0 這樣才能滿足結合率和分配率. 同樣的在結合率和分配率的要求之下當
r
0 時 r + a 和 r . a 都不能屬於
, 所以我們的 L
中還必須包含 r + a 和 r . a 這兩種符號
(注意這仍只是符號而不是任何的數). 這裡要注意的是我們為了保持 1
仍為乘法單位元素所以必須把 1 . a 和 a 視為相同. 接下來我們看
a 本身的運算: a + a 和 a . a 應該是多少呢?
在要求分配率仍成立的前提下由於
a + a = 1 . a + 1 . a = (1 + 1) . a = 2 . a, 我們不需要新的符號來代表 a + a, 它就是 2 . a
(簡記為 2a). 同樣的任意 n 個 a 相加就是 n . a. 至於
a . a 我們就需要新的符號, 按慣例就沿用指數的符號將 a . a
記為 a2, 同樣的任意 n 個 a 相乘就記為 an. L
中若僅有這些符號還不夠成為一個 field (甚至連 ring 都不行),
我們還需要這些符號間的相加相乘. 很快的在分配率,
結合率以及交換率皆須符合的要求下我們發現 L 中必須有
了解了找到 extension 使的 x3 - 2 有根的建構方法後, 大家或許會有新的疑問: 我們都知道 x3 - 2 有 3 個根分別是
或許你會有另一個疑問: 從上述觀點 x3 - 2 會有無窮多個根啊!
這不是和我們所認知的一個 n 次多項式至多有 n 個根
(大學基礎代數講義 Theorem 10.3.3) 相衝突嗎? 其實不然,
仔細看看大學基礎代數講義 Theorem 10.3.3 它其實是說在一個固定的 field
中至多有 n 個根. 這是一個很重要的概念: 在 Galois
理論中我們是要在一個固定的 field 中談問題. 雖然 field
是固定的但我們較不在意根長什麼樣子, 而重視的是在這 field
有幾個根. 例如 x3 - 2 在
中有三個相異根,
我們就得知有三種方法將 a 送到
中. 又例如 x3 - 2 在
(
) 中僅有一個根 (因為
(
)
中的元素都是實數, 但 x3 - 2 在
中其他兩個根是虛數)
所以我們知道將 a 送到
後所得的三個 fields 是相異的.
從上述的情況得知, 有些代數的性質和它的元素在於哪個 field
其實是無關的, 不過有時將之擺在一個固定的 field 中討論確有其方便性.
就例如對於 irreducible polynomial
p(x) K[x] 我們考慮
L = K[x]/(p(x)) 使得 p(x) 在 L 中有根. 在這裡 K
其實並不是真正包含於 L 中, 我們只是找到ㄧ個一對一的 ring
homomorphism 將 K 送到 L 中. 因為這時候這個 ring homomorphism
的像 (image) 和 K 的代數結構是一樣的而且是 L 的 subfield
所以我們就視同 K 包含於 L. 事實上我們有以下一個比較正式的定義:
簡單來說就是當 K 並不包含於 L 時, 我們當然不能直接對 K
的元素和 L 的元素做運算. 不過如果存在一對一的 ring homomorphism
i : KL, 那麼對任意的 k
K 和 l
L, 我們可以定
Galois 理論簡單的說就是探討 field extensions 間的關係. 給定一個 field K, 事實上存在無窮多個 K 的 extensions, 我們自然會問兩個 extensions L1/K 和 L2/K 在什麼條件之下可以看成是一樣的 extension 呢?這不是單純的兩個 fields L1 和 L2 間的關係, 還牽涉到 K 在 L1 和 L2 中的“角色” . 簡單來說, 我們不只希望 L1 和 L2 是 isomorphic 而且希望能保持 K 的運算. 因此我們有以下的定義:
這裡因為 k K 所以
i(k)
L1. 因此
可將 i(k) 送到
L2 中. 而
(i(k)) = j(k) 就是要求
必須把在 L1 中代表
k 的元素送到 L2 中那個代表 k 的元素. 特別的是當我們將 K
分別看成是 L1 和 L2 的 subfield (即
K
L1 且
K
L2), 此時 i(k) = k 且 j(k) = k 因此
必須符合對於所有的 k
K, 皆滿足
(k) = k.
在這情況之下有這樣性質的
就稱為 L1 和 L2 之間的一個
``K-isomorphism''. 特別是當 L1 = L2 時我們稱
為一個
``K-automorphism''. 一般為了方便起見, 兩個 extensions L1/K 和
L2/K 我們都直接看成
K
L1 和
K
L2. 所以若
L1/K 和 L2/K 是 isomorphic extensions over K 我們就直接假設
L1 和 L2 之間存在一個 K-isomorphism.