TITLE: Homomorphic images of FC groups
QUESTION [3 upvotes]: 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.

REPLY [4 votes]: 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.
{"set_name": "stack_exchange", "score": 3, "question_id": 21838}