In the proof of following theorem, in a paper by Farkas-

Here $\Delta(G) = \{ g \in G : |G:C_G(g)| < \infty \}$ and $U_1(\mathbb{Z}G) $ is the set of normalized units of the integral group ring $\mathbb{Z}G$ i.e. units with augmentation $1$

In the proof, author first reduces to the case that $G=\Delta(G)$ (which is fine) but after that he says that as we are assuming $G= \Delta {G}$, there is no loss in generality in taking $G$ to be finitely generated.

Now for $G=\Delta(G)$, why we do not lose any generality by proving it only for finitely generated groups.

Is there some result like, there is no infinitely generated group which has all its conjugacy classes of finite cardinality? I do not think I am aware of any such result. Also $\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z} \dots$ being abelian has only singelton conjugacy classes.

**Title of Paper**- "Trivial Units in Group Rings"

**Authors**- Daniel R. Farkas and Peter A. Linnell

**Appeared in-** Canad. Math. Bull. Vol. 43 (1), 2000 pp. 60–62