ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F4905 on R755: Group centre is Abelian group

F4905

Formulation 0

Let $G$ be a D22: Group such that

(i)	$Z(G)$ is the D1563: Group centre of $G$

Then $Z(G)$ is an D23: Abelian group.