第8章 群和半群..ppt

第8章 半群和群 8.1.1 半群和独异点的定义 代数系统A=＜S，*＞，若*是满足结合律的二元运算， 则A称为半群。 若*同时满足交换律，则称为阿贝尔半群。 存在幺元的半群称为独异点，也称(含)幺半群，单位半群。 若*同时满足交换律，则称为阿贝尔独异点。 8.1.2 子半群和子独异点 设S,*为半群，T为S的非空子集。若T关于*封闭，则称T,*是S,*的子半群，记为T≤S。 设S,*,e为独异点，T为S的非空子集。若T关于*封闭，且e∈T,则称T,*,e是S,*,e的子独异点，记为T≤S。 例 半群I, ·有子半群Ev, ·，Od, · 独异点I, ·,1有子独异点Od, ·,1 独异点∑*, ·,ε,设A?∑，则A*, ·,ε 是∑*, ·,ε的子独异点； 独异点∑*, ·,ε，设T={s| ||s||10},T, · 是∑*, ·,ε的子半群，但不是子独异点； 独异点N,+,0，设nN={nm|m ? N}, nN,+,0是N,+,0的子独异点； 独异点SS, ?,1S，其中S上的单射集合，满射集合和双射集合都是SS, ?,1S的子独异点。 定理 设S,*,e为可交换独异点，T为S中所有幂等元的 集合，则T,*,e是S,*,e的子独异点。 证： (1)T对于*的封闭性 ?a,b∈T,a*a=a,b*b=b,又由于*是可交换、可结合的，所以 (a*b)*(a*b)=a*(b*a)*b=a*a*b*b=a*b ∴ (a*b)也是幂等元，a*b∈T. (2)e∈T. ∵ e*e∈T, ∴e∈T. 所以T,*,e是S,*,e的子独异点。 8.1.3 半群同态和独异点同态 定义 设S1,*和S2, ? 是半群，函数h:S1→S2.若?a,b∈S1,有h(a*b)=h(a)?h(b),则称h为从S1,*到S2, ? 的半群同态。 设M1,*,e1和M2, ?,e2 是独异点，函数h:M1→M2.若?a,b∈M1,有h(a*b)=h(a)?h(b),且h(e1)=e2,则称h为从M1,*,e1到M2, ?,e2 的独异点同态。 例8.1.4 定理 半群S,*与SS, ?同态 证：定义h:S→SS为：?a∈S,h(a)=fa, 其中fa:S→S, ?x∈S,fa(x)=a*x, 则h是同态映射，因为： ?a,b∈S, ?c∈S h(a*b)(c)=fa*b(c)=(a*b)*c=a*b*c (h(a)?h(b))(c)=(fa?fb)(c)=fa(fb(c))=a*(b*c)=a*b*c 所以h(a*b)(c)=(h(a)?h(b))(c)， 即h(a*b) =h(a)?h(b). 所以h是同态映射， 半群S,*与SS, ?同态。 例8.1.5 定理 （独异点表示定理）任意独异点都同构于某一变换独异点 设S为集合， SS, ?, 1S 的子独异点称为变换独异点。 任意独异点都同构于某一变换独异点。 证：设S,*,e是任一独异点。 (1)作h:S→SS,a fa,则由定理8.1.2知，h是半群同态。 又因为h(e)=fe=1S,所以h是从S,*,e到SS, ?,1S的独异点同态。 8.2 群的定义及性质 8.2.1 群的定义 代数系统〈G，*〉，其中二元运算*满足下列性质： 1) 结合律，即?a,b,c?G，a*（b*c ）= （a*b）*c 2) 存在幺元e，即?a?G，e*a=a*e=a 3) G中每个元素存在逆元 即?a?G，?a-1? G,使a*a-1=a-1*a=e 则〈G，*〉称为群。 8.2.2 群的判定 定理1 设G,*为半群，若 (1)有左单位元，即? el∈G, ? a∈G,el*a=a; (2)每个元素有左逆元，即? a∈G, ? al∈G,al*a=el, 则G,*是群。 定理2 设G,*是半群，若?a,b∈G，方程a*x=b,y*a=b在G中都有解，则G,*是群。 证： （利用定理1） i)取a∈G ，设el为y*a=a的一个解，el*a=a; ?b∈G,设c为a*x=b的一个解，a*c=b, 则，el*b=el*(a*c)=(el*a)*c=a*c=b, 所以，el是左单位元。 ii) ?a∈G,令al为y*a=el的一个解， 则al*a=el， 则al是a的左逆元。 由定理1,G,*是群。 定理3 设G,*是有限半群，若G中消去律成立，则G,*是群。 证：设G={a1,a2,...,an}. i)先证?a,b∈G，a*x=b在G中有解。 作G’={a*a1, a*a2,..., a*an},则G’?G ?i,j,若ai≠aj，则a*ai≠a*aj(消去律的