Math 2.0

Field theory and polynomials Proof

Proof that polynomials of degree two or three are irreducible iff they have no roots

Builds on FieldIrreducible polynomialRoot of a polynomialFactor theoremDegree of a productUnit of a ringEvaluation homomorphism

Proof

  1. Let KK be a field and let f∈K[x]f \in K[x] with deg⁡f∈{2,3}\deg f \in \set{2, 3}.
  2. We first find the units of K[x]K[x]. If uv=1u v = 1 in K[x]K[x], then deg⁡u+deg⁡v=0\deg u + \deg v = 0 by the degree of a product. So deg⁡u=0\deg u = 0, and uu is a nonzero constant.
  3. Conversely, a nonzero constant c∈Kc \in K has the inverse c−1∈Kc^{-1} \in K. So the units of K[x]K[x] are exactly the polynomials of degree 00.
  4. Since deg⁡f≥1\deg f \ge 1, the polynomial ff is nonzero and, by Step 3, it is not a unit.
  5. Suppose that ff has a root c∈Kc \in K. By the factor theorem, f=(x−c)gf = (x - c) g for some g∈K[x]g \in K[x].
  6. By the degree of a product, deg⁡g=deg⁡f−1≥1\deg g = \deg f - 1 \ge 1. By Step 3, neither x−cx - c nor gg is a unit. So ff is not irreducible.
  7. This proves: if ff is irreducible, then ff has no root in KK.
  8. Now suppose that ff has no root in KK. Let f=ghf = g h with g,h∈K[x]g, h \in K[x]. We show that gg or hh is a unit.
  9. Since f≠0f \ne 0, both gg and hh are nonzero. By the degree of a product, deg⁡g+deg⁡h=deg⁡f≤3\deg g + \deg h = \deg f \le 3.
  10. Suppose that neither gg nor hh is a unit. By Step 3, deg⁡g≥1\deg g \ge 1 and deg⁡h≥1\deg h \ge 1.
  11. If both degrees were at least 22, their sum would be at least 44, which contradicts Step 9. So one factor, say gg, has degree 11.
  12. Write g=ax+bg = a x + b with a,b∈Ka, b \in K and a≠0a \ne 0. Then g(−b/a)=−b+b=0g(-b/a) = -b + b = 0.
  13. Evaluation at −b/a-b/a is a ring homomorphism. So f(−b/a)=g(−b/a) h(−b/a)=0f(-b/a) = g(-b/a) \, h(-b/a) = 0, and −b/a-b/a is a root of ff in KK.
  14. This contradicts the assumption of Step 8. So gg or hh is a unit.
  15. With Step 4, ff is irreducible over KK. Together with Step 7, ff is irreducible over KK if and only if it has no root in KK.

Idea

A factorisation into two factors of positive degree splits the degree 22 or 33 as a sum of two positive integers. One of them must be 11, and a factor of degree 11 gives a root. Conversely, a root cc gives the factor x−cx - c.

Reading path

To understand this page from the ground up, read these 26 pages in order. The foundations come first. The path takes the proofs Proof of the degree of a product over an integral domain, Proof of the remainder theorem, Proof of the factor theorem.

Show the path as a graph
Group, concept, no evidence levelGroupconceptRing, definition, no evidence levelRingdefinitionCommutative ring, definition, no evidence levelCommutative ringdefinitionPolynomial ring, definition, no evidence levelPolynomial ringdefinitionRing homomorphism, definition, no evidence levelRing homomorphismdefinitionUnit of a ring, definition, no evidence levelUnit of a ringdefinitionZero divisor, definition, no evidence levelZero divisordefinitionDivisibility in a commutative ring, definition, no evidence levelDivisibility in a com…definitionDegree of a polynomial, definition, no evidence levelDegree of a polynomialdefinitionPolynomial evaluation, definition, no evidence levelPolynomial evaluationdefinitionField, definition, no evidence levelFielddefinitionIntegral domain, definition, no evidence levelIntegral domaindefinitionLeading coefficient, definition, no evidence levelLeading coefficientdefinitionEvaluation homomorphism, definition, no evidence levelEvaluation homomorphi…definitionRoot of a polynomial, definition, no evidence levelRoot of a polynomialdefinitionIrreducible element, definition, no evidence levelIrreducible elementdefinitionMonic polynomial, definition, no evidence levelMonic polynomialdefinitionProof of the remainder theorem, proof, no evidence levelProof of the remainde…proofProof of the degree of a product over an integral domain, proof, no evidence levelProof of the degree o…proofIrreducible polynomial, definition, no evidence levelIrreducible polynomialdefinitionDivision algorithm for polynomials, statement, no evidence levelDivision algorithm fo…statementDegree of a product, statement, no evidence levelDegree of a productstatementRemainder theorem, statement, no evidence levelRemainder theoremstatementProof of the factor theorem, proof, no evidence levelProof of the factor t…proofFactor theorem, statement, no evidence levelFactor theoremstatementProof that polynomials of degree two or three are irreducible iff they have no roots, proof, no evidence levelProof that polynomial…proof
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Group concept
  2. Ring definition
  3. Commutative ring definition
  4. Polynomial ring definition
  5. Ring homomorphism definition
  6. Unit of a ring definition
  7. Zero divisor definition
  8. Divisibility in a commutative ring definition
  9. Degree of a polynomial definition
  10. Polynomial evaluation definition
  11. Field definition
  12. Integral domain definition
  13. Leading coefficient definition
  14. Evaluation homomorphism definition
  15. Root of a polynomial definition
  16. Irreducible element definition
  17. Monic polynomial definition
  18. Proof of the remainder theorem proof
  19. Proof of the degree of a product over an integral domain proof
  20. Irreducible polynomial definition
  21. Division algorithm for polynomials statement
  22. Degree of a product statement
  23. Remainder theorem statement
  24. Proof of the factor theorem proof
  25. Factor theorem statement
  26. Proof that polynomials of degree two or three are irreducible iff they have no roots proof

Where this leads

4 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Irreducible_polynomial, Simple examples
About this page
Tag4CCCN00HJ7
URIm2://4CCCN00HJ7
Kindproof
WritingW0 stub
MSC12E05
ProvesPolynomials of degree two or three are irreducible iff they have no roots
UsesField, Irreducible polynomial, Root of a polynomial, Factor theorem, Degree of a product, Unit of a ring, Evaluation homomorphism
MethodsProof by cases
Changed4 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.