Многочлен f(x)ÎP[x] называется неприводимым над полем P, если:
1. cm f(x) > 0,
2. f(x) не разлагается в произведение многочленов меньшей степени.
Многочлен f ∈ R[x] неприводим над полем R тогда и только тогда, когда либо deg(f ) = 1, либо deg(f ) = 2 и f имеет отрицательный дискриминант.
Основная теорема алгебры. Любой неконстантный многочлен над полем комплексных чисел имеет хотя бы один корень.