Local Homology, Cohen-Macaulayness and Cohen-Macaulayfications

Michael Hellus

Let (R,m) be a local, complete ring, X an artinian R-module of Noetherian dimension d; let x_1,...,x_d\in m be such that 0:_X (x_1,...,x_d)R has finite length. Then H^x_d(X) is a f…