1. PF Contest - Win "Conquering the Physics GRE" book! Click Here to Enter
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

R-UFD, F-fraction field, f monic in F[X], f(a)=0=> a in R

  1. May 2, 2010 #1


    User Avatar

    1. The problem statement, all variables and given/known data

    Let R be a UFD and let F be the field of quotients/fractions for R. If f(a)=0, where f is in R[X] is monic and a is in F, show that a is in R.

    3. The attempt at a solution
    On one hand if a is F, we can write a=m/n for some m and n in R, where in fact m and n are comprime. Then


    Another idea is to use Gauss's lemma. Since f has a root, there exist some g and h from F[X] such that f=gh. But then f=g_0 * h_0 for some polynomials g_0, h_0 from R[X]. Then for one of them, say g_0, we have g_0(a)=0. However that doesn't mean that a is in R.
  2. jcsd
  3. May 3, 2010 #2
    Your first idea seems the right step to take. Since the expression f(a) is zero, you can clear denominators and turn the problem into a divisibility problem in R.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook