C36N /9/21 18:47 page 25 #2 抽象代數真的抽象嗎? ( 下 ) 25 前面所列出關乎整除性的 11 個基本性質在多項式裡頭也都成立 ; 當然性質 6 中的 ±1 得改成多項式裡頭的可逆元素非零常數多項式, 而性質 9 及性質 10 的絕對值則改為多項式裡頭的

Size: px

Start display at page:

Download "C36N /9/21 18:47 page 25 #2 抽象代數真的抽象嗎? ( 下 ) 25 前面所列出關乎整除性的 11 個基本性質在多項式裡頭也都成立 ; 當然性質 6 中的 ±1 得改成多項式裡頭的可逆元素非零常數多項式, 而性質 9 及性質 10 的絕對值則改為多項式裡頭的"

残港管
7 years ago
Views:

1 C36N /9/21 18:47 page 24 #1 數學傳播 36 卷 3 期, pp 抽象代數真的抽象嗎? ( 下 ) 沈淵源 5. 多項式的唯一分解性現在我們轉移焦點至多項式環 k[x]; 此處 k 是一個體, 其中加法與乘法的單位元素分別是 0 與 1 若感覺太抽象, 不妨將 k 看成是有理數體 (Q, +, ) 實數體 (R, +, ) 或複數體 (C, +, ) 多項式 k[x] 上的加法與乘法是你所熟悉的因此你老早就已經知道 : (i) (k[x], +) 形成一個阿貝爾群, 零多項式 0 就是加法單位元素 (ii) 乘法具有結合律交換律, 常數多項式 1 就是乘法單位元素 (iii) 乘法對加法 + 的分配律成立因此, (k[x], +, ) 跟整數環一樣 ; 也是一個擁有乘法單位元素的交換環, 但可逆元素 (units) 則包含所有的非零常數多項式我們可定義多項式環 k[x] 中整除性如同跟整數環一樣 ; 唯一需要變的就是把 ( 整 ) 數改成 ( 多項 ) 式我們說一個多項式 a 整除一個多項式 b, 如果有一個多項式 c 使得 b = ac ; 而以符號 a b 表示之換句話說, a 除 b 之後沒有餘式 (remainder) a 稱為 b 的一個因式 (divisor), 而 b 則稱為 a 的一個倍式 (multiple) 例如 : x + 1 x 2 1, x 2 + x 1 x 3 1, 然而 x x ( 不整除 ) 與整除性相關的是分解性數 ( 式 ) 分解成較小 ( 低 ) 數 ( 式 ) 的乘積, 其大小就是絕對值 ( 次數 ) 的大小多項式的次數 (degree) 通常用符號 deg a 來表示, 其中最重要的性質為 deg ab = deg a + deg b, deg a = 0 a 為非零常數多項式 24

2 C36N /9/21 18:47 page 25 #2 抽象代數真的抽象嗎? ( 下 ) 25 前面所列出關乎整除性的 11 個基本性質在多項式裡頭也都成立 ; 當然性質 6 中的 ±1 得改成多項式裡頭的可逆元素非零常數多項式, 而性質 9 及性質 10 的絕對值則改為多項式裡頭的次數質數的觀念在多項式裡頭也相仿, 當然稱為質多項式或簡稱為質式 (irreducible polynomials) ; 意指不可再分解的多項式更明確的說, 一個非常數多項式 p 稱之為質多項式如果 q p 導致 q 為常數多項式或為 p 的常數倍為了方便起見, 我們定義首項係數 ( 即領導係數 leading coefficient) 為 1 的多項式為首一多項式 (monic polynomial) 譬如說, 多項式 x 2 + 7x 11 及 x 4 3x 2 + 9x 19 都是首一多項式但 7x 2 11 及 3x 4 + 9x 19 都不是令 a k[x] 且令 p 為首一質式則若 a 0, 必存在一非負整數 α 使得 ( 因為 p 之次冪的次數越來越大 ) p α a 但 p α+1 a 這個 α 就稱之為 a 在質式 p 的階數 (the order of a at p), 以符號 ord p a 表示之粗略言之, ord p a 就是 p 整除 a 的次數若 a = 0, 則我們定義 ord p a = 注意到, 另一個極端為 ord p a = 0 p a 接著我們逐步預備好要證明多項式版本之算術基本定理的工具首先處理存在性的部分, 同樣地這只是數學歸納法原理的一個簡單練習而已按慣例, 得勞大駕動動手將這簡單的證明完成 ; 但需注意的乃是, 要對多項式的次數作數學歸納法引理 1. 任何非零多項式都可以寫成質式的乘積注意到, 每一個多項式都可以寫成其領導係數跟一個首一多項式的乘積 ; 而質式經此手續後, 就變成其領導係數跟一個首一質式的乘積物以類聚, 將同一個首一質式擺在一起 ; 我們可以將一個多項式 f 寫成 f = p a 1 1 p a 2 2 p a m m, 其中 p i 為首一質式且 a i 為正整數我們會採用底下更方便的方式來表達 : f = c p a(p), 此處 c 為 f 之領導係數, 而乘積中的 p 是對所 p 有的首一質式次冪 a(p) 乃是非負整數 ; 當然, 除了有限多個首一質式外, 此次冪都是零

