# Category:Abelian Groups

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$.