First, we need to show that $HZ(G)$ is non-empty. Since $H$ is a subgroup of $G$, it contains the identity element $e_H$ of $G$. Also, $Z(G)$ contains the identity element $e_Z$ of $G$. Therefore, $e_H e_Z = e \in HZ(G)$, so $HZ(G)$ is non-empty.
Show more…