1
$\begingroup$

today I have a problem.

Let $R_1=\mathbb{Z}_2[x] /\langle x^2 -2\rangle$ and $R_2=\mathbb{Z}_2[x] /\langle x^2 -3\rangle$

prove or disprove $R_1$ and $R_2$ are isomorphic.

I felt confuse because $x^2 =2$ and $x^2=3$ have solution in $\mathbb{Z}/2\mathbb{Z}$

I don't know what to do.

  • 1
    What is $x$? Do you mean $\mathbb Z_2[x]/\left$?2012-11-13
  • 0
    Also, isn't $2=0$ and $3=1$ in $\mathbb Z_2$?2012-11-13
  • 2
    Finally, why are you sure they are not isomorphic? Is the problem to prove that they are not, or is the problem to prove or disprove they are isomorphic?2012-11-13
  • 0
    You might consider, assuming such an isomorphism exists, the image of x under such a map.2012-11-13
  • 0
    The author might intend $\mathbb{Z}_2$ to be the localization at $(2)$, which would explain the 2 and 3. But that's just a stab in the dark.2012-11-13
  • 1
    Isn't the map which is constant on $Z/2Z$, and sending $x$ to $x-1$ an isomorphism between these two rings?2012-11-13
  • 0
    @rschwieb Originally the notation $\mathbb{Z}_2/\langle x^2 - 2 \rangle$ was used, so I made the best guess I could. The author will have to clarify.2012-11-13
  • 1
    @ThomTyrrell I saw that, and actually I opposed the edit on the grounds we'd need the author's input. Really it's best to be conservative about edits like that. Now instead of being merely unclear the question may be in fact incorrect. It's OK though, things'll get straightened out :)2012-11-13
  • 0
    Sory, I edited the problem more accurately2012-11-14
  • 0
    @rschwieb Lesson learned.2012-11-14
  • 0
    @Firmino We are still waiting for you to confirm what you mean by $\mathbb{Z}_2$.2012-11-14
  • 0
    I think everyone know definition $\mathbb{Z}_2$, so I don't need confirm what its mean.2012-11-15
  • 0
    I know what $\mathbb Z_q$ is and it is *not* the same as $\mathbb Z/q\mathbb Z$.2012-11-20

3 Answers 3