离散数学离散数学 (4).pdfVIP

§5.2群的概念及其性质

5.2.2群的性质

(1)任何群都没有零元。

(2)设G,*是群，则G中消去律成立。

证明：a,b,c∈G,a*b=a*c

∵群中任何元素的逆元都存在，设a的逆元是a-1

∴a-1*(a*b)=a-1*(a*c)即(a-1*a)*b=(a-1*a)*c)

∴e*b=e*cb=c

同理若b*a=c*a则b=c

∴群中消去律成立

§5.2群的概念及其性质

5.2.2群的性质

(3)设G,*是群，单位元e是G中的唯一

幂等元。

证明：∵e*e=e∴e是群中幂等元，

又设a∈G，且a*a=a，a是群中另一幂等元

∵a-1*a*a=a-1*a

∴a=e

∴e是群中唯一幂等元

5.2.2群的性质

(4)设G,*,H,。是群，f是G到H的同态，若

e为G,*的单位元，则f(e)是H,。的单位元，