Derivations and rational powers of ideals (Q2291674)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Derivations and rational powers of ideals
scientific article

    Statements

    Derivations and rational powers of ideals (English)
    0 references
    31 January 2020
    0 references
    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.
    0 references
    integral closure of an ideal
    0 references
    differential ideal
    0 references
    rational power of an ideal
    0 references
    coefficient ideal
    0 references

    Identifiers