Hi,

Let $R$ be a commutative regular local ring. Is it true that for every $p \in Spec(R)$ there is a finitely generated $R$-module $M_p$ such that projdim($M_p$) = ht($p$) and Ass($M_p$) = {$p$}?

Or is there some family of commutative noetherian rings, where is this true?

I know that this holds if R is commutative regular local of Krull dimension $\leq 4$ (up to dimension 3 it was easy, because factor rings $R/p$ where always CM, so we can take $M_p = R/p$. Dimension 4 was harder and in dimension 5 or more I don't know).

Is this an easy/hard/hopeless/already open/similar to something problem?

Thanks, David