definitiongroup-theory Definition If ∗ is commutative and (G,∗) is a group, then we say (G,∗) is abelian or commutative. Examples