结构推理
设(R,+,·)是环,R的子集G定义如下:
G={a|a-1∈R).
证明:(G,·)是群.
【正确答案】证明 (1)因为1-1∈R,所以1∈G,且G非空.
对于任意的a,b∈G,必有a-1∈R且b-1∈R,故b-1·a叫∈-1R,并且(b-1·a-1)·(a·b)=(a·b)·(b-1·a-1)=1,因此(a·b)-1=b-1·a-1∈R,于是a·b∈G,故(G,·)是封闭的.
(2)因为G是R的子集,所以·在G上是可结合的.
(3)因为对于任意的a∈G,必有a-1∈R,由于a与a-1互为逆元素.
所以(a-1)-1=-a∈R,所以a-1∈G.
(4)·运算的单位运算1∈G.
所以(1)~(4)可知(G,·)是一个群.
【答案解析】