离散群和子群.pptVIP

离散群和子群第1页，共12页，星期日，2025年，2月5日.-吴扬扬制-*§8.1半群和独异点

2.可交换独异点的性质定理8.1.1设S,·,e为可交换独异点，T为S中所有幂等元的集合，则〈T,·是S,·的子独异点。证明(1)·在T上封闭∵?a,b?T,有a·a=a,b·b=b∴(a·b)·(a·b)=(a·a)·(b·b)交换性、结合性=a·b(2)e?T∵e·e=e∴e也是幂等元因此〈T,·是S,·的子独异点分析前面例题幂等性第2页，共12页，星期日，2025年，2月5日.-吴扬扬制-*§8.1半群和独异点

3.半群同态（1）定义半群同态独异点同态单位元映射到单位元例2：设A=?*,o,?,B=N,+,0定义h:?*→N,?x??*,h(x)=‖x‖(串的长度）∵?x,y??*,h(xoy)=‖xoy‖=‖x‖+‖y‖=h(x)+h(y)且h(?)=‖?‖=0∴h是A到B的独异点同态*分析R,+与R+,?的同构映射h:R→R+,h(x)=ex(x?R)第3页，共12页，星期日，2025年，2月5日.-吴扬扬制-*§8.1半群和独异点

3.半群同态（2）其中：fx：S→S，?y?S,fx(y)=x*y性质定理8.1.2半群S，*与SS，o同态。例3：半群S,*,其中，S={a,b,c},*运算定义为：*abcaabcbbcaccab定义{a,b,c}，*到SS，o同态映射h:S→SS，?x?S,h(x)=fx即h(a)=fah(b)=fbh(c)=fc其中,fa：S→S，fa(a)=a*a=a,fa(b)=a*b=b,fa(c)=a*c=cfb：S→S，fb(a)=b*a=b,fb(b)=b*b=c,fb(c)=b*c=afc：S→S，fc(a)=c*a=c,fc(b)=c*b=a,fc(c)=c*c=b第4页，共12页，星期日，2025年，2月5日.-吴扬扬制-*§8.1半群和独异点

3.半群同态（3）定理8.1.3任意独异点都同构于某一变换独异点。即S,*,e必与SS,o,Is的某个子独异点同构。其中：fa：S→S，?b?S,fa(b)=a*b∵?a,b?S,?c?S,∴h(a*b)=h(a)oh(b)fa*b(c)=(a*b)*c且faofb(c)=fa(fb(c))=fa(b*c)=a*(b*c)=(a*b)*c∴fa*b(c)=faofb(c)∴fa*b=faofb故h是从S,*到S,o的半群同态。证明定理8.1.2：半群S，*与SS，o同态。证定义h:S→SS,?a?S,h(a)=fa,第5页，共12页，星期日，2025年，2月5日.*第八章半群和群

§8.2群的定义和性质

1.基本概念群：设G,·为独异点，如果?a?G,a都可逆，则称G,·为群。阿贝尔群：若群G,·中的二元运算·是可交换的，则称G,·为可交换群，也称阿贝尔群。例1：分析下列系统：A=I,+B=?(A),?C=AA,oD=?*,oE=N,+第6页，共12页，星期日，2025年，2月5日.*§8.2群的定义和性质

2.判定定理定理8.2.1设G,·为半群。若（1）有左单位元，即?el?A,使得?a?G,有el·a=a（2）每个元素有左逆元，即?a?G?al?G,使得al·a=el,则G,·是群。证明(1)?a?Gal是逆元.∵al?G，∴?a’?G，使a’·al=el.∴a·al=el·(a·al)=(a’·al)·(a·al)=a’·(al·a)·al=a’·el·al=a’·(el·al)=a’·al=el∴al是右逆元(2)el是单位元∵?a?G,有a·el=a·(al·a)=(a·al)·a=e