Solution (source code)

= Solution

If $\rho$ is a <faithful representation>, $g\mapsto\lambda_g$ embeds $Z$ into the multiplicative group of complex numbers. Its image is a finite group of <roots of unity>, hence lies in the cyclic group of $n$th roots of unity and is itself cyclic. Thus \b[$Z$ is cyclic].