A question about ring homomorphisms

  • Thread starter Thread starter Artusartos
  • Start date Start date
  • Tags Tags
    Homomorphisms Ring
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 2K views
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
 
Physics news on Phys.org
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: