Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Consider the following multiple choice problem:

Let $H$ be the set of all group homomorphsims $\phi:{\bf Z}_3\to{\bf Z}_6$. How many functions does $H$ contain?

A.1 B.2 C.3 D.4 E.6

Since $1$ generates ${\bf Z}_3$, one can analyze $\phi(1)$ case by case, which may be rather time consuming, for me, at least. Since this is a multiple choice problem, is there any quick way to solve it?

share|improve this question
2  
Have you actually tried to do it case by case? –  Mariano Suárez-Alvarez Jun 16 '11 at 3:59
1  
I've just wrote an article that might help you: How many homomorphisms are between $\mathbb{Z}/n\mathbb{Z}$ and $\mathbb{Z}/m\mathbb{Z}$? –  moose Aug 27 '13 at 13:28

5 Answers 5

up vote 13 down vote accepted
  1. A group homomorphism with cyclic domain is completely determined by the image of a generator.

  2. If $f\colon G\to H$ is a homomorphism, and $x\in G$, then the order of $f(x)$ must be a divisor of the order of $x$.

Since the only divisors of $3$ are $1$ and $3$, the answer is one plus the number of elements of $\mathbb{Z}_6$ of order $3$ (the "one plus" comes from the trivial map). Are there any? Yes, so the answer is not A. How many? Two: 2 and 4. So the answer is C.

share|improve this answer
    
Now I see. Thanks, Arturo. Without 2, I might do it very slowly. –  Jack Jun 16 '11 at 4:23
    
@Jack: And you do see why it is true, right? –  Arturo Magidin Jun 16 '11 at 4:24
1  
I guess you are using the fact that the order of $x$ is equal to the order of the cyclic group $<x>$. Since the order of $<f(x)>$ divides the order of $f(<x>)$, and the order of $f(<x>)$ divides the order of $<x>$, then '2' follows. Correct? –  Jack Jun 16 '11 at 4:30
1  
@Jack: That works, but simpler: if $x^n=1$, then $f(x)^n = f(x^n) = f(1) = 1$, so the order of $f(x)$ must divide $n$. In particular, if $n$ is the order of $x$, you get 2. –  Arturo Magidin Jun 16 '11 at 4:31
    
Fair enough. +1. Nice comment! –  Jack Jun 16 '11 at 4:35

In general the number of group homomorphisms $\varphi:\mathbb{Z}_{m} \to \mathbb{Z}_{n}$ is given by $\text{gcd}(m,n)$. So here you have $\text{gcd}(3,6)=3$.

The proof of this result can be found at this link.

share|improve this answer
    
I like the "general" one. Knowing such theorem is necessary for do it "very quick". –  Jack Jun 16 '11 at 4:24
    
@Jack: Yes, true –  user9413 Jun 16 '11 at 4:24
2  
Any reference for this proposition? I did learn this when I learned the basic group theory. –  Jack Jun 16 '11 at 4:33
    
@Jack: Wait for sometime, i shall add it. –  user9413 Jun 16 '11 at 4:40
    
For anyone wondering what is a ring function such as $\rm gcd$ doing in group theory: it might be useful to recall that every abelian group is actually a $\mathbb Z$-module. –  Marek Jun 16 '11 at 21:16

I just learned that there are two general theorems about this question

  1. The number of group homomorphisms from $Z_m$ into $Z_n$ is $\text{gcd}(m,n)$.
  2. The number of ring homomorphisms from $Z_m$ into $Z_n$ is $2^{\omega(n)-\omega(n/\text{gcd}(m,n))}$ where $\omega(a)$ denotes the number of distinct prime divisors of the integer $a$.

from an article The Number of Homomorphisms from $Z_m$ into $Z_n$(American mathematical Monthly 91 (1984):196-197) by Gallian and Buskirk.

share|improve this answer

Say $f$ be the homomorphism and say $f(1)=a\in \mathbb{Z}_6$

in $\mathbb{Z}_3$ we have $1+1+1=3=0\Rightarrow f(1+1+1)=f(0)=0\Rightarrow 3f(1)=0\Rightarrow 3a=0$ in $\mathbb{Z}_6$ so $a=0,2,4$

so you have $3$ distinct homomorphism.

share|improve this answer

Order of 1 is 3 order of image of 1 divides 3 and #(f(1))/6 so so total choice is 1 and 3. Here there are there are two choice of order 3 element so total 3 homomorphism.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.