交换群: 中的二元运算可交换, 也称为阿贝尔群.