semigroup

《代数学引论》 · 第 93 页

如果在幺半群的定义中不要求有单位元素，换句话说，对运算只要求结合律，那么这样的代数结构通常称为半群。

由 admin 提交

《Algebra》 · 第 24 页 · Chapter I，Section 1「Semigroups, Monoids and Groups」，Definition 1.1

A semigroup is a nonempty set $G$ together with a binary operation on $G$ which is associative: $a(bc)=(ab)c$ for all $a,b,c\in G$.