Uniform symbolic topologies and finite extensions (Q472998): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
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 |
Revision as of 18:11, 30 June 2023
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