1
$\begingroup$

Let D be a UFD with quotient field F. If f (x) $\in$ D[x] is monic and b$\in$ F such that f (b) = 0 , then show that b$\in$ D.

All I know is

F is a field and f(b) = 0 therefore $$f(x) = (x-b)q(x)$$ and also f(x) $\in$ D[x] so f(x) can be written as the product of some irreducible elements of D[x].

What should I do to show that b$\in$ D?

1 Answers 1

4

Hint $\: $ Mimic the proof of the Rational Root Test, which works over any domain where gcds exist, i.e $\rm\:(a,b) = 1,\ 0 = b^n\:\! f(a/b) =\: a^n + b\:(\cdots)\ \Rightarrow\ b\:|\:a^n\ \Rightarrow\ b\:|\:1\:$ by Euclid's Lemma.

  • 0
    If you're looking for a bigger hammer, the name Eisenstein might help.2012-04-09
  • 0
    @Chris How do you propose to use Eisenstein generally?2012-04-09
  • 0
    Scrap that. I thought I had learned Eisenstein for UFDs, but cannot find a reference to back that up right now, so my memory is probably faulty.2012-04-09
  • 0
    @Chris It does work over UFDs, but how do you propose to apply it here?2012-04-09
  • 1
    Gauss' lemma, which follows from Eisenstein, implies that if a monic polynomial over a UFD $D$ has a zero over the quotient field of $D$, then that zero is an element of $D$, no? (I agree, a pointer to Gauss' lemma would have been more appropriate.)2012-04-09
  • 0
    @Chris How do you propose to prove Gauss' Lemma from Eisenstein's?2012-04-09
  • 0
    Too true, my memory was faulty. The order of proofs is exactly the other way round (and it seems that Gauss' Lemma is around 45 years older).2012-04-10