域（转）

最新推荐文章于 2024-09-12 19:02:20 发布

lishuiwang

最新推荐文章于 2024-09-12 19:02:20 发布

阅读量1.8k

点赞数 1

文章标签：算法 c

域是一种交换环 (F, +, *)，当中加法单位元（0）不等于乘法单位元（1），且所有非零元素有乘法逆元。

域明确的满足如下性质：

在加法和乘法上封闭

对所有属于F的 $a, b$ ， $a+b$ 和 $a*b$ 属于F（另一种说法：加法和乘法是F上的二元运算）。

加法和乘法符合结合律

对所有属于F的 $a, b, c$ ， $(a+b)+c=a+(b+c)$ ， $(a*b)*c=a*(b*c)$

加法和乘法符合交换律

对所有属于F的 $a, b,$ , $a+b=b+a$ ， $a*b=b*a$

符合乘法对加法的分配律

对所有属于F的 $a, b, c$ ， $a*(b+c)=(a*b)+(a*c)$

存在加法单位

在F中有元素0，使得所有属于F的 $a$ ， $a+0=a$

存在乘法单位

在F中有不同于0的元素1，使得所有属于F的 $a$ ， $a*1=a$

存在加法逆元

对所有属于F的 $a$ ，存在 $-a$ 使得 $a+(-a)=0$

存在乘法逆元

对所有 $a \ne 0$ ，存在元素 $a^{-\!1}$ 使得 $a*a^{-1}=1$

其中0 ≠ 1 的要求排除了没有什么意义的只由一个元素组成的域。

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

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

a * 0 = 0

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

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

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

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

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

任意一个有限域的元素个数是一个素数 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 的单扩张。比如说，复数域 $\mathbb{C}$ 就是实数域 $\mathbb{R}$ 在 $\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> 是一个域(同构于复数域 $\mathbb{C}$ )。可以证明，F 的所有单扩张都同构于此类形式的域。