第七章  半群与群
Download
1 / 83

第七章 半群与群 - PowerPoint PPT Presentation


  • 125 Views
  • Uploaded on

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

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' 第七章 半群与群' - heath


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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
第七章 半群与群

  • 7.1 半群和独异点的定义及其性质

  • 7.2 半群和独异点的同态与同构

  • 7.3 积半群

  • 7.4 群的基本定义与性质

  • 7.5 置换群和循环群

  • 7.6 子群与陪集

  • 7.7 群的同态与同构

退出


7.1 半群和独异点的定义及其性质

  • 定义7.1.1给定<S,⊙>,若⊙满足结合律,则称<S,⊙>为半群。

  • 可见,半群就是由集合及其上定义的一个可结合的二元运算组成的代数结构。

  • 定义7.1.2定<M,○>,若<M,○>是半群且○有幺元或○满足结合律且拥有幺元,则称<M,○>为独异点。



  • 定义可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元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。


  • 定理可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元7.1.2每个循环独异点都是可交换的。

  • 可见,○是可交换的,故<M,○,e>是可交换的。显然,每个循环半群也是可交换的。

  • 对于生成元的概念加以推广便得出生成集的概念。


  • 定义可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元7.1.5给定半群<S,⊙>及GS,则

  • G为<S,⊙>的生成集:=(a)(a∈S→a=⊙(G))∧ |G|

  • 这里⊙(G)表示用G中的元素经⊙的复合而生成的元素。

  • 类似地定义独异点<M,○,e>的生成集。


  • 定义可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元7.1.6给定半群<S,⊙>及非空集TS,若T对⊙封闭,则称<T,⊙>为<S,⊙>的子半群。

  • 类似地定义独异点<M,○,e>的子独异点<P,○,e>,应注意的是e∈P。


  • 定理可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元7.1.3给定半群<S,⊙>及任意a∈S,则<{a,a2,a3,…},⊙>是循环子半群。

  • 显然,a是<{a,a2,a3,…},⊙>的生成元。故<{a,a2,a3,…},⊙>是循环子半群。


  • 定理可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元7.1.4给定可交换独异点<M,○,e>,若P为其等幂元集合,则<P,○,e>为子独异点。

  • 定理7.1.5设<M,○,e>为独异点,则关于○的运算表中任两列或任两行均不相同。


  • 定理可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元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。


7.2 可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元半群和独异点的同态与同构

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


  • 定义可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元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可以不是唯一的。


  • 与前面的定义类似,根据半群同态映射可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元f是单射(一对一)、满射、双射,把半群同态映射f分别定义半群单一同态映射、半群满同态映射和半群同构映射。

  • 如果两个半群,存在一个同构映射,则称一个半群同构于另一个半群。

  • 由于代数结构之间的满同态具有保持运算的各种性质,对于半群满同态当然完全适用。


  • 下面给出一个半群同态保持等幂性的定理。可以看出,独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元

  • 定理7.2.1如果f为从<S,⊙>到<T,○>的半群同态映射,对任意a∈S且a⊙a=a,则f(a)○f(a)=f(a)。



  • 定义由于半群同态映射是个函数,因此可对半群同态映射进行复合运算,从而产生新的半群同态映射。请看如下定理:7.2.2若g是从<S,⊙>到<S,⊙>的半群同态映射,则称g为半群自同态映射;若g是从<S,⊙>到<S,⊙>的半群同构映射,则称g为半群自同构映射。


  • 定理由于半群同态映射是个函数,因此可对半群同态映射进行复合运算,从而产生新的半群同态映射。请看如下定理:7.2.3给定半群<S,⊙>,如果A={g|g为<S,⊙>到<S,⊙>的半群自同态映射}且o是函数复合运算,则<A,o>为半群。

  • 由于恒等映射i是复合运算o的幺元,因此可得下面定理:


  • 定理由于半群同态映射是个函数,因此可对半群同态映射进行复合运算,从而产生新的半群同态映射。请看如下定理: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>。



  • 注意,独异点同态区别半群同态就在于保持幺元,即注意,独异点同态区别半群同态就在于保持幺元,即g(eM)=eT。因此,半群同态未必是独异点同态,反之都真。

  • 对于独异点满同态、独异点单同态、独异点同构、以及独异点满同态保持运算性质等,这里也一并略去了。下面给出一个有关同构的定理以结束本节。


  • 定理注意,独异点同态区别半群同态就在于保持幺元,即7.2.6给定独异点<M,⊙>,则存在TMM,使<M,⊙><T,o>。

  • 本定理表明,一个独异点可与复合运算下的函数独异点同构。


