Group equals Center iff Abelian

Theorem
Let $G$ be a group.

Then $G$ is abelian $\map Z G = G$, that is,  $G$ equals its center.

Necessary Condition
Let $G$ be abelian.

Then:
 * $\forall a \in G: \forall x \in G: a x = x a$

Thus:
 * $\forall a \in G: a \in \map Z G = G$

Sufficient Condition
Let $\map Z G = G$.

Then by the definition of center:
 * $\forall a \in G: \forall x \in G: a x = x a$

and thus $G$ is abelian by definition.

Also see

 * Center of Group is Abelian Subgroup