# Group equals Center iff Abelian

 It has been suggested that this page or section be merged into Equivalence of Definitions of Abelian Group. (Discuss)

## Theorem

Let $G$ be a group.

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

## Proof

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

$\Box$

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

$\blacksquare$