两个本原多项式的乘积仍为本原多项式（不可约多项式和本原多项式的区别）

是。因为本源多项式是整式。当两个整式相乘的时候，积仍然是整式。  对这些本原多项式的乘积的系数之积为一。所有系数最大公因式为1的多项式。