2
$\begingroup$

Suppose p(x) is an irreducible polynomial over Q of degree n, with integer coefficients. If p(x) has two roots r1 and r2 satisfying r1r2 = 5, prove that n is even.

Attempt at solution:

  • Because the base field is Q, the field extension is separable, hence no roots of multiplicity > 1.

  • Because r1r2 = 5, I think we can show that if the degree of n is odd, then this will contradict the fact that p(x) has integer coefficients somehow, but I can't seem to do this.

Any help would be appreciated very much, thank you.

$\endgroup$
5
$\begingroup$

Claim. For every root $r$ of $p(x)$, $r' = 5/r$ is also a root of $p(x)$.

Proof: Let $g$ be an element of the Galois group that maps $r_1$ to $r$, i.e. $gr_1 = r$. Let $r' = gr_2$. Then $rr' = gr_1 \cdot gr_2 = g(r_1r_2) =g(5) = 5$. QED

Therefore, we can split all roots of $p(x)$ into pairs $(r, r')$ such that $rr' = 5$. Since $p(x)$ doesn't have multiple roots, $r\neq r'$ in each pair. Thus the number of roots is even. Therefore, the polynomial has even degree.

$\endgroup$
  • $\begingroup$ Yury - thank you so much for the quick response & concise solution. Appreciate it. $\endgroup$ – Conan Wong Aug 9 '12 at 5:21
  • 1
    $\begingroup$ Presumably, 5 can be replaced with any rational number, and the same result obtains. $\endgroup$ – Gerry Myerson Aug 9 '12 at 6:08
4
$\begingroup$

Hint $\ $ Since $\rm\,p(x)\,$ is irreducible the Galois group G acts transitively on its roots, so G contains the involution $\rm\:x\to 5/x.\:$ If the involution has no fixed points then it $\rm\color{#C00}{pairs}$ the roots so they are $\rm\color{#C00}{even}$ in number. Else, if $\,\alpha\,$ is a fixed point then $\rm\,\alpha\, = 5/\alpha\,$ so $\rm\:\,\alpha^2 = 5\,$ so $\,\ldots$

$\endgroup$
  • $\begingroup$ Thank you Bill - much appreciated. $\endgroup$ – Conan Wong Aug 9 '12 at 14:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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