离散数学(第二版)第6章 节 几个典型的代数系统.ppt

6.1 半群与群 6.2 子群 6.3 循环群和置换群 6.4 陪集与拉格朗日定理 6.5 正规子群、商群和同态基本定理 6.6 环 6.7 域 6.8 有限域 6.9 例题选解 习题六;　　半群与群都是具有一个二元运算的代数系统， 群是半群的特殊例子。 事实上， 群是历史上最早研究的代数系统， 它比半群复杂一些， 而半群概念是在群的理论发展之后才引进的。 　　逻辑关系见图6.1.1。;图6.1.1;　　定义 6.1.1　设〈S， *〉是代数系统， *是二元运算， 如果*运算满足结合律， 则称它为半群(semigroups)。  　　换言之， x, y, z∈S, 若*是S上的封闭运算且满足(x*y)*z=x*(y*z)， 则〈S， *〉是半群。 ;　　许多代数系统都是半群。 例如， 〈N, +〉， 〈Z, ×〉, 〈P(S), 〉, 〈SS, 〉(SS={f|f: S→S}, 是复合运算)均是半群。 但〈Z, -〉不是半群。 　　再如， 设Σ是有限字母表， Σ+是Σ中的字母串， Σ*={λ}∪Σ+， 其中λ是不含字母的空串， 运算τ是字母串的“连接”运算， 则〈Σ*, τ〉是半群。 如Com∈Σ*, puter∈Σ*, 经τ运算后， 得Computer仍是字母串。;【例6.1.3】　　　　　　　　　　, 则〈S, ·〉不是半群。 这里·代表普通的矩阵乘法运算。 　　证明　取;　　所以〈S, ·〉不是半群。　　　　 证毕　　对于半群中的元素， 我们有一种简便的记法。 　　设半群〈S, *〉中元素a(简记为a∈S)的n次幂记为an， 递归定义如下： 　　　　　　a1=a　　　　　　an+1=an*a1 n∈Z+　　即半群中的元素有时可用某些元素的幂表示出来。 　　因为半群满足结合律， 所以可用数学归纳法证明　　　　　　　　　　　　　　　am*an=am+n， (am)n=amn。 ;　　普通乘法的幂、 关系的幂、 矩阵乘法的幂等具体的代数系统都满足这个幂运算规则。 　　如果有a2=a， 则称a为半群中的幂等元。 　　定理6.1.1　若〈S, *〉是半群， S是有限集合， 则S中必含有幂等元。 　　证明　因为〈S, *〉是半群， a∈S, 有a2, a3, …∈S。 　　因为S是有限集合， 所以必定存在j＞i, 使得ai=aj。 　　令p=j-i ， 便有ai=aj=ap*ai， 所以 aq=ap*aq(q≥i)。 　　因为p≥1, 所以可找到k≥1, 使得kp≥i，　akp=ap*akp=ap*(ap*akp)=a2p*akp=a2p*(ap*akp)=…=akp*akp;　　即在S中存在元素b=akp, 使得b*b=b。　　　证毕　　下面介绍一些特殊半群。 　　定义 6.1.2　如果半群〈S, *〉中二元运算*是可交换的， 则称〈S, *〉是可交换半群(commutative semigroups)。 如〈Z, +〉, 〈Z, ×〉, 〈P(S), 〉均是可交换半群。 但〈SS, 〉, 〈Σ*, τ〉不是可交换半群。 　　定义 6.1.3　含有关于*运算的幺元的半群〈S， *〉， 称它为独异点(monoid)， 或含幺半群， 常记为〈S, *, e〉(e是幺元)。 ;【例6.1.4】　〈Z, +〉是独异点， 幺元是0， 〈Z, +, 0〉;　〈Z, ×〉是独异点， 幺元是1， 〈Z, ×, 1〉；　〈P(S), 〉是独异点， 幺元是， 〈 P(S), , 〉； 　〈Σ*, τ〉是独异点， 幺元是λ(空串)， 〈Σ*, τ, λ〉；　〈SS, 〉是独异点， 幺元是IS， 〈SS, , IS〉；　　但〈ZE, ×〉不是独异点， 因为无幺元， (1ZE， ZE： 偶数集)。 　　半群与独异点的差别就在于独异点含有幺元， 但独异点首先是半群， 所以其中元素也可由某个元素的乘幂表示， 只是一般规定： a0=e(a∈S)。;定义 6.1.4　　(1) 设〈S， *〉为一半群, 若TS, * 在T中封闭， 则〈T， *〉称为子半群。　 (2) 设〈S， *〉为一独异点, 若TS, *在T中封闭， 且幺元e∈T, 则〈T， *, e〉称为子独异点。　　我们前面提过， 对于有穷集合的二元运算， 可用运算表来给出。 　　定理6.1.2　一个有限独异点， 〈S, *, e〉的运算表中不会有任何两行或两列元素相同。 ;　　证明　设S中关于运算*的幺元是e。 因为对于任意的a， b∈S且a≠b时， 总有e*a=a≠b=e*b和a*e=a≠b=b*e， 所以， 在*的运算表中不可能有