离散数学半群与群.pptVIP

  • 25
  • 0
  • 约5.48千字
  • 约 25页
  • 2017-05-29 发布于四川
  • 举报
* * 第十一章 半群与群 第一节 半群与独异点 一、半群与独异点的定义 1.定义11.1 (1)设V=S,?是代数系统,?为二元运算,如果?运算是可结合的,则称V 为半群. (2)设V=S,?是半群,若e∈S 是关于?运算的单位元,则称V 是含幺半群,也叫做独异点. 有时也将独异点V 记作V=S,?,e. 2.实例 例:(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*, x?y=y 二、半群与独异点的性质 1.半群S,?中的幂    可以定义元素的幂,对任意x∈S,规定:      x1=x      xn+1=xn?x,    n∈Z+ 用数学归纳法不难证明x 的幂遵从以下运算规则:      xn?xm=xn+m      (xn)m= xnm     m,n∈Z+ 2.独异点S,?,e中的幂   对于任意的x∈S,可以定义x 的零次幂,即      x0=e      xn+1=xn?x     n∈N   独异点的幂运算也遵从半群的幂运算规则,其中m 和n 是自然数. 三、子半群与子独异点   1. 定义与判别方法 半群的子代数叫做子半群,独异点的子代数叫做子独异点. 子半群的判别方法: V=S,?是半群,T?S,T 非空,如果T 对V 中的运算?封闭,则T,?是V 的子半群. 子独异点的判别方法: V=S,?,e是独异点,T?S,T 非空,如果T 对V 中的运算?封闭,而且e∈T,那么T,?,e构成V 的子独异点. 2.实例 例 设半群V1=S,·,独异点V2=S,·,e. 其中·为矩阵乘法,e 为2 阶 单位矩阵, 则T?S,且T 是V1=S,·的子半群.是T 的单位元,T 构成独异点,但不是S 的子独异点,因为S 的单位元是e. 四、半群与独异点的直积 定义11.2 设V1=S1,? ,V2=S2,?是半群(或独异点),令S=S1×S2,定义S 上的·运算如下:?a,b,c,d∈S, a,b · c,d = a?c,b?d 称S,·为V1 和V2 的直积,记作V1×V2. 不难证明V1×V2是半群.若V1和V2是独异点,其单位元分别为e1和e2,则e1,e2是V1×V2中的单位元,因此V1×V2也是独异点. 五、半群与独异点的同态映射 1.定义 定义11.3 (1)设V1=S1,?, V2=S2,?是半群,?:S1→S2. 若对任意x,y∈S1 有 ? (x?y)= ? (x)? ? (y) 则称?为半群V1到V2的同态映射,简称同态. (2) 设V1=S1,?,e1,V2=S2,?,e2是独异点,?: S1→S2. 若对任意x, y∈S1有  ? (x?y)= ? (x)? ? (y) 且 ? (e1)= e2, 则称?为独异点V1到V2的同态映射,简称同态. 2.实例 设半群V1=S,·,独异点V2=S,·,e. 其中·为矩阵乘法,e为2 阶单位矩阵, 令 , ?是半群V1的自同态,?不是独异点V2的自同态,因为它没有将V2的单位元映到V2的单位元. 第二节 群的定义与性质 一、群的定义、实例与术语 1.群的定义 定义11.4 设G,?是代数系统,?为二元运算. 如果?运算是可结合的,存在单位元e∈G,并且对G 中的任何元素x 都有x?1∈G,则称G 为群. 2.群的实例 例 (1)Z,+,Q,+,R,+都是群;Z+,+和N,+不是群. (2)Mn(R),+是群,而Mn(R),·不是群. (3)P(B),⊕是群,⊕为对称差运算. (4)Zn,⊕,也是群. Zn={0,1,…,n?1},⊕为模n 加. 例 设G={a,b,c,e},G 上的运算由下表给出 ,称为Klein 四元群 3.有关群的术语 定义11.5 (1)若群G 是有穷集,则称G 是有限群,否则称为无限群.群G 的基数称为群G 的阶,有限群G 的阶记作|G|. (2)只含单位元的群称为平凡群. (3)若群G 中的二元运算是可交换的,则称G 为交换群或阿贝尔 (Abel) 群.   例:Z,+和R,+是无限群,Zn,⊕是有限群,也是n 阶群.Klein 四元群是4 阶群.{0},+是平凡群. n 阶(n≥2)实可逆矩阵集合关于矩阵乘法构成的群是非交换群. 定义

文档评论(0)

1亿VIP精品文档

相关文档