阿贝尔群

一种特殊的结构，由元素和一种定义在元素上的运算组成。且满足：

<1> 封闭性：集合中任两个元素相“乘”的结果在这个集合之内；

<2> 结合律：这个“乘法”满足(ab)c=a(bc)；

<3> 单位元：集合中存在某个元素e，对于任意集合中的其它元素a有 ea=ae=a，e被称为单位元；

<4> 逆元：对于集合中任意元素a，一定存在集合中的另外一个元素使得

一种特殊的群，除上述群需要满足的特性之外，群里的元素还满足交换律。即阿贝尔群满足交换律、结合律、存在单位元与逆元。