Symbolic powers of ideals and their topology over a module
Abstract
Let denote an ideal of a Noetherian ring and a non-zero finitely generated -module. In the present paper, some necessary and sufficient conditions are given to determine when the -adic topology on is equivalent to the -symbolic topology on . Among other things, we shall give a complete solution to the question raised by R. Hartshorne in [{\it Affine duality and cofiniteness}, Invent. Math. {\bf9}(1970), 145-164], for a prime ideal of dimension one in a local Noetherian ring , by showing that the -adic topology on is equivalent to the -symbolic topology on if and only if for all there exists such that and Also, it is shown that if for every with , the -adic and the -symbolic topologies are equivalent on , then is unmixed and has only one element. Finally, we show that if consists of a single prime ideal, for all , then the -adic and the -symbolic topologies on are equivalent. \end{abstract}
Keywords
Cite
@article{arxiv.1607.07629,
title = {Symbolic powers of ideals and their topology over a module},
author = {Adeleh Azari and Simin Mollamahmoudi and Reza Naghipour},
journal= {arXiv preprint arXiv:1607.07629},
year = {2016}
}
Comments
9 pages