一个域上的多项式问题的反例

我们知道，在数域K中，一个多项式无重因式$\iff (f(x),f^{\prime }(x))=1$。那么，这个结论对任意一个域上的多项式成立吗？答案是否定的。问题来自丘维声的《高等代数》，下册，清华大学出版社，第141面。反例不容易想到，并且证明也有一定的技巧。接下来给出我的解法。
$p$是素数，我们考虑$Z_p$上分式域$Z_p(y)$，令$f(x)=x^p+y$，接下来证明$f(x)$在$Z_p(y)$上是不可约的。
证明：
$考虑Z_p(y)的代数闭包M，在M中取\alpha ，{\alpha }^p=y，由于Z_p(y)特征为p，故有$
$$f(x)=(x+\alpha {)}^p.$$$若f(x)在Z_p(y)上可约，设$
$$f(x)=g(x)h(x).其中g(x)，h(x)\in Z_p(y)[x].$$$则必然有:$
$$g(x)=(x+\alpha {)}^u,h(x)=(x+\alpha {)}^v,u+v=p.$$$有(u,v)|p,而(u,v)<p,故(u,v)=1.由B\acute{e}zout定理，存在a,b\in Z，s.t.au+bv=1.$

$我们考虑多项式：$
$$g(x{)}^{a}h(x{)}^b=(x+\alpha {)}^{au+bv}=x+\alpha \in Z_p(y)[x].$$$$\Rightarrow \alpha \in Z_p(y).$$$$\Rightarrow \exists c(y),d(y)\in Z_p[y]，s.t.\alpha =\frac{c(y)}{d(y)}.$$$$\Rightarrow c(y{)}^p=yd(y{)}^p.$$$$\Rightarrow deg(c(y))>deg(d(y)).$$$$\Rightarrow deg(c(y{)}^p)>deg(d(y{)}^p)+p-1.$$$但是我们有$ $$deg(c(y{)}^p)=deg(d(y{)}^p)+1.$$$所以我们得到$$$p<2$$$这与p为素数矛盾。故f(x)是不可约的。$