《离散数学ch12[1]环与域》由会员分享，可在线阅读，更多相关《离散数学ch12[1]环与域（19页珍藏版）》请在金锄头文库上搜索。
1、离 散 数 学,第三部分 代数系统 环与域,环:定义,环,设是代数系统,+和是二元运算。,如果满足以下条件:,(1) 构成交换群，,(2) 构成半群，,(3) 运算关于+运算适合分配律，,则称是一个环。,为了区别环中的两个运算,通常称+运算为环中的加法, 运算为环中的乘法。,有两个运算，并建立在群的基础之上的代数系统,环:实例,环的实例 (1)整数集、有理数集、实数集和复数集关于普通的加法和乘法构成环,分别称为整数环Z,有理数Q,实数环R和复数环C. (2)n(n2)阶实矩阵的集合Mn(R)关于矩阵的加法和乘法构成环,称为n阶实矩阵环。 (3)集合的幂集(B)关于集合的对称差运算和交运算构成环
2、。 (4)设Zn0,1,.,n1, 和 分别表示模n的加法和乘法,则构成环,称为模n的整数环。,环:叙述上的方便,将环中加法的单位元记作0,乘法的单位元记作1(对于某些环中的乘法不存在单位元)。 对任何环中的元素x,称x的加法逆元为负元,记作-x. 若x存在乘法逆元的话,则将它称为逆元,记作x-1.,环:叙述上的方便,针对环中的加法,用x-y表示x+(-y)nx表示 x+x+x,即的n次加法幂 用-xy表示xy的负元。,环:定理,定理 设是环,则 (1) aR, a0 = 0a = 0 (2) a,bR, (-a)b = a(-b) = -ab (3) a,b,cR, a(b-c) = ab-
3、ac, (b-c)a = ba-ca (4)a1,a2,.,an,b1,b2,.,bmR(n,m2),环:定理,(1) aR, a0 = 0a = 0,证,aR有,a0,= a(0+0),= a0+a0,由环中加法的消去律得,a0=0,同理可证0a=0,环:,例:在环中计算(a+b)3， (a-b)2 解:,(a+b)3,=(a+b)(a+b)(a+b),=(a2+ba+ab+b2)(a+b),=a3+ba2+aba+b2a+a2b+bab+ab2+b3,=a2-ba-ab+b2,(a-b)2,=(a-b)(a-b),子环 :,定义 设R是环,S是R的非空子集。若S关于环R的加法和乘法也构成一
4、个环,则称S为R的子环.若S是R的子环,且SR,则称S是R的真子环。 例 整数环Z,有理数环Q都是实数环R的真子环。 0和R也是实数环R的子环,称为平凡子环。,子环 :子环的判定定理,定理设R是环,S是R的非空子集,若 (1) a,bS,a-bS (2) a,bS,abS 则S是R的子环。 证 由(1)S关于环R中的加法构成群。 由(2)S关于环R中的乘法构成半群。 显然R中关于加法的交换律以及乘法对加法的分配律在S中也是成立的。 因此S是R的子环。,环的同态,定义设R1和R2是环。 ：R1R2,若对于任意的x,yR1有(x+y)= (x)+ (y)， (xy)= (x) (y)成立,则称是环
5、R1到R2的同态映射,简称环同态。 类似于群同态,也可以定义环的单同态,满同态和同构等。,整环,整环,设是环,(1) 若环中乘法适合交换律,则称R是交换环。,(2) 若环中乘法存在单位元,则称R是含幺环。,(3) 若 a,bR,ab=0 a=0b=0,则称R是无零因子环。,(4) 若R既是交换环、含幺环,也是无零因子环, 则称R是整环。,环,交换环、含幺环、无零因子环、整环的实例 (1)整数环Z,有理数环Q,实数环R,复数环C都是交换环、含幺环、无零因子环和整环。 (2)令2Z=2z|zZ,则2Z关于普通的加法和乘法构成交换环和无零因子环。但不是含幺环和整环,因为1 2Z (3)设n是大于或等
6、于2的正整数,则n阶实矩阵的集合Mn(R)关于矩阵加法和乘法构成环,它是含幺环,但不是交换环和无零因子环,也不是整环。,/,环,交换环、含幺环、无零因子环、整环的实例 Z6关于模6加法和乘法构成环,它是交换环,含幺环,但不是无零因子环和整环。 Zn是整环当且仅当n是素数。,域,域,则称它是域,设R是整环,且R中至少含有两个元素。,若aR*=R-0,都有a1R,是一种特殊的环,域,例 有理数集Q,实数集R,复数集C关于普通的加法和乘法都构成域，分别称为有理数域,实数域和复数域。 但整数环只能构成整环Z,而不是域, 因为并不是对于任意的非零整数zZ都有 1/zZ。 对于模n的整数环Zn,若n是素数,可以证明Zn是域。,域,类似于子环,也可以定义子整环和子域。 下略,
