域 (數學)

在抽象代數中，體（德語：Körper，英語：field）是一種具有加法跟乘法的集合（代數結構），且其加法跟乘法運算就如同普通的有理數還有實數。事實上，體正是數體以及四則運算的推廣，所以被廣泛運用在代數、數論等數學領域中。

「域」的各地常用名稱
中國大陸	域
臺灣	體[1]

體是環的一種。但區別在於域要求它的非零元素可以做除法，且體的乘法有交換律。

最有名的體結構的例子就是有理數體、實數體還有複數體。還有其他形式的體，例如有理函數體、代數函數體、代數數體、p進數體等，都很常在數學的領域中被使用或是研究，特別是數論或是代數幾何。此外還有一些密碼學上的安全協定都是依靠著有限體。

在兩個體中的關係被表示成體擴張的觀念。Galois理論，由ÉvaristeGalois在1830年代提出，致力於理解體擴展的對稱性。其中Galois理論還有其他結果，解決了不能用尺規作圖做出三等份角以及化方為圓的問題。此外，還解決了五次方程式不能有公式解的問題。

正式定義

給定集合 ${\displaystyle K}$ ，它具有了以下兩種二元運算：

• ${\displaystyle +:K\times K\to K}$ （其中 ${\displaystyle +(a,\,b)}$ 慣例上簡記為 ${\displaystyle a+b}$ ）
• ${\displaystyle \times :K\times K\to K}$ （其中 ${\displaystyle \times (a,\,b)}$ 慣例上簡記為 ${\displaystyle a\times b}$ 或 ${\displaystyle a\cdot b}$ 甚至是 ${\displaystyle ab}$ ）

滿足：

1. ${\displaystyle \left(K,\,+\right)}$ 為交換群，且其單位元素為 ${\displaystyle 0_{K}}$ 。
2. ${\displaystyle \left(K-\{0_{K}\},\,\times \right)}$ 為交換群。
3. 分配律：對所有 ${\displaystyle a,\,b,\,c\in K}$，${\displaystyle a\times (b+c)=a\times b+a\times c}$ 且 ${\displaystyle (b+c)\times a=b\times a+c\times a}$。

那稱「 ${\displaystyle \left(K,\,+,\,\times \right)}$ 為體」，當二元運算的符號不重要時，亦可將 ${\displaystyle \left(K,\,+,\,\times \right)}$ 簡記為 ${\displaystyle K}$ 。

慣用符號與稱呼

(1)體的代號：

有時會基於德語 Körper ，以字母 ${\displaystyle K}$ 代稱體，但也會基於英語 Field 以 ${\displaystyle F}$ 代稱。

(2)加法與乘法：

習慣上，${\displaystyle \times }$ 被稱為乘法， ${\displaystyle \left(K-\{0_{K}\},\,\times \right)}$ 的單位元素會記為 ${\displaystyle 1_{K}}$ ，並稱為 ${\displaystyle \left(K,\,+,\,\times \right)}$ 的乘法單位元素。

類似地， ${\displaystyle +}$ 被稱為加法， ${\displaystyle 0_{K}}$ 被稱為體的加法單位元素。所以在省略括弧後，仍依照先乘後加的方式閱讀。

(3)減法與除法：

對於任意 ${\displaystyle a,\,b\in K}$ ，會依據群的習慣，將 ${\displaystyle a}$ 的加法反元素記做 ${\displaystyle -a}$ ，並將 ${\displaystyle b+(-a)}$ 簡記為 ${\displaystyle b-a}$ ，並可暱稱為減法。

類似地，若 ${\displaystyle a\neq 0_{K}}$ ， ${\displaystyle a}$ 的乘法反元素記做 ${\displaystyle {\frac {1}{a}}}$ ，並將 ${\displaystyle b\times {\frac {1}{a}}}$ 簡記為 ${\displaystyle {\frac {b}{a}}}$ ，並可暱稱為除法。

基本性質

定理 （1） — ${\displaystyle \left(K,\,+,\,\times \right)}$ 為體，那對任意 ${\displaystyle a\in K}$ 有

${\displaystyle 0_{k}\times a=a\times 0_{K}=0_{K}}$

證明

根據分配律和加法單位元素的性質會有

${\displaystyle a\times 0_{k}=a\times (0_{K}+0_{k})=a\times 0_{K}+a\times 0_{K}}$

${\displaystyle 0_{k}\times a=(0_{K}+0_{k})\times a=0_{k}\times a+0_{k}\times a}$

