1
$\begingroup$

I seem to have come up with a proof of the following statement, but I have not managed to find this statement, either as a proposition or as an exercise in some of the Abstract Algebra books I have looked at. So is this true (?):

Let $R$ be a UFD, $F$ its field of fractions, and $f \in R[x]$ a non-constant irreducible polynomial. If $g \in R[x]$ is a polynomial such that $f|g$ in $F[x]$, then $f|g$ in $R[x]$.

  • 1
    To find a proof in a book, look for a book that proves the following: `If R is a UFD, then$R[x]$is a UFD.` (Lots of abstract algebra books do). The standard proof of this is via Gauss's Lemma, which would be that if $f\in R[x]$ factors over $F[x]$, then it factors over $R[x]$ with polynomials that are constant multiples (over $F$) of the factors in $F[x]$. This implies the result you write: write $g=fh$ in $F[x]$, and apply the Lemma to conclude that there are rational multiples of $f$ and $h$ that lie in $R[x]$, then use the fact that $f$ is already in $R[x]$ to get the result.2011-10-21

0 Answers 0