本原多项式是指系数的最大公约数为1的整系数多项式。 因此，本原多项式确实是整系数多项式。 其中系数是整数，且不存在一个大于1的公约数能够整除所有的系数。 这个条件保证了本原多项式不会拆分为两个或更多整系数多项式的乘积。 因此，本原多项式在整数环上保持不可约，有着重要的数论应用和理论意义。