commutative_group.md

定义

若一个群$(A, \circ)$满足对任意$a, b \in G$，都有$a \circ b = b \circ a$，则称$A$是一个交换群或阿贝尔群