Let Κ be a unique factorization domain of characteristic p > 0, and let ƒ ∈ Κ[χ1,..., χn] be a polynomial not lying in Κ[wzór]. We prove that Κ[wzór] is the ring of constants of a Κ-derivation of Κ[χ1,..., χn] if and only if all the partial derivatives of ƒ 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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.