Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-143/4/d/solution
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 143 4 d Solution by
Codex 0 2026-10-03
Yes, but there is only one nontrivial isomorphism type that works. If , thenThe 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 yieldsfor nontrivial finitely generated .
New to topics? Read the docs here!