3 C36N /9/21 18:47 page 26 #3 26 數學傳播 36 卷 3 期民 101 年 9 月算術基本定理 ( 多項式版本 ). 對任何非零多項式 f 存在一質式分解式 f = c p p a(p), 此處 c 為 f 之領導係數, 而乘積中的 p 是對所有的首一質式 ; 其次冪由 f 所唯一決定實際上, 我們有 a(p) = ord p f 引理 2. 若 a, b k[x] 而且 deg b > 0, 則存在 q, r k[x] 使得 a = qb + r, 其中 deg r < deg b 或 r = 0 證明. 因為零多項式的次數沒有定義, 所以很自然的, 我們必須分成兩種情況來討論 (i) b a: 令 q = a/b 則 a = qb + r, r = 0 ; 故得證 (ii) b a: 令 r = a qb 為形如 a ub, u k[x] 的多項式中擁有最低次數者我們必須證明 deg r < deg b 若否, 令 r 與 b 之最高次項分別為 r d x d 與 b m x m 則 r r d b 1 m x d m b = a (q + r d b 1 m x d m )b 為形如 a ub, u k[x] 的多項式, 卻擁有比 r 還小的次數 ; 矛盾也, 故得證引理 2 就是多項式裡頭的長除法, 其證明過程當然也用到了自然數的良序原理這裡比的是次數的大小, 而上一節比的是絕對值的大小定義. 若 a 1,, a n k[x], 定義多項式集合 (a 1,, a n ) 為 (a 1,, a n ) = {a 1 u a n u n u 1,, u n k[x]} 令 I = (a 1,, a n ) 顯而易見, 這個集合在加法與減法之下都具有封閉性 ; 亦即, 任何 I 裡頭的兩個元素的和或差仍然還是裡頭的元素不僅如此, 若將裡頭的元素乘上任何的多項式仍然還是裡頭的元素也就是說, 不管你的整數來源如何 ; 或在 I 裡頭, 或不在 I 裡頭 ; 一旦乘上 I 裡頭的元素, 就會被吸入, 成為裡頭的一份子在環論的術語, 這就是所謂的理想 ; 因此 I 是多項式環 k[x] 的一個理想引理 3. 若 a, b k[x], 則存在 d k[x] 使得 (a, b) = (d) 證明. 若 a = b = 0, 那麼樣就沒甚好證的 ; 故假設 a, b 不全為零, 因而 (a, b) {0} 令 d (a, b) 為當中次數最小的一個多項式顯而易見, (d) (a, b); 我們必須證明, 反方向 (a, b) (d) 也對

4 C36N /9/21 18:47 page 27 #4 抽象代數真的抽象嗎? ( 下 ) 27 假設 x (a, b) 引理 2 告訴我們, 存在 q, r k[x] 使得 x = qd + r, 其中 deg r < deg d 或 r = 0 顯而易見, r = x qd (a, b) 若 r 0, 則 r 為 (a, b) 中次數比 d 還小的一個多項式 ; 此乃一矛盾, 因此 r = 0 是唯一的歸宿所以得到 x = qd (d), 故得證定義. 令 a, b k[x] d 稱為 a 與 b 的一個最高公因式 ; 若 (i) d 是 a 與 b 的公因式, (ii) 任何其它 a 與 b 的公因式都整除 d 特別注意到, 定義中說的是一個最高公因式那到底有幾個呢? 若 c 是另一個, 那麼我們就必定有 c d 且 d c, 因而 deg c = deg d 故兩個多項式的最高公因式, 若存在 ; 任意兩個都會有相同的次數, 其間就差一個常數倍其中那個首一最高公因式, 通常我們用符號 gcd(a, b) 來表示引理 4. 令 a, b Z 若 (a, b) = (d), 則 d 是 a 與 b 的一個最高公因式證明. (i) 因為 a, b (a, b) = (d), 故 d 是 a 與 b 的公因式 (ii) 假設 c 是 a 與 b 的公因式因此 c 整除任何 a 與 b 的線性組合, 而 d (d) = (a, b) 就是 a 與 b 的一個線性組合 ; 故 c d 這就是最高公因式的存在性定理在實作中, 我們通常使用輾轉相除法來計算定義. 我們說多項式 a 與 b 是互質的 ; 若其僅有的公因式只有非零常數, 即多項式中的可逆元素換句話說, gcd(a, b) = 1 定理 P. 假設 a bc 而且 gcd(a, b) = 1, 則 a c 證明. 因 gcd(a, b) = 1, 存在 x, y k[x] 使得 xa + yb = 1 兩邊同時乘上 c, 得到 xac + ybc = c

5 C36N /9/21 18:47 page 28 #5 28 數學傳播 36 卷 3 期民 101 年 9 月根據假設 a bc, 得知 a 整除上式左側的每一項 ; 因此 a 整除左側 = 右側 = c, 故得證推論 1. 若 p 為質式且 p bc, 則 p b 或 p c 證明. 因 p 為質式, 故得 gcd(p, b) = p 或 gcd(p, b) = 1 因此我們有 (i) gcd(p, b) = p : 因 gcd(p, b) b = p b, (ii) gcd(p, b) = 1 : 定理 P = p c ; 故得證若將推論 1 寫成其反逆敘述, 則有推論 1. 若 p 為質式滿足 p b 且 p c, 則 p bc 推論 2. 假設 p 是首一質式而且 a, b k[x] 則 ord p ab = ord p a + ord p b 證明. 令 α = ord p a 且令 β = ord p b 則 a = p α a 且 b = p β b ; 其中 p a 且 p b 因此我們有所以得證 ab = p α+β a b, 其中 p a b ( 推論 1 ) ; ord p ab = α + β 至此, 準備工作完成 ; 回到唯一分解性之證明

6 C36N /9/21 18:47 page 29 #6 抽象代數真的抽象嗎? ( 下 ) 29 多項式版本的算術基本定理之證明. 引理 1 已經證明, 對任何非零多項式 f 存在一質數分解式 f = c p pa(p) 兩邊同時取 ord q, 並使用推論 2; 我們有 ord q n = ord q (c) + p a(p)ord q (p) (1) 故得證根據 ord q 之定義, 我們有 ord q (c) = 0 且 ord q (p) = { 1 若 p = q 0 若 p q 所以實際上, (1) 式的右側僅剩單一的一項 a(q) 沒有陣亡 ; 我們有 ord q f = a(q), 6. 歐氏整域的唯一分解性看完了整數環與多項式環的唯一分解性後, 你一定很訝異這之間存在著如此驚人的相似性那麼, 這背後是否隱藏著怎麼樣更豐富的結構 ; 使得活現在你眼前的整數環與多項式環, 只不過是裡頭兩個特殊的例子而已呢? 幾番細思量, 不難發現 ; 引理 2 所帶出來的性質可說是相當的關鍵, 而在引理 3 中更是發揮得淋漓盡致一來, 其間有大小的觀念 ; 在 Z 中為一般的絕對值 ( 非負整數 ), 而在 k[x] 中則為多項式的次數 ( 也是非負整數 ) ; 這提供了良序性可以展現她婀娜多姿神采的舞台, 也成就了最小元素卻是最大公因數 ( 最高公因式 ) 的美談二來, 只要一個集合在減法與倍數 ( 式 ) 之下有封閉性 ; 那麼最小元素搖身一變, 成為這個集合的生成元素 ; 也就是說, 所有的元素都是最小元素的倍數 ( 式 ) 從實作的層面來說, 引理 2 乃是計算最大公因數最高公因式演算法的基石 ; 那就是所謂的輾轉相除法, 也稱為歐基里德演算法因此之故, 引理 2 有些人也把它稱為歐基里德演算法 (Euclid s algorithm) 很自然地, 人們就把具備有引理 2 性質的整域 (integral domain) 稱為歐基里德域簡稱為歐氏整域更明確的說, 我們有如下的定義定義. 一個歐氏整域 (Euclidean domain) 就是一個整域 R; 其非零元素上定義有一函數 σ 映到非負整數上, 使得對任意 a, b R, b 0 存在 q, r R 滿足 a = qb + r 其中 σ(r) < σ(b) 或 r = 0

