13
$\begingroup$

This question coutesy of Allan Clark's "Elements of Abstract Algebra" (60$\zeta$).

Find the number of homomorphisms from $\Bbb{Z}_m\to \Bbb{Z}_n$ as a function of $m$ and $n$.

This is stumping me, can anyone help?

$\endgroup$

3 Answers 3

20
$\begingroup$

In general, if $G$ is any group, then you can show that the number of homomorphisms $\mathbb{Z}_m \rightarrow G$ is the number of solutions to $x^m = 1$ in $G$. How many solutions are there to $x^m = 1$ in $\mathbb{Z}_n$?

$\endgroup$
2
  • 1
    $\begingroup$ Also we can say that number of homomorphism $\mathbb Z_m \rightarrow G$ is the number of solution to mx = 0 in G $\endgroup$
    – user120386
    Mar 5, 2014 at 16:08
  • $\begingroup$ Do you have a proof? This is interested to me. $\endgroup$
    – Mr.Lilly
    Jan 31, 2015 at 16:26
10
$\begingroup$

HINT: If $h:\Bbb Z_m\to\Bbb Z_n$ is a homomorphism, $\big|h[\Bbb Z_m]\big|\cdot|\ker h|=m$, and $\big|h[\Bbb Z_m]\big|$ divides $n$.

$\endgroup$
2
$\begingroup$

I am not sure if this is the correct way to go but look good to me hence, I am sharing.

Let $f$ be the homomorphism from $\Bbb Z_{m} \to \Bbb Z_{n}$

Since $O(f([1]_{n})) \space | \space O(\Bbb Z_{n}) \implies O(f([1]_{n})) \space | \space n$

Also $O(f([1]_{n})) \space | \space m $

Hence number of homomorphism = $\gcd(n, m)$

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .