Results 1 to 6 of 6

Math Help - Homomorphisms to and onto

  1. #1
    Junior Member
    Joined
    Apr 2009
    Posts
    26

    Homomorphisms to and onto

    How many homomorphisms are there from Z20 onto Z10? How many are there to Z10?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member Gamma's Avatar
    Joined
    Dec 2008
    From
    Iowa City, IA
    Posts
    517

    Homomorphism

    All homomorphisms coming from \mathbb{Z}_{20} are entirely determined by where they send 1. \phi(n)=\phi(1+1+...+1)=\phi(1)+\phi(1) +... + \phi(1) = n\phi(1)

    If it is to be onto, it better send 1 to a generator of \mathbb{Z}_{10} but this is exactly the integers that are relatively prime to 10. U(10)=\{1,3,7,9\} so I count 4 distinct homomorphisms that will take \mathbb{Z}_{20} onto \mathbb{Z}_{10}
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Apr 2009
    Posts
    26
    How many homomorphisms are there from Z20 to Z10?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member Gamma's Avatar
    Joined
    Dec 2008
    From
    Iowa City, IA
    Posts
    517

    Into

    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 \phi(a+b)=\phi(a)+\phi(b) for the other 6 cases or as many as you need to to convince yourself it works.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Apr 2009
    Posts
    26
    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?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Super Member Gamma's Avatar
    Joined
    Dec 2008
    From
    Iowa City, IA
    Posts
    517

    Generalization

    Yeah man just look at how I did the onto part for your original question. Just for simplicity sake lets talk about homomorphisms from \mathbb{Z}_m onto \mathbb{Z}_n
    Clearly if m < n there are 0 because there are not enough things in \mathbb{Z}_m to hit everything in \mathbb{Z}_n just by counting.

    But in the other cases as I said before any \phi is completely determined by where it sends 1. \phi(n)=n\phi(1). So if this is going to be onto \phi(1) MUST be a generator of \mathbb{Z}_n. These are exactly the numbers 0 \leq a \leq n-1 such that (a,n)=1 the numbers relatively prime to n; the set of units of \mathbb{Z}_n

    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?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. homomorphisms
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 5th 2011, 06:19 PM
  2. Homomorphisms
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: February 6th 2011, 11:39 AM
  3. No of Homomorphisms
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: January 29th 2010, 04:01 AM
  4. homomorphisms
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: October 11th 2008, 04:30 PM
  5. Homomorphisms
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: April 23rd 2007, 11:53 AM

Search Tags


/mathhelpforum @mathhelpforum