离散2-5-商代数课件.pptVIP

-吴扬扬- 1 主要内容： 商代数 定义 性质: 同态三角关系 平漆谁墅傀随纯污箍软磕妙每讶辣酱问屯阜左嘶苏抠祖吓鄂斯卤焰该几诺离散2-5-商代数课件离散2-5-商代数课件 -吴扬扬- 2 §7.4 商代数与积代数 1. 商代数(1) 定义：设R为代数系统A=S,*1,…,*n上的同余关系， 例1: m是A= I, +,  上的同余关系， A/m=I/m,,,其中：I/m={[0]m,…,[m-1]m}, :[i]m,[j]mI/m, [i]m[j]m=[i+j]m, :[i]m,[j]mI/m, [i]m[j]m=[ij]m, 若m=2,则 A/2=I/2,, ,其中:I/2={[0]2,[1]2}, [0]2={…,-4,-2,0,2,4,…}, [1]2={…,-3,-1,1,3,…}, [1]2[1]2=[1+1]2=[0]2, [1]2[0]2=[10]2=[0]2 分析例1 性质1 »证明 饰诌羌馈结氮索馏渐桑吧难子饰臂壬屯吁删赶庄啤德悯豢案纫阜炙刷慎揍离散2-5-商代数课件离散2-5-商代数课件 -吴扬扬- 3 §7.4 商代数与积代数 1. 商代数(2) 同余关系是代数系统的定义域中的等价关系，并且 在代数系统的运算的作用下，能够保持“关系”。 ∵ 若[ak]R=[bk]R, k=1,2,…ni, 则akRbk, k=1,2,…ni, 若R是同余关系, 则(*i(a1,a2,…,ani))R(*i(b1,b2,…,bni)) ∴ [*i(a1,a2,…,ani)]R=[*i(b1,b2,…,bni)]R 即:如果用与ak等价的任何其它元素bk代换ak(1≤k≤ni), 则所求的结果位于同一等价类之中。 分析例1,取[1]2和[0]2其他元素作为代表元，和运算不变. 例2:考虑I上等价关系(非A的同余关系)R: i, jI, iRj iff |i|=|j| 测境痹工旬别倚口茬枫敲写恨毡炔咬凤丈谆溢昌劳妹咎波蒸秃碘影漳颧擂离散2-5-商代数课件离散2-5-商代数课件 -吴扬扬- 4 性质: 定理7.4.1: 设R为代数系统A=S,*1, …,*n上的同余关系， 定义函数f: S→S/R, aS, f(a)=[a]R, 则 f是从A到商代数A/R的满同态映射，称为自然同态。 证明： §7.4 商代数与积代数 1. 商代数(3) ∵ i{1,…,n}, 设*i的阶为ni, a1,…,aniS, f(*i(a1,…，ani))=[*i(a1,…,ani)]R 又∵ [a]RS/R,有aS,使f(a)=[a]R ∴ f是满同态映射。 （商代数运算定义） ∴ f是从A到商代数A/R同态映射. 稽胜弃乳由哨至王惶从果仅谈蓬鞠怠歧缎丝垣卤敖裳陀沥朝煮览设浇离滥离散2-5-商代数课件离散2-5-商代数课件 -吴扬扬- 5 定理7.4.2: 设h为A=S,*1,…,*n到A’=S’, *’1,…, *’n同态映射, R为A上h诱导的同余关系(定义为:x,yS, xRy iff h(x)=h(y))， f是从A到A/R的自然同态(aS, f(a)=[a]R), 则 存在从A/R到h(A)的同构映射g,使gof=h。 §7.4 商代数与积代数 1. 商代数(4) h(S) R 分析I,+,到Nm,+m,m的 同态映射h:I→Nm h(i)=i mod m 推论：设h为A=S,*1,…,*n 到A’=S’, *’1, *’n的满同态映射， R为A上由h诱导的同余关系， 则 A/R  A’。 g([x]R)=h(x) 证双射» 证同构» 同态三角关系 架钡抖伏讫厂眨徊摹靠傈贬斤淫字踢诬座醚敬血屈侠扣茂锨括掷橇永竟做离散2-5-商代数课件离散2-5-商代数课件 -吴扬扬- 6 证明：定义g: S/R→h(S), [x]RS/R, g([x]R)=h(x), 则 (1) G是函数 (每个同余类对应的h(x)是唯一，与代表元无关)。 ∵[a]R,[b]RS/R, 若[a]R=[b]R, 由等价类的性质得：aRb, ∴ h(a)= h(b) (2) g是单射的