Simplicity and commutative bases of derivations in polynomial and power series rings (Q2014904)

Let \(k\) be a field of characteristic zero and \(R\) denote either the ring \(k[x_1,\dots,x_n]\) of polynomials over \(k\) or the ring \(k[[x_1,\dots,x_n]]\) of formal power series over \(k\). A \(k\)-derivation \(d:R\longrightarrow R\) of \(R\) is a \(k\)-linear map such that \(d(ab)=d(a)b+ad(b)\) for any \(a,b\in R\). Denoting by \(\mathrm{Der}_k(R)\) the set of all \(k\)-derivations of \(R\), let \(D\subseteq \mathrm{Der}_k(R)\) be a nonempty family of \(k\)-derivations. An ideal \(I\) of \(R\) is called \(D-\)stable if \(d(I)\subseteq I\) for all \(d\in D\). If \(R\) has no other \(D-\)stable ideal than \(0\) and \(R\), it is called \(D-\)simple. In his paper [Commun. Algebra 34, No. 8, 2941--2963 (2006; Zbl 1121.13028)], \textit{K. Retert} states that if \(D\) is a set of commutative \(k\)-derivations of \(k[x,y]\) such that \(\partial_x\in D\) and the ring \(k[x,y]\) is \(D-\)simple, then there is \(d\in D\) such that \(k[x,y]\) is \(\{\partial_x,d\}-\)simple. In the present paper, the author tries to generalize this result to the ring \(R=k[x_1,\dots,x_n]\) or \(k[[x_1,\dots,x_n]]\) and to give some applications.