阿贝尔群的定义

阿贝尔群，又称交换群或加群，它由自身的集合G和二元运算构成。它除了满足一般的群公理，即运算的结合律、G 有单位元、所有 G 的元素都有逆元之外，还满足交换律公理...