A note on quintasymptotic prime ideals (Q392366): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 1308.6449 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3843140 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3414477 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symbolic powers and local cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotic prime divisors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quintasymptotic primes and four results of Schenzel / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Primes Associated to an Ideal / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On prime divisors of \(I^n\), \(n\) large / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the prime divisors of zero in form rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on form rings and ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness of Relative REES Rings and Asymptotic Prime Divisors / rank | |||
Normal rank |
Latest revision as of 06:08, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on quintasymptotic prime ideals |
scientific article |
Statements
A note on quintasymptotic prime ideals (English)
0 references
14 January 2014
0 references
Let \(R\) be a commutative Noetherian ring, \(I\) be an ideal of \(R\), \(\overline{I^n}\) be the integral closure of \(I^n\) for all \(n \geq 1\), and if \((R, \mathfrak{m})\) is local, then \(R^*\) denotes the \(\mathfrak{m}\)-adic completion of \(R\). Next, let \(\bar{Q^*} = \{P \in\mathrm{Spec}(R) \mid I \subseteq P\) and there is a minimal prime \(z\) in \(R_P^*\) with \(PR_P^*\) minimal over \(IR_P^* + z\}\) be the set of quintasymptotic primes of \(I\), \(\mathcal{R} = R[u, It]\) be the Rees ring, with \(t\) an indeterminate and \(u = t^{-1}\), and \(\bar{A^{**}}(I) = \{\mathfrak{p} \cap R \mid \mathfrak{p} \in \bar{Q^*}(u\mathcal{R})\}\). It is known that the sequence of sets \(\mathrm{Ass}_RR/\overline{I} \subseteq \mathrm{Ass}_RR/\overline{I^2} \subseteq \mathrm{Ass}_RR/\overline{I^3} \subseteq \cdots\) is increasing and eventually stabilizes, the stable value being denoted by \(\bar{A^*}(I)\). \textit{S. McAdam} [J. Pure Appl. Algebra 47, 283--298 (1987; Zbl 0641.13005)] showed that \(\bar{A^*}(I) = \bar{A^{**}}(I)\), which implies the fact that \((\#):\) If \(S\) is a multiplicative subset of \(R\) such that \(S \subseteq R \setminus \bigcup \{P \mid P \in \bar{A^{**}}(I)\}\), then \(\overline{I^n}R_S \cap R = \overline{I^n}\) for all \(n \geq 1\). He also asked if there is a direct way of deducing the fact \((\#)\) without using \(\bar{A^*}(I) = \bar{A^{**}}(I)\). In this paper under review, the authors define the set \(\bar{B^*}(I) = \{P \in \mathrm{Spec} (R) \mid I \subseteq P\), and there exists a minimal prime \(z\) in \(R\) with \(z \subseteq P\), and \(P/z\) is the center of a Rees valuation ring of \(I(R/z)\}\), and then they show that \(\bar{B^*}(I) = \bar{A^{**}}(I)\). Hence, \(\bar{B^*}(I) = \bar{A^{*}}(I)\), and they use this result to give a new proof of \((\#)\).
0 references
Noetherian ring
0 references
quintasymptotic prime
0 references
asymptotic prime
0 references
Rees ring
0 references
Rees valuation ring
0 references