On sequentially Cohen-Macaulay modules and sequentially generalized Cohen-Macaulay modules (Q6974434)

Let \(M\) denote a finitely generated module over a local ring \((R,\mathfrak{m})\). Let \(\{D_i\}_{i=0}^d, d = \dim M,\) denote the dimension filtration (see [\textit{P. Schenzel}, Lect. Notes Pure Appl. Math. 206, 245--264 (1999; Zbl 0942.13015)]). Then \(M\) is called sequentially Cohen-Macaulay resp. sequentially generalized Cohen-Macaulay if \(M_i/M_{i-1}\) is either zero or Cohen-Macaulay resp. generalized Cohen-Macaulay in the sense of [\textit{P. Schenzel} et al., Math. Nachr. 85, 57--73 (1978; Zbl 0398.13014)]. An element \(x \in \mathfrak{m}\) is called \(M\)-sequential if it is not contained in any of the attached prime ideals of the (Artinian) local cohomology modules \(H^i_\mathfrak{m}(M), i = 1,\ldots,\dim M\). Recursively the authors define the notion of \(M\)-sequentially sequences. With this in mind they prove the equivalence : (1) \(M\) is sequentially Cohen-Macaulay. (2) \(R/\operatorname{Ann}_R M\) is the quotient of a Cohen-Macaulay local ring and there is a system of parameters of \(M\) that is an \(M\)-sequentially sequence. (3) \(R/\operatorname{Ann}_R M\) is the quotient of a Cohen-Macaulay local ring and any filter regular system of parameters of \(M\) that is an \(M\)-sequentially sequence. -- Moreover, for the generalized case the following is shown: \(M\) is sequentially generalized Cohen-Macaulay if and only if \(R/\operatorname{Ann}_R M\) is the quotient of a Cohen-Macaulay local ring and any generalized regular sequence system of parameters of \(M\) is an \(M\)-sequential \(f\)-sequence. An element \(x \in \mathfrak{m}\) is called an \(M\)-sequential \(f\)-element if it is not contained in any attached prime ideal of \(H^i_\mathfrak{m}(M), i = 2,\ldots,\dim M,\) different from the maximal ideal. An \(M\)-sequentially \(f\)-sequence is recursively defined.