The Ratliff-Rush closure of initial ideals of certain prime ideals (Q990306)

From MaRDI portal
!
WARNING

This is the item page for this Wikibase entity, intended for internal use and editing purposes.

scientific article; zbMATH DE number 5779819
Language Label Description Also known as
default for all languages
No label defined
    English
    The Ratliff-Rush closure of initial ideals of certain prime ideals
    scientific article; zbMATH DE number 5779819

      Statements

      The Ratliff-Rush closure of initial ideals of certain prime ideals (English)
      0 references
      0 references
      7 September 2010
      0 references
      Let \(R\) be a commutative Noetherian ring with identity and \(I\) an ideal that contains a nonzero divisor. Consider the ascending chain of ideals \(I^1:I^0\subseteq I^2:I^1 \subseteq \dots \subseteq I^{n+1}:I^n \subseteq \dots\). Let \(\tilde{I}=\bigcup_{n\geq 0} (I^{n+1}:I^n)\). Then \(\tilde{I}\) is the unique largest ideal (containing \(I\)) for which \((\tilde{I})^n=I^n\) for sufficiently large \(n\). The ideal \(\tilde{I}\) is called the \textit{Ratliff-Rush closure} of \(I\) and an ideal \(I\) is \textit{Ratliff-Rush closed} if \(I=\tilde{I}\). In the paper under review the author investigates the initial ideal of the defining ideal of a certain monomial curve. More precisely, let \(K\) be a field and let \(m_0, \dots, m_n\) be an almost arithmetic sequence of positive integers. Let \(C\) be a monomial curve in the affine \((n+1)\)-space, defined parametrically by \(x_0=t^{m_0}, \dots, x_n=t^{m_n}\). The main result of the paper is that the initial ideal of the defining ideal of \(C\) is Ratliff-Rush closed.
      0 references
      Ratliff-Rush closure
      0 references
      initial ideal
      0 references
      monomial curve
      0 references
      defining ideal
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references