1 / 83

第七章 半群与群

第七章 半群与群. 7.1 半群和独异点的定义及其性质 7.2 半群和独异点的同态与同构 7.3 积半群 7.4 群的基本定义与性质 7.5 置换群和循环群 7.6 子群与陪集 7.7 群的同态与同构. 退出. 7.1 半群和独异点的定义及其性质. 定义 7.1.1 给定 < S ,⊙ > ,若⊙满足结合律,则称 < S ,⊙ > 为半群。 可见,半群就是由集合及其上定义的一个可结合的二元运算组成的代数结构。

heath
Télécharger la présentation

第七章 半群与群

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. 第七章 半群与群 • 7.1 半群和独异点的定义及其性质 • 7.2 半群和独异点的同态与同构 • 7.3 积半群 • 7.4 群的基本定义与性质 • 7.5 置换群和循环群 • 7.6 子群与陪集 • 7.7 群的同态与同构 退出

  2. 7.1 半群和独异点的定义及其性质 • 定义7.1.1给定<S,⊙>,若⊙满足结合律,则称<S,⊙>为半群。 • 可见,半群就是由集合及其上定义的一个可结合的二元运算组成的代数结构。 • 定义7.1.2定<M,○>,若<M,○>是半群且○有幺元或○满足结合律且拥有幺元,则称<M,○>为独异点。

  3. 可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元e,独异点表为<M,○,e>。可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元e,独异点表为<M,○,e>。 • 如果半群<S,⊙>中的集合S是有限的,则称半群为有限半群,对于有限半群可以给出下面有趣定理。 • 定理7.1.1 <S,⊙>为有限半群(x)(x∈S∧x⊙x=x) • 本定理告诉我们,有限半群存在等幂元。

  4. 定义7.1.3给定半群<S,⊙>,若⊙是可交换的,则称<S,⊙>是可交换半群。类似地可定义可交换独异点<M,○,e>。定义7.1.3给定半群<S,⊙>,若⊙是可交换的,则称<S,⊙>是可交换半群。类似地可定义可交换独异点<M,○,e>。 • 定义7.1.4给定半群<S,⊙>和g∈S,以及自然数集合N,则 • g为<S,⊙>的生成元:=(x)(x∈S→(n)(n∈N∧x=gn)) • 此时也说,元素g生成半群<S,⊙>,而且称该半群为循环半群。 • 类似地定义独异点<M,○,e>的生成元g和循环独异点,并且规定g0=e。

  5. 定理7.1.2每个循环独异点都是可交换的。 • 可见,○是可交换的,故<M,○,e>是可交换的。显然,每个循环半群也是可交换的。 • 对于生成元的概念加以推广便得出生成集的概念。

  6. 定义7.1.5给定半群<S,⊙>及GS,则 • G为<S,⊙>的生成集:=(a)(a∈S→a=⊙(G))∧ |G| • 这里⊙(G)表示用G中的元素经⊙的复合而生成的元素。 • 类似地定义独异点<M,○,e>的生成集。

  7. 定义7.1.6给定半群<S,⊙>及非空集TS,若T对⊙封闭,则称<T,⊙>为<S,⊙>的子半群。定义7.1.6给定半群<S,⊙>及非空集TS,若T对⊙封闭,则称<T,⊙>为<S,⊙>的子半群。 • 类似地定义独异点<M,○,e>的子独异点<P,○,e>,应注意的是e∈P。

  8. 定理7.1.3给定半群<S,⊙>及任意a∈S,则<{a,a2,a3,…},⊙>是循环子半群。定理7.1.3给定半群<S,⊙>及任意a∈S,则<{a,a2,a3,…},⊙>是循环子半群。 • 显然,a是<{a,a2,a3,…},⊙>的生成元。故<{a,a2,a3,…},⊙>是循环子半群。

  9. 定理7.1.4给定可交换独异点<M,○,e>,若P为其等幂元集合,则<P,○,e>为子独异点。定理7.1.4给定可交换独异点<M,○,e>,若P为其等幂元集合,则<P,○,e>为子独异点。 • 定理7.1.5设<M,○,e>为独异点,则关于○的运算表中任两列或任两行均不相同。

  10. 定理7.1.6给定独异点<M,○,e>,对任意a,b∈M且a,b均有逆元,则定理7.1.6给定独异点<M,○,e>,对任意a,b∈M且a,b均有逆元,则 • (1) (a-1)-1=a。 • (2) a○b有逆元,且(a○b)-1=b-1○a-1。

  11. 7.2 半群和独异点的同态与同构 • 在本节里,将把代数结构之间的同态与同构的概念应用于半群与独异点。有些定义与性质,几乎完全就是平行地搬过来。主要内容如下:

  12. 定义7.2.1给定两个半群<S,⊙>与<T,○>,则 • 半群<S,⊙>半群<T,○>:=(f)(f∈TS∧(x)( y)(x,y∈S→f(x⊙y)=f(x)f(y)) • 并称f为从<S,⊙>到<T,○>的半群同态映射。 • 由定义可以知道,半群同态映射f可以不是唯一的。

  13. 与前面的定义类似,根据半群同态映射f是单射(一对一)、满射、双射,把半群同态映射f分别定义半群单一同态映射、半群满同态映射和半群同构映射。与前面的定义类似,根据半群同态映射f是单射(一对一)、满射、双射,把半群同态映射f分别定义半群单一同态映射、半群满同态映射和半群同构映射。 • 如果两个半群,存在一个同构映射,则称一个半群同构于另一个半群。 • 由于代数结构之间的满同态具有保持运算的各种性质,对于半群满同态当然完全适用。

  14. 下面给出一个半群同态保持等幂性的定理。 • 定理7.2.1如果f为从<S,⊙>到<T,○>的半群同态映射,对任意a∈S且a⊙a=a,则f(a)○f(a)=f(a)。

  15. 由于半群同态映射是个函数,因此可对半群同态映射进行复合运算,从而产生新的半群同态映射。请看如下定理:由于半群同态映射是个函数,因此可对半群同态映射进行复合运算,从而产生新的半群同态映射。请看如下定理: • 定理7.2.2如果g是从<S,⊙>到<T,☆>的半群同态映射,h是从<T,☆>到<U,○>的半群同态映射,则hog是从<S,⊙>到<U,○>的半群同态映射。

  16. 定义7.2.2若g是从<S,⊙>到<S,⊙>的半群同态映射,则称g为半群自同态映射;若g是从<S,⊙>到<S,⊙>的半群同构映射,则称g为半群自同构映射。定义7.2.2若g是从<S,⊙>到<S,⊙>的半群同态映射,则称g为半群自同态映射;若g是从<S,⊙>到<S,⊙>的半群同构映射,则称g为半群自同构映射。

  17. 定理7.2.3给定半群<S,⊙>,如果A={g|g为<S,⊙>到<S,⊙>的半群自同态映射}且o是函数复合运算,则<A,o>为半群。定理7.2.3给定半群<S,⊙>,如果A={g|g为<S,⊙>到<S,⊙>的半群自同态映射}且o是函数复合运算,则<A,o>为半群。 • 由于恒等映射i是复合运算o的幺元,因此可得下面定理:

  18. 定理7.2.4给定半群<S,⊙>,若B={h|h为<S,⊙>到<S,⊙>的半群自同构映射},o为函数复合运算,则<B,o,i>是独异点。定理7.2.4给定半群<S,⊙>,若B={h|h为<S,⊙>到<S,⊙>的半群自同构映射},o为函数复合运算,则<B,o,i>是独异点。 • 定理7.2.5给定半群<S,⊙>,又<SS,o>是从S到S的所有函数在复合运算o下构成的函数半群,则存在从<S,⊙>到<SS,o>的半群同态映射g,或者说<S,⊙>半群同态于<SS,o>。

  19. 上面介绍半群同态及有关定理。下面接着来讨论独异点之间的同态及其有关定理。上面介绍半群同态及有关定理。下面接着来讨论独异点之间的同态及其有关定理。 • 定义7.2.3给定独异点<M,⊙,eM>和<T,○,eT>,则 • <M,⊙,eM><T,○,eT> • :=(g)(g∈TM∧(x)( y)(x,y∈M→g(x⊙y) • =g(x) ○g(y))∧g(eM)=eT • 并称g为从<M,⊙,eM>到<T,○,eT>的独异点同态映射。

  20. 注意,独异点同态区别半群同态就在于保持幺元,即g(eM)=eT。因此,半群同态未必是独异点同态,反之都真。注意,独异点同态区别半群同态就在于保持幺元,即g(eM)=eT。因此,半群同态未必是独异点同态,反之都真。 • 对于独异点满同态、独异点单同态、独异点同构、以及独异点满同态保持运算性质等,这里也一并略去了。下面给出一个有关同构的定理以结束本节。

  21. 定理7.2.6给定独异点<M,⊙>,则存在TMM,使<M,⊙><T,o>。定理7.2.6给定独异点<M,⊙>,则存在TMM,使<M,⊙><T,o>。 • 本定理表明,一个独异点可与复合运算下的函数独异点同构。

  22. 7.3 积半群 • 把积代数方法应用于特殊一类代数结构:半群,便产生积半群。

  23. 定义7.3.1给定两个半群<S,⊙>和<T,○>。称<S×T,>为<S,⊙>和<T,○>的积半群,其中S×T为集合S与T的笛卡儿积,运算定义如下:定义7.3.1给定两个半群<S,⊙>和<T,○>。称<S×T,>为<S,⊙>和<T,○>的积半群,其中S×T为集合S与T的笛卡儿积,运算定义如下: • <s1,t1><s2,t2>=<s1⊙s2,t1○t2>,其中s1,s2∈S,t1,t2∈T • 由于运算是经⊙和○定义的,易知,积半群是个半群。

  24. 不难证明下列定理: • 定理7.3.1若半群<S,⊙>和<T,○>是可交换的,则<S×T,>也是可交换的。 • 定理7.3.2给定半群<S,⊙>和<T,○>,且e1和e2分别是它们的幺元,则积半群<S×T,>含有幺元<e1,e2>。换言之,若<S,⊙,e1>和<T,○,e2>是独异点,则<S×T,,<e1,e2>>是独异点。

  25. 定理7.3.3给定半群<S,⊙>和<T,○>,且θ1和θ2分别为它们的零元,则积半群<S×T,>含有零元<θ1,θ2>。定理7.3.3给定半群<S,⊙>和<T,○>,且θ1和θ2分别为它们的零元,则积半群<S×T,>含有零元<θ1,θ2>。 • 定理7.3.4给定半群<S,⊙>和<T,○>,且s∈S的逆元s-1,t∈T的逆元t-1,则积半群<S×T,>中<s,t>的逆元是<s-1,t-1>。

  26. 7.4 群的基本定义与性质 • 定义7.4.1给定<G,⊙>,若<G,⊙>是独异点且每个元素存在逆元,或者①⊙是可结合的,②关于⊙存在幺元,③G中每个元素关于⊙是可逆的,则称<G,⊙>是群。 • 可见,群是独异点的特例,或者说,群比独异点有更强的条件。

  27. 定义7.4.2给定群<G,⊙>,若G是有限集,则称<G,⊙>是有限群。并且把G的基数称为该有限群的阶数,若集合G是无穷的,则称<G,⊙>为无穷群。定义7.4.2给定群<G,⊙>,若G是有限集,则称<G,⊙>是有限群。并且把G的基数称为该有限群的阶数,若集合G是无穷的,则称<G,⊙>为无穷群。

  28. 由群的定义可知,群具有半群和独异点的性质,这里不再重复罗列了,而且群还有自己独特的性质,仅此讨论如下:由群的定义可知,群具有半群和独异点的性质,这里不再重复罗列了,而且群还有自己独特的性质,仅此讨论如下: • 定理7.4.1 <G,⊙>是群∧|G|>1<G,⊙>无零元。 • 定理7.4.2 <G,⊙>是群<G,⊙>中的唯一等幂元是幺元。

  29. 定理7.4.3给定群<G,⊙>,则有 • (a)(b)(c)(a,b,c∈G∧((a⊙b=a⊙c∨b⊙a=c⊙a)→b=c)) • 即群满足可约律。

  30. 定理7.4.4给定群<G,⊙>,则 • (a)(b)(a,b∈G→((!x)(x∈G∧a⊙x=b)∨(!y)(y∈G∧y⊙a=b)) • 或(a)(b)(a,b∈G→(!x)(!y)(x,y∈G∧(a⊙x=b∨y⊙a=b)) • 即群中方程解是唯一的。

  31. 定理7.4.5 <G,⊙>是群(a)(b)(a,b∈G→(a⊙b)-1=b-1⊙a-1) • 定义7.4.3给定群<G,⊙>,若⊙是可交换的,则称<G,⊙>是可交换群或<G,⊙>是Abel群。 • 定理7.4.6给定群<G,⊙>,则 • <G,⊙>为Abel群(a)(b)(a,b∈G→(a⊙b)2=a2⊙b2

  32. 定义7.4.4给定群<G,⊙>,且a∈G,幺元e,则a的阶或周期为n:=(k)(k∈I+∧ {ak=e}=n),并称a的阶是有限的;否则,a的阶是无穷的。

  33. 定理7.4.7给定群<G,⊙>,且a∈G的阶n是有限的,则定理7.4.7给定群<G,⊙>,且a∈G的阶n是有限的,则 • (m)(m∈I+∧k=mn)ak=e • 推论:若an=e且没有n的因子d(1<d<n)使ad=e,则n为a的阶。 • 定理7.4.8给定群<G,⊙>及a∈G,则a与a-1具有相同的阶。

  34. 7.5 置换群和循环群 • 本节里,将讨论群论中两种常见而又重要的群:置换群和循环群,特别在研究群的同构群时,置换群扮演着极重要的角色。 • 在正式讨论置换群以前,需要先作些必要的准备。

  35. 定义7.5.1令X是非空有穷集合,从X到X的双射,称为集合X中的置换,并称|X|为置换的阶。定义7.5.1令X是非空有穷集合,从X到X的双射,称为集合X中的置换,并称|X|为置换的阶。 • 若X={x1,x2,…,xn},则n阶置换表为

  36. 并称 为置换中的反置换,记为p-1。特别把置换 • 称为X中的幺置换或恒等置换,记为pe。

  37. 此外,用PX表示集合X中的所有置换的集合。 • 为了说明n个元素的集合可以有多少不同的置换,特给出如下定理: • 定理7.5.1若X={x1,x2,…,xn},则|PX|=n!

  38. 定义7.5.2给定集合X且pi,pj∈PX,由X的元素先进行置换pi后继之作置换pj所得到的置换,表为pi◇pj,称pi◇pj是置换pi和pj的复合,◇是复合置换运算。定义7.5.2给定集合X且pi,pj∈PX,由X的元素先进行置换pi后继之作置换pj所得到的置换,表为pi◇pj,称pi◇pj是置换pi和pj的复合,◇是复合置换运算。 • 可以看出,若把置换看成一种特殊关系时,复合置换pi◇pj就是复合关系piopj,常称之右复合;又若把置换看成函数时,那么复合置换又可表成如下的复合函数即所谓左复合: • pi◇pj=pjopi, 其中o表示函数的复合 • 于是,对于x∈X有: • (pi◇pj)(x)=(pjopi)(x)=pj(pi(x))

  39. 由定义7.5.1可知,置换即是双射,亦即1-1函数,故PX中的元素满足下列四个性质:由定义7.5.1可知,置换即是双射,亦即1-1函数,故PX中的元素满足下列四个性质: • (1) • (p1)(p2)(p1,p2PXp1◇p2PXp2◇p1PX) • (2) • (p1)(p2)(p3)(p1,p2,p3PX(p1◇p2)◇p3=p1◇(p2◇p3))

  40. (3) • (pe)(pePX(p)(pPXpe◇p=p◇pe=p)) • (4) • (p)(pPX(p-1)(p-1PXp◇p-1=p-1◇p=pe)) • (1)表明PX对于◇是封闭的;(2)表明PX对于◇是可结合的;(3)表明PX中有幺置换;(4)表明PX中每个置换都有反置换。因此,可知<PX,◇>是一个群,并称它为对称群,习惯上记为<S|X|,◇>。若QPX=S|X|,则称由Q和◇构成的群<Q, ◇>为置换群。

  41. 对称群<S3,◇>独立于集合X中各个元素,但却依赖于集合X中的元素个数。这就是说,任何三个其它元素的集合都会生成“同样”的置换,这就是为什么将对称群<PX,◇>写成<S|X|,◇>,即<S3,◇>的理由。此外,把集合X的基数称为对称群<S3,◇>的次数。因此,<S3,◇>是三次六阶群,因为|S3|=3!=6。对称群<S3,◇>独立于集合X中各个元素,但却依赖于集合X中的元素个数。这就是说,任何三个其它元素的集合都会生成“同样”的置换,这就是为什么将对称群<PX,◇>写成<S|X|,◇>,即<S3,◇>的理由。此外,把集合X的基数称为对称群<S3,◇>的次数。因此,<S3,◇>是三次六阶群,因为|S3|=3!=6。

  42. 一般地说来,由n个元素的集合而构成的所有n!个n阶置换的集合Sn与复合置换运算◇构成群<Sn, ◇>,它便n次n!阶对称群。 • 应该注意,置换群一般都不是对称群,因为它并不要求一定要包括全部给定阶的置换。例如,三次置换群<{p1,p2},◇>和<{p1,p5,p6},◇>都不是对称群,其中p1,p2,p5,p6S3。

  43. 若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。 • 定义7.5.3令<Q,◇>是一置换群且QS|X|。称R={<a,b>|a,b∈X∧p∈Q∧p(a)=b}为由<Q,◇>所诱导的X上的二元关系。

  44. 定理7.5.2由置换群<Q,◇>诱导的X上的二元关系是一等价关系。定理7.5.2由置换群<Q,◇>诱导的X上的二元关系是一等价关系。 • 定理7.5.3在有限群<G,⊙>中,每行或每列都是G中元素的置换。

  45. 一阶群仅有幺元,即<{e},⊙>。 • 二阶群除幺元e外,还有一个元素,比如a,则有<{e,a},⊙>,其运算表如表7.5.2。由定理7.5.3可知,不可能再有其它运算表。在此预先指出,所有的二阶群都与该群<{e,a},⊙>同构。

  46. 三阶群,可令<{e,a,b},⊙>,其运算表如表7.5.3。由定理7.5.3知,不可能再有别的运算表。同样,任何三阶群都与它同构。三阶群,可令<{e,a,b},⊙>,其运算表如表7.5.3。由定理7.5.3知,不可能再有别的运算表。同样,任何三阶群都与它同构。 • 从运算表可以看出,所有二阶群和三阶群都是Abel群。事实上,四、五阶群也是Abel群,但六阶群未必都是Abel群。

  47. 上面讲了由有限集合X到X的双射即置换,以及置换群;下面不再限于X是有限集,换言之,它可以是个无穷集。这时从集合X到X的双射,称之为一一变换或变换。如果令TX表示所有从集合X到X的变换的集合,则显然有TXXX,并且TX类似PX所具有的四条性质,具体如下:上面讲了由有限集合X到X的双射即置换,以及置换群;下面不再限于X是有限集,换言之,它可以是个无穷集。这时从集合X到X的双射,称之为一一变换或变换。如果令TX表示所有从集合X到X的变换的集合,则显然有TXXX,并且TX类似PX所具有的四条性质,具体如下: • (1) (f)(g)(f,gTXfog,gofTX) • (2) (f)(g)(h)(f,g,hTX(fog)oh=fo(goh) • (3) (i)(iTX(f)(fTXiof=foi=f • (4) (f)(fTX(f-1)(f-1TXfof-1=f-1of=i))

  48. 因而,可证<TX,o>构成群,在代数中称为变换群,显然,置换群是变换群的特例。因而,可证<TX,o>构成群,在代数中称为变换群,显然,置换群是变换群的特例。 • 请注意,由TX中的一些变换与运算o构成的群,都称为变换群,而<TX,o>只不过是个特殊情形而已。

  49. 最后,介绍循环群。 • 定义7.5.4给定群<G,⊙>及I为整数集合,若(g)(g∈G∧(a)(a∈G)→(n)(n∈I∧a=gn))),则称<G,⊙>是循环群。同时也可说循环群<G,⊙>是由g生成的,g是循环群<G,⊙>的生成元。

More Related