體擴張

「子域」重新導向至此。關於域名系統中的子域，請見「子域名」。

體擴張（英語：Field extensions）是數學分支抽象代數之體論中的主要研究物件，基本想法是從一個基體開始以某種方式構造包含它的「更大」的體。體擴張可以推廣為環擴張。

定義

設K和L是兩個體。如果存在從K到L的體同態ι，則稱(L,ι)是K的一個體擴張，記作L/K或K⊆L、K⊂L。K稱為體擴張的基體，L稱為K的擴張體。如果某個體F既是K的擴張體，又是L的子體，則稱體擴張F/K是體擴張L/K的子擴張，稱F（體擴張L/K的）中間體。

體擴張的記法L/K只是形式上的標記，不表示存在任何商環或商群等代數結構。有些文獻中也會將體擴張記為L:K。

另外，因為ι是體同態，所以ι是單射。由於K是體，所以ι(K)是一個L的同構於K的子體。很多時候也直接省略ι，直接將K視為L的一個子體。為了記敘方便，下文中將依情況使用這種省略方式。

設有體擴張L/K，給定一個由L中不屬於ι(K)的元素組成的集合S，考慮L中所有同時包含ι(K)和S的子體，其中有一個「最小的」，稱為「在K中添加（集合）S生成的擴張體」，記作K(S)。它是所有同時包含ι(K)和S的體的子體。如果集合S只有一個元素a，則稱體擴張K(S)/K為單擴張，對應的擴張體一般簡記作K(a)。a稱為這個體擴張的本原元。

每個體擴張中，擴張體可以看作是以基體為係數體的向量空間。設有體擴張L/K，將L中元素看作向量，K中元素看作係數，可以定義L中的體加法運算作為向量的加法運算，同時可以定義K中元素作為係數與L中元素的數乘運算。可以驗證，在這樣定義下，L是一個K-向量空間。它的維數稱為體擴張的次數或度數，一般記作[L:K]。次數為1的擴張，擴張體和基體同構，稱為平凡擴張。次數有限的體擴張稱為有限擴張，否則稱為無限擴張。

例子

複數體$\mathbb {C}$是實數體$\mathbb {R}$的擴張體，而$\mathbb {R}$則是有理數體$\mathbb {Q}$的擴張體。這樣，顯然$\mathbb {C} {\big /}\mathbb {R}$也是一個體擴張。實數到複數的體擴張次數：$[\mathbb {C} :\mathbb {R} ]=2$。因為$\mathbb {C}$可以看作是以$\{1,i\}$為基的實向量空間。故擴張$\mathbb {C} {\big /}\mathbb {R}$是有限擴張。$\mathbb {C} =\mathbb {R} (i)$，所以這個擴張是單擴張。

集合$\mathbb {Q} ({\sqrt {2}})=\{a+b{\sqrt {2}};\;a,b,\in \mathbb {Q} \}$是在$\mathbb {Q}$中添加${\sqrt {2}}$生成的擴張體，顯然也是一個單擴張。它的次數是2，因為$\{1,{\sqrt {2}}\}$可作為一個基。$\mathbb {Q}$的有限擴張也稱為代數數體，在代數數論有重要地位。

有理數的另一個擴張體是關於一個質數p的p進數體$\mathbb {Q} _{p}$。它與$\mathbb {R}$類似，是有理數體完備化得到的數體。但由於使用的拓撲不同，所以與$\mathbb {R}$有著截然不同的性質。

對任何的質數p和正整數n，都存在一個元素個數為pⁿ的有限體，記作GF(pⁿ)。它是有限體GF(p)（即$\mathbb {Z} {\big /}p\mathbb {Z}$）的擴張體。

給定體K和以K中元素為係數的K-不可約多項式P，P為K上的多項式環K[X]的元素。P生成的理想是極大理想，因此K[X]/P是體，而且是K的擴張體。其中不定元X是多項式P的根。

給定體K，考慮所有以K中元素為係數的有理函數，即可以表示為兩個以K中元素為係數的多項式P、Q之比：P/Q的函數。它們構成一個體，記作K(X)，是多項式環K[X]的分式體。它是體K的擴張體，次數為無限大。

基本性質

設有體擴張L/K，則擴張體L與K有相同的加法和乘法單位元素。加法群 (K, +) 是 (L,+) 的一個子群，乘法群 (K^×, ·) 是 (L^×, ·) 的一個子群。因此，L與K有相同的特徵。

設有體擴張L/K及某個中間體F，則體擴張F/K和L/F的次數乘積等於L/K的次數：

$[L:K]=[L:F]\cdot [F:K].$

代數元與超越元

主條目：代數擴張

給定體擴張L/K，如果L中一個元素a是某個以K中元素為係數的（非零）多項式（以下簡稱為K-多項式）的根，則稱a是K上的一個代數元，否則稱其為超越元。如果L中每個元素都是K上的代數元，就稱體擴張L/K為代數擴張，否則稱其為超越擴張。例如${\sqrt {2}}$和$i$都是$\mathbb {Q}$上的代數元，而e與π都是$\mathbb {Q}$上的超越元。$\mathbb {Q}$上的代數元和超越元分別叫做代數數與超越數。

