Isomorphic rings

  • Thread starter JackTheLad
  • Start date
  • #1
JackTheLad
7
0
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,950
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
JackTheLad
7
0
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
mrbohn1
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
JackTheLad
7
0
Yeah, unfortunately I do have to show the explicit isomorphism (we're supposed to do it 'the long way')
 

Suggested for: Isomorphic rings

  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
1
Views
1K
Replies
11
Views
17K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
8
Views
3K
Replies
1
Views
4K
  • Last Post
Replies
7
Views
2K
Replies
4
Views
1K
Replies
6
Views
1K
Replies
3
Views
1K
Top