[离散数学课件-乔维声]第9章群与格.pptVIP

第9章 群与格 9.1 半群和独异点 9.2 群 9.3 群中元素的周期与循环群 9.4 子群 9.5 陪集和正规子群 9.6 群同态 9.7 格与布尔代数 9.8 环与域 习题9 9.1 半群和独异点 9.9.1 半群 定义 9.1 ― 1 设有代数系统(S， *)， 其中S是非空集合， *是S上的可结合的二元运算， 则称(S， *)为半群。 由定义， 半群中的二元运算*应满足下面两个条件： (1) *在S上封闭； (2) *在S上可结合。 例1 考虑代数系统(E， ＋)和(E， ·)， 其中E是正偶数集合， ＋和·是通常的加法和乘法， 则(E， ＋)和(E， ·)是半群。 例2 考虑代数系统(R＋， ·)， 其中 R＋是正实数集合， ·是通常的乘法， 则(R＋， ·)是半群。 若／是通常的除法， 因为除法运算／不满足结合律， 则(R＋， ／)不是半群。 例3 设S＝{a， b}， S上的二元运算*的运算表如表6 ― 9所示。试证代数系统(S， *)是半群。 证明 可根据运算表逐一验证如下: (a*a)*a＝a*a＝a＝a*(a*a) (a*a)*b＝a*b＝b＝a*(a*b) (a*b)*a＝b*a＝b＝a*(b*a) (a*b)*b＝b*b＝a＝a*(b*b) (b*a)*a＝b*a＝b＝b*(a*a) (b*a)*b＝b*b＝a＝b*(a*b) (b*b)*a＝a*a＝a＝b*(b*a) (b*b)*b＝a*b＝b＝b*(b*b) 9.1.2 独异点 定义 9.1 ― 2 若半群(S， *)对运算*有单位元， 则称该半群(S， *)为独异点(或称单元半群)。 由定义， 独异点(S， *)中的二元运算*应满足下面3个条件： (1) *在S上封闭； (2) *在S上可结合； (3) S中关于运算*有单位元e。 由定理8.2 ― 1知， 独异点有唯一的单位元e。 例４ 例1中的两个半群(E， ＋)和(E， ·)都没有单位元， 所以都不是独异点。 例5 例2中的半群(R＋， ·)有单位元１， 所以 (R＋， ·)是独异点。 例6 例3中的半群(S， *)有单位元a， 所以(S， *)也是独异点。 例7 设A＝{a， b， c， …， z}。 我们将A中的元素称为字符； 由A中有限个字符组成的行， 称为A上的字符串； 不包含任何字符的字符串称为空串， 用ε表示。 令 A*＝｛x|x是A上的字符串｝ A ＋＝A *－{ε} 定义集合A*上的连接运算。为： 对任意α， β∈A*， α。β为将字符串α写在字符串β的左边而得到的字符串。 由定义知： (1) 运算。在A*上封闭； (2) 运算。在A*上可结合； (3) 对任意α∈A*， 有α。ε＝ε。α＝α， 所以ε是A*中关于运算。的单位元。 因此， (A*，。)是独异点。 同理可知， (A＋， 。)是半群， 而不是独异点。 设e为独异点(S， *)的单位元。 若定义： 对任何元素a∈S， a0＝e， 则独异点中元素a的n次幂可定义为 a0＝e an+1＝an*a (n∈Z) 容易证明， 在独异点中， 与半群类似的有： am*an＝am+n (am)