Images of locally finite derivations of polynomial algebras in two variables (Q538057)

Let \(R\) be a commutative \(k\)-algebra (\(k\) a field of characteristic zero) and \(M\subset R\) a \(k\)-subspace of \(R\). \(M\) is a Mathieu subspace of \(R\) if the following condition holds: if \(a\in R\) is such that \(a^{m}\in M\) for all \(m\geq 1,\) then for any \(b\in R\) there exists an \(N\in \mathbb{N}\) such that \(ba^{m}\in M\) for all \(m\geq N.\) Two main results of the paper are: 1. If \(D\) is a locally finite \(k\)-derivation of \(k[X,Y]\) then \(\text{Im}D\) is a Mathieu subspace of \(k[X,Y]\). 2. The two dimensional jacobian conjecture is true iff for any \(k\) -derivation \(D\) of \(k[X,Y]\) such that \(\text{div}D=0\) and \(1\in \text{ Im}D\) the image \(\text{Im}D\) is a Mathieu subspace of \(k[X,Y]\).