群

群是配备一种二元运算的集合，这种运算满足结合律，具有单位元，并且每个元素都有逆元。群常被用来刻画对称性。

核心表达

a \cdot e = e \cdot a = a, a \cdot a^{- 1} = a^{- 1} \cdot a = e

整数集合与加法构成一个群：单位元是 0，整数 n 的逆元是 −n。群运算不要求交换。