Abelian Group

如果群$(G,\circ )$额外满足交换律$\forall a,b\in G,a\circ b=b\circ a$，则称$(G,\circ )$为交换群或阿贝尔群(Abelian Group)，否则称该群非阿贝尔(nonabelian)或非交换(noncommutative)