离散数学代数系统().pptVIP

离散数学 西安交通大学 电子与信息工程学院 计算机系 离散数学 §5.环 ?环的基本概念 ?环的基本性质 ?无零因子环和含零因子环 ?整环与除环 离散数学 §5.环 定义1.环(ring) 设(R, ?, ?)是代数系统， ?和?是R上的两个二元运算，若 (1) (R, ?)是交换群； (2) (R, ?)是半群 ； (3) ?对?满足分配律：对任何a,b,c?R，都有 a?(b?c)=(a?b)?(a?c) (b?c)?a=(b?a)?(c?a) ； 则称 (R, ?, ?)是环。 注：?在环中，由于(R, ?)是群，故关于?有幺元存在，将关于?的么元记为0，称为环的零元。 　　?在环中，由于(R, ?)是群，故R中每个元素有逆元，设a?R，将a关于?的逆元记为-a ，称为a 的负元，且将a ?(-b)简记为 a-b 离散数学 (即在环中可定义减法运算)。 　 ?在环中，对于?运算，若有幺元，则记为1或e 。 　 ?在环中，设a?R ，若a关于?有逆元，则记为 a-1。 　?以后谈到环，只讨论|R|?2的情况，即不讨论一个元素的环。 ?在环的定义中，不要求?对?满足分配律，只要求 ?对?满足　　分配律。 例1.(I,+,?)是环。我们称此环为整数环。 这里：I是整数集合，+和?是整数的普通加法运算和普通乘法运算。由前两节知 (1)(I,+) 是交换群； (2)(I, ?)是半群； (3)?对+满足分配律：由算术知识知整数乘法对整数加法满足分配律。即?a,b,c?I 有 a ?(b+c) = (a ? b)+(a ? c) 由?的交换律知?对+满足分配律； 由环的定义知(I,+, ?)是环。 离散数学 例2.(Mn?n,,+, ?)是环。我们称此环为矩阵环。 这里：Mn?n是 n ? n阶实矩阵的全体，＋与?是矩阵的加法运算和乘法运算。由前两节知 (1) (Mn?n,,+)是交换群； (2) (Mn?n,,?)是半群； (3)?对+满足分配律：由线性代数知，矩阵乘法对矩阵加法满足分配律。即 ? A ,B, C?Mn?n,有： A?(B+C)=(A?B)+(A?C) (B+C)?A=(B?A)+(C?A)； 由环的定义知(Mn?n,,+, ?)是环。 离散数学 例3.(Nm,+m,?m)是环。我们称此环为整数模环。 这里：Nm={[0]m,[1]m,…,[m-1]m}，+m和?m是Nm上的模加运算和模乘运算。由前两节知 (1) (Nm,+m)是交换群； (2) (Nm,?m)是半群； (3)?m对+m满足分配律：由于?[i]m,[j]m,[k]m?Nm ,有 [i]m ?m([j]m +m[k]m) = [i]m ?m[(j+k) mod m]m =[(i ?(j+k)) mod m]m =[((i ?j)+(i ?k)) mod m]m =[(i ? j) mod m]m +m[(i ? k) mod m] =([i]m?m[j]m)+m([i]m?m[k]m) 由?m的交换律知?m对+m满足分配律； 由环的定义知(Nm,+m, ?m )是环。 离散数学 例4.(2X,?,?)是环。我们称此环为X的子集环 这里：X是一个非空集合， 2X 是X的幂集， ?是集合的对称差运算, ?是集合的交运算。由前两节知 (1) (2X ,?)是交换群； (2) (2X , ?)是半群； (3)?对?满足分配律： 由第一章§2定理6(8)知集合的交运算对对称差运算满足分配律。即?a,b,c?2X ，有 A?(B?C)=(A?B)?(A?C) 由?的交换律知?对?满足分配律； 由环的定义知(2X,?, ?)是环。 离散数学 例5．(P[x],+, ?)是环。我们称此环为多项式环。 这里：P[x] 是实系数多项式的全体，+和?是多项式的 加法运算和乘法