這樣的話，根據加法結合律還有加法單位元素的性質有

${\displaystyle {\begin{aligned}0_{K}&=-(a\times 0_{K})+a\times 0_{K}\\&=-(a\times 0_{K})+(a\times 0_{K}+a\times 0_{K})\\&=[-(a\times 0_{K})+a\times 0_{K}]+a\times 0_{K}\\&=0_{K}+a\times 0_{K}\\&=a\times 0_{K}\end{aligned}}}$

${\displaystyle {\begin{aligned}0_{K}&=-(0_{k}\times a)+0_{k}\times a\\&=-(0_{k}\times a)+(0_{k}\times a+0_{k}\times a)\\&=[-(0_{k}\times a)+0_{k}\times a]+0_{k}\times a\\&=0_{K}+0_{k}\times a\\&=0_{k}\times a\end{aligned}}}$

故得証。${\displaystyle \Box }$

以上的定理也證明了，只要${\displaystyle \left(K,\,+\right)}$ 為交換群且有分配律，就足以決定 ${\displaystyle 0_{K}}$ 相關乘法的值。所以正式定義中把 ${\displaystyle 0_{K}}$ 排除在乘法的交換群之外是不會有問題的。也就是說

系理 （乘法交換律） — ${\displaystyle \left(K,\,+,\,\times \right)}$ 為體，那對任意 ${\displaystyle a,\,b\in K}$ 有

${\displaystyle a\times b=b\times a}$

系理 （乘法結合律） — ${\displaystyle \left(K,\,+,\,\times \right)}$ 為體，那對任意 ${\displaystyle a,\,b,\,c\in K}$ 有

${\displaystyle a\times (b\times c)=(a\times b)\times c}$

定理 （2） — ${\displaystyle \left(K,\,+,\,\times \right)}$ 為體，那對任意 ${\displaystyle a,\,b\in K}$ 有

${\displaystyle -(a\times b)=(-a)\times b=a\times (-b)}$

證明

根據乘法交換律跟分配律有

${\displaystyle {\begin{aligned}(a\times b)+[(-a)\times b]&=(b\times a)+[b\times (-a)]\\&=b\times (a-a)\\&=b\times 0_{K}\end{aligned}}}$

這樣根據定理(1)和加法交換律就有

${\displaystyle (a\times b)+[(-a)\times b]=[(-a)\times b]+(a\times b)=0_{K}}$

所以

${\displaystyle -(a\times b)=[(-a)\times b]}$

再考慮到乘法的交換律有

${\displaystyle -(a\times b)=-(b\times a)=(-b)\times a=a\times (-b)}$

故得証。${\displaystyle \Box }$

定理 （3） — ${\displaystyle \left(K,\,+,\,\times \right)}$ 為體，若 ${\displaystyle a,\,b\in K}$ 且 ${\displaystyle a\neq 0_{K}}$ 和 ${\displaystyle b\neq 0_{K}}$ ，則

${\displaystyle {\frac {1}{a\times b}}={\frac {1}{a}}\times {\frac {1}{b}}}$

證明

根據乘法的結合律和交換律，還有乘法單位元素的性質會有

${\displaystyle {\begin{aligned}\left({\frac {1}{a}}\times {\frac {1}{b}}\right)\times (a\times b)&=\left({\frac {1}{b}}\times {\frac {1}{a}}\right)\times (a\times b)\\&={\frac {1}{b}}\times \left[{\frac {1}{a}}\times (a\times b)\right]\\&={\frac {1}{b}}\times \left[\left({\frac {1}{a}}\times a\right)\times b\right]\\&={\frac {1}{b}}\times (1_{K}\times b)\\&={\frac {1}{b}}\times b\\&=1_{K}\\&=(a\times b)\times ({\frac {1}{a}}\times {\frac {1}{b}})\end{aligned}}}$

故得証。${\displaystyle \Box }$

定理 （4） — ${\displaystyle \left(K,\,+,\,\times \right)}$ 為體，那對任意 ${\displaystyle a,\,b\in K}$ ，若 ${\displaystyle a\times b=0_{K}}$ ， 則 ${\displaystyle a=0_{K}}$ 或 ${\displaystyle b=0_{K}}$。

證明

如果 ${\displaystyle K-\{0_{K}\}=\varnothing }$ ，那對任意 ${\displaystyle a\in K}$ 都有 ${\displaystyle a=0_{K}}$ ，所以以下只考慮 ${\displaystyle K-\{0_{K}\}\neq \varnothing }$ 狀況。

