摘要： 消去律 右消去律: \(ax=bx \to a=b\)。 半群 称 \((S,\cdot)\) 是半群，则满足结合律。例如加法和矩阵乘法。 含幺元的半群 \((S,\cdot,e)\) 称 含幺半群 或 幺群。（这里指存在 \(e\) 使 \(\forall x, x+e=x\)） 在此基础上满足交 阅读全文