Definition:Abelian Group

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

Equivalently, $G$ is abelian iff $G = Z \left({G}\right)$, where $Z \left({G}\right)$ denotes the center of $G$.

Additive Notation
When discussing abelian groups, it is customary to use additive notation, where:
 * the group product of $a$ and $b$ is denoted $a + b$
 * the identity is denoted $0$
 * the inverse of $a$ denoted $-a$.

Under this regime, the group axioms read:


 * An algebraic structure $\left({G, +}\right)$ is an abelian group iff the following conditions are satisfied:

This notation gains in importance and usefulness when discussing rings.