Is it true that $\operatorname{inj.dim}_R R= \operatorname{inj.dim}_R \widehat{R}?$ Is there a one-sided inequality?

161 Views Asked by At

$(R,m)$ is a local ring. Is it true that $\operatorname{inj.dim}_R R= \operatorname{inj.dim}_R \widehat{R}?$

1

There are 1 best solutions below

1
On BEST ANSWER

$\operatorname{inj.dim}_R R\le \operatorname{inj.dim}_R \widehat{R}$ since $R \subset \widehat{R}$ is pure.