三部分代数结构离散数学与半群.pdfVIP

8.1半群与独异点

◼半群与独异点都是具有一个二元运算的代

数系统。

◼半群与独异点的定义，及其子代数的说明。

◼半群与独异点的幂运算。

◼半群与独异点的同态映射。

半群与独异点

定义8.1

(1)设V＝S,是代数系统，为二元运算，如

果运算是可结合的，则称V为半群

（semigroup）。

(2)设V＝S,是半群,若e∈S是关于运算

的单位元,则称V是含幺半群，也叫做独异

点

（monoid）。

有时也将独异点V记作V＝S，，e。

半群与独异点的实例

+

◼Z,+，N,+，Z,+，Q,+，R,+都是

+

半群,+是普通加法。这些半群中除Z,+外都

是独异点。

◼设n是大于1的正整数,M(R),+和M(R),·

nn

都是半群,也都是独异点,其中+和·分别表示矩

阵加法和矩阵乘法。

◼P(B),为半群,也是独异点,其中为集合的

对称差运算。

◼Zn,为半群,也是独异点,其中Zn＝{0,1,…,n-

1},为模n加法。

半群中元素的幂

◼由于半群V＝S,中的运算是可结合的,可

以定义元素的幂,对任意x∈S,规定：

1

x＝x

xn+1＝xnx,n∈Z+

用数学归纳法不难证明x的幂遵从以下运算

规则：

xnxm＝xn+m

nmnm+

(x)＝xm,n∈Z

◼普通乘法的幂、关系的幂、矩阵乘法的幂

等都遵从这个幂运算规则。

独异点中的幂

独异点是特殊的半群，可以把半群的幂运算

推广到独异点中去。

由于独异点V中含有单位元e，对于任意的

x∈S,可以定义x的零次幂,即

0

x＝e

xn+1＝xnxn∈N

半群与独异点的直积

定义8.2设V＝S,，V＝S,*是半群(或

1122

独异点),

令S＝S×S,定义S上的·运算如下：

12

a,b,c,d∈S,

a,b•c,d＝ac,b*d

称S,•为V和V的直积，记作V×V。

1212

可以证明V×V是半群。

12

若V和V是独异点，其单位元分别为e和e，

1212

则e,e是V×V中的单位元，因此

1212

V×V也是独异点。

12

半群与独异点的同态映射

定义8.3

(1)设V＝S,,V＝S,是半群,:S→S。

112212

若对任意的x,y∈S有