記得老師說過群的消去性是由於有反元素，
但整數乘法只是半群並沒有反元素，
那整數乘法的消去性是因為什麼特性造成的?

沒有消去性

減法、分配律、相乘為0的性質若xy=xz，則xy-xz=0，x(y-z)=0 -> x=0 or y-z=0所以若x不等於0，則y=z

喔喔 懂惹 感謝樓上兩位大大

要注意的是對一般半群這是不能用的這是因為Z沒有zero-divisor