7
$\begingroup$

$K,L$ are fields, $K\subseteq L$. $f,g \in K[x]$. Suppose that $f,g$ are relatively prime as elements of $K[x]$. Prove they remain relatively prime in $L[x]$.

I've tried everything I can think of. I feel like working with the contrapositive may be helpful but that's just a feeling.

2 Answers 2

10

Hint: Note that Bezout's identity holds for polynomial rings in one variable over a field, since such rings are principal ideal domains (PIDs):

$f,g\in F[x]\text{ relatively prime }\iff \exists a,b\in F[x]\text{ such that }af+bg=1.$

Use this both with $F=K$ and $F=L$.

  • 0
    Simplicity in Elegance!2016-10-05
8

Zev's answer is in some sense the canonical one, but here is another point of view, which is less elegant, but perhaps more intuitive.

We can embed $L$ into its algebraic closure $\overline{L}$; the algebraic closure of $K$ in $\overline{L}$ is then an algebraic closure of $K$.

Now $f$ and $g$ coprime in $K[x]$ means that they have distinct roots in $\overline{K}$. But these are also the roots of $f$ and $g$ in $\overline{L}$, and so $f$ and $g$ have distinct roots in $\overline{L}$. Thus $f$ and $g$ are coprime in $L[x]$ as well.

  • 0
    Shouldn't this imply that being separable is same as being square-free? I am not sure why the following Wikepedia website says the otherwise: https://en.wikipedia.org/wiki/Separable_polynomial2015-07-23