离散数学 群与半群

离散数学群与半群第1页，课件共80页，创作于2023年2月7.1半群和独异点的定义及其性质定义7.1.1

给定<S，⊙>，若⊙满足结合律，则称<S，⊙>为半群。可见，半群就是由集合及其上定义的一个可结合的二元运算组成的代数结构。定义7.1.2

定<M，○>，若<M，○>是半群且○有幺元或○满足结合律且拥有幺元，则称<M，○>为独异点。第2页，课件共80页，创作于2023年2月可以看出，独异点是含有幺元的半群。因此有些著作者将独异点叫做含幺半群。有时为了强调幺元e，独异点表为<M，○，e>。如果半群<S，⊙>中的集合S是有限的，则称半群为有限半群，对于有限半群可以给出下面有趣定理。定理7.1.1<S，⊙>为有限半群(x)(x∈S∧x⊙x=x)本定理告诉我们，有限半群存在等幂元。第3页，课件共80页，创作于2023年2月定义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。第4页，课件共80页，创作于2023年2月定理7.1.2

每个循环独异点都是可交换的。可见，○是可交换的，故<M，○，e>是可交换的。显然，每个循环半群也是可交换的。对于生成元的概念加以推广便得出生成集的概念。第5页，课件共80页，创作于2023年2月定义7.1.5

给定半群<S，⊙>及GS，则G为<S，⊙>的生成集:=(a)(a∈S→a=⊙(G))∧|G|这里⊙(G)表示用G中的元素经⊙的复合而生成的元素。类似地定义独异点<M，○，e>的生成集。第6页，课件共80页，创作于2023年2月定义7.1.6

给定半群<S，⊙>及非空集TS，若T对⊙封闭，则称<T，⊙>为<S，⊙>的子半群。类似地定义独异点<M，○，e>的子独异点<P，○，e>，应注意的是e∈P。第7页，课件共80页，创作于2023年2月定理7.1.3

给定半群<S，⊙>及任意a∈S，则<{a，a2，a3，…}，⊙>是循环子半群。显然，a是<{a，a2，a3，…}，⊙>的生成元。故<{a，a2，a3，…}，⊙>是循环子半群。第8页，课件共80页，创作于2023年2月定理7.1.4

给定可交换独异点<M，○，e>，若P为其等幂元集合，则<P，○，e>为子独异点。定理7.1.5

设<M，○，e>为独异点，则关于○的运算表中任两列或任两行均不相同。第9页，课件共80页，创作于2023年2月定理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。第10页，课件共80页，创作于2023年2月7.2半群和独异点的同态与同构

在本节里，将把代数结构之间的同态与同构的概念应用于半群与独异点。有些定义与性质，几乎完全就是平行地搬过来。主要内容如下：第11页，课件共80页，创作于2023年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可以不是唯一的。第12页，课件共80页，创作于2023年2月与前面的定义类似，根据半群同态映射f是单射(一对一)、满射、双射，把半群同态映射f分别定义半群单一同态映射、半群满同态映射和半群同构映射。如果两个半群，存在一个同构映射，则称一个半群同构于另一个半群。由于代数结构之间的满同态具有保持运算的各种性质，对于半群满同态当然完全适用。第13页，课件共80页，创作于2023年2月下面给出一个半群同态保持等幂性的定理。定理7.2.1

如果f为从<S，⊙>到<T，○>的半群同态映射，对任意a∈S且a⊙a=a，则f(a)○f(a)=f(a)。第14页，课件共80页，创作于2023年2月由于半群同态映射是个函数，因此可对半群同态映射进行复合运算，从而产生新的半群同态映射。请看如下定理：定理7.2.2

如果g是从<S，⊙>到<T，☆>的半群同态映射，h是从<T，☆>到<U，○>的半群同态映射，则h

o

g是从<S，⊙>到<U，○>的半群同态映射。第15页，课件共80页，创作于2023年2月定义7.2.2

若g是从<S，⊙>到<S，⊙>的半群同态映射，则称g为半群自同态映射；若g是从<S，⊙>到<S，⊙>的半群同构映射，则称g为半群自同构映射。第16页，课件共80页，创作于2023年2月定理7.2.3

