1. Not finding help here? Sign up for a free 30min 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!

Gaussian integers, ring homomorphism and kernel

  1. Aug 20, 2012 #1
    1. The problem statement, all variables and given/known data


    let [tex]\varphi:\mathbb{Z}\rightarrow \mathbb{Z}_{2}[/tex] be the map for which [tex]\varphi(a+bi)=[a+b]_{2}[/tex]
    a)verify that [tex]\varphi[/tex] is a ring homomorphism and determine its kernel
    b) find a Gaussian integer z=a+bi s.t [tex]ker\varphi=(a+bi)[/tex]
    c)show that [tex]ker\varphi[/tex] is maximal ideal in [tex]\mathbb{Z}[/tex]

    I started by showing that [tex]\varphi[/tex] preserves the ring operations
    [tex]\varphi((a+bi)+(c+di))=\varphi((a+c)+(b+d)i)=[(a+c)+(b+d)]_{2}=[a+b]_{2}\oplus[c+d]_{2}=\varphi(a+bi)+\varphi(c+d)[/tex]
    and multiplication
    [tex]\varphi((a+bi)(c+di))=\varphi(ac+adi+bic-bd)=\varphi((ac-bd)+(ad+bc)i)=[(ac-bd)+(ad+bc)]_{2}=ac-bd+ad+bc[/tex]
    but something is not right here because if I look at the right hand side, I should get
    [tex]\varphi(a+bi)\varphi(c+di)=[a+b]_{2}[c+d]_{2}=[(a+b)(c+d)]_{2}=ac+ad+bc+bd[/tex]....

    I dont know how to find the kernel, I know that by def [tex]ker\varphi=\{z\in\mathbb{Z}; \varphi(z)=[0]_{2}\}[/tex]
    please help :D
     
  2. jcsd
  3. Aug 20, 2012 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award



    Maybe bd=-bd (mod 2) ??



    Yes, so take [itex]a+bi \in \ker(\varphi[/itex]. Then [itex]\varphi(a+bi)=0[/itex]. Now just write things out using the definition of [itex]\varphi[/itex].
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Gaussian integers, ring homomorphism and kernel
  1. Ring homomorphism (Replies: 10)

  2. Ring homomorphism (Replies: 1)

Loading...