第6章 几个典型的代数系统 第6章 几个典型的代数系统.ppt

第6章 几个典型的代数系统 √6.1 半群与群 √ 6.2 子群 √ 6.3 循环群和置换群 6.4 陪集与拉格朗日定理 6.5 正规子群、商群和同态基本定理 6.6 环和域 6.7 例题选解 习 题 六 6.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.1】 【例6.1.2】 【例6.1.3】 对于半群中的元素，我们有一种简便的记法。 设半群〈S,*〉中元素a（简记为a∈S）的n次幂记为an，递归定义如下： a1=a an+1=an*a1 n∈ Z+ 即半群中的元素有时可用某些元素的幂表示出来。 因为半群满足结合律，所以可用数学归纳法证明 am*an=amn，(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,〉是独异点，幺元是IA，〈SS, ,IA〉； 但〈ZE,×〉不是独异点，因为无幺元， （1ZE，ZE：偶数集）。 定义6.1.4 （1）设〈S，*〉为一半群，若TS，*在T中封闭，则〈T，*〉称为子半群。 （2）设〈S，*〉为一独异点，若TS，*在T中封闭，且幺元e∈T，则〈T,*,e〉称为子独异点。 我们前面提过，对于有穷集合的二元运算，可用运算表来给出。 定理6.1.2 一个有限独异点，〈S,*,e〉的运算表中不会有任何两行或两列元素相同。 证明 设S中关于运算*