7.3 注意,独异点同态区别半群同态就在于保持幺元,即积半群

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


  • 定义注意,独异点同态区别半群同态就在于保持幺元,即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

  • 由于运算是经⊙和○定义的,易知,积半群是个半群。


  • 不难证明下列定理:注意,独异点同态区别半群同态就在于保持幺元,即

  • 定理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>>是独异点。


  • 定理注意,独异点同态区别半群同态就在于保持幺元,即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>。


7.4 注意,独异点同态区别半群同态就在于保持幺元,即群的基本定义与性质

  • 定义7.4.1给定<G,⊙>,若<G,⊙>是独异点且每个元素存在逆元,或者①⊙是可结合的,②关于⊙存在幺元,③G中每个元素关于⊙是可逆的,则称<G,⊙>是群。

  • 可见,群是独异点的特例,或者说,群比独异点有更强的条件。


  • 定义注意,独异点同态区别半群同态就在于保持幺元,即7.4.2给定群<G,⊙>,若G是有限集,则称<G,⊙>是有限群。并且把G的基数称为该有限群的阶数,若集合G是无穷的,则称<G,⊙>为无穷群。



  • 定理由群的定义可知,群具有半群和独异点的性质,这里不再重复罗列了,而且群还有自己独特的性质,仅此讨论如下:7.4.3给定群<G,⊙>,则有

  • (a)(b)(c)(a,b,c∈G∧((a⊙b=a⊙c∨b⊙a=c⊙a)→b=c))

  • 即群满足可约律。


  • 定理由群的定义可知,群具有半群和独异点的性质,这里不再重复罗列了,而且群还有自己独特的性质,仅此讨论如下: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))

  • 即群中方程解是唯一的。


  • 定理由群的定义可知,群具有半群和独异点的性质,这里不再重复罗列了,而且群还有自己独特的性质,仅此讨论如下: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


  • 定义由群的定义可知,群具有半群和独异点的性质,这里不再重复罗列了,而且群还有自己独特的性质,仅此讨论如下:7.4.4给定群<G,⊙>,且a∈G,幺元e,则a的阶或周期为n:=(k)(k∈I+∧ {ak=e}=n),并称a的阶是有限的;否则,a的阶是无穷的。


  • 定理由群的定义可知,群具有半群和独异点的性质,这里不再重复罗列了,而且群还有自己独特的性质,仅此讨论如下: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具有相同的阶。