每個有限擴張都是代數擴張，反之則不然。超越擴張必然是無限擴張。給定體擴張L/K，如果L中元素要麼屬於K，要麼是K上的超越元，則稱L是K的純超越擴張。一個單擴張如果由添加代數元生成則是有限擴張，如果由添加超越元生成則是純超越擴張。

極小多項式

主條目：極小多項式

給定體擴張L/K，如果L中一個元素a是K上的代數元，那麼在所有使得f(a) = 0的首一K-多項式f中，存在一個次數最小的，稱為a在K上的極小多項式，記為π_a。設π_a為n次多項式，則中間體K(a)等於所有以a為不定元的K-多項式的集合。更具體地說，等於所有以a為不定元的、次數嚴格小於n的K-多項式的集合：K(a) = K[a] = K_n-1[a]。這說明K(a)中任何元素b都可以寫成$b=\lambda _{1}+\lambda _{2}a+\cdots +\lambda _{n}a^{n-1}$的形式。其中$(\lambda _{1},\lambda _{2},\cdots ,\lambda _{n})$是n個K中元素。由於π_a是極小多項式，所以可推出：$\{1,a,\cdots ,a^{n-1}\}$是中間體K(a)作為K-向量空間的基。擴張K(a)/K的次數是[K(a) : K] = n.

可分裂體與代數閉包

主條目：可分裂體和代數閉體

分裂體是將某個多項式的根全部添加到其係數體中生成的體擴張，將多項式轉化為體擴張進行研究。給定體擴張L/K，稱一個K-多項式f在L中可分裂，如果f可以寫成：

$f=\kappa (X-\alpha _{1})(X-\alpha _{2})\cdots (X-\alpha _{k}),\;\kappa \in K,\;\alpha _{1},\alpha _{2},\cdots ,\alpha _{k}\in L$

的形式，即f的每個根都是L中的元素。如果f在L中可分裂，但不在L的任何一個包含K的真子體中可分裂（也就是說L是令f在其中可分裂的「最小」的體擴張），就稱L是f在K上的可分裂體。

給定體K，如果所有K-多項式在K都可分裂，則稱K為代數閉體。給定代數擴張L/K，如果L是代數閉體，則稱其為K的代數閉包，一般記作K^alg。給定K，則它所有的代數閉包都是K-同構的。

體擴張的自同構群

除了將擴張體看作基體上的向量空間外，另一個研究體擴張的角度是考察體擴張的自同構群。給定體擴張L/K，L上的一個自同構σ被稱為K-自同構，若且唯若σ限制在K上的部分是平凡的（即為恆等映射）：

$\forall x\in K,\;\sigma (x)=x.$

所有的K-自同構組成一個群，稱為體擴張的自同構群，記作Aut(L/K)。這些自同構描繪了K「以外」的元素可以怎樣相互轉換而保持體L的體結構不變。

正規、可分與伽羅瓦擴張

主條目：正規擴張和伽羅瓦擴張

伽羅瓦擴張是伽羅瓦理論中的基礎概念。有限的伽羅瓦擴張滿足伽羅瓦理論基本定理，在此擴張的伽羅瓦群的子群與其中間體之間建立了一一對應的關係，從而給出了中間體的清晰描述。

一般定義伽羅瓦擴張是正規且可分的體擴張。一個體擴張L/K稱為正規擴張，如果對任何一個以K中元素為係數的不可約多項式P，只要它有一個根在L中，則它的所有根都在L中，也就是說可以分解為L上一次因式的乘積。正規擴張也叫做准伽羅瓦擴張，它與伽羅瓦擴張的差別是伽羅瓦擴張還是可分擴張。一個代數擴張L/K稱為可分擴張，如果L中每個元素在K上的極小多項式是可分的，即（在 K的一個代數閉包中）沒有重根。從以上正規擴張和可分擴張的定義中可以推出：一個體擴張L/K是伽羅瓦擴張，若且唯若它是某個以K中元素為係數的可分多項式的分裂體。

伽羅瓦擴張的自同構群稱為其伽羅瓦群，記作Gal(L/K)。它的階數（群中元素個數）等於伽羅瓦擴張的次數：[L:K]= | Gal(L/K) |。伽羅瓦理論基本定理說明，當伽羅瓦擴張是有限擴張的時候，給定Gal(L/K)的任一個子群H，唯一存在一個中間體K⊂L^H⊂L與之對應，這個體L^H恰好是L中對所有的H中的自同構固定的元素的集合：

$L^{H}=\{x;\;\forall \sigma \in H,\;\sigma (x)=x\}$

這種對應關係被稱作伽羅瓦對應。給定Gal(L/K)的子群H，L^H被稱為H的對應體。伽羅瓦對應建立了特定條件下體擴張與群論之間轉化的紐帶，通過研究特定群的結構，可以給出體擴張的仔細刻畫。

相關條目

• 體論
• 代數擴張