1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Ring Homomorphism - showing Multiplicativity

  1. Apr 5, 2012 #1

    I have the following map Q: A --> Z/2Z (where Z denotes the symbol for integers) defined by
    Q(a + bi) = (a + b) + 2Z

    where A = Z = {a + bi | a,b in Z} and i = √-1.

    I need to show it is a ring homomorphism.

    I have shown it is addivitivity by showing Q(a + b) = Q(a) + Q(b) by doing the following,
    Q((a+bi)+(c+di)) = Q((a+c)+(b+d)i) = a+c+b+d+2Z = (a+b+2Z)+(c+d+2Z) = Q(a+bi) + Q(c+di)

    Now for multiplicativity i know I have to show Q(ab) = Q(a)Q(b) but my working out seems to break down when i try to show LHS = RHS or RHS = LHS.

    This is how I approached it thus far, LHS = RHS
    Q((a+bi)(c+di)) = Q((ac-bd)+(ad+bc)i) = ac-bd+ad+bc+2Z and then i'm not sure where to go as nowhere seems to take me to what I need to show.

    Any help would be most appreciated, thanks in advance
  2. jcsd
  3. Apr 5, 2012 #2


    User Avatar
    Science Advisor
    Homework Helper

    Q(a+bi) is really pretty simple. If both a and b are even then Q(a+bi)=a+b+2Z=0+2Z, since a+b is even. If a is even and b is odd then Q(a+bi)=1+2Z. Can you work out the other cases and show it's a multiplicative homomorphism by considering cases?
    Last edited: Apr 5, 2012
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Ring Homomorphism - showing Multiplicativity
  1. Ring homomorphism (Replies: 7)

  2. Ring homomorphism (Replies: 3)

  3. Ring homomorphism (Replies: 10)

  4. Ring homomorphism (Replies: 1)