7 C36N /9/21 18:47 page 30 #7 30 數學傳播 36 卷 3 期民 101 年 9 月除了整數環及多項式環是歐氏整域外, 還有高斯整數環 Z[ 1] 及前面碰到的複數子集 Z[ 2] 也是歐氏整域例題 1. 高斯整數環 Z[ 1] 是一個歐氏整域證明. 顯而易見, Z[ 1] C 是一個整域定義函數 σ(α + β 1) = α 2 + β 2, α + β 1 Z[ 1] 令 a, b 0 為任意的高斯整數將 a 除以 b 得到 u = a/b = s + t 1, s, t Q 選取整數 ξ, ζ 使得 s ξ 1 2 且 t ζ 1 2 令 q = ξ + ζ 1, 則 σ(a/b q) = (s ξ) 2 + (t ζ) = 1 2 令 r = a qb, 則 r Z[ 1] 且 a = qb + r ; 其中 r = 0 或 σ(r) = σ(b(a/b q)) = σ(b)σ(a/b q) 1 σ(b) < σ(b) 2 故得證高斯整數環 Z[ 1] 是一個歐氏整域例題 2. 複數子集 R = Z[ 2] 也是一個歐氏整域證明. 如上顯而易見, R C 是一個整域定義函數 σ(α + β 2) = α 2 + 2β 2, α + β 2 R 令 a, b 0 為 R 中任意的元素將 a 除以 b 得到 u = a/b = s + t 2, s, t Q 選取整數 ξ, ζ 使得 s ξ 1 2 且 t ζ 1 2 令 q = ξ + ζ 2, 則 σ(a/b q) = (s ξ) 2 + 2(t ζ) = 3 4

8 C36N /9/21 18:47 page 31 #8 抽象代數真的抽象嗎? ( 下 ) 31 令 r = a qb, 則 r R 且 a = qb + r ; 其中 r = 0 或 σ(r) = σ(b(a/b q)) = σ(b)σ(a/b q) 3 σ(b) < σ(b) 4 故得證 R 是一個歐氏整域定義. 一個環 (R, +, ) 的非空子集 I 稱之為理想 ; 若 (i) a, b I = a b I (ii) a I, r R = ra I, ar I 定理 ED. 若 I 為歐氏整域 R 中的一個理想, 則存在一元素 a R 使得 I = Ra = {ra r R} 證明. 若 I = 0, 那麼樣就沒甚好證的 ; 故假設 I 0 令 a I 為當中 σ 值最小的一個元素顯而易見, Ra I; 我們必須證明, 反方向 I Ra 也對假設 x I 因 R 是歐氏整域, 故存在 q, r R 使得 x = qa + r, 其中 σ(r) < σ(a) 或 r = 0 顯而易見, r = x qa I 若 r 0, 則 r 為 I 中 σ 值比 a 之 σ 值還小的一個元素 ; 此乃一矛盾, 因此 r = 0 是唯一的歸宿所以得到 x = qa Ra, 故得證習慣上, 我們將 Ra 寫成 (a); 同樣地, (a 1,, a n ) 表示 Ra Ra n = {r 1 a r n a n r i R, i = 1,, n} 顯而易見, 若 R 是一交換環, 則 (a 1,, a n ) 為 R 中的一個理想若 I 是環 R 中的一個理想且 I = (a 1,, a n ), 那麼我們就說 I 是有限生成 (finitely generated) 的一個理想 ; 當 n = 1 時, 則稱 I 為 R 中的一個主理想 (principal ideal) 定義. 我們稱呼整域 (R, +, ) 是一個主理想域 (principal ideal domain, 縮寫 PID); 若 R 中的每一個理想都是主理想所以定理 ED 說, 歐氏整域都是 PID; 因而整數環, 多項式環, 高斯整數環及 (Z[ 2], +, ) 都是 PID 引進歐氏整域的觀念是相當有用的 ; 因為在實作上, 要證明某些環是 PID; 往往我們先証明此環是一歐氏整域, 然後再透過定理 ED 得到 PID 的結論