给定半群<S，⊙>，如果A={g|g为<S，⊙>到<S，⊙>的半群自同态映射}且o是函数复合运算，则<A，o>为半群。由于恒等映射i是复合运算o的幺元，因此可得下面定理：第17页，课件共80页，创作于2023年2月定理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>。第18页，课件共80页，创作于2023年2月上面介绍半群同态及有关定理。下面接着来讨论独异点之间的同态及其有关定理。定义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>的独异点同态映射。第19页，课件共80页，创作于2023年2月注意，独异点同态区别半群同态就在于保持幺元，即g(eM)=eT。因此，半群同态未必是独异点同态，反之都真。对于独异点满同态、独异点单同态、独异点同构、以及独异点满同态保持运算性质等，这里也一并略去了。下面给出一个有关同构的定理以结束本节。第20页，课件共80页，创作于2023年2月

定理7.2.6

给定独异点<M，⊙>，则存在TMM，使<M，⊙><T，o>。本定理表明，一个独异点可与复合运算下的函数独异点同构。第21页，课件共80页，创作于2023年2月7.3积半群把积代数方法应用于特殊一类代数结构：半群，便产生积半群。第22页，课件共80页，创作于2023年2月定义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由于运算是经⊙和○定义的，易知，积半群是个半群。第23页，课件共80页，创作于2023年2月不难证明下列定理：定理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>>是独异点。第24页，课件共80页，创作于2023年2月定理7.3.3

给定半群<S，⊙>和<T，○>，且θ1和θ2分别为它们的零元，则积半群<S×T，>含有零元<θ1，θ2>。定理7.3.4

给定半群<S，⊙>和<T，○>，且s∈Ｓ的逆元s-1，t∈T的逆元t-1，则积半群<S×T，>中<s，t>的逆元是<s-1，t-1>。第25页，课件共80页，创作于2023年2月7.4群的基本定义与性质定义7.4.1

给定<G，⊙>，若<G，⊙>是独异点且每个元素存在逆元，或者①⊙是可结合的，②关于⊙存在幺元，③G中每个元素关于⊙是可逆的，则称<G，⊙>是群。可见，群是独异点的特例，或者说，群比独异点有更强的条件。第26页，课件共80页，创作于2023年2月定义7.4.2

给定群<G，⊙>，若G是有限集，则称<G，⊙>是有限群。并且把G的基数称为该有限群的阶数，若集合G是无穷的，则称<G，⊙>为无穷群。第27页，课件共80页，创作于2023年2月由群的定义可知，群具有半群和独异点的性质，这里不再重复罗列了，而且群还有自己独特的性质，仅此讨论如下：定理7.4.1<G，⊙>是群∧|G|＞1<G，⊙>无零元。定理7.4.2<G，⊙>是群<G，⊙>中的唯一等幂元是幺元。第28页，课件共80页，创作于2023年2月定理7.4.3

给定群<G，⊙>，则有(a)(b)(c)(a，b，c∈G∧((a⊙b=a⊙c∨b⊙a=c⊙a)→b=c))即群满足可约律。第29页，课件共80页，创作于2023年2月定理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))即群中方程解是唯一的。第30页，课件共80页，创作于2023年2月定理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第31页，课件共80页，创作于2023年2月

定义7.4.4

给定群<G，⊙>，且a∈G，幺元e，则a的阶或周期为n:=(k)(k∈I+∧{ak=e}=n)，并称a的阶是有限的；否则，a的阶是无穷的。第32页，课件共80页，创作于2023年2月定理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具有相同的阶。第33页，课件共80页，创作于2023年2月7.5置换群和循环群

本节里，将讨论群论中两种常见而又重要的群：置换群和循环群，特别在研究群的同构群时，置换群扮演着极重要的角色。在正式讨论置换群以前，需要先作些必要的准备。第34页，课件共80页，创作于2023年2月定义7.5.1

令X是非空有穷集合，从X到X的双射，称为集合X中的置换，并称|X|为置换的阶。若X={x1，x2，…，xn}，则n阶置换表为第35页，课件共80页，创作于2023年2月并称为置换中的反置换，记为p-1。特别把置换称为X中的幺置换或恒等置换，记为pe。第36页，课件共80页，创作于2023年2月此外，用PX表示集合X中的所有置换的集合。为了说明n个元素的集合可以有多少不同的置换，特给出如下定理：定理7.5.1

