3
$\begingroup$

A group $G$ is called an FC-group if $|x^G|$ is finite for each $x \in G$ (here $x^G$ is the conjugacy class of $x$ in $G$). Equivalently, $|G:C_G(x)|$ is finite for each $x \in G$.

I think it should be completely obvious that a homomorphic image of an FC-group is an FC-group & maybe I'm just tired, but I've been trying to think of a proof of this for a few minutes now and am coming up blank. It's one of these things that is left unproved whenever FC-groups are mentioned, presumably because the proof is straightforward.

Could somebody throw a proof my direction to ease my troubled mind?

Thank you.

1 Answers 1

4

Applying the First isomorphism theorem, this boils down to proving that the quotient of an FC group by a normal subgroup is again FC.

This is true, because if two classes in the quotient are conjugate, you can find representatives in the group that were already conjugate. The conjugacy class can therefore only get smaller after dividing out.

  • 0
    Thank you both for your help. I arrived at Jack's answer (more or less) since posting the question. I think my brain was switched off entirely yesterday.2011-02-14