9 C36N /9/21 18:47 page 32 #9 32 數學傳播 36 卷 3 期民 101 年 9 月底下我們將整除性的觀念推廣到擁有乘法單位元素 1 的 PID 當中, 然後討論唯一分解性的問題 ; 當然這些觀念可在一般的環當中來討論, 但那不是我們所要的因此從現在開始, 我們活動的空間就侷限在擁有乘法單位元素 1 的 PID 裡頭令 R 為擁有乘法單位元素 1 的 PID 先定義跟整除性相關的術語如下 : 我們說 R 裡頭的一個元素 a 0 整除一個元素 b R, 若存在另一個元素 c R 使得 b = ac ; 而以符號 a b 表示之一個元素 u R 稱之為可逆元素 (unit), 若 u 整除 R 裡頭的乘法單位元素 1 兩個元素 a, b R 稱之為夥伴 (associate), 若存在一可逆元素 u 使得 a = bu 一個元素 p R 稱為不可約的 (irreducible), 若 a p 則 a 是可逆元素或是 p 的夥伴一個不可逆元素 p R 稱為質的 (prime), 若 p 0 且 p ab = p a 或 p b 不可約元素 (irreducible elements) 跟質元素 (prime elements) 的區分是過去沒有的 ; 因為在整數環與多項式環中, 這兩個觀念是合而為一的在上面定義質數 ( 式 ) 時, 所採用的乃是不可約的觀念 ; 而質性的觀念, 則彰顯在推論 2 裡面對我們而言, 其實也不需要如此區分 ; 因為在 PID 中, 這兩個觀念也是合而為一的, 我們等一下就會證明上面那些觀念都可轉換成理想的術語如下 : a b (b) (a) u R 為可逆元素 (u) = R a, b R 為夥伴 (a) = (b) p R 為不可約的, 若 (p) (a) 則 (a) = R 或 (a) = (p) p R 為質的, 若且唯若 ab (p) = a (p) 或 b (p) 定義. 令 a, b R d 稱之為 a 與 b 的一個最大公因子 ; 若 (i) d a 且 d b, (ii) d a 且 d b = d d

10 C36N /9/21 18:47 page 33 #10 抽象代數真的抽象嗎? ( 下 ) 33 特別注意到下面兩件事情 : (i) 定義中說的是一個最大公因子那到底有幾個呢? 若 c 是另一個, 那麼我們就必定有 c d 且 d c, 因而 c 與 d 是夥伴 ; 亦即, 存在一可逆元素 u 使得 c = ud 因此最大公因子的個數就是其可逆元素的個數 (ii) 兩個元素的最大公因子不見得一定會存在 ; 然而對 PID 來說, 我們有下面的定理定理. 令 R 是一個具有單位元素 1 的 PID 且令 a, b R 則 a 與 b 有一個最大公因子 d, 而且 (a, b) = (d) 證明. 考慮由 a, b 所生成的理想 (a, b) = Ra + Rb 因為 R 是一個 PID, 所以有一元素 d 使得 (a, b) = (d) (i) a (a, b) = (d) = d a 且 a (a, b) = (d) = d b, (ii) d a 且 d b = (a) (d ) 且 (b) (d ) = (d) = (a, b) (d ) = d d 故得證 d 為 a 與 b 的一個最大公因子定義. 我們說 R 中兩個元素 a 與 b 是互質的 ; 若其僅有的公因子是可逆元素換句話說, (a, b) = R 推論 1. 若 R 為一 PID 且 p 是不可約的 (irreducible), 則 p 是質元素 (prime element) 證明. 假設 p ab 上述定理允許我們考慮 a 與 p 的最大公因子因 p 是不可約的, 故僅有的因子為可逆元素或 p 的夥伴 ; 所以有 (a, p) = R 或 (a, p) = (p) 兩種情況需要討論 (i) (a, p) = (p) : 顯而易見 (a) (a, p) = (p) = p a (ii) (a, p) = R : 此種情況我們得到 (ab, pb) = (b) 假設告訴我們 p ab ab (p) 且 pb (p), 因而得知 (b) = (ab, pb) (p) = p b

11 C36N /9/21 18:47 page 34 #11 34 數學傳播 36 卷 3 期民 101 年 9 月所以我們已經證明了 p ab = p a 或 p b, 故得證, p 是質元素問題. 反過來說, 若 p 是質元素, p 是否不可約呢? 換句話說, 推論 1 的逆敘述是否成立? 為了回答這個問題, 我們得看看 : 當 p 是質元素的時候, 元素 p 有那些因子呢? 假設 a 是 p 的一個因子, 那麼就存在 b 使得 p = ab; 因此 p ab, 但 p 是質元素導致 p a 或 p b (i) p a : (ii) p b : 假設是 a p, 故得知 a 是 p 的夥伴存在 c 使得 b = pc 但 p = ab, 故得因而 a 為可逆元素 p = ab = a(pc) = p(ac) = p(ac 1) = 0 R 是整域 === ac = 1 ; 所以我們已經證明了, p 的因子裡頭 ; 不是 p 的夥伴, 就是可逆元素故得證, p 是不可約的 (irreducible) 因此, 在一個擁有乘法單位元素 1 的 PID 裡頭 ; 不可約元素跟質元素這兩個觀念是合而為一不分彼此的我們把這個性質稱為 PID 的基本性質, 敘述如下 PID 的基本性質. 若 R 為一擁有乘法單位元素 1 的 PID, 則 p 是不可約 (irreducible) 元素 p 是質 (prime) 元素接著, 我們要逐步預備好證明 PID 版本的算術基本定理首先當然得處理存在性的部分, 這一次良序原理或數學歸納法原理根本使不上力 ; 因為一個擁有乘法單位元素 1 的 PID 跟自然數或非負整數根本扯不上任何的關係你若要將一個元素分解再分解, 直到不能再分解為止 ; 問題在這分解的過程是不是停得下來呢? 如果停不下來的話, 那麼連不可約元素存在與否都是個問題 ; 因為前面定義過的不可約元素就是那不能再分解的元素職是之故, 我們得回頭看看 ; 整數環與多項式環那邊, 分解因數 ( 式 ) 的時候是怎麼個停下來的呢? 在整數那邊, 分解之後的數變小了 ; 這大小指的是絕對值的大小, 分解一次就降一次 ; 頂多降到 1 就必須停止在多項式那邊, 分解之後多項式的次數變小了 ; 頂多降到 0 就必須停止整

12 C36N /9/21 18:47 page 35 #12 抽象代數真的抽象嗎? ( 下 ) 35 數裡頭絕對值是 1 的就只有 ±1, 而多項式裡頭次數是 0 的就是非零常數多項式 ; 這些元素分別是整數及多項式裡頭的可逆元素所以, 在這兩個環裡頭的元素 ; 都有大小的觀念, 可供分解的依據 ; 降到最小就是可逆元素, 最小之前的那個元素當然就有可能是不可約元素然而, 我們現在工作的場所僅僅是一個擁有乘法單位元素 1 的 PID 而已, 當然就沒那麼美那麼帥囉這可怎麼辦呢? 一方面我們當然要善用 PID 特有的代數結構, 每一個理想子環都是一個主理想子環 ; 亦即, 每一個理想子環都是其中某一個元素的倍數另一方面, 你可還記得嗎? 前面將兩個元素之間的整除關係轉化成兩個主理想子環之間的包含關係 ; 亦即, a b (b) (a) 因此之故, 整除性就跟 PID 特有的代數結構掛上勾了而主理想子環之間的包含關係就變成其生成元素之間的大小關係, 主理想子環愈大其生成元素愈小因此, 分解到最後的那個最小元素 ; 當然就是一個可逆元素, 而此時其對應的主理想子環就是你所看到的這個 PID 本身現在, 我們要證明在一個擁有乘法單位元素 1 的 PID 中 ; 非零不可逆元素都是不可約元素的乘積這個證明可分成兩個步驟 : (i) 首先證明每一個非零不可逆元素 a 都存在有不可約的因子, (ii) 然後再證明 a 就是這些不可約因子的乘積這兩個步驟當中, 我們都會用到底下的停下來原理因為停下來, 所以不可約因子存在 ; 因為停下來, 所以乘積中只包含有限多個不可約的因子真是妙不可言! 停下來原理. 令 R 為一擁有乘法單位元素 1 的 PID 且令 (a 1 ) (a 2 ) (a 3 ) 為一向上攀升的主理想鏈則存在一正整數 n 使得 (a n ) = (a n+m ) m = 0, 1, 2, 換句話說, 此鏈在有限步之後就停下來證明. 令 I = I = (a) 但 (a i ) 顯而易見, I 是主理想域 R 中的一個理想故存在 a R 使得 i=1 a (a i ) = a (a n ) 對某一個 n, i=1

