associative law

《代数学引论》 · 第 90 页 · 定义 6

设 $S$ 是一非空集合，如果在 $S$ 上定义了一个二元运算，记为 $ab$（读作乘法），它适合条件：1）$a(bc)=(ab)c$（结合律），$a,b,c\in S$；

由 admin 提交

《Compact Lie Groups》 · 第 122 页 · Section 2.3「Groups」，Definition

A group is a set $G$ equipped with an operation $*$ and a special element $e\in G$, called the identity, such that (i) the associative law holds: for every $a,b,c\in G$, $a*(b*c)=(a*b)*c$.