Definition: Abelian Group A group (G,⋅) is called abelian, if its operation is commutative: a⋅b=b⋅a∀a,b∈G