Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-143/4/d/solution

Yes, but there is only one nontrivial isomorphism type that works. If , then
The infinite dihedral group contains its infinite cyclic rotation subgroup with index two, so it is amenable by virtually abelian groups are amenable.
Suppose now that . The action of on its Bass-Serre tree is non-elementary: one vertex degree is greater than two, so there are hyperbolic elements with disjoint pairs of endpoints. Suitable powers satisfy the ping-pong lemma on the boundary and generate a copy of . Since a subgroup of an amenable group is amenable, an amenable group cannot contain this nonamenable subgroup. The amenability of a free product therefore yields
for nontrivial finitely generated .

New to topics? Read the docs here!