假設存在 ${\displaystyle a,\,b\in K}$ 滿足 ${\displaystyle a\neq 0_{K}}$ 和 ${\displaystyle b\neq 0_{K}}$ ，但同時 ${\displaystyle a\times b=0_{K}}$ ，這樣根據定理(1)和(3)有

${\displaystyle {\begin{aligned}1_{K}&=({\frac {1}{a}}\times {\frac {1}{b}})\times (a\times b)\\&=({\frac {1}{a}}\times {\frac {1}{b}})\times 0_{K}\\&=0_{K}\end{aligned}}}$

這顯然是矛盾的，所以根據反證法和德摩根定理，對所有的 ${\displaystyle a,\,b\in K}$ ，只能「 ${\displaystyle a,\,b}$ 其中一者為 ${\displaystyle 0_{K}}$ 」或「 ${\displaystyle a\times b\neq 0_{K}}$ 」，也就等價於：

「對所有 ${\displaystyle a,\,b\in K}$ ，若 ${\displaystyle a\times b=0_{K}}$ 則 ${\displaystyle a,\,b}$ 其中一者為 ${\displaystyle 0_{K}}$ 。」

故得証。${\displaystyle \Box }$

• 域F中的所有非零元素的集合（一般記作F^×）是一個關於乘法的阿貝爾群。F^×的每個有限子群都是循環群。
• 若存在正整數n使得0 = 1 + 1 + ... + 1（n個1），那麼這樣的n中最小的一個稱為這個域的特徵，特徵要麼是一個質數p，要麼是0（表示這樣的n不存在）。此時${\displaystyle F}$中最小的子體分別是${\displaystyle \mathbb {Q} }$或有限體${\displaystyle \mathbb {F} _{p}}$，稱之為${\displaystyle F}$的素域。
• 一個交換環是域若且唯若它的理想只有自身和零理想。
• 在選擇公理成立的假設下，對每個域F都存在著唯一的一個域G（在同構意義上），G包含F，G是F的代數擴張，並且G代數封閉。G稱作由F確定的代數閉包。在很多情況下上述的同構並不是唯一的，因此又說G是F的一個代數閉包。

例子

• 許多常見的數體都是域。比如說，全體複數的集合${\displaystyle \mathbb {C} }$與其加法和乘法構成一個域。全體有理數的集合${\displaystyle \mathbb {Q} }$ 與其加法和乘法也是一個域，它是${\displaystyle \mathbb {C} }$的子體，並且不包含更小的子體了。
• 代數數體：代數數體是有理數體${\displaystyle \mathbb {Q} }$的有限擴張體，也就是說代數數體是${\displaystyle \mathbb {Q} }$上的有限維向量空間。代數數體都同構於${\displaystyle \mathbb {C} }$的子體，並且這個同構保持${\displaystyle \mathbb {Q} }$不變，即這個同構把每個有理數都映射到它自身。代數數體是代數數論研究的物件。
• 代數數構成的域：所有的代數數的集合對於加法和乘法構成一個域，記作${\displaystyle {\overline {\mathbb {Q} }}}$。${\displaystyle {\overline {\mathbb {Q} }}}$是有理數體${\displaystyle \mathbb {Q} }$的代數閉包（見下）。${\displaystyle {\overline {\mathbb {Q} }}}$是特徵為零的代數封閉的域的一個例子。
• 全體實數的集合${\displaystyle \mathbb {R} }$對於加法和乘法構成一個域。實數體是複數域${\displaystyle \mathbb {C} }$的子體，也是一個有序體。後者使得實數域上能夠建立起微積分理論。
• 所有的實代數數的集合也構成一個域，它是${\displaystyle \mathbb {R} }$的一個子體
• 任意一個有限體的元素個數是一個質數q的乘方，一般記作F_q，就是所謂的伽羅瓦體。任意一個元素個數是質數q的域都同構於Z/pZ = {0, 1, ..., p − 1}。令p = 2,就得到最小的域：F₂。F₂只含有兩個元素0和1，運算法則如下：

${\displaystyle \oplus }$ 0 1 0 0 1 1 1 0

${\displaystyle \land }$ 0 1 0 0 0 1 0 1

• 設E和F是兩個域，E是F的子體，則F是E的 擴張體。設x是F中的一個元素，則存在著一個最小的同時包含E和x的F的子體，記作E (x)，E (x)稱作E在F中關於 x的單擴張。比如說，複數域${\displaystyle \mathbb {C} }$就是實數體${\displaystyle \mathbb {R} }$在${\displaystyle \mathbb {C} }$中關於虛數單位i的單擴張
• 每一個有乘法單位元素的環R都對應著一個包含它的域，稱為它的分式域，記作K(R)。分式域的具體構造方法是定義類似於最簡分數的等價類，再將環「嵌入」其中（詳見分式域）。可以證明，K(R)是包含R的「最小」的域。
• 設F是一個域，定義F (X)是所有以F中元素為係數的分式的集合，則F (X)是F的一個擴張體。F (X)是F上的一個無窮維的向量空間，這是域的超越擴張的一個例子。
• 設F是一個域，p(X)是多項式環F[X]上的一個不可約多項式，則商環F[X]/<p(X)>是一個域。其中的<p(X)>表示由p(X)生成的理想。舉例來說，R[X]/<X² + 1>是一個域（同構於複數域${\displaystyle \mathbb {C} }$）。可以證明，F的所有單擴張都同構於此類形式的域。
• 若V是域F上的一個代數簇，則所有V → F 的有理函數構成一個域，稱為V的函數域。
• 若S是一個黎曼曲面，則全體S → C 的亞純函數構成一個域。
• 由於序數的類不是集合，因此在其上定義的尼姆數不能構成真正的域。但它滿足域的所有條件，且其任意封閉子集（如小於${\displaystyle 2^{2^{n}}}$的所有自然數構成的子集）都是域。

有限體

有限體是一個體有著有限多個元素，其元素個數也跟體的階數相同，按照體的定義，可以知道${\displaystyle \mathbb {F} _{2}}$為最小的有限體，因為根據定義，一個體至少包含兩個元素${\displaystyle 1\neq 0}$。

通常來說，最簡單的質數階體，就是${\displaystyle \mathbb {Z} /p\mathbb {Z} =\{0,1,...p-1\}}$，此處${\displaystyle p}$為質數，在這個體上的加法與乘法等同於在整數${\displaystyle \mathbb {\mathbb {Z} } }$上的運算，然後除以${\displaystyle p}$，取它的餘數。這個運算精確的建構了一個體，通常我們將這個體記作${\displaystyle \mathbb {F} _{p}}$。要注意的是${\displaystyle \mathbb {Z} /n\mathbb {Z} =\{0,1,...n-1\}}$，當n為合成數時並不是一個有限體，例如在 ${\displaystyle \mathbb {Z} /4\mathbb {Z} }$ 中 ${\displaystyle 2\times 2=0}$ ，因此 ${\displaystyle (\{1,2,3\},\times )}$ 不能形成群。

如果我們將向量空間${\displaystyle {\mathit {V}}=\mathbb {F} _{p}/m^{n}}$，則我們將V稱作有限體向量空間，其中${\displaystyle n=\dim {\mathit {V}}}$，可知這個向量空間中，有${\displaystyle p^{n}}$個元素。

如果我們將有限體放入矩陣，也就是${\displaystyle GL_{n}(\mathbb {F} _{p})}$，則此矩陣的元素有${\displaystyle (p^{n}-1)(p^{n}-p)...(p^{n}-p^{n-1})}$

歷史

歷史上，三個代數中的學科導引到了體的概念:第一個是解多項式方程式的問題，第二個是代數數論，第三個則是代數幾何的問題。體的概念始於1770年，由拉格朗日所提出。拉格朗日他觀察到關於三次方程式的根x₁, x₂, x₃的置換，在以下的表達

(x₁ + ωx₂ + ω²x₃)³

(其中ω是三次方程式的單位根)只產生兩個值。在這方向上，拉格朗日概念上的解釋了由 希皮奧內·德爾·費羅 和 弗朗索瓦·韋達 的經典解法，其解法藉由簡化三次方程式關於未知 x 到一個 x³的二次方程式。四次方程式上也和三次方程式一樣有相似的觀察，拉格朗日因此連結的關於體的概念還有群的概念。數學家范德蒙也同樣在1770年有著更全面的延伸。

建構體

伽羅瓦理論

請參見伽羅瓦理論

體的不變量

應用

參見

• 特徵 (代數)
• 環論
• 體論
• 有序體

參考文獻

1. 張幼賢等. 學術名詞編譯系列叢書-數學名詞(第四版). 台北市: 國家教育研究院. 2014: p149 [2019-02-09]. ISBN 9789860440454. （原始內容存檔於2020-12-06） （中文（臺灣））. 引文格式1維護：冗餘文本 (link)