EN
Let K be a unique factorization domain of characteristic p > 0, and let f ∈ K[x₁,...,xₙ] be a polynomial not lying in $K[x₁^p,...,xₙ^p]$. We prove that $K[x₁^p,...,xₙ^p,f]$ is the ring of constants of a K-derivation of K[x₁,...,xₙ] if and only if all the partial derivatives of f are relatively prime. The proof is based on a generalization of Freudenburg's lemma to the case of polynomials over a unique factorization domain of arbitrary characteristic.