Let $(R,\frak m)$ be a Cohen-Macaulay local ring. If there exists a maximal Cohen-Macaulay $R$-module $M$ with finite injective dimension, then can we conclude that $R$ has a canonical module?
Maximal Cohen-Macaulay of finite injective dimension
cohen-macaulaycommutative-algebramodules
Best Answer
In short, the answer to your question is no.
Let us recall the following definition due to R. Sharp:
Clearly any Gorenstein module is a maximal Cohen-Macaulay $R$-module, as its depth is $d$, and has finite injective dimension (this is clear from Proposition 3.1.14 in Bruns-Herzog). From its definition, the canonical module is just a Gorenstein module of rank 1.
Sharp showed that any local ring admitting a Gorenstein module is a Cohen-Macaulay ring (this is Corollary 3.9 in the paper Gorenstein Modules).
Consequently any local ring admitting a Gorenstein module of rank at least 2 provides a counterexample to your question. I believe the first example of such a ring was described by D. Weston in the paper On Descent in Dimension Two and Non-split Gorenstein Modules, and then examples of Gorenstein modules of arbitrary odd rank were given here.