On upper bounds for asymptotic \textit{ideal}-grade

Let \(I\) and \(J\) be ideals in a Noetherian ring \(R\) and let \(x_1, \ldots , x_n\) be nonunits in \(R\). Then \(x_1, \ldots , x_n\) is said to be an asymptotic sequence over \(I\) if \((I, (x_1, \ldots , x_n))R \neq R\) and if for all \(1 \leq i \leq n\), \(x_i\) is not in any associated prime of the integral closure \(\overline{(I_{i-1})^m}\) of \((I_{i-1})^m = (I, (x_1, \dots , x_{i-1}))^mR\), where \(m\in\mathbb{N}\) is very large. Let \(\mathrm{agd}_I (J)\) be the maximum number of elements in \(J\) which form an asymptotic sequence over \(I\). The following inequalities are hold:\N\N\begin{itemize}\N\item[1.] \(\mathrm{agd}_I (J)\leq \mathcal{l}(J)\), where \(\mathcal{l}(J)\) denotes the analytic spread of \(J\)..\N\item[2.] \(\mathrm{agd}_I (J)\leq\mathrm{ht}(I + J) -\mathrm{agd}(I)\), where \(\mathrm{agd}(I)\) is the maximum number of elements in \(I\) which form an asymptotic sequence over \((0)R\).\N\end{itemize}\N\NIn the present paper, the authors give some necessary and sufficient conditions for above inequalities to be equalities. They give several consequences of the equalities too. Finally, if \(R\) is local with maximal ideal \(\mathfrak{m}\), then they reprove a known upper bound for \(\mathrm{agd}_I (\mathfrak{m})\).

Cites work

This page was built for publication: On upper bounds for asymptotic \textit{ideal}-grade

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6972662)