體擴張
![本頁使用了標題或全文手工轉換](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
體擴張(英語:Field extensions)是數學分支抽象代數之體論中的主要研究物件,基本想法是從一個基體開始以某種方式構造包含它的「更大」的體。體擴張可以推廣為環擴張。
定義
[編輯]設K和L是兩個體。如果存在從K到L的體同態ι,則稱(L,ι)是K的一個體擴張,記作L/K或K⊆L、K⊂L[1]:9。K稱為體擴張的基體,L稱為K的擴張體[2]:2。如果某個體F既是K的擴張體,又是L的子體,則稱體擴張F/K是體擴張L/K的子擴張,稱F(體擴張L/K的)中間體。
體擴張的記法L/K只是形式上的標記,不表示存在任何商環或商群等代數結構。有些文獻中也會將體擴張記為L:K。
另外,因為ι是體同態,所以ι是單射[3]。由於K是體,所以ι(K)是一個L的同構於K的子體。很多時候也直接省略ι,直接將K視為L的一個子體[1]:9。為了記敘方便,下文中將依情況使用這種省略方式[N 1]。
設有體擴張L/K,給定一個由L中不屬於ι(K)的元素組成的集合S,考慮L中所有同時包含ι(K)和S的子體,其中有一個「最小的」[N 2],稱為「在K中添加(集合)S生成的擴張體」,記作K(S)。它是所有同時包含ι(K)和S的體的子體[2]:4-5。如果集合S只有一個元素a,則稱體擴張K(S)/K為單擴張,對應的擴張體一般簡記作K(a)。a稱為這個體擴張的本原元。
每個體擴張中,擴張體可以看作是以基體為系數體的向量空間。設有體擴張L/K,將L中元素看作向量,K中元素看作系數,可以定義L中的體加法運算作為向量的加法運算,同時可以定義K中元素作為系數與L中元素的數乘運算。可以驗證,在這樣定義下,L是一個K-向量空間[1]:9[2]:2。它的維數稱為體擴張的次數或度數,一般記作[L:K][1]:9[2]:2。次數為1的擴張,擴張體和基體同構,稱為平凡擴張。次數有限的體擴張稱為有限擴張,否則稱為無限擴張[1]:9[2]:2。
例子
[編輯]複數體是實數體的擴張體,而則是有理數體的擴張體。這樣,顯然也是一個體擴張。實數到複數的體擴張次數:。因為可以看作是以為基的實向量空間。故擴張是有限擴張[1]:10。,所以這個擴張是單擴張。
集合是在中添加生成的擴張體,顯然也是一個單擴張。它的次數是2,因為可作為一個基。的有限擴張也稱為代數數體,在代數數論有重要地位[2]:2。
有理數的另一個擴張體是關於一個質數p的p進數體。它與類似,是有理數體完備化得到的數體。但由於使用的拓撲不同,所以與有着截然不同的性質。
對任何的質數p和正整數n,都存在一個元素個數為pn的有限體,記作GF(pn)。它是有限體GF(p)(即)的擴張體。
給定體K和以K中元素為系數的K-不可約多項式P[N 3],P為K上的多項式環K[X]的元素。P生成的理想是極大理想,因此K[X]/P是體,而且是K的擴張體。其中不定元X是多項式P的根。
給定體K,考慮所有以K中元素為系數的有理函數,即可以表示為兩個以K中元素為系數的多項式P、Q之比:P/Q的函數。它們構成一個體,記作K(X),是多項式環K[X]的分式體。它是體K的擴張體,次數為無限大[1]:10。
基本性質
[編輯]設有體擴張L/K,則擴張體L與K有相同的加法和乘法單位元。加法群 (K, +) 是 (L,+) 的一個子群,乘法群 (K×, ·) 是 (L×, ·) 的一個子群。因此,L與K有相同的特徵。
設有體擴張L/K及某個中間體F,則體擴張F/K和L/F的次數乘積等於L/K的次數[1]:10[2]:9:
代數元與超越元
[編輯]給定體擴張L/K,如果L中一個元素a是某個以K中元素為系數的(非零)多項式(以下簡稱為K-多項式)的根,則稱a是K上的一個代數元,否則稱其為超越元[1]:10。如果L中每個元素都是K上的代數元,就稱體擴張L/K為代數擴張,否則稱其為超越擴張[1]:11。例如和都是上的代數元,而e與π都是上的超越元[1]:11。上的代數元和超越元分別叫做代數數與超越數。
每個有限擴張都是代數擴張,反之則不然[2]:10-11。超越擴張必然是無限擴張。給定體擴張L/K,如果L中元素要麼屬於K,要麼是K上的超越元,則稱L是K的純超越擴張。一個單擴張如果由添加代數元生成則是有限擴張,如果由添加超越元生成則是純超越擴張。
極小多項式
[編輯]給定體擴張L/K,如果L中一個元素a是K上的代數元,那麼在所有使得f(a) = 0的首一K-多項式f中,存在一個次數最小的,稱為a在K上的極小多項式,記為πa[1]:11-12。設πa為n次多項式,則中間體K(a)等於所有以a為不定元的K-多項式的集合。更具體地說,等於所有以a為不定元的、次數嚴格小於n的K-多項式的集合:K(a) = K[a] = Kn-1[a]。這說明K(a)中任何元素b都可以寫成的形式。其中是n個K中元素。由於πa是極小多項式,所以可推出:是中間體K(a)作為K-向量空間的基。擴張K(a)/K的次數是[K(a) : K] = n.
可分裂體與代數閉包
[編輯]分裂體是將某個多項式的根全部添加到其系數體中生成的體擴張,將多項式轉化為體擴張進行研究。給定體擴張L/K,稱一個K-多項式f在L中可分裂,如果f可以寫成:
的形式,即f的每個根都是L中的元素[2]:27-28。如果f在L中可分裂,但不在L的任何一個包含K的真子體中可分裂(也就是說L是令f在其中可分裂的「最小」的體擴張),就稱L是f在K上的可分裂體[2]:28。
給定體K,如果所有K-多項式在K都可分裂,則稱K為代數閉體[2]:30。給定代數擴張L/K,如果L是代數閉體,則稱其為K的代數閉包,一般記作Kalg[2]:31。給定K,則它所有的代數閉包都是K-同構的[N 4][2]:35。
體擴張的自同構群
[編輯]除了將擴張體看作基體上的向量空間外,另一個研究體擴張的角度是考察體擴張的自同構群。給定體擴張L/K,L上的一個自同構σ被稱為K-自同構,當且僅當σ限制在K上的部分是平凡的(即為恆等映射)[2]:15-16:
所有的K-自同構組成一個群,稱為體擴張的自同構群,記作Aut(L/K)。這些自同構描繪了K「以外」的元素可以怎樣相互轉換而保持體L的體結構不變[2]:15-16。
正規、可分與伽羅瓦擴張
[編輯]伽羅瓦擴張是伽羅瓦理論中的基礎概念。有限的伽羅瓦擴張滿足伽羅瓦理論基本定理,在此擴張的伽羅瓦群的子群與其中間體之間建立了一一對應的關係,從而給出了中間體的清晰描述。
一般定義伽羅瓦擴張是正規且可分的體擴張[2]:42。一個體擴張L/K稱為正規擴張,如果對任何一個以K中元素為系數的不可約多項式P,只要它有一個根在L中,則它的所有根都在L中,也就是說可以分解為L上一次因式的乘積[2]:36。正規擴張也叫做准伽羅瓦擴張,它與伽羅瓦擴張的差別是伽羅瓦擴張還是可分擴張。一個代數擴張L/K稱為可分擴張,如果L中每個元素在K上的極小多項式是可分的,即(在 K的一個代數閉包中)沒有重根[2]:42。從以上正規擴張和可分擴張的定義中可以推出:一個體擴張L/K是伽羅瓦擴張,當且僅當它是某個以K中元素為系數的可分多項式的分裂體[2]:42。
伽羅瓦擴張的自同構群稱為其伽羅瓦群,記作Gal(L/K)。它的階數(群中元素個數)等於伽羅瓦擴張的次數:[L:K]= | Gal(L/K) |。伽羅瓦理論基本定理說明,當伽羅瓦擴張是有限擴張的時候,給定Gal(L/K)的任一個子群H,唯一存在一個中間體K⊂LH⊂L與之對應,這個體LH恰好是L中對所有的H中的自同構固定的元素的集合[2]:51:
這種對應關係被稱作伽羅瓦對應。給定Gal(L/K)的子群H,LH被稱為H的對應體。伽羅瓦對應建立了特定條件下體擴張與群論之間轉化的紐帶,通過研究特定群的結構,可以給出體擴張的仔細刻畫。
相關條目
[編輯]註釋
[編輯]參考來源
[編輯]- ^ 1.00 1.01 1.02 1.03 1.04 1.05 1.06 1.07 1.08 1.09 1.10 1.11 Antoine Chambert-Loir. A Field Guide to Algebra. Springer(插圖版). 2005. ISBN 9780387214283 (英語).
- ^ 2.00 2.01 2.02 2.03 2.04 2.05 2.06 2.07 2.08 2.09 2.10 2.11 2.12 2.13 2.14 2.15 2.16 2.17 2.18 2.19 Patrick Morandi. Fields and Galois Theory. Springer(插圖版). 1996. ISBN 9780387947532 (英語).
- ^ Francis Borceux, George Janelidze. Galois Theories. Cambridge University Press(插圖版, 再版). 2001: Preface: x. ISBN 9780521803090 (英語).
|