域 (數學)

在抽象代数中，域（Field）是一种可進行加、減、乘和除（除了除以零之外，「零」即加法單位元素）運算的代數結構。域的概念是数域以及四则运算的推广。

域是环的一种。域和一般的环的区别在于域要求它的元素（除零元素之外）可以进行除法运算，这等于说每个非零的元素都要有乘法逆元。體中的運算关于乘法是可交换的。若乘法運算沒有要求可交換則稱為除環（division ring）或skew field。

目录

• 
  1 定义
  
  
  
  • 
    1.1 定义1
    
  
  
  • 
    1.2 定义2
    
  
  
  • 
    1.3 定义3
    
  
  
  
  


• 
  2 例子
  


• 
  3 基本性质
  


• 
  4 參見
  

定义

非正式的講，體是種集合，集合中的元素可以做兩種運算，"加法"：a+b{displaystyle a+b} 和"乘法"： a⋅b{displaystyle acdot b}, 且要求集合中任意元素 a{displaystyle a} 有加法反元素 −a{displaystyle -a}，對所有非零元素 b{displaystyle b} 有乘法反元素 b−1{displaystyle b^{-1}}，這種性質讓我們可以用以下方法來定義加法和乘法的"反運算"，減法：a−b{displaystyle a-b} 和除法 a/b{displaystyle a/b}

a−b=a+(−b){displaystyle a-b=a+(-b)}

a/b=a⋅b−1{displaystyle a/b=acdot b^{-1}}

定义1

域是交换性除环。

定义2

域是一種交換環(F, +, *)，當中加法單位元（0）不等於乘法單位元（1），且所有非零元素有乘法逆元。更簡單講就是：域是可交換除環。

定义3

域是個集合 F{displaystyle F} 且帶有加法和乘法兩種運算，這裡“運算”可以想成是種映射，對任意兩元素
a,b∈F{displaystyle a,bin F}，這映射將此兩元素對應到某元素，且這些運算满足如下性质：

在加法和乘法兩種運算上封閉

對所有屬於F的a,b{displaystyle a,b}，a+b{displaystyle a+b}和a∗b{displaystyle a*b}屬於F（另一種說法：加法和乘法是F上的二元運算）。

加法和乘法符合結合律

對所有屬於F的a,b,c{displaystyle a,b,c}，(a+b)+c=a+(b+c){displaystyle (a+b)+c=a+(b+c)}，(a∗b)∗c=a∗(b∗c){displaystyle (a*b)*c=a*(b*c)}

加法和乘法符合交換律

對所有屬於F的a,b{displaystyle a,b}，a+b=b+a{displaystyle a+b=b+a}，a∗b=b∗a{displaystyle a*b=b*a}

符合乘法對加法的分配律

對所有屬於F的a,b,c{displaystyle a,b,c}，a∗(b+c)=(a∗b)+(a∗c){displaystyle a*(b+c)=(a*b)+(a*c)}

存在加法單位

在F中有元素0，使得所有a∈F{displaystyle ain F}，a+0=a{displaystyle a+0=a}

存在乘法單位

在F中有不同于0的元素1，使得所有屬於F的a{displaystyle a}，a∗1=a{displaystyle a*1=a}

存在加法逆元

對所有屬於F的a{displaystyle a}，存在−a{displaystyle -a}使得a+(−a)=0{displaystyle a+(-a)=0}

非零元素存在乘法逆元

對所有a≠0{displaystyle aneq 0}，存在元素a−1{displaystyle a^{-!1}}使得a∗a−1=1{displaystyle a*a^{-1}=1}

其中0 ≠ 1的要求排除了平凡的只由一个元素组成的域。

由以上性质可以得出一些最基本的推论：

−(a * b) =(−a)* b = a *(−b)

a * 0 = 0

如果a * b = 0，则要么a = 0，要么b = 0

例子

• 許多常见的数域都是域。比如说，全体复数的集合C{displaystyle mathbb {C} }对于加法和乘法构成一个域。全体有理数的集合Q{displaystyle mathbb {Q} }也是一个域，它是C{displaystyle mathbb {C} }的子域，并且不包含更小的子域了。

• 
  代数数域：代数数域是有理数域Q{displaystyle mathbb {Q} }的有限扩域，也就是说代数数域是Q{displaystyle mathbb {Q} }上的有限维向量空间。代数数域都同构于C{displaystyle mathbb {C} }的子域，并且这个同构保持Q{displaystyle mathbb {Q} }不变，即这个同构把每个有理数都映射到它自身。代数数域是代数数论研究的对象。

• 
  代数数构成的域：所有的代数数的集合对于加法和乘法构成一个域，记作Q¯{displaystyle {overline {mathbb {Q} }}}。Q¯{displaystyle {overline {mathbb {Q} }}}是有理数域Q{displaystyle mathbb {Q} }的代数闭包（见下）。Q¯{displaystyle {overline {mathbb {Q} }}}是特征为零的代数封闭的域的一个例子。

• 全体实数的集合R{displaystyle mathbb {R} }对于加法和乘法构成一个域。实数域是复数域C{displaystyle mathbb {C} }的子域，也是一个有序域。后者使得实数域上能够建立起微积分理论。

• 所有的实代数数的集合也构成一个域，它是R{displaystyle mathbb {R} }的一个子域。

• 任意一个有限域的元素个数是一个素数q的乘方，一般记作F_q，就是所谓的伽罗瓦域。任意一个元素个数是素数q的域都同构于Z/pZ = {0, 1, ..., p − 1}。令p = 2,就得到最小的域：F₂。F₂只含有两个元素0和1运算法则如下：

     ⊕  0  1        ∧  0  1

     0  0  1        0  0  0

     1  1  0        1  0  1

• 设E和F是两个域，E是F的子域，则F是E的 扩域。设x是F中的一个元素，则存在着一个最小的同时包含E和x的F的子域，记作E (x)，E (x)称作E在F中关于 x的单扩张。比如说，复数域C{displaystyle mathbb {C} }就是实数域R{displaystyle mathbb {R} }在C{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>是一个域（同构于复数域C{displaystyle mathbb {C} }）。可以证明，F的所有单扩张都同构于此类形式的域。

• 若V是域F上的一个代數簇，则所有V → F 的有理函数构成一个域，称为V的函数域。

• 若S是一个黎曼曲面，则全体S → C 的亚纯函数构成一个域。

• 由于序数的类不是集合，因此在其上定义的尼姆数不能构成真正的域。但它满足域的所有条件，且其任意封闭子集（如小于22n{displaystyle 2^{2^{n}}}的所有自然数构成的子集）都是域。

基本性质

• 域F中的所有非零元素的集合（一般记作F^×）是一个关于乘法的阿贝尔群。F^×的每个有限子群都是循环群。

• 若存在正整数n使得0 = 1 + 1 + ... + 1（n个1），那么这样的n中最小的一个称为这个域的特征，特征要么是一个素数p，要么是0（表示这样的n不存在）。此时F{displaystyle F}中最小的子域分别是Q{displaystyle mathbb {Q} }或有限域Fp{displaystyle mathbb {F} _{p}}，称之为F{displaystyle F}的素域。

• 一个交换环是域当且仅当它的理想只有自身和零理想。

• 在选择公理成立的假设下，对每个域F都存在着唯一的一个域G（在同构意义上），G包含F，G是F的代数扩张，并且G代数封闭。G称作由F确定的代数闭包。在很多情况下上述的同构并不是唯一的，因此又说G是F的一个代数闭包。

參見

• 特徵 (代数)


• 環論


• 域論


• 有序域

查 论 编 抽象代数相关主题 代数结构 · 群 · 环 · 體 · 有限體 · 本原元 · 格 · 逆元素 · 等价关系 · 代數中心 · 同态 · 同构 · 商结构（商系统） · 同构基本定理 · 合成列 · 自由對象 群论 群 幺半群 · 半群 · 阿贝尔群 · 非阿贝尔群 · 循環群 · 有限群 · 单群 · 半单群 · 典型群 · 自由群 · 交换子群（交換子） · 幂零群 · 可解群 · p-群 · 对称群 · 李群 · 伽罗瓦群 子群 陪集 · 双陪集 · 商群 · 共轭类 · 拉格朗日定理 · 西羅定理 · 正规子群 · 群中心 · 中心化子和正规化子 · 稳定子群 其他 阶 · 群擴張 · 群同態 · 群同構 · 群表示 · 群作用 環論 环 子環 · 整环 · 除环 · 多项式环 · 素环 · 商环 · 諾特環 · 局部環 · 賦值環 · 環代數 · 理想 · 主理想环 · 唯一分解整環 模 深度 · 單模 · 自由模 · 平坦模 · 阿廷模 · 諾特模 其他 幂零元 · 特征 · 完備化 · 環的局部化 域论 體 有限體 · 原根 · 代数闭體 · 局部體 · 分裂體 · 分式環 體扩张 单扩张 · 有限扩张 · 超越扩张 · 代数扩张 · 正规扩张 · 可分扩张 · 伽罗瓦扩张 · 阿贝尔扩张

This page is only for reference, If you need detailed information, please check here