第七章 半群和 与群 《离散数学》 .pptVIP

第七章 半群与群;7.1 半群和独异点的定义及其性质;可以看出，独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元e，独异点表为M，○，e。 如果半群S，⊙中的集合S是有限的，则称半群为有限半群，对于有限半群可以给出下面有趣定理。 定理7.1.1 S，⊙为有限半群?(?x)(x∈S∧x⊙x=x) 本定理告诉我们，有限半群存在等幂元。 ;定义7.1.3 给定半群S，⊙，若⊙是可交换的，则称S，⊙是可交换半群。类似地可定义可交换独异点M，○，e。 定义7.1.4 给定半群S，⊙和g∈S，以及自然数集合N，则 g为S，⊙的生成元:=(?x)(x∈S→(?n)(n∈N∧x=gn)) 此时也说，元素g生成半群S，⊙，而且称该半群为循环半群。 类似地定义独异点M，○，e的生成元g和循环独异点，并且规定g0=e。;定理7.1.2 每个循环独异点都是可交换的。 可见，○是可交换的，故M，○，e是可交换的。显然，每个循环半群也是可交换的。 对于生成元的概念加以推广便得出生成集的概念。;定理7.1.3 给定半群S，⊙及任意a∈S，则{a，a2，a3，…}，⊙是循环子半群。 显然，a是{a，a2，a3，…}，⊙的生成元。故{a，a2，a3，…}，⊙是循环子半群。;定理7.1.4 给定可交换独异点M，○，e，若P为其等幂元集合，则P，○，e为子独异点。 定理7.1.5 设M，○，e为独异点，则关于○的运算表中任两列或任两行均不相同。 ;定理7.1.6 给定独异点M，○，e，对任意a，b∈M且a，b均有逆元，则 (1) (a-1)-1=a。 (2) a○b有逆元，且(a○b)-1=b-1○a-1。;7.2 半群和独异点的同态与同构;定义7.2.1 给定两个半群S，⊙与T，○，则 半群S，⊙?半群T，○:=(?f)(f∈TS∧(?x)( ?y)(x，y∈S→f(x⊙y)=f(x)?f(y)) 并称f为从S，⊙到T，○的半群同态映射。 由定义可以知道，半群同态映射f可以不是唯一的。 ;与前面的定义类似，根据半群同态映射f是单射(一对一)、满射、双射，把半群同态映射f分别定义半群单一同态映射、半群满同态映射和半群同构映射。 如果两个半群，存在一个同构映射，则称一个半群同构于另一个半群。 由于代数结构之间的满同态具有保持运算的各种性质，对于半群满同态当然完全适用。 ;下面给出一个半群同态保持等幂性的定理。 定理7.2.1 如果f为从S，⊙到T，○的半群同态映射，对任意a∈S且a⊙a=a，则f(a)○f(a)=f(a)。;由于半群同态映射是个函数，因此可对半群同态映射进行复合运算，从而产生新的半群同态映射。请看如下定理： 定理7.2.2 如果g是从S，⊙到T，☆的半群同态映射，h是从T，☆到U，○的半群同态映射，则h o g是从S，⊙到U，○的半群同态映射。;定义7.2.2 若g是从S，⊙到S，⊙的半群同态映射，则称g为半群自同态映射；若g是从S，⊙到S，⊙的半群同构映射，则称g为半群自同构映射。 ;定理7.2.3 给定半群S，⊙，如果A={g|g为S，⊙到S，⊙的半群自同态映射}且o是函数复合运算，则A，o为半群。 由于恒等映射i是复合运算o的幺元，因此可得下面定理：;定理7.2.4 给定半群S，⊙，若B={h|h为S，⊙到S，⊙的半群自同构映射}，o为函数复合运算，则B，o ，i是独异点。 定理7.2.5 给定半群S，⊙，又SS，o是从S到S的所有函数在复合运算o下构成的函数半群，则存在从S，⊙到SS，o的半群同态映射g，或者说S，⊙半群同态于SS，o。;上面介绍半群同态及有关定理。下面接着来讨论独异点之间的同态及其有关定理。 定义7.2.3 给定独异点M，⊙，eM和T，○，eT，则 M，⊙，eM?T，○，eT :=(?g)(g∈TM∧(?x)( ?y)(x，y∈M→g(x⊙y) =g(x) ○g(y))∧g(eM)=eT 并称g为从M，⊙，eM到T，○，eT的独异点同态映射。;注意，独异点同态区别半群同态就在于保持幺元，即g(eM)=eT。因此，半群同态未必是独异点同态，反之都真。 对于独异点满同态、独异点单同态、独异点同构、以及独异点满同态保持运算性质等，这里也一并略去了。下面给出一个有关同构的定理以结束本节。; 定理7.2.6 给定独异点M，⊙，则存在T?MM，使M，⊙?T，o。 本定理表明，一个独异点可与复合运算下的函数独异点同构。 ;7.3 积半群;定义7.3.1 给定两个半群S，⊙和T，○。称S×T，?为S，⊙和T，○的积半群，其中S×T为集合S与T的笛卡儿积，运算?定义如下： s1，t1?s2，t2=s1⊙s2，t1○t2，其中s1，s2∈S，t1，t2∈T 由于运算