Derivations and rational powers of ideals (Q2291674): Difference between revisions

Let \(A\) be a noetherian integral domain containing a field of characteristic zero. Suppose the fraction field of \(A\) is equipped with a derivation \(d\) such that \(d(\overline{A}) \subset \overline{A}\). A theorem of \textit{A. Seidenberg} says that \(d(A)\subset A\), see \textit{A. Seidenberg} [Pac. J. Math. 16, 167--173 (1966; Zbl 0133.29202)]. The paper specialized this over certain Rees-like algebras and present several of its generalizations. For insensate, let \(I\) be an ideal of \(A\) and let \(d\) be a derivation over \(A\). The author shows that the following four conditions are equivalent: (1) \(d(\overline{I}) \subset \overline{I}\), (2) \(d(I_{q}) \subset I_q \) for every rational \(q\geq 0\), (3) \(d(\overline{I^{n}}) \subset \overline{I^{n}} \) for every integer \(n\geq1\), and (4) \(d(\overline{I^{n}}) \subset \overline{I^{n}} \) for some integer \(n \geq1\). Here, \(\overline{I}\) stands for the integral closure of \(I\), and the rational powers are defined by \(I_{a/b} := \{x \in A | x^b\in \overline{I^a}\}\) where \(a\) and \(b\) are positive integers. Also, it is proved that \(d(I_{q}) \subset I_{q-1} \) for every rational \(q\geq 1\). There are related results in the context of \(j\)-th coefficient ideals.