En teoría de Anillos, dado un dominio de integridad R, un polinomio no nulo y no unidad (es decir, sin inverso multiplicativo en R[x]) se dice irreducible si en cualquier factorización de la forma en el dominio , uno de los poliniomios o es unidad. Cuando el dominio de integridad en cuestión es un campo, el que sea un elemento irreducible de equivale a que este no pueda factorizarse como el producto de dos polinomios de grado menor estricto al suyo. Es decir, si entonces ha de ser o (es decir, alguno de ellos ha de ser un polinomio constante).
Esto es un caso particular de elemento irreducible en un dominio íntegro.
El dominio íntegro R puede, entre otros, ser el conjunto de los números reales (que es dominio íntegro por ser cuerpo), el conjunto de los números complejos (también cuerpo), el conjunto de los números racionales (cuerpo también) o el conjunto de los números enteros (que no es cuerpo pero sí dominio íntegro).