Polinômio irredutível

Um polinômio irreducível (ou irredutível) é um polinômio (de grau maior que zero) que não pode ser fatorado em polinômios de graus menores.

Mais precisamente:

• Seja p(x) um polinômio não-constante sobre um corpo F. Então p(x) é irreducível quando não existem p₁(x), p₂(x), ..., p_n(x) em que cada p_i(x) tem grau menor que p(x), e p(x) = p₁(x). p₂(x) ... p_n(x).