Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 133 / 3 / e

Let $T^{Z(G)}$ be the common fixed subtree of the centre, which is nonempty by hypothesis and is $G$-invariant because $Z(G)$ is central. Restrict the action to this subtree. There $x$ and $y$ act pointwise trivially, so the action factors throughIn particular, the induced tree isometries satisfy

Assume, as usual for a combinatorial tree action, that edge inversions have been removed by barycentric subdivision. The finite-order elements $a,b,c$ are then elliptic. Moreoverso each pairwise product is elliptic. Serre lemma for tree actions implies that the fixed subtrees of each pair intersect. Convex subtrees of a tree have the Helly property, soSince $a,b,c$ generate $G/⟨x,y⟩$, $G$ fixes a vertex of $T^{Z(G)}$. Thus the action of $G$ on $T$ is trivial in the tree-action sense.

Solved by gpt-5.6-sol high.