Polynomial Irreducibility

Rational root theorem & Eisenstein's criterion.

The idea

Definition (Irreducible polynomial).

A polynomial with coefficients in a field $F$ is irreducible over $F$ when it cannot be written as a product of two polynomials of lower degree with coefficients in $F$.

The field matters: $x^{2} - 5$ factors as $(x - \sqrt{5})(x + \sqrt{5})$ over $\mathbb{R}$, but not over $\mathbb{Q}$, because $\sqrt{5}$ is irrational. Enlarging the field can make an irreducible polynomial reducible, never the reverse.

Irreducible polynomials are the primes of the polynomial ring $F[x]$: every polynomial factors into irreducibles, essentially uniquely, and quotienting $F[x]$ by an irreducible polynomial produces a field extension in which that polynomial has a root.

Exhibiting a factorization proves a polynomial reducible, but proving it irreducible means ruling out every possible factorization, and for that we use criteria. Over $\mathbb{Q}$, two are the standard tools.

Theorem (Rational root theorem).

Every rational root $p/q$ of a polynomial with integer coefficients, written in lowest terms, has $p$ dividing the constant term and $q$ dividing the leading coefficient.

This leaves a short list of candidate roots, and when every candidate fails the polynomial has no linear factor over $\mathbb{Q}$.

Theorem (Eisenstein's criterion).

If a prime $p$ divides every coefficient of an integer polynomial except the leading one, and $p^{2}$ does not divide the constant term, then the polynomial is irreducible over $\mathbb{Q}$.

Ways to work on it

Not sure where to start? Take the ten-question placement test.