A question about ring homomorphisms

  • Thread starter Thread starter Artusartos
  • Start date Start date
  • Tags Tags
    Homomorphisms Ring
Click For Summary
SUMMARY

The discussion centers on proving that the field of fractions of the polynomial ring R[x], denoted as Frac(R[x]), is isomorphic to the field of rational functions F(x), where F is the field of fractions of the integral domain R. The proposed map, φ: Frac(R[x]) → F(x), defined by φ(f(x), g(x)) = f(x)/g(x), is shown to be a ring homomorphism for multiplication. However, confusion arises regarding the addition operation, leading to the realization that the addition in Frac(R[x]) must be defined correctly to maintain the homomorphic property.

PREREQUISITES
  • Understanding of ring theory and homomorphisms
  • Familiarity with fields and fractions of rings
  • Knowledge of polynomial rings and rational functions
  • Basic algebraic manipulation of fractions
NEXT STEPS
  • Study the properties of ring homomorphisms in depth
  • Learn about the structure of polynomial rings and their fields of fractions
  • Explore the concept of isomorphisms in abstract algebra
  • Investigate addition operations in fields and rings
USEFUL FOR

Students and educators in abstract algebra, mathematicians working with polynomial rings, and anyone interested in understanding the properties of ring homomorphisms and fields of fractions.

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
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
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
3
Views
2K
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K