Isomorphic rings

  • Thread starter JackTheLad
  • Start date
  • #1

Main Question or Discussion Point

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.
 

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
Well, what property must the image of x satisfy?


If all else fails, there aren't many possibilities, you could just try them all.
 
  • #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?
 
  • #4
97
0
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.
 
  • #5
Yeah, unfortunately I do have to show the explicit isomorphism (we're supposed to do it 'the long way')
 

Related Threads on Isomorphic rings

  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
8
Views
3K
Replies
1
Views
4K
Replies
11
Views
16K
Replies
4
Views
4K
Replies
4
Views
721
Replies
2
Views
730
Replies
3
Views
629
  • Last Post
Replies
4
Views
3K
Top