On the limit closure of a sequence of elements in local rings (Q2134659)

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