第二章 2011-6.4同余关系.pptVIP

yuliang@mti.xidian.edu.cn * * 6.4同余关系 【例题1】 设+是整数集合I上的普通加法运算，~是I上的模k (k∈I+)相等关系，问~在运算+上是否是I上的同余关系？ 分析：任意a,b和c,d有： a≡b(mod k) 其实就是a-b=n*k c≡d(mod k) 其实就是c-d=m*k 那么(a+c)-(b+d)=(m+n)*k，即(a+c) ≡(b+d)(mod k) yuliang@mti.xidian.edu.cn * * 6.4同余关系 【例题2】 设△是集合I上的一元运算，任取a∈I, △a=a2,~是I上的模k (k∈I)相等关系，问~在运算△是否是I上的同余关系？ ~是否是代数系统A＝I,+,△上A的同余关系？ 分析：a≡b(mod k) 就相当于(a-b)=n*k △a -△b=(a+b)(a-b)=(a+b)*n*k，即△a≡ △b 整数m yuliang@mti.xidian.edu.cn * * 6.4同余关系 代数系统上的同余关系： 设A=S,*, △是一个代数系统，~是载体S上的等价关系，若~在A上的所有运算下都是可保持的，则称~为代数系统A上的同余关系。 yuliang@mti.xidian.edu.cn * * 6.4同余关系 『定理』 设g是从代数系统A=S,*, △,k到A’=S’,*’, △’,k’的一个同态映射，如果在A上定义二元关系R为:a,b∈R 当且仅当 g(a)=g(b) 那么， R是A上的一个同余关系。 证明：(i)若a~b,则g(a)=g(b), △’g(a) = △’g(b)。 yuliang@mti.xidian.edu.cn * * 6.4同余关系 又g是从A到A’的同态映射，所以有 △’g(a)=g(△a)= △’g(b)=g(△b) 故△a~ △b，这说明~在运算△下是可保持的。 (ii)若a~b且c~d,且有g(a)=g(b),g(c)=g(d),所以 g(a)*’g(c)=g(b)*’g(d),又因g是从A到A’的同态映射，所以有g(a)*’g(c)=g(a*c)=g(b)*’g(d)=g(b*d) 故a*c~b*d,这说明等价关系~在运算*下是可保持的。 由(i)(ii)可得，~是代数系统A上的同余关系。 yuliang@mti.xidian.edu.cn * * 6.4同余关系 运算上的同余关系：等价关系在运算下的可保持性是指参与运算的对应元素，如果在同一个等价类中，则运算后所得的结果也必在同一个等价类中。 代数系统上的同余关系：等价关系R如果在一个代数系统中的所有运算下都是可保持的，则R是A上的同余关系。同余关系使得元素所在的等价类在运算上可以作为一个整体来看待。 yuliang@mti.xidian.edu.cn * * 6.5商代数 商代数定义: 设A=S,*, △,k是一个代数系统，~是A上的同余关系，A关于~的商代数A/~=S/~,*’, △’,[k]。其中 △’[a]=[△a] [a]*’[b]=[a*b] 注意：S/~是集合的集合，即等价类的集合， 形如：{[a], [b], …} *’, △’是集合之间的运算 [k]是代数常元的集合 yuliang@mti.xidian.edu.cn * * 6.5商代数 【例题】 代数系统A=S, △,~，其中S={a1,a2,a3,a4,a5},一元运算△和~由下表所示的运算表定义。又S上的等价关系R产生的S上的划分 л= {{a1,a3},