抄书：李文威《代数学方法：卷一》第四章 群论

$\DeclareMathOperator{\ord}{ord}$
非空集合 $S$ 上的二元运算意谓一个映射 $S\times S \to S$，一般用乘法记号写为 $(x, y)\mapsto x\cdot y$，或索性简写为 $xy$；二元运算可视作 $S$ 上的某种乘法。反复操作可以得到形如 $x(yz)$，$(wx)(yz)$ 等等的表达式，括号在此表示元素相乘的先后顺序。如不致混淆，我们经常略去 非空集合 $S$ 上的二元