本原多项式是近世代数中的一个概念，是唯一分解整环上满足所有系数的最大公因数为1的多项式。本原多项式不等于零，与本原多项式相伴的多项式仍为本原多项式。