近世代数证明题:满足左、右消去律的有限半群必是群
如何做?
1楼的大人:
能稍稍展开一点么?除法定律?能否证明它总是有逆元呢?