Some Characterizations of Relative Sequentially Cohen-Macaulay and Relative Cohen-Macaulay Modules

Abstract: Let

M

be an

R

-module over a Noetherian ring

R

and

m a t h f r a k a

be an ideal of

R

with

c = m c d (m a t h f r a k a, M)

. First, we prove that

M

is finite

m a t h f r a k a

-relative Cohen-Macaulay if and only if

{m H}_{i} (L a m b d a_{m a t h f r a k a} ({m H}_{m a t h f r a k a}^{c} (M))) = 0

for all

i e q c

and

{m H}_{c} (L a m b d a_{m a t h f r a k a} ({m H}_{m a t h f r a k a}^{c} (M))) c o n g w i d e h a t M^{m a t h f r a k a}

. Next, over an

m a t h f r a k a

-relative Cohen-Macaulay local ring

(R, m a t h f r a k m)

, we provide a characterization of

m a t h f r a k a

-relative sequentially Cohen-Macaulay modules

M

in terms of

m a t h f r a k a

-relative Cohen-Macaulayness of the

R

-modules

{m E x t}_{R}^{d - i} (M, {m D}_{m a t h f r a k a})

for all

i g e q 0

, where

{m D}_{m a t h f r a k a} = {m H o m}_{R} ({m H}_{m a t h f r a k a}^{d} (R), m E (R / m a t h f r a k m))

and

d = m c d (m a t h f r a k a, R)

. Finally, we provide another characterization of

m a t h f r a k a

-relative sequentially Cohen-Macaulay modules

M

in terms of vanishing of the local homology modules

{m H}_{j} (L a m b d a_{m a t h f r a k a} ({m H}_{m a t h f r a k a}^{i} (M))) = 0

for all

0 l e q i l e q c

and for all

j e q i

.

This page was built for publication: Some Characterizations of Relative Sequentially Cohen-Macaulay and Relative Cohen-Macaulay Modules