Math 2.0

Field theory and polynomials Definition

Irreducible polynomial

Builds on Irreducible elementPolynomial ring

Definition

Let RR be an integral domain. A polynomial f∈R[x]f \in R[x] is irreducible over RR if it is an irreducible element of the integral domain R[x]R[x]. That is, ff is nonzero and not a unit, and if f=ghf = g h with g,h∈R[x]g, h \in R[x], then gg or hh is a unit of R[x]R[x].

Remarks

Over a field KK, the units of K[x]K[x] are the nonzero constants. So ff is irreducible if and only if deg⁡f≥1\deg f \ge 1 and ff is not a product of two polynomials of smaller degree. The polynomial x2−2x^2 - 2 is irreducible over ℚ\mathbb{Q} but not over ℝ\mathbb{R}, where x2−2=(x−2)(x+2)x^2 - 2 = (x - \sqrt{2})(x + \sqrt{2}). The polynomial x2+1x^2 + 1 is irreducible over ℝ\mathbb{R} but not over ℂ\mathbb{C}. Over ℤ\mathbb{Z}, the polynomial 2x+2=2(x+1)2x + 2 = 2(x + 1) is not irreducible, because 22 is not a unit of ℤ[x]\mathbb{Z}[x].

Reading path

To understand this page from the ground up, read these 9 pages in order. The foundations come first.

Show the path as a graph
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. Unit of a ring definition
  6. Zero divisor definition
  7. Integral domain definition
  8. Irreducible element definition
  9. Irreducible polynomial definition

Where this leads

83 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Irreducible_polynomial, Definition
About this page