2
$\begingroup$

This problem was given and I didn't give and point any ideas about it in the class in time. It says: if the group $G$ is perfect, then $Z\left(G/Z(G)\right)=\{1\}$, where $Z(G)$ is the centre of $G$. Can someone help me to tackle it well. Thank you!

Edit. A group $G$ is called perfect if $G=[G,G]$.

  • 2
    This result is known as Grun's Lemma. Try to google it.2012-11-28

1 Answers 1

5

Note first that $gZ(G) \in Z(G/Z(G))$ if and only if $[g,x] \in Z(G)$ for all $x \in G$. Using this fact you can show that when $gZ(G) \in Z(G/Z(G))$, the map $x \mapsto [g,x]$ is a homomorphism $G \rightarrow Z(G)$. Since $Z(G)$ is Abelian and $G$ is perfect, the kernel of this map is all of $G$. Thus $g \in Z(G)$, which proves the claim.