离散数学第五章代数系统.pptVIP

5.3 同态与同构 (4)因为f是从X，⊙，*到Y，?，?的满同态映射，故对任意y1，y2?Y，必存在x1，x2?X，使得f(x1)=y1，f(x2)=y2，而且有 f(x1⊙(x1*x2))=f(x1)?f(x1*x2) =f(x1)?(f(x1)?f(x2))=y1?(y1?y2) f((x1*x2)⊙x1)=f(x1*x2)?f(x1) =(f(x1)?f(x2))?f(x1)=(y1?y2)?y1第63页，共97页，星期日，2025年，2月5日5.3 同态与同构 又因为⊙对于*满足吸收律，故 x1⊙(x1*x2)=x1 (x1*x2)⊙x1=x1 于是 f(x1⊙(x1*x2))=f(x1) f((x1*x2)⊙x1)=f(x1) 因此 y1?(y1?y2)=y1 (y1?y2)?y1=y1可见，?对于?满足吸收律；同理可证?对于?也满足吸收律。第64页，共97页，星期日，2025年，2月5日5.3 同态与同构 (5)因为f是从X，⊙，*到Y，?，?的满同态映射，故对任意y?Y，必存在x?X，使得f(x)=y，而且有 f(x⊙x)=f(x)?f(x)=y?y 又因为⊙满足等幂律，故 x⊙x=x 于是 f(x⊙x)=f(x) 因此 y?y=y可见，?满足等幂律；同理可证?也满足等幂律。不难证明，若x分别是⊙和*的等幂元，则f(x)是分别关于?和?的等幂元。第65页，共97页，星期日，2025年，2月5日5.3 同态与同构 (6)因为f是从X，⊙，*到Y，?，?的满同态映射，故对任意y?Y，必存在x?X，使得f(x)=y，又因为e1是关于⊙的幺元，所以有 f(x)=f(x⊙e1)=f(x)?f(e1)=y?f(e1) f(x)=f(e1⊙x)=f(e1)?f(x)=f(e1)?y 即 f(e1)?y=y?f(e1)=y 因此f(e1)是关于?的幺元；同理可证f(e2)是关于?的幺元。第66页，共97页，星期日，2025年，2月5日5.3 同态与同构 (7)因为f是从X，⊙，*到Y，?，?的满同态映射，故对任意y?Y，必存在x?X，使得f(x)=y，又因为θ1是关于⊙的零元，所以有 f(θ1)=f(x⊙θ1)=f(x)?f(θ1)=y?f(θ1) f(θ1)=f(θ1⊙x)=f(θ1)?f(x)=f(θ1)?y 即 f(θ1)?y=y?f(θ1)=f(θ1) 因此f(θ1)是关于?的零元；同理可证f(θ2)是关于?的零元。第67页，共97页，星期日，2025年，2月5日5.3 同态与同构 (8)因为f是从X，⊙，*到Y，?，?的满同态映射，故对任意y?Y，必存在x?X，使得f(x)=y，并且有 f(e1)=f(x-1⊙x)=f(x-1)?f(x)=f(x-1)?y f(e1)=f(x⊙x-1)=f(x)?f(x-1)=y?f(x-1) 即 f(x-1)?y=y?f(x-1)=f(e1) 由(6)可知，f(e1)是关于?的幺元，若取f(x-1)=y-1，便有 f(x-1)?f(x)=f(x)?f(x-1) 即 y-1?y=y?y-1=f(e1)第68页，共97页，星期日，2025年，2月5日5.2 运算及其性质定理5.2给定S，⊙且el和er分别关于⊙的左、右幺元，则el=er=e且幺元e是惟一的。证明：因为el和er分别是S中关于⊙的左、右幺元，所以 el=el⊙er=er=e设另有一个幺元e1?S，则 e1=e1⊙e=e第31页，共97页，星期日，2025年，2月5日5.2 运算及其性质性质8：零元设*是定义在集合A上的一个二元运算，如果存在一个元素θl?A，对于任意的x?A，都有θl*x=θl，即(?x)(x?A→θl*x=θl)，则称θl为A中关于运算*的左零元；如果存在一个元素θr?A，对于任意的x?A，都有x*θr=θr，即(?x)(x?A→x*θr=θr)，则称θr为A中关于运算*的右零元；如果A中一个元素θ，它既是*的左零元又是*的右零元，则称θ为A中关于*的零元，即(?x)(x?A→θ*x=x*θ=θ)。第32页，共97页，星期日，2025年，2月5日5.2 运算及其性质例5.12在例5.11中，*如表5-4所定义，β是*的零元；*如表5-5所定义，α和β都是*的左零元；*如表5-6所定义，β是*的右零元。定理5.3给定S，⊙且θl