【群的性质】单位元逆元唯一的,消去律
发布人