Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Isomorphic rings

  1. Mar 21, 2010 #1
    Hi guys,

    I'm trying to show that [tex]\mathbb{F}_5[x]/(x^2+2)[/tex] and [tex]\mathbb{F}_5[x]/(x^2+3)[/tex] are isomorphic as rings.

    As I understand it, I have to find the homomorphism [tex]\phi:R\to S[/tex] which is linear and that [tex]\phi(1)=1[/tex].

    I'm just struggling to find what I need to send [tex]x[/tex] to in order to get this work.
  2. jcsd
  3. Mar 21, 2010 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Well, what property must the image of x satisfy?

    If all else fails, there aren't many possibilities, you could just try them all.
  4. Mar 21, 2010 #3
    Actually, I think x --> 2x might do it, because

    [tex]x^2 + 2 \equiv 0[/tex]
    [tex](2x)^2 + 2 \equiv 0[/tex]
    [tex]4x^2 + 2 \equiv 0[/tex]
    [tex]4(x^2 + 3) \equiv 0[/tex]
    [tex]x^2 + 3 \equiv 0[/tex]

    Is that all that's required?
  5. Mar 21, 2010 #4
    Do you have to provide an explicit isomorphism? If not you can just use the fact that finite fields with the same cardinality are isomorphic...both of these fields are generated by adjoining a root of an irreducible quadratic to a field of order 5, and hence both have 25 elements.
  6. Mar 21, 2010 #5
    Yeah, unfortunately I do have to show the explicit isomorphism (we're supposed to do it 'the long way')
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook