Uniform symbolic topologies and finite extensions (Q472998): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The purpose of the article is to make some observation related to the following question: { Question}: Let \((R,M)\) be a complete local domain. Does there exist a positive integer \(b\) such that \(P^{(bn)}\subseteq P^n\) for all prime ideal \(P\subset R\) and all \(n\geq 1\). The authors gave several nice results to the above question for certain rings which is called acceptable (Definition 1.5). In fact the main purpose of the article is about the behavior of the above question in a (finite integral) ring extension \(R\subset S\) of Noetherian domains, where \(R\) is acceptable and integrally closed. Among the other result they proved the following main theorems: Theorem 3.2. Let \(R\subset S\) be a finite integral extension of Noetherian domain. Assume that \(R\) is acceptable and integrally closed. There exists an integer \(r\), depending only on the extension \(R\subset S\), such that if \(Q\) is a prime of \(S\), \(q=Q\cap R\), and \(Q^{(bn)}\subset Q^n\), for some fixed \(b\) and for all \(n\geq 1\), then \(q^{(rbn)}\subset q^n\) for all \(n\geq 1\). Theorem 4.3. Let \(R\subset S\) be an integral extension of Noetherian domains. Assume that \(R\) is integrally closed with fraction field \(K\) and that the field of fraction \(L\) of \(S\) is a finite separable extension of \(K\). Further assume that \(R\) is acceptable. There exists an integer \(r\geq 1\) depending only on extension of rings \(R\subset S\) with the following property: given a prime \(q\) in \(R\) and an integer \(b\geq 1\) such that for all \(n\geq 1\), \(q^{(bn)}\subseteq q\), then for all \(n\geq 1\), \(J^{rbn}\subset J^n\) where \(J=\sqrt{qS}\). | |||
Property / review text: The purpose of the article is to make some observation related to the following question: { Question}: Let \((R,M)\) be a complete local domain. Does there exist a positive integer \(b\) such that \(P^{(bn)}\subseteq P^n\) for all prime ideal \(P\subset R\) and all \(n\geq 1\). The authors gave several nice results to the above question for certain rings which is called acceptable (Definition 1.5). In fact the main purpose of the article is about the behavior of the above question in a (finite integral) ring extension \(R\subset S\) of Noetherian domains, where \(R\) is acceptable and integrally closed. Among the other result they proved the following main theorems: Theorem 3.2. Let \(R\subset S\) be a finite integral extension of Noetherian domain. Assume that \(R\) is acceptable and integrally closed. There exists an integer \(r\), depending only on the extension \(R\subset S\), such that if \(Q\) is a prime of \(S\), \(q=Q\cap R\), and \(Q^{(bn)}\subset Q^n\), for some fixed \(b\) and for all \(n\geq 1\), then \(q^{(rbn)}\subset q^n\) for all \(n\geq 1\). Theorem 4.3. Let \(R\subset S\) be an integral extension of Noetherian domains. Assume that \(R\) is integrally closed with fraction field \(K\) and that the field of fraction \(L\) of \(S\) is a finite separable extension of \(K\). Further assume that \(R\) is acceptable. There exists an integer \(r\geq 1\) depending only on extension of rings \(R\subset S\) with the following property: given a prime \(q\) in \(R\) and an integer \(b\geq 1\) such that for all \(n\geq 1\), \(q^{(bn)}\subseteq q\), then for all \(n\geq 1\), \(J^{rbn}\subset J^n\) where \(J=\sqrt{qS}\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alborz Azarang / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A02 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13H15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6371710 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
symbolic power | |||
Property / zbMATH Keywords: symbolic power / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite ring extension | |||
Property / zbMATH Keywords: finite ring extension / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
uniform symbolic topology | |||
Property / zbMATH Keywords: uniform symbolic topology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Noetherian | |||
Property / zbMATH Keywords: Noetherian / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
acceptable rings | |||
Property / zbMATH Keywords: acceptable rings / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jpaa.2014.05.012 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2055584587 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5563439 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comparing powers and symbolic powers of ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotic Stability of Ass(M/I n M) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4274969 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniform bounds and symbolic powers on smooth varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symbolic powers in Noetherian domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comparison of symbolic and ordinary powers of ideals. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symbolic powers of prime ideals with applications to hypersurface rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniform bounds in noetherian rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Desingularizations and the Uniform Artin-Rees Theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniform equivalence of symbolic and adic topologies / 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: Symbolic Powers of Prime Ideals and Their Topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness of Relative REES Rings and Asymptotic Prime Divisors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear equivalence of ideal topologies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3414477 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5732722 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:33, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Uniform symbolic topologies and finite extensions |
scientific article |
Statements
Uniform symbolic topologies and finite extensions (English)
0 references
21 November 2014
0 references
The purpose of the article is to make some observation related to the following question: { Question}: Let \((R,M)\) be a complete local domain. Does there exist a positive integer \(b\) such that \(P^{(bn)}\subseteq P^n\) for all prime ideal \(P\subset R\) and all \(n\geq 1\). The authors gave several nice results to the above question for certain rings which is called acceptable (Definition 1.5). In fact the main purpose of the article is about the behavior of the above question in a (finite integral) ring extension \(R\subset S\) of Noetherian domains, where \(R\) is acceptable and integrally closed. Among the other result they proved the following main theorems: Theorem 3.2. Let \(R\subset S\) be a finite integral extension of Noetherian domain. Assume that \(R\) is acceptable and integrally closed. There exists an integer \(r\), depending only on the extension \(R\subset S\), such that if \(Q\) is a prime of \(S\), \(q=Q\cap R\), and \(Q^{(bn)}\subset Q^n\), for some fixed \(b\) and for all \(n\geq 1\), then \(q^{(rbn)}\subset q^n\) for all \(n\geq 1\). Theorem 4.3. Let \(R\subset S\) be an integral extension of Noetherian domains. Assume that \(R\) is integrally closed with fraction field \(K\) and that the field of fraction \(L\) of \(S\) is a finite separable extension of \(K\). Further assume that \(R\) is acceptable. There exists an integer \(r\geq 1\) depending only on extension of rings \(R\subset S\) with the following property: given a prime \(q\) in \(R\) and an integer \(b\geq 1\) such that for all \(n\geq 1\), \(q^{(bn)}\subseteq q\), then for all \(n\geq 1\), \(J^{rbn}\subset J^n\) where \(J=\sqrt{qS}\).
0 references
symbolic power
0 references
finite ring extension
0 references
uniform symbolic topology
0 references
Noetherian
0 references
acceptable rings
0 references