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!

Homework Help: 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
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook