Originally Posted by

**AlexP** Can someone verify whether or not this proof works for me? Thanks.

Suppose that $\displaystyle p(x) \in F[x]$ and $\displaystyle E$ is a finite extension of $\displaystyle F$. If $\displaystyle p(x)$ is irreducible over $\displaystyle F$ and $\displaystyle \mbox{deg}(p(x))$ and $\displaystyle [E:F]$ are relatively prime, show that $\displaystyle p(x)$ is irreducible over $\displaystyle E$.

Suppose $\displaystyle p(x)$ is reducible over $\displaystyle E$. Then $\displaystyle p(x)$ has a root in $\displaystyle E$, call it $\displaystyle a$ (this part feels true but I can't verify it nicely...basically if it's reducible but not by splitting out $\displaystyle x-a$, the coefficients will be from $\displaystyle F$, but then it would be reducible over $\displaystyle F$). Take the subextension $\displaystyle F(a)$. Then since $\displaystyle F(a) \cong F[x]/\langle p(x) \rangle$ we have $\displaystyle [F(a):F]=\mbox{deg}(p(x))$. Then $\displaystyle [E:F]=[E:F(a)][F(a):F]$ but this implies that $\displaystyle [F(a):F]$ divides $\displaystyle [E:F]$ which it does not since $\displaystyle [F(a):F]=\mbox{deg}(p(x))$ and $\displaystyle \mbox{deg}(p(x))$ and $\displaystyle [E:F]$ are relatively prime.

no, your proof is not complete because $\displaystyle p(x)$ may not have any root in $\displaystyle E$. you need to pick a root $\displaystyle a$ of $\displaystyle p(x)$ in some extension of $\displaystyle F$ and let $\displaystyle q(x)$ be the minimal polynomial of $\displaystyle a$ over $\displaystyle E$. clearly

$\displaystyle \deg q(x) \leq \deg p(x). \ \ \ \ \ \ \ (1)$

we also have

$\displaystyle [E(a):E)][E:F]=[E(a):F(a)][F(a):F]. \ \ \ \ \ \ (2)$

from $\displaystyle (2)$ and the problem hypothesis it follows that $\displaystyle \deg p(x) \mid \deg q(x)$ and so by $\displaystyle (1)$

$\displaystyle \deg p(x)=\deg q(x). \ \ \ \ \ \ (3)$

let $\displaystyle r(x)=q(x)-p(x) \in E[x].$ then $\displaystyle \deg r(x) < \deg q(x)$ by $\displaystyle (3).$ we also have $\displaystyle r(a)=0$ and hence $\displaystyle r(x)=0$ by the minimality of $\displaystyle q(x).$ hence $\displaystyle q(x)=p(x)$ and we are done.