5-9环与域.pptVIP

5-9　环与域 以上，我们已初步研究了具有一个二元运算的代数系统——半群、独异点、群。接着，我们将讨论具有两个二元运算的代数系统。对于给定的两个代数系统A,★和A,*，容易将它们组合成一个具有两个二元运算的代数系统A,★,*。我们感兴趣于两个二元运算★和*之间有联系的代数系统A,★,*，通常，我们把一个二元运算★称为“加法”，把第二个运算*称为“乘法”。 例如，具有加法和乘法这两个二元运算的实数系统R,+,?和整数系统I,+, ?都是我们很熟悉的代数系统。 它们运算之间的联系是乘法对加法满足分配律。 定义5-9.1： 设A,★,*是一个代数系统，如果满足： 1.A,★是阿贝尔群。 2.A,*是半群。 3.运算*对于运算★是可分配的。 则称A,★,*是环。 根据定义可以清楚地看到，整数集合、有理数集合、偶数集合、复数集合以及定义在这些集合上的普通加法和乘法运算都是可构成环的例子。 例1 系数属于实数的所有x的多项式所组成的集合记作R[x]，那么，R[x]关于多项式的加法和乘法构成一个环。 例2 元素属于实数的所有n阶矩阵所组成的集合记作(R)n，那么，(R)n关于矩阵的加法和乘法构成一个环。 定理5-9.1：设A,+, ·是一个环，则对于任意的a,b,c?A，有 1. a · ? = ? · a = ? 2. a·(-b) =(-a) ·b = -(a·b) 3. (-a) · (-b) = a·b 4. a·(b-c) = a·b - a·c 5. (b-c) ·a =b·a -c·a 其中，?是加法幺元，- a是a的加法逆元，并将a+(-b)记为a-b。 我们还可以根据A , ·的结构来定义一些常见的特殊环。 定义5-9.2：设A ,+, ·是环。如果A , ·是可交换的，则称A ,+,·是交换环。如果A , ·含有幺元，则称A ,+, ·是含幺环。 设S是一个集合，P(S)是它的幂集，如果在P(S)上定义二元运算+和·如下：对任意的A，B? P(S) A+B={x|(x?S)?(x?A?x?B)?(x?A?B)} A·B= A?B 容易证明P(S) , + ,·是一个环，称它为S的子集环。 由于集合交运算是可交换的，且P(S) , ·含有幺元S，因此子集环是含幺交换环。 定义5-9.3：设A ,+, · 是一个代数系统，如果满足： 1．A,+是阿贝尔群。 2. A, ·是可交换独异点，且无零因子，即对任意的a,b?A , a≠? , b≠? , 必有a · b≠?。 3. 运算 · 对于运算 + 是可分配的。 则称A ,+, ·是整环。 下面我们来考察I ,+, ·是否为整环 因为I, +是一个具有加法幺元0，且对任意n有逆元-n的阿贝尔群； I, ·是可交换独异点， 且满足无零因子条件； 运算 · 对于运算 + 是可分配的， 故I ,+, ·是整环。 定理5-9.2：在整环A ,+, ·中的无零因子条件等价于乘法消去律，即对于c≠?和c ·a=c · b，必有a=b。 证明： “?”若无零因子并设c≠?和c ·a=c · b， 则有 c ·a - c · b = c · (a-b)= ? 所以，必有a=b。 “?” 反之，若消去律成立， 设a≠? ，a · b=? 则a · b= a · ? 消去a 即得b= ?。 定义5-9.4：设A ,+, · 是一个代数系统，如果满足： 1．A,+是阿贝尔群。 2．A-{?} , ·是阿贝尔群。 3．运算 · 对于运算 + 是可分配的。 则称A ,+, ·是域。 例如，Q ,+, ·，R ,+, ·，C ,+, ·都是域，这里，Q为有理数集合，R是实数集合，C是复数集合，而+, ·分别是各数集上的加法和乘法运算。 必须指出，I ,+, ·是整环，但不是域， 因为I-{0} , ·不是群。这说明，整环不一定是域。 定理5-9.4：有限整环必定是域。 证明：见P226 定义5-9.5：设A ,+, · 和B ,? ,⊙是两个代数系统，如果一个从A到B得映射f，满足如下条件： 对于任意的a,b?A，有 f(a+b)=f(a)? f(b) f(a·b)=f(a)⊙f(b) 则称f为由A ,+, · 到B , ?, ⊙的一个同态映射，并称f(A) , ?, ⊙是A ,+, ·的同态象。 定理5-9.5：任一环的同态象是一个环。 证明：P228 作业：(5-9) P228 (4) a) b) (7) a) c) (6) 选作 * *