Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 104 2 b Solution 2026-09-28
Let be the subgroup whose upper-left block is . It is a finitely generated nilpotent subgroup of the integer upper unitriangular group and is normal in . The block-diagonal matrixgenerates an infinite cyclic quotient, soFinitely generated nilpotent groups are polycyclic, and an extension of polycyclic groups is polycyclic. Hence is polycyclic.
Inside , retain only and the entries in positions and . They form a subgroupThe characteristic polynomial of is , so its eigenvalues areOne has modulus greater than one, and the resulting semidirect product has exponential growth. Every finitely generated virtually nilpotent group has polynomial growth, as does each of its finitely generated subgroups. Therefore cannot be virtually nilpotent.