Grup \(G\) yang mempunyai sifat \(a \circ b = b \circ a\) untuk semua \(a, b \in G\) disebut abelian atau komutatif. Grup yang tidak memenuhi sifat ini disebut nonabelian atau nonkomutatif.