第8章-群和半群ppt课件.ppt
《第8章-群和半群ppt课件.ppt》由会员分享,可在线阅读,更多相关《第8章-群和半群ppt课件.ppt(66页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第第8 8章章 半群和群半群和群篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统8.1 8.1 半群和独异点半群和独异点半群和独异点的定义半群和独异点的定义子半群和子独异点子半群和子独异点半群同态和独异点同态半群同态和独异点同态篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统代数系统代数系统A=A=S S,*,若若*是满足结合律的二元运算,是满足结合律的二元运算,则则A A称为半群。称为半群。若若*同时满足交换律,则称为阿贝尔半群。同时满足交换律,则称为阿贝尔半群。存在幺元的
2、半群称为独异点,也称存在幺元的半群称为独异点,也称(含含)幺半群,单位幺半群,单位半群。半群。若若*同时满足交换律,则称为阿贝尔独异点。同时满足交换律,则称为阿贝尔独异点。8.1.1 8.1.1 半群和独异点的定义半群和独异点的定义篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统例例,是最典型的半群,只满足结合律是最典型的半群,只满足结合律*,是最典型的独异点,只满足结合律,有幺元是最典型的独异点,只满足结合律,有幺元是独异点,可交换独异点是独异点,可交换独异点S 是独异点,不满足交换律,部分元素有逆元是独异点,不满足交换律,部分元素
3、有逆元篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统*a ba a bb a bb)b)设设S=aS=a,bb,*定义如右表:定义如右表:即即a a,b b都是右零元都是右零元 x,y,zx,y,z S S x*y x*y S S 运算封闭运算封闭 x*x*(y*zy*z)=x*z=z=x*z=z (x*yx*y)*z=z*z=z 结合律成立结合律成立 S S,*是一半群,该半群称为二元素右零半群是一半群,该半群称为二元素右零半群 篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型
4、的系统半群的性质半群的性质:1.1.独异点运算表中任何两行或两列均不相同独异点运算表中任何两行或两列均不相同证明:设独异点证明:设独异点的幺元为的幺元为e e,a,ba,b S S,若,若a a b b a*e a*e b*e,b*e,S,*S,*运算表中运算表中a,ba,b两行不同,两行不同,由由a,ba,b任意性,任意性,运算表中运算表中任两行不同任两行不同 e*a e*a e*b,e*b,S,*S,*运算表中运算表中a,ba,b两列不同,两列不同,由由a,ba,b任意性,任意性,运算表中运算表中任两列不同任两列不同篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛
5、的计时计分系统是一种得分类型的系统2.2.有限半群一定含有幂等元有限半群一定含有幂等元 证明:设证明:设S S,是半群,是半群,S,S是有限集,需证是有限集,需证 a a S S,有,有a aa=aa=a b b S S,因为运算封闭,因为运算封闭,b b2 2=b=bb b S,bS,b3 3,b,b4 4 S S S S有限有限 i i,j jNN+,ji ji 有有b bi i=b=bj j b bi i=b=bj j=b=bj-ij-ib bi i 令令p=jp=ji i b bi i=b=bj j=b=bp p*b*bi i 当当qi,bqi,bq q=b=bp pbbq q (1)
6、(1)又又p1 p1 k k NN+有有kpi kpi 由由(1)b(1)bkpkp=b=bp pb bkpkp=b=bp p(b(bp pb bkpkp)=b =bp p(b(bp p(b(bp pb bkpkp)=.=b)=.=bp pbbp p b bkpkp =b =bkpkpb bkpkp 令令a=ba=bkpkp S S 则则a aa=a aa=a a是幂等元是幂等元.k个个篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统8.1.2 8.1.2 子半群和子独异点子半群和子独异点 设设为半群,为半群,T T为为S S的非空子
7、集。若的非空子集。若T T关于关于*封闭,封闭,则称则称是是的子半群,记为的子半群,记为T TSS。设设为独异点,为独异点,T T为为S S的非空子集。若的非空子集。若T T关于关于*封闭,且封闭,且eT,eT,则称则称是是的子独异点,记的子独异点,记为为TSTS。例例 半群半群有子半群有子半群,独异点独异点有子独异点有子独异点篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统n独异点独异点*,设设A A,则,则 是是的子独异点;的子独异点;n独异点独异点,设,设T=s|s|10,T=s|s|10,是是的子半群,但不是子独异点;的子半群
8、,但不是子独异点;n独异点独异点,设,设nN=nm|m nN=nm|m N,N,是是的子独异点;的子独异点;n独异点独异点S,其中,其中S S上的单射集合,满射集合和上的单射集合,满射集合和双射集合都是双射集合都是S 的子独异点。的子独异点。篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统定理定理 设设为可交换独异点,为可交换独异点,T T为为S S中所有幂等元的中所有幂等元的 集合,则集合,则是是的子独异点。的子独异点。证:证:(1)T(1)T对于对于*的封闭性的封闭性a,bT,a*a=a,b*b=b,a,bT,a*a=a,b*b=
9、b,又由于又由于*是可交换、可结合的,是可交换、可结合的,所以所以(a*b)*(a*b)=a*(b*a)*b=a*a*b*b=a*b(a*b)*(a*b)=a*(b*a)*b=a*a*b*b=a*b(a*b)(a*b)也是幂等元,也是幂等元,a*bT.a*bT.(2)eT.(2)eT.e*eT,eT.e*eT,eT.所以所以是是的子独异点。的子独异点。篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统8.1.3 8.1.3 半群同态和独异点同态半群同态和独异点同态定义定义设设和和是半群,函数是半群,函数h:S1S2.h:S1S2.若若a
10、,bS1,a,bS1,有有h(a*b)=h(a)h(b),h(a*b)=h(a)h(b),则称则称h h为从为从到到S2,的半群同态。的半群同态。设设和和是独异点,函数是独异点,函数h:M1M2.h:M1M2.若若a,bM1,a,bM1,有有h(a*b)=h(a)h(b),h(a*b)=h(a)h(b),且且h(e1)=e2,h(e1)=e2,则称则称h h为为从从到到的独异点同态。的独异点同态。例例8.1.48.1.4篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统设设=a,b,*,=a,b,上的函数上的函数h:*h:*定义如下:定
11、义如下:i)h()=;i)h()=;ii)h(as)=abh(s),h(bs)=bah(s)ii)h(as)=abh(s),h(bs)=bah(s)则则h h是是上的自同态。上的自同态。证:对证:对s s用归纳法证明用归纳法证明s,t*:h(st)=h(s)h(t)s,t*:h(st)=h(s)h(t)i)s=i)s=时时,h(t)=h(t)=h(t)=h()h(t),h(t)=h(t)=h(t)=h()h(t),ii)ii)假设假设s=xs=x时成立,即时成立,即h(xt)=h(x)h(t)h(xt)=h(x)h(t)则当则当s=axs=ax时,时,h(st)=h(axt)=abh(xt)h
12、(st)=h(axt)=abh(xt)=abh(x)h(t)=h(ax)h(t)=h(s)h(t)=abh(x)h(t)=h(ax)h(t)=h(s)h(t)当当s=bxs=bx时同理可证。时同理可证。s,t*:h(st)=h(s)h(t)s,t*:h(st)=h(s)h(t)又又h()=h()=,所以所以h h是是*上的自同态。上的自同态。篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统定理定理 半群半群与与S 同态同态证:定义证:定义h:SSh:SSS S为:为:aS,h(a)=faS,h(a)=fa a,其中其中f fa a:S
13、S,:SS,xS,fxS,fa a(x)=a*x,(x)=a*x,则则h h是同态映射,因为:是同态映射,因为:a,bS,a,bS,cScSh(a*b)(c)=fh(a*b)(c)=fa*ba*b(c)=(a*b)*c=a*b*c(c)=(a*b)*c=a*b*c(h(a)(h(a)h(b)(c)=(fh(b)(c)=(fa a f fb b)(c)=f)(c)=fa a(f(fb b(c)=a*(b*c)=a*b*c(c)=a*(b*c)=a*b*c所以所以h(a*b)(c)=(h(a)h(a*b)(c)=(h(a)h(b)(c)h(b)(c),即即h(a*b)=h(a)h(a*b)=h(a
14、)h(b).h(b).所以所以h h是同态映射,是同态映射,半群半群与与S 同态。同态。例例8.1.58.1.5篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统定理定理 (独异点表示定理)任意独异点都同构于某一变换独异点(独异点表示定理)任意独异点都同构于某一变换独异点设设S S为集合,为集合,S 的子独异点称为变换独异点。的子独异点称为变换独异点。任意独异点都同构于某一变换独异点。任意独异点都同构于某一变换独异点。证:设证:设是任一独异点。是任一独异点。(1)(1)作作h:SSh:SSS S,a f,a fa a,则由定理则由定理8
15、.1.28.1.2知,知,h h是半群同态。是半群同态。又因为又因为h(e)=fh(e)=fe e=1=1S S,所以所以h h是从是从到到S 的独异的独异点同态。点同态。篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统(2)(2)(同构同构)i)h i)h是单射是单射.a,bS,a,bS,若若h(a)=h(b)h(a)=h(b),即,即f fa a=f=fb b,则则f fa a(e)=f(e)=fb b(e),a*e=b*e,(e),a*e=b*e,即即a=b.a=b.ii)h ii)h不一定是满射,其值域不一定是满射,其值域h(
16、S)h(S)S SS S 但,由定理但,由定理7.2.37.2.3,h(S),是是S 的子代数。的子代数。(h(S)h(S)对合成运算对合成运算 封闭)封闭)又又 1 1S S=h(e)=h(e)h(S),h(S),h(S),是是S 的子的子独异点。独异点。h:S S h:S SS S ,限制在,限制在h(S)h(S)上为满射。上为满射。所以,所以,同构于同构于 h(S),。篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统8.2 8.2 群的定义及性质群的定义及性质群的定义群的定义群的判定群的判定群的性质群的性质元素的阶元素的阶篮球比
17、赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统8.2.1 8.2.1 群的定义群的定义代数系统代数系统G G,*,其中二元运算,其中二元运算*满足下列性质:满足下列性质:1)1)结合律,即结合律,即 a,b,ca,b,c G G,a*a*(b*c b*c)=(a*ba*b)*c*c2)2)存在幺元存在幺元e e,即,即 a a G G,e*a=a*e=ae*a=a*e=a3)G3)G中每个元素存在逆元中每个元素存在逆元 即即 a a G G,a a-1-1 G,G,使使a*aa*a-1-1=a=a-1-1*a=e*a=e则则G G,*称为
18、群。称为群。篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统 若若G G是有限集,称是有限集,称G G,*为有限群,为有限群,G G称为群的阶;称为群的阶;若若G G是无限集,称是无限集,称G G,*为无限群为无限群。有限群有限群篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统阿贝尔群阿贝尔群 若若*满足交换律,称满足交换律,称G G,*为阿贝尔群,或可交为阿贝尔群,或可交换群或加法群。换群或加法群。此时,此时,*符号可用符号可用+代替;代替;a a-1-1可写为可写为-a-
19、a;a a的的n n次幂次幂a an n可写为可写为na;na;幺元幺元e e可写为可写为0 0篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统不是群,除不是群,除0 0以外的元素无逆元以外的元素无逆元是阿贝尔群是阿贝尔群不是群,不是群,0 0没有逆元没有逆元不是群,不是群,0 0没有逆元没有逆元Q,*,1是阿贝尔群是阿贝尔群N,0是阿贝尔群,是阿贝尔群,篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统N,1不是群,不是群,0 0没有逆元没有逆元设设B(X,X)B(X,X)是
20、集合是集合X X上的双射函数集合,上的双射函数集合,则则 B(X,X),是一个群,但不是阿贝尔群是一个群,但不是阿贝尔群 对行列式非零的对行列式非零的n n阶方阵阶方阵M M,存在存在M M-1-1,M,M M M-1-1=M=M-1-1 M=1M=1n n篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统N N4 4=0,1,2,3,=0,1,2,3,模模4 4加法加法+4 4的运算表如下:的运算表如下:+4篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统 N,0是阿贝尔群是
21、阿贝尔群N,0是阿贝尔群是阿贝尔群m+m+k kn n=m+n mod k=m+n mod k-m=k-m-m=k-m;m+m+k k(k-m)=(m+k-m)mod k=0(k-m)=(m+k-m)mod k=0计算机中的整数实际上就是计算机中的整数实际上就是N Nk k;-m-m的补码是的补码是k-mk-m,这样:这样:n-n-2 232m=(n-m)mod 232m=(n-m)mod 23232 =(n+(2 =(n+(23232-m)mod 2-m)mod 23232=n+=n+2 232(232(23232-m)-m)篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,
22、篮球比赛的计时计分系统是一种得分类型的系统8.2.2 8.2.2 群的判定群的判定定理定理1 1 设设为半群,若为半群,若(1)(1)有左单位元,即有左单位元,即 e el lG,G,aG,e aG,el l*a=a;*a=a;(2)(2)每个元素有左逆元,即每个元素有左逆元,即 aG,aG,a al lG,aG,al l*a=e*a=el l,则则是群。是群。篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统证:证:i)i)先证先证 aG,a*a aG,a*al l=e=el l.aal lG,G,a aG,a*aG,a*al l=e
23、=el l.则则a*aa*al l=e=el l*(a*a*(a*al l)=(a*a)=(a*al l)*(a*a)*(a*al l)=a*(a =a*(al l*a)*a*a)*al l=a*e=a*el l*a*al l =a*a =a*al l=e=el lii)ii)再证再证e el l也是右单位元也是右单位元 aG,a*e aG,a*el l=a*(a=a*(al l*a)=(a*a*a)=(a*al l)*a=e)*a=el l*a=a*a=a所以所以e el l是单位元;是单位元;aG aG,a al l是是a a的逆元。的逆元。所以所以是群。是群。篮球比赛是根据运动队在规定的
24、比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统定理定理2 2 设设是半群,若是半群,若 a,ba,bGG,方程,方程a*x=b,y*a=ba*x=b,y*a=b在在G G中中都有解,则都有解,则是群。是群。证证:(利用定理(利用定理1 1)i)i)取取a aGG ,设,设e el l为为y*a=ay*a=a的一个解,的一个解,e el l*a=a;*a=a;b bG,G,设设c c为为a*x=ba*x=b的一个解,的一个解,a*c=b,a*c=b,则,则,e el l*b=e*b=el l*(a*c)=(e*(a*c)=(el l*a)*c=a*c=b,*a)
25、*c=a*c=b,所以,所以,e el l是左单位元。是左单位元。ii)ii)a aG,G,令令a al l为为y*a=ey*a=el l的一个解,的一个解,则则a al l*a=e*a=el l,则则a al l是是a a的左逆元。的左逆元。由定理由定理1,1,是群。是群。篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的,因此,篮球比赛的计时计分系统是一种得分类型的系统定理定理3 3 设设是有限半群,若是有限半群,若G G中消去律成立,则中消去律成立,则是群。是群。证:设证:设G=a1,a2,.,an.G=a1,a2,.,an.i)i)先证先证 a,ba,bGG,a*x=ba*x=
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- ppt 课件
限制150内