作业帮 > 数学 > 作业

设集合G=Q-{1},其中Q是有理数集,定义G上的二元运算*为任意a,b∈G,a*b=a+b-ab,证明(G,*)是群

来源:学生作业帮 编辑:大师作文网作业帮 分类:数学作业 时间:2024/11/13 11:55:41
设集合G=Q-{1},其中Q是有理数集,定义G上的二元运算*为任意a,b∈G,a*b=a+b-ab,证明(G,*)是群
设集合G=Q-{1},其中Q是有理数集,定义G上的二元运算*为任意a,b∈G,a*b=a+b-ab,证明(G,*)是群
我给你详细写写吧

首先G肯定不是空集.这个运算的结果也是唯一确定的.
(1) 验证这个运算是G上的运算,即运算结果属于G.
a*b-1=a+b-ab-1=(a-1)(b-1)不是0,所以a*b不是1,a*b是有理数是显然的,所以a*b属于G.
(2) 验证结合律
(a*b)*c=(a+b-ab)*c=(a+b-ab)+c-(a+b-ab)c=a+b-ab+c-ac-bc+abc
a*(b*c)=a*(b+c-bc)=a+b+c-bc-a(b+c-bc)=a+b+c-bc-ab-ac+abc
所以(a*b)*c=a*(b*c),即结合律成立.
(3)单位元
易见0是单位元
(4)逆元
a的逆元是:a/(a-1)