On the limit closure of a sequence of elements in local rings

Completion of commutative rings (13B35) Homological conjectures (intersection theorems) in commutative ring theory (13D22) Local cohomology and commutative rings (13D45) Multiplicity theory and related topics (13H15)

Abstract: We present a systematic study for the limit closure

(u n d e r l i n e x)^{l i m}

of a sequence of elements

u n d e r l i n e x

(eg. a system of of parameters) in a local ring. Firstly, we answer the question which elements are always contained in the limit closure of a system of parameters. Then we apply this result to give a characterization of systems of parameters which is a generalization of previous results of Dutta and Roberts in cite{DR} and of Fouli and Huneke in cite{FH}. We also prove a topological characterization of unmixed local rings. In two dimensional case, we compute explicitly the limit closure of a system of parameters. Some interesting examples are given.

Review text

Let \((R, \mathfrak{m})\) be a Noetherian local ring of dimension \(t\) and \(\underline{x} = x_1,\ldots, x_r\) is a sequence of \(r\) element in \(R.\) Let \(M\) be a finitely generated \(R\)-module of dimension \(d\) and the limit closure of the sequence \((\underline{x})\) in \(M\) is a submodule of \(M\) defined by \[ (\underline{x})_M^{\mathrm{lim}}:=\bigcup_{n>0}\left((x_1^{n+1},\ldots,x_t^{n+1})M:(x_1\ldots x_t)^n\right). \] Let \((0) = \bigcap_{\mathfrak{p}\in\mathrm{Ass}M} N(\mathfrak{p})\) be a reduced primary decomposition of the zero submodule of \(M.\) The unmixed component \(U_M(0)\) of \(M\) is a submodule defined by \[ U_M(0)=\bigcap_{\mathfrak{p}\in\mathrm{Ass}M, \dim R/\mathfrak{p}=d} N(\mathfrak{p}). \] In this paper, authors showed some useful properties of limit closure, considered the relation between of limit closures of a system of parameters in \(R\) and its \(S_2\)-ification. There was an example of a limit closure that provided in last section of the paper. Main results: (i) Let \((R, \mathfrak{m})\) be a Noetherian local ring and \(M\) a finitely generated \(R\)-module of dimension \(d.\) Let \(\underline{x} = x_1,\ldots, x_d\) be a system of parameters of \(M.\) Then \[ \bigcap_{n>0}(x_1^n,\ldots,x_d^n)_M^{\mathrm{lim}}=U_M(0). \] (ii) Let \((R, \mathfrak{m})\) be a Noetherian local ring of dimension \(t.\) Then \(R\) is unmixed if and only if the \(\mathfrak{m}\)-adic topology is equivalent to the topology defined by \(\{(x^n_1,\ldots, x^n_t)^\mathrm{lim}\}_{n\ge 1}\) for any system of parameters \(\underline{x} = x_1,\ldots, x_t\) of \(R.\)

Recommendations

Cites work

Cited in

(3)

This page was built for publication: On the limit closure of a sequence of elements in local rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2134659)