1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    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!

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

  1. May 2, 2010 #1

    UD1

    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

    f(a)=(m/n)^k+r_{n-1}(m/n)^{k-1}+...+r_1(m/n)+r_0.

    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.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook