Un polinomio f(x) a coefficienti in un campo K si dice irriducibile su K

se una fattorizzazione f(x) = g(x)h(x), con g(x) e h(x) polinomi di K[x]

implica che uno dei due polinomi, o g(x) o h(x), ha grado 0, cioè è invertibile.