（答案中多项式各系数为绝对值尛于7的整数）
是近世代数的题答案上给的是f（x）=（x-2）^2（x-4）∈Z7『x』，

(注記:可以利用本原元素定理:有限可分扩张都是单扩张.也可以更简单的,因为K'的非零元素乘法群是循环群,取一个生成元a,则显然K'=K(a). )
所以存在K'的某个元素a使得 K'=K(a) .a在K上的极小多项式就是一个m次不可约多项式.
另外,据说可以用更加 computational 的方法来证明,有限域上的,任意次数的不可约多项式的存在性.

（答案中多项式各系数为绝对值尛于7的整数）
是近世代数的题答案上给的是f（x）=（x-2）^2（x-4）∈Z7『x』，