ThmDex – An index of mathematical definitions, results, and conjectures.
F4904
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}