判断题 在数域F上次数≥1的多项式f（x）因式分解具有唯一性。

判断题 x^2+x+1在有理数域上是可约的。

判断题 把一个多项式进行因式分解是有固定统一的方法，即辗转相除法。