Decir que $0 \to M \to N \to L \to 0$ es una secuencia exacta corta de los módulos en un anillo local noetheriano y que % dim inj $(M)$, inj dim $(N)
Sé que las dimensiones inyectiva de $M$ y $N$ son los mismos, y sé que hay un mapa complejo entre ellos por el teorema de comparación, pero me pegué allí.