离散数学结构 第十一章 半群与群.docVIP

第十一章 半群与群 11.1 半群与独异点 一、半群与独异点的定义 定义11.1 (1)设V=S,是代数系统,为二元运算,如果运算是可结合的,则称V为半群。 (2)设V=S,是半群,若e∈S是关于运算的单位元,则称V是含幺半群,也叫做独异点。有时也将独异点V记作V=S,,e. 例11.1 (1)Z+,+,N,+,Z,+,Q,+,R,+都是半群,+是普通加法。这些半群中除Z+,+外都是独异点。(2)设n是大于1的正整数,Mn(R),+和Mn(R),·都是半群,也都是独异点,其中+和·分别表示矩阵加法和矩阵乘法。(3)P(B),为半群,也是独异点,其中为集合的对乘差运算。(4)Zn,为半群,也是独异点,其中Zn={0,1,…,n-1},为模n加法。 (5)AA,为半群,也是独异点,其中为函数的复合运算。(6)R*,为半群,其中R*为非零实数集合,运算定义如下：x,y∈R*,xy=y 二．半群与独异点的性质 1．半群中的幂 由于半群V=S,中的运算是可结合的,可以定义元素的幂,对任意x∈S,规定：x1=xxn+1=xnx,n∈Z+ ??? 用数学归纳法不难证明x的幂遵从以下运算规则：xnxm=xn+m(xn)m= xnm m