1

This is question is in light of comments in this question and another question I asked few days back.

Quoting Hayden from the first link,

You can use Rational Root Theorem to show a polynomial is irreducible (over $\mathbb Q$) when the degree is 2 or 3, but for any higher degree you would need to do more than just that. .. .For example, $(x^2+1)^2$ doesn't have any rational roots, but that doesn't mean it's irreducible.

which is true.

Now, in a general case, if a polynomial has a root in a field $\mathbb F$, then it can easily be concluded that it is not irreducible over $\mathbb F$.

My question is,

1) Are there any established results with conditions under which a polynomial's irreducibility over $\mathbb F$ (Or in particular well known Fields like $\mathbb Q$ or $\mathbb R$ etc) is only dependent on it having no roots in $\mathbb F$? (As Hayden mentioned, for polynomials of degree 2,3 in $\mathbb Q$, irreducibility over $\mathbb Q$ can be proved by showing it has no rational roots - are there any such similar conditions for higher polynomials, in general case?)

2) For irreducibility over $\mathbb Q$, are there certain classes of polynomials identified (like $(x^n+1)^k,n\ge2,k\ge2$) which are not irreducible even if they don't have roots in $\mathbb Q$?

Jesse P Francis
  • 1,469
  • 3
  • 27
  • 71

3 Answers3

5

Suppose that every root-free polynomial in $F$ is irreducible. Then $F$ is algebraically closed.

To show this, suppose by contradiction that exists some $g \in F[x]$ irreducible of degree $\ge 2$. Then $g^2 \in F[x]$ has no roots, so it is irreducible. And this is clearly a contradiction. So every irreducible polynomial has degree $\le 1$, i.e. $F$ is algebraically closed.

In general it is very easy to construct reducible root-free polynomials: simply take any product of root-free polynomials.

Crostul
  • 36,738
  • 4
  • 36
  • 72
  • First of all, thank you. But for (2), I was more looking for special general classes (or examples, like one I quoted): its easy to construct a random reducible root free polynomial! – Jesse P Francis Jun 03 '15 at 14:39
  • 1
    As for (2): I hardly believe that a satisfactory answer exists. I suggest you to consider all polynomials of the type $f(x^k)$ where $k \ge 2$ is an integer, and $f$ is a polynomial whose roots are not $k$-th powers in $\Bbb{Q}$. For example, consider $f(x) = x^2+x-6=(x-2) (x+3)$. Then $f(x^k)=x^{2k}+x^k-6=(x^k-2)(x^k+3)$ is reducible and has no roots. – Crostul Jun 03 '15 at 14:56
  • I guessed, asked just in case there are some well known examples! I think you should add that to the answer as well! Thanks again! :) – Jesse P Francis Jun 03 '15 at 16:16
2

Start with two irreducible polynomials $f(x), g(x)$ with coefficients in some field $F$, of any degree $m$ and $n$. The polynomial $h(x)$ defined as the product of $f(x)$ and $g(x)$ is reducible but has no roots in $F$.

EDIT: Adding precision to the above. Choose the degrees $f(x)$ and $g(x)$ to be positive integers that are at least 2. (It is implicitly assumed the field is not algebraically closed. )

0

Here is a nice class of examples: for a prime $p$ and $a \in F^\times$, the polynomial $x^p - a$ is irreducible in $F[x]$ if and only if it has no root in $F$.

For $p = 2$ and $3$ this is obvious, since those are special cases of the fact that for every polynomial of degree $2$ or $3$ in $F[x]$, irreducibility is equivalent to the lack of roots in $F$. That it is true for $x^p-a$ with prime degree $p > 3$ is surprising, but true. And it works over all fields $F$, even those of characteristic $p$. This is an important step towards classifying when a general binomial polynomial $x^n - a$ is irreducible over a field.

KCd
  • 46,062
  • This answer has a proof of the more general result: $\ x^n - a\ $ is irreducible over $F$ $ \iff a \not\in F^{\large p},$ for all primes $,p\mid n,,$ and $\ a\not\in -4F^4$ when $: 4\mid n.\ \ $ – Bill Dubuque Apr 24 '23 at 18:01