A note on differential ideals of a commutative ring (Q1331672)

Soit \(R\) un anneau local noethérien qui contient le corps des nombres rationels. L'A. démontre les propriétés suivantes: Si \(M\) est l'idéal maximal de \(R\) et \(d\) une dérivation de \(R\) telle que \(d(M) \nsubseteq M\), alors il existe un système de générateurs \(S\) de \(M\) tel que \(m^{k-1}\) soit contenu dans \(M^ k + d(M^ k)\) pour tout \(k \geq 1\) et \(m \in S\). De plus, \(M^ 2 + d(M^ 2) = M\). Si \(P\) est un idéal premier de \(R\) tel que \(d(P) \subseteq P\), alors l'anneau \(d^{- 1} (P)\) est integralement clos dans \(R\).