Let be an arbitrary field of characteristic zero, be the polynomial ring and a -derivation of the ring . Recall that a nonconstant polynomial is said to be a Darboux polynomial of the derivation if for some polynomial . We prove that any two linearly independent over the field commuting -derivations and of the ring either have a common Darboux polynomial, or are Jacobian derivations i.e., for every where the polynomials satisfy the condition $\det J(u_{1}, u_{2})=c\in k^{\star}.$ This statement about derivations is an analogue of the known fact from Linear Algebra about common eigenvectors of pairs of commuting linear operators.

生成讲解博客的中文版本

生成AI智能校验的中文版本