疑问，想问下模4乘法的代数系统，满足消去律吗？

lishua

我看课本上讲是满足的，如截图1 ；
但是实际列出运算表，发现2与1的运算结果等于2与3的运算结果，2不为0元，消去2后，1显然是不等于3的，如截图2
我找了B站的视频，看到老师讲这个的时候举的例子是模乘3和模乘2；不是书上的模乘4和模乘3。
所以，我觉得这里书上例子是不是错了？ 还请路过人给予指点迷津，多谢

lishua

原帖子第二张个人计算的图片可能有点乱，不方便各位大大查阅
重新写了一张，如下

多谢。