Result on D1563: Group centre
Abelian group iff centre is whole group
Formulation 0
Let $G$ be a D22: Group such that
(i) $Z(G)$ is the D1563: Group centre of $G$
Then $G$ is an D23: Abelian group if and only if \begin{equation} Z(G) = G \end{equation}
Proofs
Proof 0
Let $G$ be a D22: Group such that
(i) $Z(G)$ is the D1563: Group centre of $G$
Suppose first that $G$ is Abelian. By definition, $Z(G) = \{ x \in G \mid \forall \, g \in G : x g x^{-1} = g \}$. Since $G$ is a group, the condition for belonging to $Z(G)$ thus obtains the form \begin{equation} \begin{split} x \in Z(G) \quad & \iff \quad \forall \, g \in G : x g x^{-1} = g \\ & \iff \quad \forall \, g \in G : x g = g x \\ \end{split} \end{equation} Since $G$ is Abelian, the predicate expression "$\forall \, g \in G : x g = g x$" is satisfied by every $x \in G$, whence $Z(G) = G$.

The implication in the other direction is established in R755: Group centre is Abelian group. $\square$