Concept stop · What is it?

Irreducible Polynomials

In the Chinese book: 既约多项式

How can you be sure nothing splits? Eisenstein's criterion uses a prime.

📖 Chapter 12 of 《因式分解技巧》

Before this stop, visit:Factoring over the Reals and the Complex Numbers (Concept)

Hands first, words secondFirst try every prime. None of them works. Then drag s to 1. The coefficients change, so choose a prime again.

Loading figure…

Try this

  1. With , all the coefficients of are . No prime divides , so the criterion has nothing to work with.
  2. Drag to : the expression becomes , with coefficients . Choose , and all three conditions hold.
  3. A shift does not change whether a polynomial factors: if , then , and the other way round too. So if is irreducible, so is .
  4. Click “Ask the kernel” to have the computer factor directly, and check.

Irreducible polynomial: a polynomial that, over the rationals, cannot be written as a product of two polynomials of lower degree. It plays the role that primes play among the integers.

To decide whether a number is prime, you can try dividing by one number after another. For polynomials there is no such direct way to decide irreducibility: “I could not split it” is not the same as “it cannot be split”. Eisenstein's criterion gives a proof:

Take an integer polynomial . If there is a prime such that ① does not divide the leading coefficient ; ② divides every other coefficient; ③ does not divide the constant term , then it is irreducible over the rationals.

Predict first

For , no prime satisfies the conditions of the criterion. Does that show is reducible?

Choose an answer first; then you can see the result.

Why

Example: is x⁴ + 6x + 3 irreducible?

Step 1 / 5
Loading figure…
  1. Try p = 2 first

    divides , and , but not the constant term . Condition ② fails, so try another.

What xⁿ − 1 looks like when factored completely

is never irreducible (it always has the factor ). Factor it completely over the rationals, and each irreducible factor you get is called a cyclotomic polynomial, written . In the picture below, the roots labeled with the same number belong to the same factor .

Loading figure…
Drag . Which numbers appear on the roots? How are they related to ?

Predict first

Factor completely over the rationals. How many factors are there?

Choose an answer first; then you can see the result.

Remove one condition

Condition ③ of the criterion looks the least important. Remove it and see.

Break it

Counterexample lab: remove one condition

Conclusion: A polynomial satisfying ① and ② is irreducible

with : all three conditions hold, so it is irreducible. Click “Ask the kernel” to check.

Loading figure…

Practice

Exercise 1Basic

To prove that is irreducible with Eisenstein's criterion, which prime should you use?

Exercise 2Basic

Factor completely over the rationals. How many factors are there?

Exercise 3Advanced

has no rational root. Is it irreducible? If not, factor it.

Exercise 4Challenge

Of the four polynomials , , and , how many are irreducible over the rationals?

Mistake Museum · Exhibits from this stop

Before you leave, look at the traps other people fell into here.See every exhibit in the museum →

Exhibit

The criterion does not apply = reducible?

The wrong step: No prime satisfies the conditions for , so it can be factored.
What went wrong? Think first, then open

Diagnosis Eisenstein's criterion is a sufficient condition: if the conditions hold, the polynomial is irreducible; if they do not, it tells you nothing. is of course irreducible over the rationals.

The right step: Prove it another way. Replace by to get , and the criterion works with . Or simply: a quadratic with no rational root is irreducible.

“When a sufficient condition fails, the question stays open”

Exhibit

No rational root = irreducible?

The wrong step: Neither candidate rational root of is a root, so it is irreducible over the rationals.
What went wrong? Think first, then open

Diagnosis Having no rational root only means there is no linear factor. A quartic could still be a product of two quadratics: .

The right step: “No rational root ⇒ irreducible” is true only for quadratics and cubics. From degree four up, you also have to rule out “quadratic × quadratic” and so on (undetermined coefficients), or use the criterion.

“No root ≠ no factor (when the degree is 4 or more)”