离散数学课件：5-7 环与域.ppt

域V.S.整环 环整环域 * * 七、环与域 本节讨论具有两个运算的代数系统A, *, ?, 它可视为A, * 和A, ? 组合而成的代数系统. 我们把第一个运算*称为“加法”，把第二个运算?称为“乘法”. 例如，实数集上具有加和乘运算的代数系统R, +, ? . (一)环 环：设A, ?, *是代数系统，若 1)A, ?是阿贝尔群， 2)A, *是半群， 3)乘法*对加法?可分配，即?a, b, c?A, 有 a*(b?c)=a*b?a*c, (b?c)*a=b*a?c*a, 则称A, ?, * 是一个环(ring). 说明： 为了方便，常称环的第一个运算*为“加法”，并记为+, 第二个运算?为“乘法”，并记为?; 在环中，加法幺元记为?，加法逆元a-1记为-a, a+(-b)记为a-b. 七、环与域 例5.7.1判断以下代数系统是否是环. 七、环与域 R, +,? 环 C,+,? Q,+,? Z,+,? 代数系统 Y R[x],+,? 环 S,+,? 代数系统 Y Y Y Y Y S表示所有n阶方阵的集合，其中n?Z+; R[x]表示所有系数属于实数的x的多项式的集合. 例5.7.2证明代数系统Nk,+k,?k是环. 证： 1)证明Nk,+k是阿贝尔群： i)运算封闭： ii)结合律： ?[x], [y]?Nk, [x]+k[y]= 故[x]+k[y]?Nk. ?[x], [y], [z]?Nk, [x+y+z] [x+y], ([x]+k[y])+k[z]= =[x]+k([y]+k[z]) 七、环与域 证(续)： 1)证明Nk,+k是阿贝尔群： 例5.7.2证明代数系统Nk,+k,?k是环. iii)幺元的存在： 幺元[0]以自身为逆元，每个非幺元[x]都有逆元[k-x]. v) Nk,+k关于运算+k可交换： [0]是幺元. iv)?[x]?Nk存在逆元： ?[x], [y]?Nk, [x]+k[y]= =[y]+k[x] [x+y] 七、环与域 2)证明Nk, ?k是半群： 证(续)： 例5.7.2证明代数系统Nk,+k,?k是环. i)运算封闭： ii)结合律： ?[x], [y]?Nk, [x] ?k[y]= 故[x]?k[y]?Nk. ?[x], [y], [z]?Nk, [xyz] [xy], ([x]?k[y])?k[z]= =[x]?k([y]?k[z]) 七、环与域 3)证明运算?k对运算+k可分配： 证(续)： 例5.7.2证明代数系统Nk,+k,?k是环. ?[x], [y], [z]?Nk, [x(y+z)] [x]?k([y]+k[z])= [x]?k[y]+k [x]?k[z]= [xy+xz] 故[x]?k([y]+k[z])= [x]?k[y]+k [x]?k[z] ([y]+k[z])?k[x] =[y]?k[x]+k[z]?k[x]. 同理可证 七、环与域 (二)环的性质 设A, +, ?是环,?a, b, c?A, 1) 环的加法幺元必为乘法零元，即 ??a=a??=?. a?? = 由消去律可得： 类似可证? ?a=?. 证： a?(?+?) =a??+a??, a??=?. 2)(-a)?b=a?(-b)=-(a?b). (-a)?b+a?b= 故(-a)?b=-(a?b). 类似可证a?(-b)=-(a?b). 证： ((-a)+a)?b =? ?b =? , 七、环与域 3) (-a)?(-b)=a?b. 证： (-a)?(-b)= -(a?(-b)) =-(-(a?b)) = a?b. 4) a?(b-c)=a?b-a?c. a?(b-c)= a?(b+(-c)) =a?b+a?(-c) =a?b+(-(a?c)) =a?b-a?c. 证： 5) (b-c)?a=b?a-c?a. (b-c)?a= (b+(-c)) ?a =b?a+(-c)?a =b?a+(-(c?a)) =b?a-c?a. 证： 环的性质 七、环与域 (三)零因子 零因子：设A,+,?是环，若?a, b?A, a??, b??, 使a?b=?, 则称a,b为零因子，A,+,?是零因子环. 无零因子： 无零因子的环称为无零因子环. ?a,b?A, a??, b??, 必有a?b??. 零因子：“两个非零的数相乘等于零”； 强调这个概念，是因为 a*b=0?a=0或b=0(1) 这条普通的计算规则，在一个一般的环里并不一定成立； 显然，在而且只在一个没有零因子的环里，(1)式才成立. 七、环与域 定理一：环A,+,?无零因子,当且仅当A,?满足消去律（即?a,b, c?A, 若a?b=a?c,a??必有b=c). ?a,b, c?A,若a?b=a?c,a?? 证