7.5 由群的定义可知,群具有半群和独异点的性质,这里不再重复罗列了,而且群还有自己独特的性质,仅此讨论如下:置换群和循环群

  • 本节里,将讨论群论中两种常见而又重要的群:置换群和循环群,特别在研究群的同构群时,置换群扮演着极重要的角色。

  • 在正式讨论置换群以前,需要先作些必要的准备。


  • 定义由群的定义可知,群具有半群和独异点的性质,这里不再重复罗列了,而且群还有自己独特的性质,仅此讨论如下:7.5.1令X是非空有穷集合,从X到X的双射,称为集合X中的置换,并称|X|为置换的阶。

  • 若X={x1,x2,…,xn},则n阶置换表为


  • 并称 为置换中的反置换,记为p-1。特别把置换

  • 称为X中的幺置换或恒等置换,记为pe。


  • 此外,用 为置换中的反置换,记为PX表示集合X中的所有置换的集合。

  • 为了说明n个元素的集合可以有多少不同的置换,特给出如下定理:

  • 定理7.5.1若X={x1,x2,…,xn},则|PX|=n!


  • 定义 为置换中的反置换,记为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))


  • 由定义 为置换中的反置换,记为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))


    • (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, ◇>为置换群。


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


    • 一般地说来,由 为置换中的反置换,记为n个元素的集合而构成的所有n!个n阶置换的集合Sn与复合置换运算◇构成群<Sn, ◇>,它便n次n!阶对称群。

    • 应该注意,置换群一般都不是对称群,因为它并不要求一定要包括全部给定阶的置换。例如,三次置换群<{p1,p2},◇>和<{p1,p5,p6},◇>都不是对称群,其中p1,p2,p5,p6S3。



    • 定理若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。7.5.2由置换群<Q,◇>诱导的X上的二元关系是一等价关系。

    • 定理7.5.3在有限群<G,⊙>中,每行或每列都是G中元素的置换。


    • 一阶群仅有幺元,即若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。<{e},⊙>。

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


    • 三阶群,可令若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。<{e,a,b},⊙>,其运算表如表7.5.3。由定理7.5.3知,不可能再有别的运算表。同样,任何三阶群都与它同构。

    • 从运算表可以看出,所有二阶群和三阶群都是Abel群。事实上,四、五阶群也是Abel群,但六阶群未必都是Abel群。


    • 上面讲了由有限集合若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。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))


    • 因而,可证若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。<TX,o>构成群,在代数中称为变换群,显然,置换群是变换群的特例。

    • 请注意,由TX中的一些变换与运算o构成的群,都称为变换群,而<TX,o>只不过是个特殊情形而已。


    • 最后,介绍循环群。若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。

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


    • 定义若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。7.5.5设g生成循环群<G,⊙>且I+是正整数集合,则g的周期或阶为n:=(k)(k∈I+∧ {gk=e}=n),如果这样n不存在,则称g的周期为无穷。


    • 定理若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。7.5.4每个循环群都是Abel群。

    • 定理7.5.5设<G,⊙>是g生成的有限循环群,如果|G|=n,则gn=e,G={g,g2,…,gn=e}及 {gk=e}=n,并且把n称为循环群<G,⊙>的周期。


    7.6 若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。子群与陪集

    • 子群概念,类似于子群和子独异点。

    • 定义7.6.1给定群<G,⊙>及非空集合HG,若<H,⊙>是群,则称<H,⊙>为群<G,⊙>的子群。显然,<{e},⊙>和<G,⊙>都是<G,⊙>的子群,并且分别是<G,⊙>的“最小”和“最大”的子群,这对任何群来说,都有这样的子群,因此称为平凡子群,而其余子群称为真子群。


    • 群与其子群有如下的明显性质:若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。

    • 定理7.6.1 <H,⊙>是群<G,⊙>的子群eH=eG,其中eH和eG分别是<H,⊙>和<G,⊙>的幺元,即群与其子群具有相同幺元。


    • 下面给出关于子群充要条件的定理。若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。

    • 定理7.6.2给定群<G,⊙>及非空HG,则

    • <H,⊙>是<G,⊙>的子群(a)(b)(a,b∈H→

    • a⊙b∈H)∧(a)(a∈H→a-1∈H)

    • 本定理表明<H,⊙>为<G,⊙>的子群的充要条件是H对于⊙封闭及H中每个元素存在逆元。


    • 定理若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。7.6.3给定群<G,⊙>及非空HG,则

    • <H,⊙>是<G,⊙>的子群(a)(b)(a,b∈H→a⊙b-1∈H)

    • 定理7.6.4给定群<G,⊙>及非空有限集HG,则

    • <H,⊙>是<G,⊙>的子群(a)(b)(a,b∈H→a⊙b∈H)


    • 定义若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。7.6.2群<G,⊙>的中心为一集合,记作cent G,cent G

    • :={a|a∈G∧(x)(x∈G→a⊙x=x⊙a)}。

    • 可见,centG包含了所有与G中的每个元素皆可交换的元素。并且显然若<G,⊙>为群,则<G,⊙>是Abel群,当且仅当centG=G。

    • 定理7.6.5 <centG,⊙>是群<G,⊙>的子群


    • 定理若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。7.6.6若<G1,⊙>和<G2,⊙>都是群<G,⊙>的子群,则<G1∩G2,⊙>也是群<G,⊙>的子群。

    • 确定已知群的全部子群,一般来说是很困难的,但对于循环群而言,却是容易办到的,这可由下面定理得出:

    • 定理7.6.7循环群<G,⊙>的任何子群都是循环群。


    • 定义若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。7.6.3令<H,⊙>是群<G,⊙>的子群且a∈G,则把下面集合:

    • a⊙H={a⊙h|h∈H}

    • 称为由元素a所确定的群<G,⊙>中的H的左陪集,或简称为左陪集并简记aH。此外,称a是左陪集aH的代表元素。


    • 类似地可定义由若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。a所确定群<G,⊙>中的H的右陪集Ha。

    • 显然,若<G,⊙>是Abel群,并且<H,⊙>是其子群,则aH=Ha,即任意元素的左陪集等于其右陪集。

    • 定义7.6.4给定群<G,⊙>,子群<H,⊙>的左陪集关系,记作,其定义为::={<a,b>|a,b∈G∧b-1⊙a∈H}。


    • 根据左陪集的定义,可得到下列结论:若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。

    • (1) 若<H,⊙>为群<G,⊙>的子群,则H为<G,⊙>中的左陪集。

    • 因为若e是<G,⊙>的幺元,则e⊙H={e⊙h|hH|=H。

    • (2) 若<H,⊙>是群<G,⊙>的子群,对任意a∈G,则a∈aH。

    • 因为eH,故a=a⊙eaH。


    • (3) 若说置换是个关系即有序对集合,那么由置换和◇构成置换群,它会确立怎样的二元关系呢?下面就来回答这个问题。若<H,⊙>是群<G,⊙>的子群,则H的每个左陪集与H势等。

    • 令f(aH)H如下:

    • f(h)=a⊙h, 其中hH

    • 则f是双射。

    • 满射是显然的,下面再证它是单射。

    • 若a⊙h1=a⊙h2,h1,h2H,则根据群的可约律知h1=h2,即f(h1)=f(h2)导出h1=h2。



    • 推论对于右陪集有同样结论,不重复了。下面介绍有关左陪集的定理。 左陪集aH中的任何元素a1均可决定该陪集,或者说,陪集中的每个元素都可作为陪集的代表。

    • 因为若a1aH,则存在h1H,使得a1=a⊙h1,于是a-1⊙a1=h1H。

    • 再根据定理7.6.9知,a1H=aH。

    • 定理7.6.10若<H,⊙>是群<G,⊙>的子群,则或者aH∩bH=或者aH=bH。


    • 由于对于右陪集有同样结论,不重复了。下面介绍有关左陪集的定理。G中每个元素a必在H的左陪集aH中,从定理7.6.10又知道,G中每个元素恰好能属于H的某个左陪集中。因此H的左陪集簇构成G的划分,而且划分中每个块与H具有相同的元素个数。因此可得下面定理:

    • 定理7.6.11若<H,⊙>是群<G,⊙>的子群,则<G,⊙>中的H的左陪集簇构成G的一种划分。并且称它为G的对于H的左陪集划分。


    • 假若群对于右陪集有同样结论,不重复了。下面介绍有关左陪集的定理。<G,⊙>为有限群,其子群是<H,⊙>,且|G|=n,|H|=m,则G的对于H的左陪集划分可表为G=a1H∪a2H∪···∪akH,其中k为不同的左陪集个数,称为H在G中的指标,由于每个左陪集皆有m个元素,故G具有km个元素,即n=mk,这便得到著名拉格朗日(J.L.Lagrange)定理:


    • 定理对于右陪集有同样结论,不重复了。下面介绍有关左陪集的定理。7.6.12若<H,⊙>是有限群<G,⊙>的子群,且|G|=n,|H|=m,则n=mk,其中k∈I+,I+是正整数集合。

    • 本定理表明,任何有限群的阶均可被其子群的阶所整除。


    • 推论对于右陪集有同样结论,不重复了。下面介绍有关左陪集的定理。 任何其阶为素数的有限群必无真子群。

    • 最后应用陪集概念来定义一个子群,它是非常重要的子群——正规子群或不变子群。


    • 定义对于右陪集有同样结论,不重复了。下面介绍有关左陪集的定理。7.6.5设<H,⊙>是群<G,⊙>的子群,若对于G中任意元a,有aH=Ha,则称<H,⊙>是群<G,⊙>的正规子群。

    • 由本定义可知,每个Abel群的子群均为正规子群。

    • 请注意,正规子群<H,⊙>导出可交换性是比较弱的。这是因为,若h∈H,并非总有a⊙h=h⊙a,而仅仅知道必存在h1,h2∈H,使得a⊙h1=h2⊙a。




    7.7 本节一开始已讨论了,一个群的子群所确定的左陪集关系是等价关系。一般地说,它未必是同余关系,那么自然会问,满足怎样的条件才能是同余关系呢?下面定理回答了这个问题。群的同态与同构

    • 本节中,将同态与同构概念作用于群,便导出群的同态和同构。

    • 定义7.7.1给定群<G,⊙>和群<H,○>,则群<G,⊙>群<H,○>:=(g)(g∈HG∧(a)( b)(a,b∈G→g(a⊙b)=g(a) ○g(b))),并称g为从群<G,⊙>到群<H,⊙>的群同态映射。


    • 群同态有很好的性质,它保持幺元、逆元和子群,请看下面定理:群同态有很好的性质,它保持幺元、逆元和子群,请看下面定理:

    • 定理7.7.1设g为从群<G,⊙>到群<H,○>的群同态映射,则

    • (1) 若eG和eH分别为两群的幺元,那么,g(eG)=eH。

    • (2) 若a∈G,那么,g(a-1)=(g(a))-1。

    • (3) 若<S,⊙>是群<G,⊙>的子群且g(S)={g(a)|a∈S},那么,<g(S),○>为群<H,○>的子群。


    • 定理群同态有很好的性质,它保持幺元、逆元和子群,请看下面定理:7.7.2给定群<G,⊙>和代数系统<H,○>,若g是从群<G,⊙>到<H,○>的满同态映射,则<H,○>为群。

    • 同半群、独异点类似,可根据g是单射、满射和双射,群同态分别称为群单一同态映射、群满同态映射和群同构映射。

    • 群自同态和群自同构也类似于半群自同态和半群自同构进行定义。


    • 定义群同态有很好的性质,它保持幺元、逆元和子群,请看下面定理:7.7.2设f是从群<G,⊙>到群<H,○>的群同态映射,eH为<H,⊙>的幺元,记Kf={k|f(k)=eH∧k∈G},称Kf为群同态映射f的核。

    • 显然,Kf≠,因为eG∈Kf。

    • 定理7.7.3若f是从<G,⊙>到<H,○>的群同态映射,则<Kf,⊙>是群<G,⊙>的正规子群。



    • 定理显然,同态映射未必是一对一的,但发现一对一的群同态映射的核有一简单特性。7.7.5 设f是从<G,⊙>到<H,○>的群同态映射, 为由同态f的核Kf所确定的陪集关系,则a bf(a)=f(b),其中a,b∈G。

    • 本定理表明,群同态f的核Kf所确定的陪集关系与以前所述的同态f所诱导同余关系Ef是一致的。


    • 定理显然,同态映射未必是一对一的,但发现一对一的群同态映射的核有一简单特性。7.7.6若<H,⊙>是群<G,⊙>的正规子群且g∈(G/CH)G:g(a)= ,则g为从<G,⊙>到<G/CH,>的群同态映射,通常称它为群自然同态映射。与此同时Kg= 。


    • 定理显然,同态映射未必是一对一的,但发现一对一的群同态映射的核有一简单特性。7.7.7设f为从群<G,⊙>到群<H,○>的群满同态映射, 为同态映射f的核Kf所确定的陪集关系,且 为从<G,⊙>到<G/ ,>的群自然同态,则<G/,><H,○>。

    • 值得注意的是,对于定理10.7.6和定理10.7.7可以通过另一途径给出与其等价形式。


    • 显然,同态映射未必是一对一的,但发现一对一的群同态映射的核有一简单特性。<H,⊙>是群<G,⊙>的正规子群,则在<G,⊙>中利用H的不同陪集构造新集合记作G/H:G/H={aH|a∈G},再在G/H中定义运算:aHbH=(a⊙b)H。

    • 可证该定义运算仅依赖陪集而与从中选出元素无关。进而证明<G/H,>是群。于是能够得到下面两定理。


    • 定理显然,同态映射未必是一对一的,但发现一对一的群同态映射的核有一简单特性。7.7.6*若<H,⊙>是群<G,⊙>的正规子群,定义g∈(G/H)G:g(a)=aH,则g是从<G,⊙>到<G/H,>的群同态映射且Kg=H。

    • 定理7.7.7*若f为从群<G,⊙>到群<H,○>的满同态映射,Kf为同态映射f的核,则<G/Kf,><H,○>。


    • 最后再介绍两个定理,实则是一个定理来结束本节。最后再介绍两个定理,实则是一个定理来结束本节。

    • 对于任何一个群<G,⊙>,由恒等映射f(x)=x,x∈G,显然<G,⊙><G,⊙>。自然会想到,群<G,⊙>是否还与除自身外的其它群同构呢?1854年,A.Cayley回答了这个问题,即所谓群的表示定理。

    • 定理7.7.8任何群均与一个变换群同构。


    • 对于有限群,也能类似地证明下面结果:最后再介绍两个定理,实则是一个定理来结束本节。

    • 定理7.7.9每个n阶有限群均与一个n阶置换群同构。

    • 把积代数概念应用群上,便产生积群。由此可知,两个或更多个群能产生更高阶的积群,这部分几乎与积半群完全相同。


    ad