Homomorphism between cyclic groups (source code)

= Homomorphism between cyclic groups
{wiki}

A homomorphism from $C_n$ is determined by the image of one generator; a surjection $C_n\to C_m$ exists exactly when $m\mid n$.