北京邮电大学 离散数学下 群论 作业错题讲解(8)

北京邮电大学离散数学群论作业详解

群论9.1-9.2 Ex3: Let G ={x∈R|x>1} be the set of all real numbers greater than 1. For x,y∈G, define

x*y=xy-x-y+2. Show that (G,*) is a group.

proof: (1)closure; because x>1, xy>x+y,

so x*y=xy-x-y+2>2, x*y∈G.

(2)associate; (x*y)*z=(xy-x-y+2)*z=xyz-xz-yz+2z-(xy-x-y+2)-z+2=xyz-xy-xz-yz+x+y+z .

x*(y*z)=x*(yz-y-z+2)=xyz-xy-xz+2x-x-yz+y+z-

2+2=xyz-xy-xz-yz+x+y+z .

(3)identity: e=2, 2*x=2x-x-2+2=x.

(4)reverse: x*x-1=xx-1-x-x-1+2=e=2, x-1=x/(x-1).

百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说教育文库北京邮电大学 离散数学下 群论 作业错题讲解(8)在线全文阅读。