离散数学第十二章 代数结构基本概念及性质.pptVIP

综上可以看出，同态映射具有一个特性，即“保持运算”。对于满同态映射来说，它能够保持运算的更多性质，为此，给出如下定理：定理12.3.2给定X,⊙,○~Y,?,?且f为其满同态映射，则(a)如果⊙和○满足结合律，则?和?也满足结合律。(b)如果⊙和○满足交换律，则?和?也满足交换律。第62页，共98页，星期日，2025年，2月5日(c)如果⊙对于○或○对于⊙满足分配律，则?对于?或?对于?也相应满足分配律。(d)如果⊙对于○或○对于⊙满足吸收律，则?对于?或?对于?也满足吸收律。(e)如果⊙和○满足等幂律，则?和?也满足等幂律。(f)如果e1和e2分别是关于⊙和○的幺元，则f(e1)和f(e2)分别为关于?和?的幺元。第63页，共98页，星期日，2025年，2月5日(g)如果θ1和θ2分别是关于⊙和○的零元，则f(θ1)和f(θ2)分别为关于?和?的零元。(h)如果对每个x∈X均存在关于⊙的逆元x-1，则对每个f(x)∈Y也均存在关于?的逆元f(x-1)；如果对每个z∈X均存在关于○的逆元z-1，则对每个f(z)∈Y也均存在关于?的逆元f(z-1)。第64页，共98页，星期日，2025年，2月5日定理12.3.2告诉我们，对于满同态映射来说，代数结构的许多性质都能保持，如结合律、交换律、分配律、等幂律、幺元、零元、逆元等，但这种保持性质是单向的，即如果X，⊙满同态于Y，○，则X，⊙所具有的性质，Y，○均具有。但反之不然，即Y，○所具有的某些性质，X，⊙不一定具有。不尽要问，在怎样条件下，Y，○所具有的性质X，⊙都完全具有呢?为了回答这个问题，需要引出两个代数结构同构的概念。第65页，共98页，星期日，2025年，2月5日定义12.3.3设X，⊙与Y，○是同类型的。称X，⊙同构于Y，○，记为X，⊙≌Y，○，其定义如下：X，⊙≌Y，○:=(?f)(f为从X，⊙到Y，○的同构映射)或更详细地定义为：X，⊙≌Y，○:=(?f)(f∈YX∧f为双射∧f为从X，⊙到Y，○的同态映射)第66页，共98页，星期日，2025年，2月5日X,⊙x1x2x1⊙x2Y，○f(x1)f(x2)f(x1)○f(x2)同构示意图f第67页，共98页，星期日，2025年，2月5日例代数结构R+，×与R，＋是同构的。其中R为实数，R+为正实数。证：关键是找一个双射。对R+，×与R，＋，有一个函数h：R+→R，h(x)=lnx此函数是双射的。因为对每个x0,均存在一个y=lnx?R，同时，对每个y?R，均存在一个x=ey?R+.又因为h(y×z)=ln(y×z)=lny＋lnz=h(y)＋h(z)故R+，×与R，＋是同构的。注：当然，我们也可以取函数h(x)=lgx，第68页，共98页，星期日，2025年，2月5日续例12.3.4给定Z,+，其中Z为整数集合，+为一般加法。作函数f?ZZ：f(x)=kx，(此处乘法是一般乘法)其中x,k?Z，则当k=-1或k=1时，f为从Z,+到Z,+的同构映射。证：先证明当k=-1或k=1时f为双射。因为对每个x?Z,均存在一个y=kx(即y=x或y=-x)?Z，同时，对每个y?Z，均存在一个x=y/k(即x=y或x=-y)?Z。(显然，若k取?1以外的值，y/k不一定是整数，或者y/k无意义，此时f就不是双射了.)又由于f(y+z)=k(y+z)=ky+kz=f(y)+f(z)，故f为Z,+到Z,+的同构映射。第69页，共98页，星期日，2025年，2月5日6.幺元或单位元给定S，⊙且el，er，e∈S，则el为关于⊙的左幺元:=(?x)(x∈S→el⊙x=x)er为关于⊙的右幺元:=(?x)(x∈S→x⊙er=x)若e既为⊙的左幺元又为⊙的右幺元，称e为关于⊙的幺元。亦可定义如下：e为关于⊙的幺元:=(?x)(x∈S→e⊙x=x⊙e=x)。第30页，共98页，星期日，2025年，2月5日定理12.2.3给定S，⊙且el和er分别是关于⊙的左、右幺元，则el=er=e且幺元e唯一。例：实数集R上的代数结构R，＋，×的“×”运算的幺元为1，因为对任意x?R有x×1＝1×x＝x。而“＋”运算的幺元为0，因为对任意x?R有x＋0＝0＋x＝x。例：前面例子中关于串的并置运算，它的单位元素是空串?，因为对任一串A，均有?//A=A//?=A。第31页，共98页，星期日，2025年，2月5日7.零元给定S，○及θl，θr，θ∈S，则θl为关于○的左零元:=(?x)(x∈