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