Center of Group is Normal Subgroup

Theorem
The center $\map Z G$ of any group $G$ is a normal subgroup of $G$ which is abelian.