1

Hypothesis:

$E$ is a field extension of $F$.

$p, q \in F[x]$ s.t. $p$ and $q$ are not relatively prime over $E$.

Goal:

Show that $p$ and $q$ are not relatively prime over $F$.

Attempt:

  1. Since $p$ and $q$ are not relatively prime over $E$, we have that $\gcd(p,q) \ne 1$ in $E[x]$.

  2. Then let $d(x)$ be the greatest common divisor of $p,q$ in $E[x]$ which from (1) satisfies $\deg(d(x)) \ge 1$.

And from here I'm not sure how to proceed. Since $E$ is just a field extension over $F$, we don't even know if there exist roots of $d(x)$ in $E$, much less $F$. If necessary, we can extend $E$ to some field $K$ s.t. $K$ possesses all of the roots of $d(x), p(x)$ and $q(x)$ -- but I'm not sure how this helps us.

user1770201
  • 5,195
  • 6
  • 39
  • 71
  • I would suggest proving it indirectly. If $p,q$ are relatively prime over $F$, then they are also relatively prime over $E$. Straightforward since $F[x]$ is a PID. – Daniel Fischer Oct 20 '13 at 23:09
  • I am assuming OP meant p and q are NOT relatively prime over F. Statement as stated is clearly false (take p=q non unit in F for instance). –  Oct 21 '13 at 02:17
  • Souparna: Yes -- that's what I meant (and sorry for that very problematic typo). I just edited the problem statement.

    Daniel: I thought about it a bit and can't see how $F[x]$ as a PID helps us here. Thanks for the hint though.

     – user1770201 Oct 21 '13 at 02:25

2 Answers2

5

“Not relatively prime over $E$ $\Rightarrow$ not relatively prime over $F$” is the same as “Relatively prime over $F$ $\Rightarrow$ relatively prime over $E$.”

So let’s suppose that $p,q\in F[x]$ and relatively prime over $F$. Then there are $A,B\in F[x]$ with $Ap+Bq=1$. But since $F[x]\subset E[x]$, you’re done.

Lubin
  • 62,818
0

  1. Suppose for sake of contradiction that $p$ and $q$ were not relatively prime over $F$.

  2. Then $\gcd(p(x),q(x)) = d(x)$ s.t. $\deg(d(x)) \ge 1$ for $d(x) \in F[x]$.

  3. But then $d(x) \in F[x] \implies d(x) \in E[x]$ since $E$ is an extension of $F$.

  4. Then in $E$ we have that $\gcd(p(x),q(x)) = d(x)$ for $\deg(d(x)) \ge 1$, contradicting our assumption that $p$ and $q$ are not relatively prime over $E$.

  5. Then $p$ and $q$ must be relatively prime over $F$ as desired.

user1770201
  • 5,195
  • 6
  • 39
  • 71