5
$\begingroup$

I face the problem of finding how many non-trivial ring or group homomorphisms there are from $\mathbb{Z}_m$ to $\mathbb{Z}_n$, where $m. Is there any general formula?

At the moment, I want to know how many ring homomorphisms there are when $m=12,n=28$.

Please help.

  • 2
    A ring homomorphism requires sending the identity to the identity, so this question isn't very interesting. Do you mean module homomorphisms instead? That is a better question, in my opinion.2012-12-21
  • 1
    @Potato: There are some who disagree with including that requirement in the definition of ring homomorphism (e.g. Herstein). I imagine it mainly arises because, if rings are not required to have multiplicative identities in the first place, one should make a distinction between a ring homomorphism between two rings each of which happens to have a unity, vs. a ring-with-unity homomorphism.2012-12-21
  • 0
    @ZevChonoles I see. I was not aware -- I learned from Jacobson, who requires sending the identity to the identity.2012-12-21
  • 0
    For groups, see http://math.stackexchange.com/questions/2731692017-01-19

2 Answers 2

5

Hint: regardless of whether you're considering ring or group homomorphisms, where you send $1$ determines where you must send everything else, because for any $n$, $$f(n)=f(\underbrace{1+\cdots+1}_{n\text{ times}})=\underbrace{f(1)+\cdots+f(1)}_{n\text{ times}}$$

But where can you send $1$? Remember, the resulting function must be a homomorphism: $$f(a+b)=f(a)+f(b)\qquad f(ab)=f(a)f(b)$$ Try to figure out what conditions this imposes on your choice of $f(1)$. See user26857's answer if you are stuck.

Note that the answer will depend on whether you require that a ring homomorphism $f:R\to S$ must preserve multiplicative identities, i.e. $f(1_R)=1_S$.

  • 0
    ok so for ring homo from $Z_{12}\rightarrow Z_{28}$, I can send $1_{Z_{12}}$ to 27 possible elements, so does it mean I will get $27$ non trivial ring homo?2012-12-21
  • 1
    @Kuttus: How many generating elements are there in $\mathbb Z_{12}$? just one element?2012-12-21
  • 1
    @Kuttus: Even if you don't require ring homomorphisms to preserve multiplicative identities, you cannot send 1 to any element of $Z_{28}$. Homomorphisms send 0 to 0, and must preserve addition...2012-12-21
  • 0
    there are $\phi(12)=4$ number of generating element in $Z_{12}$, and $\phi(28)=12$ element for $Z_{28}$2012-12-21
  • 0
    ok sorry for being taking too much time to get the point, so there will be only one ring homo here2012-12-21
  • 0
    @Kuttus: there is _at most_ one ring homomorphism. Is the actual number one or zero?2012-12-21
  • 0
    @QiaochuYuan I do not understand your last question.2012-12-21
  • 0
    This answer (which actually can be at most a comment) misses two important things: $mf(1)=0$, and $f(1)$ is an idempotent. (-1)2015-12-07
  • 1
    @user26857: The idea of a hint is to help the OP figure an answer out for themselves. Additionally (and as I pointed out in my answer), it's quite common to require $f(1)=1$ for a ring homomorphism, and under that definition your answer is incorrect. That seems like an important thing to have missed.2015-12-07
  • 1
    I'd have taken this as a good reason, but unfortunately the whole discussion into the comments shows that the OP has no idea what's going on and you didn't help him clarify things.2015-12-07
8

A ring homomorphism $f:\mathbb Z_m\to \mathbb Z_n$ is uniquely determined by the conditions: $mf(1)=0$ and $f(1)^2=f(1)$.
In order to find out how many ring homomorphisms there are we have to count the number of elements of the set $\{e\in\mathbb Z_n:e^2=e,me=0\}$. It is not hard to see that this equals $2^{\omega(n)-\omega(n/(m,n))}$, where $\omega(a)$ is the number of distinct prime factors of $a$. (See Gallian and Van Buskirk, The Number of Homomorphisms from $\mathbb Z_m$ to $\mathbb Z_n$, AMM, 91(1984), 196-197.)

For particular cases we don't need the above result. For instance, if $m=12$ and $n=28$ we get $0=me=12e$ in $\Bbb Z_{28}$ iff $28\mid 12e$ iff $\,7\mid e,\,$ so $ f(1)\in\{0,7,14,21\}$ and only $0$ and $21$ are idempotent in $\Bbb Z_{28},$ so there are two ring homomorphisms from $\mathbb Z_{12}$ to $\mathbb Z_{28}$.

Edit. If one asks $f(1)=1$ then the problem becomes trivial: there is a unitary ring homomorphism iff $n\mid m$.