大连理工大学软件学院-离散数学-第六章-代数系统1：-3rd.pptVIP

第六章代数系统

;回忆;6(1).4同余关系

定义6(1).4.1给定S，⊙且E为S中的等价关系。

E关于⊙有代换性质：(?x1)(?x2)(?y1)(?y2)((x1，x2，y1，y2∈S∧x1Ex2∧y1Ey2)→(x1⊙y1)E(x2⊙y2))。

E为S，⊙中的同余关系：E有代换性质。

与此同时，称同余关系E的等价类为同余类。;由定义可知，同余关系是代数结构的集合中的等价关系，并且在运算的作用下，能够保持关系的等价类。即在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(1).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为该结构的同余关系。在例中，首先发现R对于+不具有代换性质，那么可断定R不是该结构的同余关系。如果你首先验证是R对于×的代换性质，结果R对于×有代换性质，至此你只是有希望E是同余关系，但还得继续工作，考察R对于+的代换性质，由此结果才能判定R是否为该结构的同余关系。;有了同余关系的概念后，现在可以给出它与同态映射的关系了，请看下面定理：

定理6(1).4.1设S，⊙与T，*是同类型的且f为其同态映射。对应于f，定义关系Ef如下：

xEfy：f(x)=f(y)，其中x，y∈S

那么Ef是S，⊙中的同余关系，并且称Ef为由同态映射f所诱导的同余关系。

由于同态映射不惟一，根据定理6(1).4.1，可以推知同余关系也不惟一。;例6(1).4.2设Z，′与B，ˉ是同类型的，其中Z是整数集合，B={0，1}，′和ˉ定义如下：

i′=i+1i∈Z

b?=(b+1)(mod2)b∈B

又设f∈BZ：

f(i)=(i)(mod2)其中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(1).5商代数

定义6(1).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(1).5.1给定S，⊙及其上的商代数S/E，*，那么S，⊙~S/E，*。

通常，称gE为从S到S/E上的正那么映射，并且称gE为从S，⊙到S/E，*的与E相关的自然同态映射，简称自然同