记得老师说过群的消去性是由于有反元素，
但整数乘法只是半群并没有反元素，
那整数乘法的消去性是因为什么特性造成的?

没有消去性

减法、分配律、相乘为0的性质若xy=xz，则xy-xz=0，x(y-z)=0 -> x=0 or y-z=0所以若x不等于0，则y=z

喔喔 懂惹 感谢楼上两位大大

要注意的是对一般半群这是不能用的这是因为Z没有zero-divisor