结构推理
设在整数集Z上的*运算定义如下:对于任意a,b∈Z,a*b=a+b-10,问(Z,*)是否为群?
【正确答案】对任意的a,b,c∈Z,
(1)a*b=a+b-10∈Z,满足封闭性.
(2)因为(a*b)*c=(a+b-10)*c=a+b-10+c-10=a+b+c-20.
a*(b*c)=a*(b+c-10)=a+b+c-10-10=a+b+c-20,所以(a*b)*c=a*(b*c),满足结合律.
(3)因为对于任意的a∈Z,a*10=a+10-10=a,10*a=10+a-10=a,所以有单位元素10.
(4)对任意a∈Z,若血a*a-1=a+a-1-10=10,a-1*a=a-1+a-10=10,有a-1=20-a,因此每一元素a均有逆元素a-1存在.
由(1)~(4)可得,(Z,*)是一个群.
【答案解析】