离散第六章 代数系081209.pptVIP

由定义可知，同余关系是代数结构的集合中的等价关系，并且在运算的作用下，能够保持关系的等价类。即在x1⊙y1中，如果用集合S中的与x1等价的任何其它元素x2代换x1，并且用与y1等价的任何其它元素y2代换y1，则所求的结果x2⊙y2与x1⊙y1位于同一等价类之中。亦即若[x1]E [x2]E并且[y1]E [y2]E，则[x1⊙y1]E [x2⊙y2]E。此外，同余关系与运算密切相关。如果一个代数结构中有多个运算，则需要考察等价关系对于所有这些运算是否都有代换性质。如果有，则说该代数结构存在同余关系；否则，同余关系不存在。 例6.4.1 给定 Z，+，× ，其中Z是整数集合，+和×是一般加、乘法。假设Z中的关系R定义如下： i1Ri2： | i1 | | i2 | 其中i1、i2∈Z 试问，R为该结构的同余关系吗？ 其中| i1 | 表示i1的绝对值. 相等关系是等价关系是明显的，只要证它满足代换性即可．即证对任意的i1,i2,i3,i4?Z和i1Ri2?i3Ri4? | i1 | | i2 | ? | I3 | | i4 | ? | i1+i3 | | i2+i4 | 对i1 1, i2 1, I3 3, i4 -3 | i1+I3 | 4 | i2+i4 | 2 即对+不满足代换性，即Ｒ不是 Z，+，× 的同余关系． 可见，考察一个等价关系E对于有多个运算的代数结构是否为同余关系，这里有个次序先后问题，选择得好，即你一下子就考察到了E对某个运算是不具有代换性质，那么立刻便可断定E不是该结构的同余关系，否则验证应继续下去，直至遇到不具有代换性质的运算为止。如果对于所有运算都有代换性质，则E为该结构的同余关系。在例6.4.1中，首先发现R对于+不具有代换性质，那么可断定R不是该结构的同余关系。如果你首先验证是R对于×的代换性质，结果R对于×有代换性质，至此你只是有希望E是同余关系，但还得继续工作，考察R对于+的代换性质，由此结果才能判定R是否为该结构的同余关系。 有了同余关系的概念后，现在可以给出它与同态映射的关系了，请看下面定理： 定理6.4.1 设 S，⊙ 与 T，* 是同类型的且f为其同态映射。对应于f，定义关系Ef如下： xEf y： f x f y ， 其中x，y∈S 则Ef是 S，⊙ 中的同余关系，并且称Ef为由同态映射f所诱导的同余关系。 由于同态映射不惟一，根据定理6.4.1，可以推知同余关系也不惟一。 例6.4.2 设 Z，′ 与 B，ˉ 是同类型的，其中Z是整数集合，B 0，1 ，′ 和 ˉ 定义如下： i ′ i + 1 i∈Z 　 b? b+1 mod 2 b∈B 又设f∈BZ： f i i mod 2 其中i∈Z 试指出f所诱导的同余关系。 解：f诱导的同余关系为Ef　 iEfj: f i f j 即i mod2 j mod2 显然Ef是个等价关系，（自反、对称、可传递），现在我们只要说明Ef满足代换性． 对任何i,j?Z和iEfj来推证i′Efj′即由 i mod2 j mod2 ? i+1 mod2 j+1 mod2 因为 i+1 mod2 i mod2 +1 mod2 mod2 j+1 mod2 j mod2 +1 mod2 mod2 于是 i+1 mod2 j+1 mod2 即Ef是满足代换性的，从而证明了Ef是同余关系而且是由f所诱导的． 6.5 商代数 定义6.5.1 给定 S，⊙ 及其上的同余关系E，且由E对S所产生同余类构成一个商集S/E。若在S/E中定义运算*如下： [x]E *[y]E [x⊙y]E 其中[x]E，[y]E∈S/E 于是 S/E，* 构成了一个代数结构，则称 S/E，* 为代数结构 S，⊙ 的商代数。 可以看出，给定一个代数结构，利用结构中的同余关系可以构造一个新的代数结构即商代数，两者有何联系，下面定理指明这一点。 定理6.5.1 给定 S，⊙ 及其上的商代数 S/E，* ，则 S，⊙ ~ S/E，* 。 通常，称gE为从S到S/E上的正则映射，并且称gE为从 S，⊙ 到 S/E，* 的与E相关的自然同态映射，简称自然同态。 此外，容易看出自然同态gE是满同态映射，根据定理6.3.2可知，代数结构 S，⊙ 的各种性质在其商代数 S/E，* 中都被保持了下来。 书上123页给出了该定理的证明． 例6.5.1 给定 N，+ ，其中N是自然数集合，+是普通加法运算。 又知例6.3.1中 Zm，+m ，并且在N中定义关系E： n1En2： m | n1-n2 ∨m | n2-n1