Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
up vote 4 down vote accepted

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.

share|cite|improve this answer
If you're looking for a bigger hammer, the name Eisenstein might help. – Christopher Creutzig Apr 9 '12 at 20:10
@Chris How do you propose to use Eisenstein generally? – Bill Dubuque Apr 9 '12 at 20:15
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. – Christopher Creutzig Apr 9 '12 at 20:17
@Chris It does work over UFDs, but how do you propose to apply it here? – Bill Dubuque Apr 9 '12 at 20:20
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.) – Christopher Creutzig Apr 9 '12 at 20:28

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.