离散2-5-商代数.pptVIP

-吴扬扬- * 主要内容： 商代数 定义 性质: 同态三角关系 -吴扬扬- * §7.4 商代数与积代数 1. 商代数(1) 定义：设R为代数系统A=S,*1,…,*n上的同余关系， 称 A/R=S/R, *1, …, *n为A关于R的商代数。 其中：*i([a1]R,…,[ani]R)=[*i(a1,…,ani)]R 例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 ? [0] [1] [0] [0] [1] [1] [1] [0] ? [0] [1] [0] [0] [0] [1] [0] [1] 分析例1 性质1 ?证明 -吴扬扬- * §7.4