Que $(R,\mathfrak m,k)$ ser un anillo local noetheriano. Si $\operatorname{inj dim}_R k$ es finito, $R$ es regular.
Este es ejercicio 3.1.26 de Bruns y Herzog, Anillos de Cohen-Macaulay. No veo cómo puedo utilizar los resultados de este capítulo para resolverlo. Creo que tenemos que utilizar la secuencia de tiempo exacta Ext pero no veo cómo.