13 C36N /9/21 18:47 page 36 #13 36 數學傳播 36 卷 3 期民 101 年 9 月因此我們有 I = (a) (a n ) ; 又 (a n ) (a i ) = I, 故得證 i=1 I = (a n ) = (a n+1 ) = 引理 1. 令 R 為一擁有乘法單位元素 1 的 PID 則每一個非零不可逆元素都是不可約元素的乘積證明. 令 a R 為非零不可逆元素 (i) 首先證明 a 存在有不可約的因子若 a 是不可約的, 則得證 ; 否則 a = a 1 b 1, 其中 a 1 及 b 1 皆為不可逆元素若 a 1 是不可約的, 則得證 ; 否則 a 1 = a 2 b 2, 其中 a 2 及 b 2 皆為不可逆元素若 a 2 是不可約的, 則得證 ; 否則繼續如上之論證顯而易見, 我們有 (a) (a 1 ) (a 2 ) 停下來原理告訴我們, 此鏈必斷故存在某個 n, a n 是不可約的 (ii) 其次證明 a 是不可約元素的乘積若 a 是不可約的, 則得證 ; 否則令 p 1 為其不可約之因子, 因此 a = p 1 c 1 若 c 1 是可逆元素, 則得證 ; 否則令 p 2 為其不可約之因子, 因此 a = p 1 p 2 c 2 若 c 2 是可逆元素, 則得證 ; 否則繼續如上之論證顯而易見, 我們有 (a) (c 1 ) (c 2 ) 停下來原理告訴我們, 此鏈必斷故存在某個 n, c n 是可逆元素且 a = p 1 p 2 p n c n ; p n c n, 是不可約的, 故得證又再來, 我們定義非零元素 a 在不可約元素 p 的階數為下面引理 2 中的那個唯一的正整數 n, 以符號 ord p a 表示之引理 2. 令 R 為一擁有乘法單位元素 1 的 PID 且令 p R 為不可約元素及 a 0 則存在一正整數 n 使得 p n a 但 p n+1 a 證明. 若否, 則對每一個正整數 m 就存在一元素 b m R 使得 a = p m b m 因此 pb m+1 = b m 顯而易見, 我們有無限向上攀升的主理想鏈 (b 1 ) (b 2 ) (b 3 ) ;

14 C36N /9/21 18:47 page 37 #14 抽象代數真的抽象嗎? ( 下 ) 37 這與停下來原理背道而馳, 故得證引理 3. 若 p R 是一個質 (= 不可約 ) 元素且 a, b R 為非零二元素則 ord p ab = ord p a + ord p b 證明. 令 α = ord p a 且令 β = ord p b 則 a = p α a 且 b = p β b ; 其中 p a 且 p b 因此我們有 ab = p α+β a b, 其中 p a b ( 質元素定義 ) ; 所以 ord p ab = α + β, 故得證至此, 準備工作幾近完成 ; 底下先敘述唯一分解性, 然後證明之令 S 為 R 中具備下列二性質的質元素集 : (i) 每一個 R 中的質元素跟 S 中某個質元素是夥伴 (ii) S 中任意兩個質元素都不是夥伴想要得到這樣子的質元素集, 簡單至極 ; 僅需從每一個夥伴類中選取一個質元素, 即可組成這選擇的自由度當然非常大, 但在整數環及多項式環卻有著極其自然的選擇法在整數環中, 我們選的是正質數 ; 而多項式環中, 我們則選首一質多項式算術基本定理 (PID 版本 ). 令 R 為一擁有乘法單位元素 1 的 PID 且令 S 為如上選取的質元素集則任何非零元素 a 存在一質元素分解式 a = u p p e(p), 此處 u 為可逆元素, 而乘積中的 p 是對所有 S 中質元素 ; 可逆元素 u 以及次冪 e(p) 由 a 所唯一決定實際上, 我們有 e(p) = ord p a 證明. 引理 1 已經證明, 任何非零元素 a 存在一質元素分解式 a = u p p e(p)

15 C36N /9/21 18:47 page 38 #15 38 數學傳播 36 卷 3 期民 101 年 9 月兩邊同時取 ord q, 並使用引理 3; 我們有 ord q a = ord q (u) + p e(p)ord q (p) (2) 故得證根據 ord q 之定義, 我們有 ord q (u) = 0 且 ord q (p) = { 1 若 p = q 0 若 p q 所以實際上, (2) 式的右側僅剩單一的一項 e(q) 沒有陣亡 ; 我們有 ord q a = e(q), 7. 另一個唯一分解性之應用凡具備有算術基本定理之性質的整域就稱之為唯一分解整域 (Unique Factorization Domain 縮寫 UFD) 早在歐基里德的年代就隱約知道, 整數環是一個 UFD 的事實 ; 但第一個將此結果清楚明白的寫下來, 似乎得等到高斯的著作算術研究 17 中才出現上面我們已經證明了每一個 PID 都是一個 UFD; 反之則否在例題 1 及例題 2 中, 我們證明了二次數體 (quadratic number fields) Q( 1) 及 Q( 2) 所對應的整數環 (rings of integers) Z[ 1] 及 Z[ 2] 都是 UFD 值的一提的是, 在 1966 年史達克 (Stark, H.M.) 完成了一個數論中懸宕未解決的問題 ; 他證明了二次數體 Q( d), 其中 d < 0 所對應的整數環是一個 UFD 只有當時, 而且再也沒有其他的值了 d = 1, 2, 3, 7, 11,, 19, 43, 67, 及 163 在第一二節, 我們已經看過了兩個簡單的應用 ; 分別用到了整數環以及 (Z[ 2], +, ) 是 UFD 的事實底下我們一起來看看另一個唯一分解性的應用 ; 包括用來證明有無限多個質數質多項式 17 算術研究 (Disquisitiones Arithmeticae) 是德國數學家卡爾弗里德里希高斯於 1798 年寫成的一本數論教材, 在 1801 年他 24 歲時首次出版全書用拉丁文寫成在這本書中高斯整理彙集了費馬歐拉拉格朗日和勒讓德等數學家在數論方面的研究結果, 並加入了許多他自己的重要成果

