第09章代数系统PPT讲稿.ppt

第第09章代数系统章代数系统1第1页，共35页，编辑于2022年，星期日第九章第九章 代数系统代数系统主要内容主要内容二元运算及其性质二元运算及其性质l一元和二元运算定义及其实例一元和二元运算定义及其实例l二元运算的性质二元运算的性质代数系统代数系统l代数系统定义及其实例代数系统定义及其实例l子代数子代数l积代数积代数代数系统的同态与同构代数系统的同态与同构2第2页，共35页，编辑于2022年，星期日9.1二元运算及其性质二元运算及其性质定义定义9.1设设S为集合，函数为集合，函数f：S SS 称为称为S上的上的二元运算二元运算，简，简称为二元运算称为二元运算lS中任何两个元素都可以进行运算，且运算的结果惟一中任何两个元素都可以进行运算，且运算的结果惟一lS中任何两个元素的运算结果都属于中任何两个元素的运算结果都属于S，即，即S对该运算封闭对该运算封闭例例1(1)自然数集合自然数集合N上的加法和乘法是上的加法和乘法是N上的二元运算，但上的二元运算，但减法和除法不是减法和除法不是(2)整数集合整数集合Z上的加法、减法和乘法都是上的加法、减法和乘法都是Z上的二元运算，上的二元运算，而除法不是而除法不是(3)非零实数集非零实数集R*上的乘法和除法都是上的乘法和除法都是R*上的二元运算，而上的二元运算，而加法和减法不是加法和减法不是3第3页，共35页，编辑于2022年，星期日实例实例(4)设设Mn(R)表示所有表示所有n 阶阶(n2)实矩阵的集合，即实矩阵的集合，即则矩阵加法和乘法都是则矩阵加法和乘法都是Mn(R)上的二元运算上的二元运算.(5)S为任意集合，则为任意集合，则、为为P(S)上二元运算上二元运算.(6)SS为为S上的所有函数的集合，则合成运算上的所有函数的集合，则合成运算 为为SS上二元运算上二元运算.4第4页，共35页，编辑于2022年，星期日一元运算的定义与实例一元运算的定义与实例定义定义9.2设设S为集合，函数为集合，函数f:SS 称为称为S上的上的一元运算一元运算，简，简称一元运算称一元运算.例例2(1)求相反数是整数集合求相反数是整数集合Z,有理数集合有理数集合Q和实数集合和实数集合R上上的一元运算的一元运算(2)求倒数是非零有理数集合求倒数是非零有理数集合Q*,非零实数集合非零实数集合R*上一元运算上一元运算(3)求共轭复数是复数集合求共轭复数是复数集合C上的一元运算上的一元运算(4)在幂集在幂集P(S)上规定全集为上规定全集为S，则求绝对补运算，则求绝对补运算是是P(S)上的一上的一元运算元运算.(5)设设S为集合，令为集合，令A为为S上所有双射函数的集合，上所有双射函数的集合，A SS，求一，求一个双射函数的反函数为个双射函数的反函数为A上的一元运算上的一元运算.(6)在在n(n2)阶实矩阵的集合阶实矩阵的集合Mn(R)上，求转置矩阵是上，求转置矩阵是Mn(R)上上的一元运算的一元运算.5第5页，共35页，编辑于2022年，星期日二元与一元运算的表示二元与一元运算的表示1算符算符可以用可以用,等符号表示二元或一元运算，称为算等符号表示二元或一元运算，称为算符符.对二元运算对二元运算，如果，如果x 与与y 运算得到运算得到z，记做，记做xy=z对一元运算对一元运算,x的运算结果记作的运算结果记作 x.2表示二元或一元运算的方法表示二元或一元运算的方法:解析公式和运算表解析公式和运算表公式表示公式表示例例设设R为实数集合，如下定义为实数集合，如下定义R上的二元运算上的二元运算：x,yR,x y=x.那么那么3 4=3，0.5(3)=0.56第6页，共35页，编辑于2022年，星期日运算表：表示有穷集上的一元和二元运算运算表：表示有穷集上的一元和二元运算 运算表运算表 二元运算的运算表二元运算的运算表一元运算的运算表一元运算的运算表7第7页，共35页，编辑于2022年，星期日 例例3 设设S=P(a,b)，S上的上的 和和 运算运算的运算表如下的运算表如下 运算表的实例运算表的实例8第8页，共35页，编辑于2022年，星期日二元运算的性质二元运算的性质定义定义9.3设设为为S上的二元运算上的二元运算,(1)若对任意若对任意x,yS 有有xy=yx,则称运算在则称运算在S上满足上满足交换律交换律.(2)若对任意若对任意x,y,zS有有(xy)z=x(yz),则称运算在则称运算在S上满足上满足结结合律合律.(3)若对任意若对任意xS 有有xx=x,则称运算在则称运算在S上满足上满足幂等律幂等律.定义定义9.4设设和和 为为S上两个不同的二元运算上两个不同的二元运算,(1)若对任意若对任意x,y,zS有有(x y)z=(xz)(yz)，z(x y)=(zx)(zy),则称则称运算对运算对 运算满足运算满足分配律分配律.(2)若若 和和 都可交换都可交换,且对任意且对任意x,yS有有x(x y)=x，x(xy)=x,则称则称和和 运算满足运算满足吸收律吸收律.9第9页，共35页，编辑于2022年，星期日实例实例Z,Q,R分别为整数、有理数、实数集；分别为整数、有理数、实数集；Mn(R)为为n阶实阶实矩阵集合矩阵集合,n 2；P(B)为幂集；为幂集；AA为从为从A到到A的函数集，的函数集，|A|2集合集合运算运算交交换换律律结结合律合律幂幂等律等律Z,Q,R普通加法普通加法+普通乘法普通乘法 有有有有有有有有无无无无Mn(R)矩矩阵阵加法加法+矩矩阵阵乘法乘法 有有无无有有有有无无无无P(B)并并 交交 相对补相对补 对称差对称差 有有有有无无有有有有有有无无有有有有有有无无无无AA函数复合函数复合 无无有有无无10第10页，共35页，编辑于2022年，星期日集合集合运算运算分配律分配律吸收律吸收律Z,Q,R普通加法普通加法+与乘法与乘法 对对+可分配可分配+对对 不分配不分配无无Mn(R)矩矩阵阵加法加法+与乘法与乘法 对对+可分配可分配+对对 不分配不分配无无P(B)并并 与交与交 对对 可分配可分配 对对 可分配可分配有有交交 与与对对称差称差 对对 可分配可分配无无实例实例Z,Q,R分别为整数、有理数、实数集；分别为整数、有理数、实数集；Mn(R)为为n阶实阶实矩阵集合矩阵集合,n 2；P(B)为幂集；为幂集；AA为从为从A到到A的函数集，的函数集，|A|211第11页，共35页，编辑于2022年，星期日特异元素：单位元、零元特异元素：单位元、零元定义定义9.5设设为为S上的二元运算上的二元运算,(1)如果存在如果存在el(或或er)S，使得对任意，使得对任意xS 都有都有 elx=x(或或xer=x)，则称则称el(或或er)是是S中关于中关于运算的运算的左左(或或右右)单位元单位元.若若eS关于关于运算既是左单位元又是右单位元，则称运算既是左单位元又是右单位元，则称e为为S上上关于关于运算的运算的单位元单位元.单位元也叫做单位元也叫做幺元幺元.(2)如果存在如果存在 l(或或 r)S，使得对任意，使得对任意xS 都有都有 l x=l(或或x r=r)，则称则称 l(或或 r)是是S 中关于中关于运算的运算的左左(或或右右)零元零元.若若 S 关于关于运算既是左零元又是右零元，则称运算既是左零元又是右零元，则称 为为S上关上关于运算于运算的的零元零元.12第12页，共35页，编辑于2022年，星期日可逆元素和逆元可逆元素和逆元(3)设设为为S上的二元运算上的二元运算,令令e为为S中关于运算中关于运算 的单位元的单位元.对于对于xS，如果存在，如果存在yl(或或yr)S使得使得 ylx=e（或（或xyr=e）则称则称yl(或或yr)是是x的的左逆元左逆元（或（或右逆元右逆元）.关于关于运算，若运算，若yS 既是既是x 的左逆元又是的左逆元又是x 的右逆元，则称的右逆元，则称y为为x的的逆元逆元.如果如果x 的逆元存在，就称的逆元存在，就称x 是是可逆的可逆的.13第13页，共35页，编辑于2022年，星期日实例实例集合集合运算运算单位元单位元零元零元逆元逆元Z,Q,R普通加法普通加法+普通乘法普通乘法 01无无0 x逆元逆元 xx逆元逆元x 1(x 1 给定集合给定集合)Mn(R)矩矩阵阵加法加法+矩矩阵阵乘法乘法 n阶全阶全0矩阵矩阵n阶单位矩阵阶单位矩阵无无n阶全阶全0矩阵矩阵X逆元逆元 XX的逆元的逆元X 1（X可逆）可逆）P(B)并并 交交 对称差对称差 BB无无的逆元为的逆元为B的逆元为的逆元为BX的逆元为的逆元为X14第14页，共35页，编辑于2022年，星期日惟一性定理惟一性定理定理定理9.1设设为为S上的二元运算，上的二元运算，el和和er分别为分别为S中关于运算的中关于运算的左和右单位元，则左和右单位元，则el=er=e为为S上关于上关于运算的惟一的单位元运算的惟一的单位元.证：证：el=eler(er为右单位元为右单位元)eler=er(el为左单位元为左单位元)所以所以el=er,将这个单位元记作将这个单位元记作e.假设假设e 也是也是S 中的单位元，则有中的单位元，则有e=ee =e.惟一性得证惟一性得证.类似地可以证明关于零元的惟一性定理类似地可以证明关于零元的惟一性定理.注意：注意：l当当|S|2，单位元与零元是不同的；，单位元与零元是不同的；l当当|S|=1时，这个元素既是单位元也是零元时，这个元素既是单位元也是零元.15第15页，共35页，编辑于2022年，星期日定理定理9.2设设为为S上可结合的二元运算上可结合的二元运算,e为该运算的单位元为该运算的单位元,对于对于xS 如果存在左逆元如果存在左逆元yl 和右逆元和右逆元yr,则有则有yl=yr=y,且且y是是x 的惟一的逆元的惟一的逆元.证：由证：由ylx=e和和xyr=e得得 yl=yle=yl(xyr)=(ylx)yr=eyr=yr令令yl=yr=y,则则y 是是x 的逆元的逆元.假若假若yS 也是也是x 的逆元的逆元,则则 y=y e=y(xy)=(y x)y=ey=y所以所以y 是是x 惟一的逆元惟一的逆元.l说明：对于可结合的二元运算，可逆元素说明：对于可结合的二元运算，可逆元素x 只有惟一的逆只有惟一的逆元，记作元，记作x 1惟一性定理惟一性定理16第16页，共35页，编辑于2022年，星期日9.2代数系统代数系统定义定义9.6非空集合非空集合S和和S上上k个一元或二元运算个一元或二元运算f1,f2,fk组成组成的系统称为的系统称为代数系统代数系统,简称代数，记做简称代数，记做.实例：实例：(1),是代数系统，是代数系统，+和和分别表示普通分别表示普通加法和乘法加法和乘法.(2)是代数系统，和是代数系统，和分别表示分别表示n 阶阶(n2)实矩实矩阵的加法和乘法阵的加法和乘法.(3)是代数系统，是代数系统，Zn0,1,n-1，和和 分别表示分别表示模模n的加法和乘法，对于的加法和乘法，对于x,yZn，x y=(xy)modn，x y=(xy)modn(4)是代数系统，是代数系统，和和 为并和交，为并和交，为绝对补为绝对补17第17页，共35页，编辑于2022年，星期日代数系统的成分与表示代数系统的成分与表示构成代数系统的成分：构成代数系统的成分：l集合（也叫载体，规定了参与运算的元素）集合（也叫载体，规定了参与运算的元素）l运算（这里只讨论有限个二元和一元运算）运算（这里只讨论有限个二元和一元运算）l代数常数（通常是与运算相关的特异元素：如单位元等）代数常数（通常是与运算相关的特异元素：如单位元等）研究代数系统时，如果把运算具有它的特异元素也作为系统研究代数系统时，如果把运算具有它的特异元素也作为系统的性质之一，那么这些特异元素可以作为系统的成分，叫做的性质之一，那么这些特异元素可以作为系统的成分，叫做代数常数代数常数.例如：代数系统例如：代数系统：集合：集合Z,运算运算+,代数常数代数常数0代数系统代数系统：集合：集合P(S),运算运算和和，无代数常数，无代数常数18第18页，共35页，编辑于2022年，星期日代数系统的表示代数系统的表示(1)列出所有的成分：集合、运算、代数常数（如果存在）列出所有的成分：集合、运算、代数常数（如果存在）如如,(2)列出集合和运算，在规定系统性质时不涉及具有单位元列出集合和运算，在规定系统性质时不涉及具有单位元的性质（无代数常数）的性质（无代数常数）如如,(3)用集合名称简单标记代数系统用集合名称简单标记代数系统在前面已经对代数系统作了说明的前提下使用在前面已经对代数系统作了说明的前提下使用如代数系统如代数系统Z,P(B)19第19页，共35页，编辑于2022年，星期日同类型与同种代数系统同类型与同种代数系统定义定义9.7(1)如果两个代数系统中运算的个数相同，对应运算的元数相如果两个代数系统中运算的个数相同，对应运算的元数相同，且代数常数的个数也相同，则称它们是同，且代数常数的个数也相同，则称它们是同类型的同类型的代数代数系统系统.(2)如果两个同类型的代数系统规定的运算性质也相同，则称如果两个同类型的代数系统规定的运算性质也相同，则称为为同种的同种的代数系统代数系统.例如例如V1=,V2=,为为n 阶全阶全0矩阵，矩阵，E为为n 阶单位矩阵阶单位矩阵,V3=lV1,V2,V3是同类型的代数系统，它们都含有是同类型的代数系统，它们都含有2个二元运算个二元运算,2个代数常数个代数常数.lV1,V2是同种的代数系统，是同种的代数系统，V1,V2与与V3不是同种的代数系统不是同种的代数系统20第20页，共35页，编辑于2022年，星期日V1V2V3+可交可交换换、可、可结结合合可交可交换换、可、可结结合合+满足消去律满足消去律满足消去律满足消去律对对+可分配可分配+对对不可分配不可分配+与与没有吸收律没有吸收律+可交可交换换、可、可结结合合可交可交换换、可、可结结合合+满足消去律满足消去律不满足消去律不满足消去律对对+可分配可分配+对对不可分配不可分配+与与没有吸收律没有吸收律可交可交换换、可、可结结合合可交换、可结合可交换、可结合不满足消去律不满足消去律不满足消去律不满足消去律对对可分配可分配对对可分配可分配与与满足吸收律满足吸收律运算性质比较运算性质比较21第21页，共35页，编辑于2022年，星期日子代数系统子代数系统定义定义9.8设设V=是代数系统，是代数系统，B是是S的非空子的非空子集，如果集，如果B对对f1,f2,fk都是封闭的，且都是封闭的，且B和和S含有相同的代含有相同的代数常数，则称数常数，则称是是V的的子代数系统子代数系统，简称子代，简称子代数数.有时将子代数系统简记为有时将子代数系统简记为B.实例实例N是是的子代数，的子代数，N也是也是的子代数的子代数N 0是是的子代数，但不是的子代数，但不是的子代数的子代数说明：说明：l子代数和原代数是同种的代数系统子代数和原代数是同种的代数系统l对于任何代数系统对于任何代数系统V=，其子代数一定存在，其子代数一定存在.22第22页，共35页，编辑于2022年，星期日关于子代数的术语关于子代数的术语(1)最大的子代数最大的子代数：就是：就是V本身本身(2)最小的子代数最小的子代数：如果令：如果令V中所有代数常数构成的集合是中所有代数常数构成的集合是 B，且，且B对对V中所有的运算都是封闭的，则中所有的运算都是封闭的，则B就构成了就构成了V的的最小的子代数最小的子代数(3)最大和最小的子代数称为最大和最小的子代数称为V 的的平凡的子代数平凡的子代数(4)若若B是是S的真子集，则的真子集，则B构成的子代数称为构成的子代数称为V的的真子代数真子代数.例例设设V=,令令nZ=nz|z Z,n为自然数，则为自然数，则nZ是是V的子的子代数代数当当n=1和和0时，时，nZ是是V的平凡的子代数，其他的都是的平凡的子代数，其他的都是V的非的非平凡的真子代数平凡的真子代数.23第23页，共35页，编辑于2022年，星期日积代数积代数定义定义9.9设设V1=和和V2=是同类型的代数系统，是同类型的代数系统，和和 为二元运算，在集合为二元运算，在集合A B上如下定义二元运算上如下定义二元运算，,A B，有，有=称称V=为为V1与与V2的的积代数积代数，记作，记作V1 V2.这时也称这时也称V1和和V2为为V的的因子代数因子代数.实例实例Z2=0,1，V=，V1 V2=Z2 Z2=,=注意：注意：积代数的定义可以推广到具有多个运算的同类型的代积代数的定义可以推广到具有多个运算的同类型的代数系统数系统 24第24页，共35页，编辑于2022年，星期日积代数的性质积代数的性质定理定理9.3设设V1=和和V2=是同类型的代数系统，是同类型的代数系统，V1 V2=是它们的积代数是它们的积代数.(1)如果如果 和和 运算是可交换（可结合、幂等）的，那么运算是可交换（可结合、幂等）的，那么运算运算也是可交换（可结合、幂等）的也是可交换（可结合、幂等）的(2)如果如果e1和和e2（1和和 2）分别为）分别为 和和 运算的单位元（零元）运算的单位元（零元），那么，那么（）也是）也是运算的单位元（零元）运算的单位元（零元）(3)如果如果x 和和y 分别为分别为和和 运算的可逆元素，那么运算的可逆元素，那么也是也是运算的可逆元素，其逆元就是运算的可逆元素，其逆元就是25第25页，共35页，编辑于2022年，星期日9.3代数系统的同态与同构代数系统的同态与同构定义定义9.10设设V1=和和V2=是同类型的代数系统，是同类型的代数系统，f:AB，且，且 x,y A 有有f(x y)=f(x)f(y),则称则称f 是是V1到到V2的的同态同态映射，简称同态映射，简称同态.同态分类：同态分类：(1)f 如果是单射，则称为如果是单射，则称为单同态单同态(2)如果是满射，则称为如果是满射，则称为满同态满同态，这时称，这时称V2是是V1的的同态像同态像，记作记作V1 V2(3)如果是双射，则称为同构，也称代数系统如果是双射，则称为同构，也称代数系统V1同构同构于于V2，记作记作V1 V2(4)如果如果V1=V2，则称作，则称作自同态自同态26第26页，共35页，编辑于2022年，星期日实例实例(1)设设V1=,V2=其中其中Z为整数集，为整数集，+为普通加法；为普通加法；Zn=0,1,n 1，为模为模n加加.令令 f:ZZn，f(x)=(x)modn那么那么f 是是V1到到V2的满同态的满同态(3)设设V=，其中，其中Z为整数集，为整数集，+为普通加法为普通加法.a Z，令，令 fa:ZZ，fa(x)=ax，那么那么fa 是是V的自同态的自同态.当当a=0时称时称f0为零同态；当为零同态；当a=1时，称时，称fa 为自同构；除此之外其他的为自同构；除此之外其他的fa 都是单自同态都是单自同态.(2)设设V1=,V2=，其中，其中R和和R*分别为实数集与非零实数分别为实数集与非零实数集，集，+和和分别表示普通加法与乘法令分别表示普通加法与乘法令f:RR*，f(x)=ex则则f 是是V1到到V2的单同态的单同态.27第27页，共35页，编辑于2022年，星期日第九章第九章 习题课习题课主要内容主要内容l代数系统的构成：非空集合、封闭的二元和一元运算、代代数系统的构成：非空集合、封闭的二元和一元运算、代数常数数常数 l二元运算性质和特异元素：交换律、结合律、幂等律、分二元运算性质和特异元素：交换律、结合律、幂等律、分配律、吸收律、单位元、零元、可逆元和逆元配律、吸收律、单位元、零元、可逆元和逆元l同类型的与同种的代数系统同类型的与同种的代数系统l子代数的定义与实例子代数的定义与实例l积代数的定义与性质积代数的定义与性质l代数系统的同态与同构代数系统的同态与同构28第28页，共35页，编辑于2022年，星期日基本要求基本要求l判断给定集合和运算能否构成代数系统判断给定集合和运算能否构成代数系统l判断给定二元运算的性质判断给定二元运算的性质l求而二元运算的特异元素求而二元运算的特异元素l了解同类型和同种代数系统的概念了解同类型和同种代数系统的概念l了解子代数的基本概念了解子代数的基本概念l计算积代数计算积代数l判断函数是否为同态映射和同构映射判断函数是否为同态映射和同构映射29第29页，共35页，编辑于2022年，星期日练习练习11设设 运算为运算为Q上的二元运算，上的二元运算，x,y Q,x y=x+y+2xy,(1)判断判断 运算是否满足交换律和结合律，并说明理由运算是否满足交换律和结合律，并说明理由.(2)求出求出 运算的单位元、零元和所有可逆元素的逆元运算的单位元、零元和所有可逆元素的逆元.(1)运算可交换，可结合运算可交换，可结合.任取任取x,y Q,x y=x+y+2xy=y+x+2yx=y x,任取任取x,y,z Q,(x y)z=(x+y+2xy)+z+2(x+y+2xy)z=x+y+z+2xy+2xz+2yz+4xyz x(y z)=x+(y+z+2yz)+2x(y+z+2yz=x+y+z+2xy+2xz+2yz+4xyz30第30页，共35页，编辑于2022年，星期日(2)设设 运算的单位元和零元分别为运算的单位元和零元分别为e 和和 ，则，则对于任对于任意意x 有有x e=x 成立，即成立，即 x+e+2xe=x e=0由于由于 运算可交换，所以运算可交换，所以0是幺元是幺元.对于任意对于任意x 有有x =成立，即成立，即x+2x=x+2x =0=1/2给定给定x，设，设x 的逆元为的逆元为y,则有则有x y=0成立，即成立，即 x+y+2xy=0(x 1/2)因此当因此当x 1/2时时，是是x的逆元的逆元.解答解答31第31页，共35页，编辑于2022年，星期日2下面是三个运算表下面是三个运算表(1)说说明那些运算是可交明那些运算是可交换换的、可的、可结结合的、合的、幂幂等的等的.(2)求出每个运算的单位元、零元、所有可逆元素的逆元求出每个运算的单位元、零元、所有可逆元素的逆元练习练习232第32页，共35页，编辑于2022年，星期日解解答解答(1)*满足交换律，满足结合律，不满足幂等律满足交换律，满足结合律，不满足幂等律.不满足交换律，满足结合律，满足幂等律不满足交换律，满足结合律，满足幂等律.满足交换律，满足结合律，不满足幂等律满足交换律，满足结合律，不满足幂等律.(2)*的单位元为的单位元为b，没有零元，没有零元，a 1=c,b 1=b,c 1=a 的单位元和零元都不存在，没有可逆元素的单位元和零元都不存在，没有可逆元素.的单位元为的单位元为a，零元为，零元为c，a 1=a，b,c不是可逆元素不是可逆元素.说明：关于结合律的判断说明：关于结合律的判断需要针对运算元素的每种选择进行验证，若需要针对运算元素的每种选择进行验证，若|A|=n，一般需要，一般需要验证验证n3个等式个等式.单位元和零元不必参与验证单位元和零元不必参与验证.通过对具体运算性质的分析也可能简化验证的复杂性通过对具体运算性质的分析也可能简化验证的复杂性.33第33页，共35页，编辑于2022年，星期日练习练习33.设设G为非为非0实数集实数集R*关于普通乘法构成的代数系统，关于普通乘法构成的代数系统，判断下述函数是否为判断下述函数是否为G的自同态？如果不是，说明理由的自同态？如果不是，说明理由.如果是，判别它们是否为单同态、满同态、同构如果是，判别它们是否为单同态、满同态、同构.(1)f(x)=|x|+1(2)f(x)=|x|(3)f(x)=0(4)f(x)=234第34页，共35页，编辑于2022年，星期日解答解答解解 (1)不是同态不是同态,因为因为f(2 2)=f(4)=5,f(2)f(2)=3 3=9(2)是同态，不是单同态，也不是满同态，因为是同态，不是单同态，也不是满同态，因为f(1)=f(1),且且ranf中没有负数中没有负数.(3)不是不是G 的自同态，因为的自同态，因为f 不是不是G 到到G 的函数的函数(4)不是不是G 的自同态，因为的自同态，因为f(2 2)=2,f(2)f(2)=2 2=4说明：判别或证明同态映射的方法说明：判别或证明同态映射的方法(1)先判断（或证明）先判断（或证明）f 是是G1到到G2的映射的映射f:G1G2.如果已如果已知知f:G1G2，则这步判断可以省去，则这步判断可以省去.(2)x,y G1,验证验证f(xy)=f(x)f(y)(3)判断同态性质只需判断函数的单射、满射、双射性即可判断同态性质只需判断函数的单射、满射、双射性即可.35第35页，共35页，编辑于2022年，星期日