Skip to main content
1 of 2
Ian Agol
  • 68.9k
  • 3
  • 194
  • 358

If your morphisms $A \leftarrow C \rightarrow B$ are injective (which I'm assuming you want, since you say amalgamated product, not pushout), then the group $A\ast_C B$ is a virtually free group. In particular, there will be infinitely many conjugacy classes of infinite elements if the group is not finite or virtually cyclic.

The group will be finite if one of the morphisms is surjective. Otherwise, the index of both morphisms is $>1$. If both indices are $2$, then there is a surjection to $\mathbb{Z}/2 \leftarrow 1 \rightarrow \mathbb{Z}/2$, and the group is virtually cyclic. In this case, each conjugacy class has finitely many elements.

Otherwise, the group will be virtually free, and there will be infinitely many conjugacy classes which are infinite. If you'd like more information on this result, have a look at Serre's book Trees.

Ian Agol
  • 68.9k
  • 3
  • 194
  • 358