不同域上的不可约多项式