若X={x1，x2，…，xn}，则|PX|=n!第37页，课件共80页，创作于2023年2月定义7.5.2

给定集合X且pi，pj∈PX，由X的元素先进行置换pi后继之作置换pj所得到的置换，表为pi

pj，称pi

pj是置换pi和pj的复合，

是复合置换运算。可以看出，若把置换看成一种特殊关系时，复合置换pi

pj就是复合关系piopj，常称之右复合；又若把置换看成函数时，那么复合置换又可表成如下的复合函数即所谓左复合：pi

pj=pj

o

pi，其中o表示函数的复合于是，对于x∈X有：(pi

pj)(x)=(pj

o

pi)(x)=pj(pi(x))第38页，课件共80页，创作于2023年2月由定义7.5.1可知，置换即是双射，亦即1-1函数，故PX中的元素满足下列四个性质：(1)(p1)(p2)(p1,p2PXp1

p2PXp2

p1PX)(2)(p1)(p2)(p3)(p1,p2,p3PX(p1

p2)

p3=p1

(p2

p3))第39页，课件共80页，创作于2023年2月(3)(pe)(pePX(p)(pPXpe

p=p

pe=p))(4)(p)(pPX(p-1)(p-1PXp

p-1=p-1

p=pe)) (1)表明PX对于

是封闭的；(2)表明PX对于

是可结合的；(3)表明PX中有幺置换；(4)表明PX中每个置换都有反置换。因此，可知<PX,

>是一个群，并称它为对称群，习惯上记为<S|X|,

>。若QPX=S|X|，则称由Q和

构成的群<Q,

>为置换群。第40页，课件共80页，创作于2023年2月对称群<S3,

>独立于集合X中各个元素，但却依赖于集合X中的元素个数。这就是说，任何三个其它元素的集合都会生成“同样”的置换，这就是为什么将对称群<PX,

>写成<S|X|,

>，即<S3,

>的理由。此外，把集合X的基数称为对称群<S3,

>的次数。因此，<S3,

>是三次六阶群，因为|S3|=3!=6。第41页，课件共80页，创作于2023年2月一般地说来，由n个元素的集合而构成的所有n!个n阶置换的集合Sn与复合置换运算

构成群<Sn,

>，它便n次n!阶对称群。应该注意，置换群一般都不是对称群，因为它并不要求一定要包括全部给定阶的置换。例如，三次置换群<{p1,p2},

>和<{p1,p5,p6},

>都不是对称群，其中p1,p2,p5,p6S3。第42页，课件共80页，创作于2023年2月若说置换是个关系即有序对集合，那么由置换和

构成置换群，它会确立怎样的二元关系呢？下面就来回答这个问题。定义7.5.3

令<Q，

>是一置换群且QS|X|。称R={<a，b＞|a，b∈X∧p∈Q∧p(a)=b}为由<Q，

>所诱导的X上的二元关系。第43页，课件共80页，创作于2023年2月定理7.5.2

由置换群<Q，

>诱导的X上的二元关系是一等价关系。定理7.5.3

