How many homomorphisms are there from Z20 onto Z10? How many are there to Z10?

Printable View

- Apr 23rd 2009, 12:41 AMo&apartyrockHomomorphisms to and onto
How many homomorphisms are there from Z20 onto Z10? How many are there to Z10?

- Apr 23rd 2009, 12:58 AMGammaHomomorphism
All homomorphisms coming from are entirely determined by where they send 1.

If it is to be onto, it better send 1 to a generator of but this is exactly the integers that are relatively prime to 10. so I count 4 distinct homomorphisms that will take onto - Apr 23rd 2009, 01:08 AMo&apartyrock
How many homomorphisms are there from Z20 to Z10?

- Apr 23rd 2009, 02:31 AMGammaInto
I think you just gotta check that the order of the image divides the order of the preimage. I think actually in this case all of them are okay to go to since by lagrange, the order of the image must divide 10 and 10 divides 20 which is the order of 1, so as far as I can tell there should be 10 possibilities for just regular homomorphisms.

you should check though, I mean it is easy to do just check if for the other 6 cases or as many as you need to to convince yourself it works. - Apr 23rd 2009, 05:29 AMo&apartyrock
Can we generalize how many homomorphisms there will be onto and into a group depending on the size of the group (particularly if we are working with Z groups)? For example, if we are looking for the number of homomorphisms from Z20 onto and into Z8, what would we find?

- Apr 23rd 2009, 10:21 AMGammaGeneralization
Yeah man just look at how I did the onto part for your original question. Just for simplicity sake lets talk about homomorphisms from onto

Clearly if there are 0 because there are not enough things in to hit everything in just by counting.

But in the other cases as I said before any is completely determined by where it sends 1. . So if this is going to be onto MUST be a generator of . These are exactly the numbers such that the numbers relatively prime to n; the set of units of

Look up Euler's totient function to see explicitly how many this is for any given number. Euler's totient function - Wikipedia, the free encyclopedia

For 8 just count them. how many numbers less than 8 share no divisors other than 1?