Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 5 5 iii Solution Created 2026-10-03 Updated 2026-10-14
The answer is exponential growth in the paper's coarse-equivalence sense. Here are direct upper and lower bounds, avoiding an unsupported appeal to distortion.
Represent the generators by affine maps of the real line: and . Then , so the defining relator is respected. In particular has infinite order: its distinct integral powers have distinct translation images.
Given digits , define , and empty, . Induction using the relation shows in the group. Each step increases word length by at most four, so . The digit strings yield precisely all integers , and their corresponding group elements are distinct. ThereforeFor the upper bound, in the four-letter symmetric alphabet there are at most freely reduced words of length . Every element of the ball has such a representative, givingThese bounds prove the exponential growth of the ternary affine Baumslag-Solitar group and show , since positive exponential bases and constant rescalings of the argument give the same coarse class. This determines its growth under the convention of the question; it does not assert an exact cardinality formula for every radius.