Rees valuations and asymptotic primes of rational powers in noetherian rings and lattices (Q868869)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 5129720
Language Label Description Also known as
default for all languages
No label defined
    English
    Rees valuations and asymptotic primes of rational powers in noetherian rings and lattices
    scientific article; zbMATH DE number 5129720

      Statements

      Rees valuations and asymptotic primes of rational powers in noetherian rings and lattices (English)
      0 references
      26 February 2007
      0 references
      Let \(I\) be a regular ideal in a (noetherian) local ring \(R\). \ For \(x\in R\) define \(v_{I}(x)=\sup \{n\in N_{0}| x\in I^{n}\}\) and \(\overline{v} _{I}(x)=\lim_{n\rightarrow \infty }\nu _{I}(x^{n})/n\). \ So \(\overline{v} _{I}(x)\) is a homogeneous pseudo-valuation on \(R\). \ Put \(I_{\beta }=\{x\in R| \overline{v}_{I}(x)\geq \beta \}\) (so \(I_{n}=(I^{n})_{a}\) for \(n\in N\)). \ Rees has shown that there exist unique normalized valuations \( v_{i}:R\rightarrow N_{0}\cup \{\infty \}\) and integers \(e_{i},i=1,\ldots ,r\) such that \(\overline{v}_{I}(x)=\min \{v_{i}(x)/e_{i}| i=1,\ldots ,r\}\)\ for all \(x\in R\) [see, for example, \textit{D.\ Rees}, Lectures on the asymptotic theory of ideals, London Math. Soc. Lect. Note Ser. 113 (1988; Zbl 0669.13001)]. The purpose of this paper is to extend this result to Noether lattices (i.e., principally generated modular multiplicative lattices satisfying ACC) and to give some applications to asymptotic primes and projective equivalence, some of which are new, even in the ring case. \ For example, it is shown that if \(L\) is a Noether lattice and \(A\in L\), then in the notation above adopted to the lattice case where the set \(\{v_{i}\}\) is ``minimal'' and \(e=\text{lcm}\{e_{1},\dots ,e_{r}\}\), we have \(\text{Ass}(L/A_{n/e})\subseteq \{P,\dots ,P_{r}\}\) where \(P_{i} \) is the center of \(v_{i}\). Also, \(\bigcup _{n=1}^{\infty }\text{Ass}(L/A_{n/e})=\bigcup _{n=1}^{\infty }\text{Ass}(L/(A^{n})_{a})\subseteq \bigcup _{n=1}^{\infty }\text{Ass}(L/A^{n})\).
      0 references
      projectively equivalent
      0 references
      Rees valuation
      0 references
      Noether lattice
      0 references
      \(A\)-transform
      0 references
      pseudo-valuation
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references