Abstract
Let
(R,m)
be a local ring,
I
a proper ideal of
R
and
M
a finitely generated
R
-module of dimension
d
. We discuss the local homology modules of
H
d
I
(M)
. When
M
is Cohen-Macaulay, it is proved that
H
d
m
(M)
is co-Cohen-Macaulay of N.dimension
d
and
H
x
–
–
d
(
H
d
m
(M))≅
M
^
where
x
–
–
=(
x
1
,...,
x
d
)
is a system of parameters for
M
.