群$G$が以下の条件$(G4)$を満たすとき,$G$を可換群$(commutative group)$,あるいはアーベル群$(abelian group)$という．

$(G3)$ 交換法則
任意の$a,b \in G$に対し,$ab=ba$が成り立つ．