离散数学--第3讲-同余关系和商代数.pptVIP

* 离散数学（二） 同余关系和商代数 同余关系 11 商代数 2 主要内容: 同余关系 重点: 商代数和同态象的关系 难点: 重点和难点: 商代数和同态象的关系 3 一、同余关系 关于运算的同余关系： 设～是代数A=S, *, △的载体S上的等价关系,任取a,b,c∈S， (1) 当a～b时, 若有ac～bc和ca～cb, 那么我们说等价关系～在运算*下具有置换性质，或者说等价关系～在运算*下仍能保持，称～是关于运算*的同余关系； (2) 当a～b时, 若有△a～△b, 那么我们说等价关系～在运算△下具有置换性质, 或者说等价关系～在运算△下仍能保持，称~是关于运算△的同余关系。 一、同余关系 同余关系定义: 设R为代数A=S, *, △的载体S上的等价关系, 如果在代数运算*下仍能保持, 则称R是关于运算*的同余关系。 一、同余关系 例1：给定代数A=I, · ，I：整数集合，运算·为普通乘法运算，R为I上的模k相等(k∈I+)关系, 即xRy当且仅当x≡y(mod k)，现在证明R是关于运算·的同余关系。 证明： (a)容易看出R是I上的等价关系； (b)下面只需证明对任意a,b,c∈I，若aRb,则(a·c)R(b·c)和(c·a)R(c·b)。 设aRb, 即存在n∈I使得a-b=kn。于是(a·c)-(b·c)=tn, 因此(a·c)R(b·c)。又乘法是可交换, 有(c·a)R(c·b) 。所以, R是关于·的同余关系。 一、同余关系 例2：给定代数A=I, △，I：整数集合，I上的一元运算△定义为：z∈I, △(z) = z2(mod m)(m0)，I上的模m相等关系R为: z1Rz2 当且仅当z1≡z2(mod m)，问：R是关于运算△的同余关系吗？ 证明： (a)容易看出R是I上的等价关系, (b)因此只需证明对任意z1, z2∈I，若z1Rz2, 则△(z1)R△(z2)。 若z1Rz2, 即z1≡z2(mod m),设z1=m·a1+r, z2=m·a2+r(0?r?m-1, a1,a2∈I), △(z1) = (z1)2(mod m)= (m·a1+r)2(mod m) = ((a1)2m2+2ma1+r2) (mod m) = r2 (mod m) △(z2) = (z2)2(mod m)=(m·a2+r)2(mod m) = ((a2)2m2+2ma2+r2) (mod m) = r2 (mod m) 所以，△(z1)≡△(z2)(mod m), 即△(z1)R△(z2)。 一、同余关系 代数A上的同余关系定义: 设～是代数A=S , * , △的载体S上的等价关系，对一切元素a、 b、c∈S，若 (1) 若a～b, 则ac～bc 和 ca～cb , (2) 若a～b, 则△a～△b , 都满足, 则～称为代数A上的同余关系。～的等价类叫做关系～的 同余类。 注意：S上的等价关系～是代数A的同余关系当且仅当～关于A 的每一运算是同余的。 一、同余关系 例3：A={a,b,c,d}, 运算表(a)为在A上定义的*运算，表(b)为A上的等价关系R，判断R是不是关于运算*的同余关系。 从上述表中可以看出cRd, b*c=d, b*d = a, 但是d与a不等价，即b*c与 b*d不等价，所以R不是关于运算*的同余关系。 一、同余关系 定理1：等价关系～关于二元运算*是一个同余关系当且仅当对 任意a、b、c、d∈S, a～b和c～d 时有ac～bd。 证明： 必要性： 设～是关于运算*的同余关系,并对任意a、b、c、d∈S,假设a～b和c～d。a～b蕴含着ac～bc,而c～d蕴含着bc～bd。根据～的传递性, 得出ac～bd。 充分性： ～是一等价关系, 假设对任意a、b、c、d∈S,当a～b和c～d时,ac～bd。因为c～c,故如果a～b,那么ac～bc。类似地,ca～cb。 所以～关于运算*是一同余关系。 一、同余关系 自然等价关系: h是 A到A′的任一个同态, h：S→S′可诱导出一个S上的自然等价关系, 这一关系定义如下: a、b∈S, a~b当且仅当h(a) = h(b)。 定理2: 设h是从A=S, *, △到A′=S′, *