离散--商代数积代数.ppt

-吴扬扬- 主要内容： 商代数 定义 性质: 同态三角关系 积代数 定义 性质 §7.4 商代数与积代数 1. 商代数(1) 定义：设R为代数系统A=S,*1,…,*n上的同余关系， §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), 则所求的结果位于同一等价类之中。 §7.4 商代数与积代数 1. 商代数(3) 性质: 定理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. 商代数(4) 定理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. 商代数(5) §7.4 商代数与积代数 1. 商代数(6) §7.4 商代数与积代数 2. 积代数(1) 定义: 设Ai=Si,*i1,…,*in (i=1, …, m)为同型代数系统, A1,…,Am的积代数 §7.4 商代数与积代数 2. 积代数(2) 性质: 定理7.4.3: 设Ai=Si,*i,+i (i=1,…,m)为同型代数系统, *i和+i为二元运算, A1,…,Am的积代数 作业: pp.156 1 称 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 ?证明 同余关系能保证运算*i与同余类的代表元素无关(良定的). 设A/R=S/R,*1,…,*n为A关于R的商代数。 ∵ ?i?{1,…,n}, 设*i的阶为ni, ?a1,…,ani?S, f(*i(a1,…，ani))=[*i(a1,…,ani)]R = *i([a1]R,…,[ani]R) = *i(f(a1),…,f(ani)) 又∵ ?[a]R?S/R,有a?S,使f(a)=[a]R ∴ f是满同态映射。 （商代数运算定义） ∴ f是从A到商代数A/R同态映射. S A h(S) S’ A’ S/R A/R h R f g 分析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) 证双射? 证同构? 同态三角关系 证明：定义g: S/R→h(S), ?[x]R?S/R, g([x]R)=h(x