设F(X),G(X)是数域K上的不可约多项式,存在C属于C,若X-C整除F(X),G(X),则G(X)整除F(X

问题描述:

设F(X),G(X)是数域K上的不可约多项式,存在C属于C,若X-C整除F(X),G(X),则G(X)整除F(X

注意辗转相除法时和数域是什么无关,所以若F,G在K上最大公因式为1则到C上还是1,矛盾,最大公因式不为1,必有一个整除另一个