Advanced Search

Let K be a field and let L = K[ξ] be a finite field extension of K of degree m > 1. If f ∈ L[Z] is a polynomial, then there exist unique polynomials $u₀,...,u_{m-1}\in K[X₀,...,X_{m-1}]$ such that $f\left({\sum }_{j=0}^{m-1}{\xi }^j{X}_j\right)={\sum }_{j=0}^{m-1}{\xi }^j{u}_j$. A. Nowicki and S. Spodzieja proved that, if K is a field of characteristic zero and f ≠ 0, then $u₀,...,u_{m-1}$ have no common divisor in $K[X₀,...,X_{m-1}]$ of positive degree. We extend this result to the case when L is a separable extension of a field K of arbitrary characteristic. We also show that the same is true for a formal power series in several variables....