阿贝尔群

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