在有限群<G，⊙>中，每行或每列都是G中元素的置换。第44页，课件共80页，创作于2023年2月一阶群仅有幺元，即<{e}，⊙>。二阶群除幺元e外，还有一个元素，比如a，则有<{e，a}，⊙>，其运算表如表7.5.2。由定理7.5.3可知，不可能再有其它运算表。在此预先指出，所有的二阶群都与该群<{e，a}，⊙>同构。第45页，课件共80页，创作于2023年2月三阶群，可令<{e，a，b}，⊙>，其运算表如表7.5.3。由定理7.5.3知，不可能再有别的运算表。同样，任何三阶群都与它同构。从运算表可以看出，所有二阶群和三阶群都是Abel群。事实上，四、五阶群也是Abel群，但六阶群未必都是Abel群。第46页，课件共80页，创作于2023年2月第47页，课件共80页，创作于2023年2月上面讲了由有限集合X到X的双射即置换，以及置换群；下面不再限于X是有限集，换言之，它可以是个无穷集。这时从集合X到X的双射，称之为一一变换或变换。如果令TX表示所有从集合X到X的变换的集合，则显然有TXXX，并且TX类似PX所具有的四条性质，具体如下：(1)(f)(g)(f,gTXfog,gofTX)(2)(f)(g)(h)(f,g,hTX(fog)oh=fo(goh)(3)(i)(iTX(f)(fTXiof=foi=f(4)(f)(fTX(f-1)(f-1TXfof-1=f-1of=i))第48页，课件共80页，创作于2023年2月因而，可证<TX,o>构成群，在代数中称为变换群，显然，置换群是变换群的特例。请注意，由TX中的一些变换与运算o构成的群，都称为变换群，而<TX,o>只不过是个特殊情形而已。第49页，课件共80页，创作于2023年2月最后，介绍循环群。定义7.5.4

给定群<G，⊙>及I为整数集合，若(g)(g∈G∧(a)(a∈G)→(n)(n∈I∧a=gn)))，则称<G，⊙>是循环群。同时也可说循环群<G，⊙>是由g生成的，g是循环群<G，⊙>的生成元。第50页，课件共80页，创作于2023年2月定义7.5.5

设g生成循环群<G，⊙>且I+是正整数集合，则g的周期或阶为n:=(k)(k∈I+∧ {gk=e}=n)，如果这样n不存在，则称g的周期为无穷。第51页，课件共80页，创作于2023年2月定理7.5.4

每个循环群都是Abel群。定理7.5.5

设<G，⊙>是g生成的有限循环群，如果|G|=n，则gn=e，G={g，g2，…，gn=e}及 {gk=e}=n，并且把n称为循环群<G，⊙>的周期。第52页，课件共80页，创作于2023年2月7.6子群与陪集子群概念，类似于子群和子独异点。定义7.6.1

给定群<G，⊙>及非空集合HG，若<H，⊙>是群，则称<H，⊙>为群<G，⊙>的子群。显然，<{e}，⊙>和<G，⊙>都是<G，⊙>的子群，并且分别是<G，⊙>的“最小”和“最大”的子群，这对任何群来说，都有这样的子群，因此称为平凡子群，而其余子群称为真子群。第53页，课件共80页，创作于2023年2月群与其子群有如下的明显性质：定理7.6.1<H，⊙>是群<G，⊙>的子群eH=eG，其中eH和eG分别是<H，⊙>和<G，⊙>的幺元，即群与其子群具有相同幺元。第54页，课件共80页，创作于2023年2月下面给出关于子群充要条件的定理。定理7.6.2

给定群<G，⊙>及非空HG，则<H，⊙>是<G，⊙>的子群(a)(b)(a，b∈H→a⊙b∈H)∧(a)(a∈H→a-1∈H)本定理表明<H，⊙>为<G，⊙>的子群的充要条件是H对于⊙封闭及H中每个元素存在逆元。第55页，课件共80页，创作于2023年2月定理7.6.3

给定群<G，⊙>及非空HG，则<H，⊙>是<G，⊙>的子群(a)(b)(a，b∈H→a⊙b-1∈H)定理7.6.4

给定群<G，⊙>及非空有限集HG，则<H，⊙>是<G，⊙>的子群(a)(b)(a，b∈H→a⊙b∈H)第56页，课件共80页，创作于2023年2月定义7.6.2

群<G，⊙>的中心为一集合，记作centG，centG:={a|a∈G∧(x)(x∈G→a⊙x=x⊙a)}。可见，cent

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

G=G。定理7.6.5<cent

G，⊙>是群<G，⊙>的子群第57页，课件共80页，创作于2023年2月定理7.6.6

若<G1，⊙>和<G2，⊙>都是群<G，⊙>的子群，则<G1∩G2，⊙>也是群<G，⊙>的子群。确定已知群的全部子群，一般来说是很困难的，但对于循环群而言，却是容易办到的，这可由下面定理得出：定理7.6.7

循环群<G，⊙>的任何子群都是循环群。第58页，课件共80页，创作于2023年2月定义7.6.3

令<H，⊙>是群<G，⊙>的子群且a∈G，则把下面集合：a⊙H={a⊙h|h∈H}称为由元素a所确定的群<G，⊙>中的H的左陪集，或简称为左陪集并简记aH。此外，称a是左陪集aH的代表元素。第59页，课件共80页，创作于2023年2月类似地可定义由a所确定群<G，⊙>中的H的右陪集Ha。显然，若<G，⊙>是Abel群，并且<H，⊙>是其子群，则aH=Ha，即任意元素的左陪集等于其右陪集。定义7.6.4

给定群<G，⊙>，子群<H，⊙>的左陪集关系，记作，其定义为：:={<a，b＞|a，b∈G∧b-1⊙a∈H}。第60页，课件共80页，创作于2023年2月根据左陪集的定义，可得到下列结论：(1)若<H，⊙>为群<G，⊙>的子群，则H为<G，⊙>中的左陪集。因为若e是<G，⊙>的幺元，则e⊙H={e⊙h|hH|=H。(2)若<H，⊙>是群<G，⊙>的子群，对任意a∈G，则a∈aH。因为eH，故a=a⊙eaH。第61页，课件共80页，创作于2023年2月(3)若<H，⊙>是群<G，⊙>的子群，则H的每个左陪集与H势等。令f(aH)H如下：f(h)=a⊙h,其中hH则f是双射。满射是显然的，下面再证它是单射。若a⊙h1=a⊙h2，h1,h2H，则根据群的可约律知h1=h2，即f(h1)=f(h2)导出h1=h2。第62页，课件共80页，创作于2023年2月对于右陪集有同样结论，不重复了。下面介绍有关左陪集的定理。定理7.6.8

若<H，⊙>是群<G，⊙>的子群，则aH=Ha∈H。定理7.6.9

若<H，⊙>是群<G，⊙>的子群，则aH=bHb-1⊙a∈H第63页，课件共80页，创作于2023年2月推论左陪集aH中的任何元素a1均可决定该陪集，或者说，陪集中的每个元素都可作为陪集的代表。因为若a1aH，则存在h1H，使得a1=a⊙h1，于是a-1⊙a1=h1H。再根据定理7.6.9知，a1H=aH。定理7.6.10

若<H，⊙>是群<G，⊙>的子群，则或者aH∩bH=或者aH=bH。第64页，课件共80页，创作于2023年2月由于G中每个元素a必在H的左陪集aH中，从定理7.6.10又知道，G中每个元素恰好能属于H的某个左陪集中。因此H的左陪集簇构成G的划分，而且划分中每个块与H具有相同的元素个数。因此可得下面定理：定理7.6.11

若<H，⊙>是群<G，⊙>的子群，则<G，⊙>中的H的左陪集簇构成G的一种划分。并且称它为G的对于H的左陪集划分。第65页，课件共80页，创作于2023年2月假若群<G，⊙>为有限群，其子群是<H，⊙>，且|G|=n，|H|=m，则G的对于H的左陪集划分可表为G=a1H∪a2H∪···∪akH，其中k为不同的左陪集个数，称为H在G中的指标，由于每个左陪集皆有m个元素，故G具有km个元素，即n=mk，这便得到著名拉格朗日(J.L.Lagrange)定理：第66页，课件共80页，创作于2023年2月定理7.6.12

若<H，⊙>是有限群<G，⊙>的子群，且|G|=n，|H|=m，则n=mk，其中k∈I+，I+是正整数集合。本定理表明，任何有限群的阶均可被其子群的阶所整除。第67页，课件共80页，创作于2023年2月推论任何其阶为素数的有限群必无真子群。最后应用陪集概念来定义一个子群，它是非常重要的子群——正规子群或不变子群。第68页，课件共80页，创作于2023年2月定义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。第69页，课件共80页，创作于2023年2月下面定理提供了简便的手段判定一已知子群是否为正规子群，它很有用途。定理7.6.13

给定群<G，⊙>的子群<H，⊙>，它是群<G，⊙>的正规子群(a)(a∈G→aHa-1H)。第70页，课件共80页，创作于2023年2月本节一开始已讨论了，一个群的子群所确定的左陪集关系是等价关系。一般地说，它未必是同余关系，那么自然会问，满足怎样的条件才能是同余关系呢？下面定理回答了这个问题。定理7.6.14

群<G，⊙>的正规子群<H，⊙>所确定的左(或右)陪集关系 (或 )是同余关系。第71页，课件共80页，创作于2023年2月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，⊙>的群同态映射。第72页，课件共80页，创作于2023年2月群同态有很好的性质，它保持幺元、逆元和子群，请看下面定理：定理7.7.1

设g为从群<G，⊙>到群<H，○>的群同态映射，则(1)若eG和eH分别为两群的幺元，那么，g(eG)=eH。(2)若a∈