Uniform symbolic topologies and finite extensions (Q472998): Difference between revisions

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}\).