Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 104 / 4 / c / Solution

If $G$ is generated by $d$ elements, a homomorphism $G\to Q$ is determined by the images of those generators. There are at most $|Q{|}^d$ such choices, so only finitely many homomorphisms exist.