→ TaiwanFight: 沒有消去性 01/13 03:37
→ Ricestone: 減法、分配律、相乘為0的性質 01/13 03:38
→ Ricestone: 若xy=xz,則xy-xz=0,x(y-z)=0 -> x=0 or y-z=0 01/13 03:39
→ Ricestone: 所以若x不等於0,則y=z 01/13 03:40
→ Rbian: 喔喔 懂惹 感謝樓上兩位大大 01/13 03:42
→ Ricestone: 要注意的是對一般半群這是不能用的 01/13 03:50
→ Ricestone: 這是因為Z沒有zero-divisor 01/13 03:52