A question about ring homomorphisms

  • Thread starter Thread starter Artusartos
  • Start date Start date
  • Tags Tags
    Homomorphisms Ring
Artusartos
Messages
236
Reaction score
0

Homework Statement



If R is a domain with F=Frac(R), prove that Frac(R[x]) is isomorphic to F(x).

Homework Equations


The Attempt at a Solution



Let [tex]\phi : Frac(R[x]) \rightarrow F(x)[/tex] be a map sending (f(x),g(x)) to f(x)/g(x). We need to show that [tex]\phi[/tex] is a ring homomorphism. Let f,g,h,k be in R[x] such that f/h and g/k is in Frac(R[x]).

We know that

[tex]\phi(1,1) = 1/1= 1[/tex]

[tex]\phi (fg, hk) = \frac{fg}{hk} = \frac{f}{h}\frac{g}{k} = \phi(f,h)\phi(g,k)[/tex]

But I'm confused with the addition part...

[tex]\phi(f+g,h+k) = \frac{f+g}{h+k}[/tex]

[tex]\phi(f,h)+\phi(g,k) = \frac{f}{h}+\frac{g}{k} = \frac{kf+gh}{h+k}[/tex]

But now [tex]\phi(f+g,h+k) \not= \phi(f,h) + \phi(g,k)[/tex]

Can anybody help with this?

Thanks in advance
 
on Phys.org
You appear to be interpreting "Frac[R(x)]" as pairs, (f(x), g(x)). How are you defining addition in Frac[R(x)]?
 
HallsofIvy said:
You appear to be interpreting "Frac[R(x)]" as pairs, (f(x), g(x)). How are you defining addition in Frac[R(x)]?

Oh...ok I think I get what you mean...because [tex]\phi(f,h + g,k) = \phi(fk+gh, hk)[/tex], right?
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
10
Views
3K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
3
Views
3K
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K