5
$\begingroup$

There is a surjective homomorphism from $G$ to $G'$. Let $C$ denote the conjugacy class of element $x$ in $G$, $C'$ the conjugacy class of the image of $x$ in $G'$. Prove the order of $C'$ divides the order of $C$.

So far, using the class equation I can observe that $|C|$ divides $|G|$ and $|C'|$ divides $|G'|$, and it's also obvious that the homomorphism maps $C$ surjectively to $C'$. But I can't quite piece it all together.

Any help appreciated.

1 Answers 1

1

Call the homomorphism $\phi$. By the Orbit Stabilizer theorem, $[G:C_G(x)]=|C|$ for any $x\in C$. Now observe that the image of $C_G(x)$ under $\phi$ centralizes the $\phi(x)$ in $G'$, whence $\phi[C_G(x)]\leqslant C_{G'}(\phi(x))$.

$|\phi[C_G(x)]|$ divides $|C_G(x)|$ so $|C'|=[G':C_{G'}(\phi(x))]$ divides $[G':\phi[C_G(x)]]$ divides $[G:C_G(x)]=|C|.$

  • 0
    Hello, do you know of a proof or counterexample in the case where $G$ may be infinite (but $C$ is still finite)? Can your proof be modified slightly to accommodate infinite $G$?2017-10-11