Definition:Abelian Group/Definition 1

Definition
An abelian group is a group $G$ where:
 * $\forall a, b \in G: a b = b a$

That is, every element in $G$ commutes with every other element in $G$.

Also see

 * Equivalence of Definitions of Abelian Group