第四节 同余关系及商代数(Congruence Relation and.pptVIP

? Peking University 3-2 第四节 同余关系与商代数(Congruence Relation and Quotient Algebra) 例:15.26 设代数系统V=A, ?,-,?,其中A={a/b |a,b?R?b?0}, ?为普通乘法，-为求相反数，且?a/b=a/b2 ，在A上定义等价关系?，任意a/b,c/d ?A，a/b ?c/d?ad=bc 下面检查?对V中运算是否具有置换性质。 P234:例 15.26 同态映射导出同余关系 商代数是原代数的同态像 通过自然映射 同态基本定理： 代数系统的同态像同构于它的商代数 同态映射导出同余关系 证： 设V1关于同余关系R的商代数为V1/~ 定义 h：A/R?f(A), h([a])=f(a) 任取 a,b?A [a]=[b]?aRb? f(a)=f(b) ? h([a])=h([b]) 从而h为良定义的，也是单射的. 任取y?f(A), 存在x?A使得f(x)=y, 所以有[x] ?A/R, 满足h([x])=f(x)=y， 因此h为满射的. 例4 设 为代数系统， ?a,b,c,d?A?B, a,bRc,d ? a=c (1)证明 R为V1?V2上的同余关系 (2)证明 (V1?V2)/R?V1 证明思路： (1)证明R的自反、对称、传递性 (2)证明R具有置换性质，即令V1?V2=A?B, ?, ?,K,证 a,bRc,d且a’,b’Rc’,d’ ?a=c 且a’=c’ a,b?a’,b’= a*a’,bob’ c,d?c’,d’ = c*c’,dod’ 所以 a,b?a’,b’Rc,d?c’,d’ a,bRc,d ? ?a,bR?c,d (3)定义f:V1?V2?V1,f(a,b)=a,证明f为满同态 (4)证明R是f导出的同余关系，即 f(a,b)=f(c,d) ? a=c ? a,bRc,d ?代数(?-Algebra) ?代数(分类代数)：载体可能不是一个集合而是一个集合族，运算不是一个集合上的运算而是在不同集合上的运算。 运算数与运算结果属于集合族中不同的集合。 ?代数:V是一个二元组F,Ω，F是一个非空集合构成的集合族，Ω为非空操作集,?o?Ω, Ai1?Ai2?…?Ain?Ai, Ai1,Ai2,…,Ain,Ai ?F 使用?代数可以给抽象数据类型(ADT)的代数规范 作业 15.30, 15.31 * * 主要内容 一、同余关系(Congruence relation) 1. 同余关系与同余类 2. 同余关系的实例 二、商代数(Quotient algebra) 1. 商代数定义 2. 商代数性质 三、同态映射、同余关系与商代数之间的联系 第4节 同余关系与商代数 同余关系 在代数系统中有一种很重要的关系－同余关系。 它在化简运算过程中具有十分重要的作用。 1.例子:计算 与 相加时，很少将这两个 分数直接通分再相加,而是先对它们进行约分后， 再通分相加，即用 代替 ， 用 代替 用 ＋ 代替 ，这个过程说明了： ＝ ? ＝ ? ( ＋ )＝( ＋ ) 实际上，我们将所有分数按照数值相等关系“＝” （等价关系），进行划分，可以看出： ＋ ＋ … … … … 因为 和 属于 这个等价类。 而 和 属于 这个等价类。 ＋ ＋ 和 都属于 。 实际上，任取x∈ ，y∈ , 都有x+y∈ 。 ＋的上述性质，就是代数系统中，运算的“置换性质” “置换性质”定义：代数系统U＝X,?，?是X上的二 元运算，设E是X上的等价关系，对任何x1,x2,y1,y2∈X,有 x1Ex2 ? y1Ey2 ?( x1?y1)E( x2?y2) 则称对于运算?，相对等价关系E, 具有置换性质。 例如： ＝ ? ＝ ? ( ＋ )＝( ＋ ) 代数系统的“置换性质”在运算过程中是非常重要的。 同余关系及同余类的定义： 设U＝X, ?是个