16 C36N /9/21 18:47 page 39 #16 質數無限定理 ( 歐幾里德 ). 在整數環 Z 中, 存在有無限多個質數抽象代數真的抽象嗎? ( 下 ) 39 證明. 若否, 則僅存在有限多個正質數 ; 說是 p 1, p 2, p 3,, p n 考慮整數 N = p 1 p 2 p 3 p n + 1 顯而易見, N > 1; 根據唯一分解性, N 可寫成 N = p a 1 1 p a 2 2 p a 3 3 p a n n 然而, p i N i = 1, 2, 3,, n; 我們有 a i = ord pi N = 0 i = 1, 2, 3,, n, 因此 N = p 0 1 p 0 2 p 0 3 p 0 n = 1 與 N > 1 矛盾, 故得證在多項式環 k[x] 中, 若 k 為無限體 ; 那麼 x a ( a k) 都是質多項式, 因此 k[x] 當然擁有無限多個不互為夥伴的質多項式如果 k 為有限體 ; 那麼歐幾里德的論證就得出場行禮如儀, 如此這般地證明 k[x] 擁有無限多個質多項式與此相對且值得一提的另一個極端是 ; 有的環僅擁有一個質元素, 茲舉例如下令 p Z 為一質數且令 { a } Z (p) = b a, b Z, p b 則利用 p 之質性, 不難看出 Z (p) 形成一個環這個環僅擁有一個質元素, 那就是 p; 為什麼呢? 只要看看這裡頭的可逆元素長的模樣, 就可了然於心請看! a (i) 假設 b Z c (p) 是一個可逆元素, 那麼就存在 d Z a (p) 使得 b c d = 1 所以 ac = bd, 因而得到 p a; 這是因為 p b 以及 p d, 再加上 p 之質性所致 a (ii) 反過來, 若 b Z (p) 且 p a; 那麼我們馬上有個可逆元素 b a Z (p) 且所以 Z (p) 的可逆元素集就是 { a } Z (p) = b a, b Z, p a 且 p b 參考文獻 a b b a = 1, 故得證 a b 是一

17 C36N /9/21 18:47 page 40 #17 40 數學傳播 36 卷 3 期民 101 年 9 月 1. Agrawal, Manindra/Kayal, Neeraj/Saxena, Nitin: PRIMES is in P, Annals of Math 160 (2004), Apostol, Tom M.: Introduction to Analytic Number Theory, UTM, Springer-Verlag, New York, First Edition, 1976, Corr. Fifth Printing, Hardy, G./ Wright E.: An Introduction to the Theory of Numbers, Fifth edition, Oxford University Press, Hardy, G.H.: A Course of Pure Mathematics, Cambridge Mathematical Library, 1993 (First published in 1908). 5. Hardy, G.H.: A Mathematician s Apology, Cambridge University Press, London, 摘要見網頁 6. Ireland, Kenneth F./Rosen, Michael I.: A Classical Introduction to Modern Number Theory, Volume 84 of Graduate Texts in Mathematics, Springer-Verlag, New York, Second Edition, 1990, Corr. Fifth Printing, 質數網頁 8. 沈淵源 : 密碼學之旅全華圖書有限公司, 本文作者任教私立東海大學數學系

0 0 = 1 0 = 0 1 = = 1 1 = 0 0 = 1

0 0 = 1 0 = 0 1 = = 1 1 = 0 0 = 1 0 0 = 1 0 = 0 1 = 0 1 1 = 1 1 = 0 0 = 1 : = {0, 1} : 3 (,, ) = + (,, ) = + + (, ) = + (,,, ) = ( + )( + ) + ( + )( + ) + = + = = + + = + = ( + ) + = + ( + ) () = () ( + ) = + + = ( + )( + ) + = = + 0