大学课件-离散数学(第二版)(蔡英)-第5章-代数系统的基本概念.pptVIP

　　故f(S)对运算封闭，〈f(S)，〉为T的子代数。证毕很显然， f为单射时〈S，*〉与同态像〈 f(S)，〉同构，这使我们想到，同态像应同〈S，*〉有许多共同的性质。 定理5.3.2 　设f是代数系统〈S，*〉 到 〈T，〉的满同态(这里*， 均为二元运算)，那么(1) 当运算*满足结合律、 交换律时，T中运算也满足结合律、 交换律。　　(2) 如果〈S，*〉 关于*有幺元e，那么f(e)是〈T，〉中关于的幺元。 　　(3) 如果x-1是〈S，*〉 中元素x关于*的逆元，那么f(x-１)=(f(x))-1是〈T，〉中元素f(x)关于的逆元。　　(4) 如果〈S，*〉 关于*有零元θ，那么f(θ)是〈T，〉中关于的零元。　　证明　仅证(2)、 (3)。　　 (2) 设〈S，*〉有关于*的幺元e。考虑T中任一元素b ，因为f是满射，所以必存在一个元素a∈S使b=f(a)，那么　　　　　　bf(e)=f(a)f(e)=f(a*e)=f(a)=b　　　　　　f(e)b=f(e) f(a)=f(e*a)=f(a)=b 　　因此f(e)为T中关于的幺元。　　 (3) 设〈S，*〉中元素x有关于*的逆元x-1，考虑f(x)与f(x-1)，那么　　　　　　f(x)f(x-1)=f(x*x-1)=f(e)