# Category:Abelian Groups

This category contains results about Abelian Groups.
Definitions specific to this category can be found in Definitions/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$.

## Subcategories

This category has the following 16 subcategories, out of 16 total.